[论文解读] The Wiener Index of Unicyclic Graphs with Girth and the Matching Number

Yahong Chen, Xiao‐Dong Zhang|arXiv (Cornell University)|Feb 26, 2011

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

一句话总结

本文为给定阶数 $n$、周长 $g$ 和匹配数 $\beta \geq \frac{3g}{2}$ 的单环图建立了威纳指数的严格下界。通过图运算与结构分析，证明最小威纳指数唯一由特定极值图 $G_{(n,g,\beta)}^{*}$ 实现，其特征为：中心环上有一条分支包含 $\beta - \frac{g}{2} - 1$ 个双星结构，其余分支为单边或孤立点，完整刻画了在这些约束下的极值图结构。

ABSTRACT

In this paper, we investigate how the Wiener index of unicyclic graphs varies with graph operations. These results are used to present a sharp lower bound for the Wiener index of unicyclic graphs of order $n$ with girth and the matching number $β\ge \frac{3g}{2}$. Moreover, we characterize all extremal graphs which attain the lower bound.

研究动机与目标

• 确定阶数为 $n$、固定周长 $g$ 和匹配数 $\beta \geq \frac{3g}{2}$ 的所有单环图中威纳指数的最小可能值。
• 刻画所有实现该最小威纳指数的单环图。
• 分析威纳指数在特定图运算下的变化，特别是单环结构中分支交换以及边的增减操作。
• 在给定约束下，完整描述最小化威纳指数的极值图 $G_{(n,g,\beta)}^{*}$ 的结构特征。

提出的方法

• 作者将单环图分解为一个环 $C_g$ 和 $g$ 个附着于环上顶点 $u_i$ 的树分支 $T_i$，记为 $U(T_1, \dots, T_g)$。
• 他们推导出威纳指数 $W(G)$ 的闭式表达式，该表达式基于每个分支 $T_i$ 内部的威纳指数与顶点距离，以及环上顶点之间的距离。
• 他们应用一种交换操作，用威纳指数更小且距离和 $d_{T_1}(u_1)$ 更小的分支 $T_1$ 替代原分支，证明此类替换可减少总威纳指数。
• 他们定义了一类特殊有根树 $T_{a,b}^*$，其结构类似双星，并利用它构造候选极值图 $G_{(n,g,\beta)}^{*}$。
• 他们证明，任何满足 $a_1 \leq \beta - \frac{g}{2} - 1$ 或 $a_1 = \beta - \frac{g}{2}$ 的图均可通过操作转化为更小威纳指数的形式，从而导出极值结构。
• 他们利用组合不等式与距离和比较，证明 $W(G) \geq W(G_{(n,g,\beta)}^{*})$，且等号成立当且仅当 $G = G_{(n,g,\beta)}^{*}$。

实验结果

研究问题

• RQ1 阶数为 $n$、周长为 $g$、匹配数 $\beta \geq \frac{3g}{2}$ 的单环图中，威纳指数的最小可能值是多少？
• RQ2 哪种特定图结构实现了该最小威纳指数？
• RQ3 在单环图中，威纳指数如何随受控图运算（如分支替换）而变化？
• RQ4 能否基于其分支结构与匹配数唯一刻画该极值图？

主要发现

• 任意周长为 $g$、匹配数 $\beta \geq \frac{3g}{2}$ 的单环图，其威纳指数下界为 $W(G_{(n,g,\beta)}^{*})$，且该下界是严格的。
• 极值图 $G_{(n,g,\beta)}^{*}$ 唯一地表征为 $U(T_{\beta - \frac{g}{2} - 1, n - 2\beta + 1}^{*}, T_{0,1}^{*}, \dots, T_{0,0}^{*})$，其中一条分支为含 $\beta - \frac{g}{2} - 1$ 条双边的双星结构，其余分支为单边或孤立点。
• 威纳指数仅在图同构于 $G_{(n,g,\beta)}^{*}$ 时达到最小值，确认了极值结构的唯一性。
• 在替换分支时，若新分支具有更小的威纳指数与更小的距离和，则威纳指数减少，从而证明所构造极值图的最优性。
• 当周长 $g$ 为偶数时，下界显式给出为 $W(G_{(n,g,\beta)}^{*}) = n^2 + \left(\beta - \frac{3g}{2} - 1 + \lfloor \frac{g^2}{4} \rfloor \right)n - \frac{g}{2}\lfloor \frac{g^2}{4} \rfloor + \frac{3g}{2} - 3\beta + 2$。