[论文解读] A note on the augmented Zagreb index of cacti with fixed number of vertices and cycles

Akbar Ali, Akhlaq Ahmad Bhatti|arXiv (Cornell University)|May 6, 2016

Graph theory and applications参考文献 18被引用 15

一句话总结

该论文表征了在固定顶点数和圈数条件下，具有最小增强Zagreb指数（AZI）的仙人掌图，证明了图 $ G^0(n,k) $——即在星图 $ S_n $ 的叶顶点之间添加 $ k $ 条独立边所构成的图——实现了最小AZI。此外，论文进一步识别了使AZI最大的树的结构特性，表明此类树必须为星形结构且不包含过长的叶路径，并提出了最大AZI与最小ABC指数树之间可能存在联系的猜想。

ABSTRACT

Let $\mathcal{C}_{n,k}$ be the family of all cacti with $k$ cycles and $n\geq4$ vertices. In the present note, the element of the class $\mathcal{C}_{n,k}$ having minimum augmented Zagreb index ($AZI$) is characterized. Moreover, some structural properties of the graph(s) having maximum $AZI$ value over the collection $\mathcal{C}_{n,0}$, are also reported.

研究动机与目标

• 确定在所有具有 $ n $ 个顶点和 $ k $ 个圈的仙人掌图中，AZI最小的仙人掌图。
• 表征在固定顶点数下使AZI最大的树的结构。
• 建立AZI最大值图的结构约束，特别是排除存在长叶路径的情况。
• 探索AZI最大值与ABC指数最小值之间在树中的潜在关系，提出二者等价的猜想。

提出的方法

• 定义 $ \newcommand{\AZI}{\mathrm{AZI}} \AZI(G) = \sum_{uv \in E(G)} \left( \frac{d_u d_v}{d_u + d_v - 2} \right)^3 $ 为关键拓扑指标，即增强Zagreb指数。
• 引入 $ G^0(n,k) $，即通过在星图 $ S_n $ 的叶顶点之间添加 $ k $ 条独立边所形成的仙人掌图，并推导其AZI为 $ F(n,k) = (n - 2k - 1)\left(\frac{n-1}{n-2}\right)^3 + 24k $。
• 采用基于变换的证明策略：通过反复修改图结构（如移动叶顶点或边），证明任何偏离 $ G^0(n,k) $ 的结构都会导致AZI增加。
• 应用函数 $ f(x,y) $ 分析基于度数的边重配置下AZI的变化，通过证明其单调性来证明最优性。
• 利用已知的AZI在树和单圈图中极值结果（例如，$ G^0(n,0) $ 在树中最小化AZI）作为基础情形。
• 使用反证法：假设存在非 $ G^0(n,k) $ 的图实现AZI最小，然后构造一个变换使AZI进一步降低，从而与最小性矛盾。

实验结果

研究问题

• RQ1 具有 $ n $ 个顶点和 $ k $ 个圈的仙人掌图中，哪一种具有最小的增强Zagreb指数？
• RQ2 使AZI值最大的树必须具备何种结构特性？
• RQ3 在使AZI最大的树中，长度为4或以上的长叶路径是否存在？
• RQ4 是否存在使AZI最大的树与使ABC指数最小的树在结构上等价？
• RQ5 在仙人掌图和树中，AZI值在边和顶点重配置下如何变化？

主要发现

• 由星图 $ S_n $ 的叶顶点之间添加 $ k $ 条独立边所构成的仙人掌图 $ G^0(n,k) $，是在所有 $ n $ 个顶点、$ k $ 个圈的仙人掌图中AZI最小的图。
• 在 $ \mathcal{C}_{n,k} $ 中，AZI的最小值为 $ F(n,k) = (n - 2k - 1)\left(\frac{n-1}{n-2}\right)^3 + 24k $，且该值仅由 $ G^0(n,k) $ 实现。
• 任何使AZI最大的树都必须为星形结构，且不能包含长度为4或以上的叶路径，因为此类路径可通过变换使AZI进一步提高。
• 若一棵树包含两条或以上长度为3的叶路径，则其无法使AZI最大，因为将它们合并为更长路径可使AZI增加，与最大性矛盾。
• 使AZI最大的极值树必须满足所有分支长度至多为2，且任意度数≥3的顶点至多与一个叶顶点相邻。
• 本文提出猜想：使 $ n $ 个顶点的树AZI最大的图，与使ABC指数最小的图完全相同，暗示这两个指标之间存在深层的结构关联。