[論文レビュー] A sharp lower bound for the Wiener index of a graph

B. Ramachandran, N. S. Sridharan+1 more|arXiv (Cornell University)|Aug 24, 2010

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

ひとこと要約

本稿は、単純連結無向グラフの位数 $n$、サイズ $m$、直径 $d$ を用いて、ウィーナー指数の鋭い下界を確立する。直径路に沿った距離を分析し、頂点対をパス上にあるか否かに基づいて集合に分割することで、パス、奇数サイズの星（$K_{1,m}$）、$C_3 \square K_2$、およびペテルセン図形で正確に達成されるタイトな解析的下界を導出する。

ABSTRACT

Given a simple connected undirected graph G, the Wiener index W(G) of G is defined as half the sum of the distances over all pairs of vertices of G. In practice, G corresponds to what is known as the molecular graph of an organic compound. We obtain a sharp lower bound for W(G) of an arbitrary graph in terms of the order, size and diameter of G.

研究の動機と目的

• 任意の単純連結無向グラフ $G$ のウィーナー指数 $W(G)$ に対するタイトで解析的に証明可能な下界を導出すること。
• この下界をグラフの位数 $n$、サイズ $m$、直径 $d$ の関数として明示的に表現すること。
• 特定のグラフ族が等号を達成することを示すことにより、下界の鋭さを確立すること。
• 平面的グラフで直径が定数で有界である場合に、$O(n)$ 時間でこの下界を計算する効率的な手法を提供すること。

提案手法

• 無向頂点対の集合 $S_2(G)$ を、三つの互いに素な部分集合に分割する：$X$（両方の頂点が直径路に属する）、$Y$（どちらの頂点も路に属しない）、$Z$（一方の頂点のみが路に属する）。
• $W(G)$ を $n(n-1) - m + \sum_{d(u,v)\geq 2} (d(u,v) - 2)$ として表現し、分割に基づいて和を分解する。
• 集合 $X$ の寄与を、$d \geq 5$ の場合に $\sum_{k=1}^{d-1} (d-k) \cdot k = \frac{d(d-1)(d-2)}{6}$ という公式を用いて計算する。
• 集合 $Z$ の寄与に対して、三角不等式を適用し、$w \notin V(P)$ に対して $\sum (d(u,w) - 2)$ の下界を導出し、$d$ が奇数の場合は $\left(\frac{d-3}{2}\right)^2$、偶数の場合は $\frac{(d-2)(d-4)}{4}$ を得る。
• 小直径（$d = 2, 3, 4$）の場合は別個に取り扱い、直接計算により同じ下界が成り立つことを示す。
• すべての寄与を組み合わせ、$n$ と $d$ の偶奇に応じた区分的下界を構成する。

実験結果

リサーチクエスチョン

• RQ1 位数 $n$、サイズ $m$、直径 $d$ を用いて、ウィーナー指数 $W(G)$ の最もタイトな下界は何か？
• RQ2 この下界は、特定のグラフ族によって正確に達成可能であり、そのようなグラフ族は何か？
• RQ3 直径路の構造が、距離の分布およびウィーナー指数にどのように影響を与えるか？
• RQ4 この下界を評価する計算量的複雑度は何か、特に直径が定数で有界な平面的グラフに対しては？
• RQ5 この下界は、最大次数 $\Delta$ などの他のグラフパラメータを用いて改善または表現可能か？

主な発見

• 本稿は、パス $P_n$、奇数サイズの星 $K_{1,m}$、$C_3 \square K_2$、およびペテルセン図形で正確に達成されるウィーナー指数 $W(G)$ の鋭い下界を確立する。
• $d \geq 5$ の場合、下界は $n$ が奇数のときは $W(G) \geq n(n-1) - m + \frac{d(d-1)(d-2)}{6} + \frac{(n-d-1)(d-3)^2}{4}$、$n$ が偶数のときは $\frac{(n-d-1)(d-2)(d-4)}{4}$ である。
• 下界は $d \geq 2$ に対して一様に成り立ち、$d = 2, 3, 4$ の場合の特別なケースは一般式と整合的である。
• 直径 $d$ が定数で有界な平面的グラフに対しては、そのようなグラフでは効率的な直径計算が可能であるため、下界は $O(n)$ 時間で計算可能である。
• 下界の導出は、直径路における三角不等式の応用により、2を超える距離の超過分の和を下から抑え込むことで、タイトさを保証する。
• 最大次数 $\Delta$ を用いたモアの境界を用いることで、この下界を別のパrameterizationに再表現可能である。