[論文レビュー] Extremal Triangular Chain Graphs for Bond Incident Degree (BID) Indices

Akbar Ali, Akhlaq Ahmad Bhatti|arXiv (Cornell University)|Jul 7, 2016

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

ひとこと要約

本稿では、三角形鎖グラフにおける結合度（BID）インデックスの閉形式式を導出し、ランディック、和接続性、調和、および第一幾何平均-算術平均インデックスを含む、よく知られた複数のBIDインデックスを最大化または最小化する極値の三角形鎖を同定している。研究では、線形三角形鎖 $Z_n$ が大多数のインデックスに関して極値であることを証明しており、その値は $n$ の関数として明示的な式で与えられている。結果は、鎖内のセグメントの長さベクトルに関する構造的解析と最適化によって得られている。

ABSTRACT

A general expression for calculating the bond incident degree (BID) indices of certain triangular chain graphs is derived. The extremal triangular chain graphs with respect to several well known BID indices are also characterized over a particular collection of triangular chain graphs.

研究の動機と目的

• 特定のクラスの三角形鎖グラフにおけるBIDインデックスの一般閉形式式を導出すること。
• 定義された三角形鎖の族上での、さまざまなよく知られたBIDインデックスを最大化または最小化する極値の三角形鎖を同定すること。
• ランディック、和接続性、調和インデックスなどのインデックスに対して極値をとる三角形鎖の構造的性質を特定すること。
• 多ポリオノイドおよびベンゼノイド鎖に関する先行研究を、より複雑なケース（$k=3$）の三角形鎖へと拡張すること。
• 特に増強アトム・ボンド接続性（ABC）および増強Zagrebインデックスに関する未解決問題を同定すること。

提案手法

• 一般BIDインデックスの公式を用いる：$ TI(G) = \sum_{uv \in E(G)} f(d_u, d_v) = \sum_{1 \leq a \leq b \leq \Delta(G)} x_{a,b}(G) \cdot \theta_{a,b} $、ここで $ x_{a,b}(G) $ は次数 $ a $ と $ b $ の頂点間の辺の数を表す。
• 本研究では、$ n $ 個の三角形からなる三角形鎖 $ T_n $ に注目し、セグメント（最大の線形な三角形の連鎖）の長さベクトルで表現する。
• 構造的最適化技術を適用：隣接セグメント間の長さの入れ替え（例：長さのシフト）といった長さベクトルの摂動を用いて、インデックス値を比較し、極値構造を同定する。
• 証明は背理法に依拠する：非線形鎖 $ \widetilde{T}_n $ が極値であると仮定すると、そのような鎖から得られる修正された鎖 $ T^{(i)}_n $ が、厳密に大きいまたは小さいインデックス値を持つことが示され、最大性・最小性に矛盾する。
• 導出された公式を用いて特定のインデックス値を計算し、和接続性インデックスに関しては $ \Phi_A(Z_n) = 3n+2 $（$n$ が偶数のとき）、$ 3n+1 $（$n$ が奇数のとき）が得られる。
• セグメント長と端点・非端点セグメントの構成に基づいて場合分けを行い、特に長さ3、4、5に注目する。

実験結果

リサーチクエスチョン

• RQ1 $ n $ 個の三角形を含むすべての三角形鎖の中で、和接続性インデックスを最大または最小にする三角形鎖の構造は何か？
• RQ2 ランディックインデックスに関して極値をとる三角形鎖は何か？その構造は他のBIDインデックスとどのように異なるか？
• RQ3 調和インデックス、第一幾何平均-算術平均インデックス、第二Zagrebインデックスに関して、極値構造のセグメント長の分布はどのように比較できるか？
• RQ4 アトム・ボンド接続性（ABC）インデックスに関して極値をとる三角形鎖を同定できるか？他のインデックスと同一の構造か？
• RQ5 増強Zagrebインデックスに関して極値鎖に課される構造的制約は何か？なぜ極値ケースは未解決のままであるのか？

主な発見

• 和接続性インデックスに関して、線形三角形鎖 $ Z_n $ は一意の極値構造であり、$ n $ が偶数のとき $ \Phi_A(Z_n) = 3n+2 $、$ n $ が奇数のとき $ 3n+1 $ である。
• ランディックインデックスに関して、極値三角形鎖も $ Z_n $ であり、$ n \geq 7 $ のときの値は $ 3n - 4 $ である。
• 調和インデックスに関して極値をとる三角形鎖も $ Z_n $ であり、$ n $ が偶数のときの値は $ 3n - 1 $、$ n $ が奇数のとき $ 3n $ である。
• 第一幾何平均-算術平均インデックスに関して極値をとる構造も $ Z_n $ であり、$ n $ が偶数のとき $ \Phi_{GA_1}(Z_n) = 3n - 1 $、$ n $ が奇数のとき $ 3n $ である。
• 第二Zagrebインデックスに関して極値をとる三角形鎖も $ Z_n $ であり、$ n $ が偶数のとき $ \Phi_{M_2}(Z_n) = 3n - 4 $、$ n $ が奇数のとき $ 3(n-1) $ である。
• 修正第二Zagrebインデックスに関して極値をとる鎖も $ Z_n $ であり、乗法的和Zagrebインデックスに関しては $ \Phi_{M_1}(Z_n) = 3n - 4 $ である。