[论文解读] Minimizing Degree-based Topological Indices for Trees with Given Number of Pendent Vertices + Erratum

Mikhail Goubko, Tamás Réti|arXiv (Cornell University)|May 6, 2014

Graph theory and applications参考文献 8被引用 22

一句话总结

本文推导了在固定叶顶点数的树中，第一和第二Zagreb指数的紧下界，证明了$M_1$在所有内部顶点度数为4的4-树中取得最小值，而$M_2$在内部顶点度数为3、4或5且具有特定结构约束的树中取得最小值。该方法可推广至加权Zagreb指数及其他基于度数的拓扑指数。

ABSTRACT

We derive sharp lower bounds for the first and the second Zagreb indices ($M_1$ and $M_2$ respectively) for trees and chemical trees with the given number of pendent vertices and find optimal trees. $M_1$ is minimized by a tree with all internal vertices having degree 4, while $M_2$ is minimized by a tree where each "stem" vertex is incident to 3 or 4 pendent vertices and one internal vertex, while the rest internal vertices are incident to 3 other internal vertices. The technique is shown to generalize to the weighted first Zagreb index, the zeroth order general Randić index, as long as to many other degree-based indices. Later the erratum was added: Theorem 3 says that the second Zagreb index $M_2$ cannot be less than $11n-27$ for a tree with $n\ge 8$ pendent vertices. Yet the tree exists with $n=8$ vertices (the two-sided broom) violating this inequality. The reason is that the proof of Theorem 3 relays on a tacit assumption that an index-minimizing tree contains no vertices of degree 2. This assumption appears to be invalid in general. In this erratum we show that the inequality $M_2 \ge 11n-27$ still holds for trees with $n\ge 9$ vertices and provide the valid proof of the (corrected) Theorem 3.

研究动机与目标

• 确定在具有固定叶顶点数的树集合上，基于度数的拓扑指数（特别是第一和第二Zagreb指数）的最小值。
• 表征实现这些最小指数的极值树结构，尤其关注内部顶点的度数分布。
• 将优化框架推广至广义Zagreb指数、零阶一般Randić指数及其他基于度数的拓扑指数。
• 研究一般极值树与化学图（即表示真实分子的树）之间的结构差异，特别是在不省略氢原子时的情况。
• 通过凸优化与图论约束，提供一种可推广至广泛类别的基于度数的拓扑指数的通用方法。

提出的方法

• 将问题表述为在叶顶点数固定的条件下，对顶点度序列进行约束优化。
• 利用恒等式$n - 2 = sum_{i=1}^{q} (d_i - 2)$，其中$d_i$为内部顶点的度数，将叶顶点数与内部度数关联起来。
• 通过连续松弛整数约束，推导出最优度数值（如$M_1$的度数为4），然后通过组合构造验证其存在性。
• 对于$M_2$，构建一个内部顶点度数为3、4或5的树模型，并推导不同度数对之间边的贡献，以计算总指数值。
• 采用准多项式算法枚举并验证小规模$n$下的最优化学树，尤其在理论最优树非化学图时。
• 将框架推广至形式为$ C(G) = sum_{v} c_1(d_G(v)) + sum_{uv} c_2(d_G(u), d_G(v)) $的抽象基于度数的指标，使其可应用于如一般Randić指数等指标。

实验结果

研究问题

• RQ1 在具有$n$个叶顶点的所有树中，第一Zagreb指数$M_1$的最小值是多少？由何种树结构实现？
• RQ2 使$M_2$最小的树结构与使$M_1$最小的树结构有何不同？何种度数分布可使$M_2$最优？
• RQ3 该优化框架能否推广至Zagreb指数以外的其他基于度数的拓扑指数？
• RQ4 对于哪些$n$值，理论上的$M_2$最小树结构并非化学图？在这些情况下，如何构建近似最优的化学树？
• RQ5 以$n$表示的$M_2$的最紧下界是什么？该下界是否可通过化学树实现？

主要发现

• 第一Zagreb指数$M_1$由4-树（即所有内部顶点度数为4的树）最小化，其下界为：当$n$为偶数时为$9n - 16$，当$n$为奇数时为$9n - 15$。
• 当$n \geq 9$时，第二Zagreb指数$M_2$由内部顶点度数为3、4或5的树结构最小化，其最小值为$11n - 27$。
• $M_2$最小的树结构并不总是化学图：当$n \mod 3 = 1$时，至少有一个茎顶点的度数为5；当$n \mod 3 = 2$时，至少需要两个此类顶点。
• 当$n \mod 3 = 1$时，可通过将一个度数为5的茎子树替换为特定片段，构造出近似最优的化学树，使$M_2 = 11n - 26$，仅比理论最小值高1。
• 当$n \mod 3 = 2$时，可构建一个化学树使$M_2 = 11n - 25$，但该树并非最优化学图，表明理论最优与化学最优之间存在差距。
• 该框架可推广至其他基于度数的指标，如广义Randić指数和$M_1 + M_2$，后者在$n \geq 6$时的下界为$\frac{61n}{3} - 46$。