[論文レビュー] 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$ とその頂点 $u_i$ に接続された $g$ 個の木ブランチ $T_i$ に分解し、$U(T_1, \dots, T_g)$ と表記する。
• 各ブランチ $T_i$ 内のウィーナー指数および頂点間の距離、および $C_g$ 内のサイクル頂点間の距離を用いて、$W(G)$ の閉形式の式を導出する。
• ウィーナー指数が小さく、距離和 $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}^{*})$ と特徴付けられる。ここで、1つのブランチは $\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$ で与えられる。