[論文レビュー] F-index of Total Transformation Graphs

Nilanjan De|arXiv (Cornell University)|Jun 20, 2016

Graph theory and applications参考文献 9被引用数 6

ひとこと要約

本稿では、頂点次数の立方和であるF指標——$ F(G) $、$ M_1(G) $、$ M_2(G) $、$ \xi_4(G) $ などの基本的グラフ不変量を用いた閉形式の式——を、$ x, y, z \in \{+, -\} $ における全変換グラフ $ G^{xyz} $ に対して明示的に導出する。さらに、半全点グラフおよび半全線グラフに対しても結果を拡張する。これにより、さまざまなグラフ変換下でのこのトポロジカル指標の正確な計算が可能になる。

ABSTRACT

The F-index of a graph $G$ is the sum of the cubes of the degrees of the vertices of $G$. In this paper, explicit expressions for the F-index of different transformation graphs of type ${{G}^{xyz}}$ with $x, y, z\in \{-, + \}$ are obtained. F-index for semitotal point graph and semitotal line graph are also obtained here.

研究の動機と目的

• 全8種類の全変換グラフ $ G^{xyz} $（$ x, y, z \in \{+, -\} $）のF指標に対する閉形式式を導出すること。
• 変換グラフの特殊ケースとしての半全点グラフおよび半全線グラフに対するF指標計算を拡張すること。
• F(G)、$ M_1(G) $、$ M_2(G) $、$ \xi_4(G) $ などの基本的グラフ不変量を用いてF指標を表現することにより、体系的な計算を可能にすること。
• 特に $ G^{+--} $ および $ G^{-+-} $ に対して、変換グラフの補グラフ化におけるF指標の挙動を調査すること。

提案手法

• 頂点集合が $ V(G) \cup E(G) $ である全変換グラフ $ G^{xyz} $ を定義し、$ x, y, z \in \{+, -\} $ を用いて、元のグラフ $ G $ における隣接関係または非隣接関係を示す。
• 全変換グラフ $ G^{xyz} $ における $ V(G) $ および $ E(G) $ の頂点の次数に関する公式を用いる。例えば、$ v \in V(G) $ に対して $ d_{G^{xyz}}(v) = 2d_G(v) $ は $ G^{+-+} $ で成り立ち、$ e = uv \in E(G) $ に対して $ d_{G^{xyz}}(e) = m + 3 - (d_G(u) + d_G(v)) $ が成り立つ。
• F指標の定義 $ F(H) = \sum_{v \in V(H)} d_H(v)^3 $ を用いて、各変換タイプのF指標を計算する。
• 既知の恒等式を活用する：$ \sum_{uv \in E(G)} (d_G(u) + d_G(v)) = M_1(G) $、$ \sum_{uv \in E(G)} d_G(u)d_G(v) = M_2(G) $、および $ \sum_{uv \in E(G)} (d_G(u) + d_G(v))^3 = \xi_4(G) + 3\text{Re}ZG_3(G) $。
• 補グラフ関係（例：$ G^{+--} = \overline{G^{-++}} $）を用いて、既知の結果から補グラフのF指標を導出する。
• 代数的に立方項を展開し、$ F(G^{xyz}) $ を $ F(G) $、$ M_1(G) $、$ M_2(G) $、$ \xi_4(G) $、および $ \text{Re}ZG_3(G) $ の関数として表現する。

実験結果

リサーチクエスチョン

• RQ1 すべての8通りの $ x, y, z \in \{+, -\} $ の組み合わせについて、全変換グラフ $ G^{xyz} $ のF指標は何か？
• RQ2 半全点グラフ $ T_1(G) $ および半全線グラフ $ T_2(G) $ のF指標は、元のグラフ $ G $ の不変量とどのように関係するか？
• RQ3 変換グラフ $ G^{xyz} $ の補グラフのF指標は、$ G $ のF指標および他の不変量を用いて表現可能か？
• RQ4 F指標が複雑な導出グラフに対して効率的に計算可能となる代数的恒等式および構造的性質は何か？

主な発見

• $ G^{-++} $ に対して、F指標は $ F(G^{-++}) = n(n-1)^3 + F(G) + 3\sum_{uv \in E(G)} d_G(u)d_G(v)[d_G(u) + d_G(v)] $ で与えられ、$ n $、$ F(G) $、$ M_2(G) $ に明示的な依存関係を示す。
• $ G^{+--} $ のF指標は $ F(G^{+--}) = 3(m+n-1)F(G) - \xi_4(G) - 3\text{Re}ZG_3(G) - 3(m+n-1)^2 M_1(G) + 6(m+n-1)M_2(G) + m(m+n-1)^3 + n m^3 $ で与えられ、$ m $、$ n $、および高次不変量に強く依存していることが示された。
• $ G^{+-+} $ に対しては、F指標が $ F(G^{+-+}) = 8F(G) + m(m+3)^3 - 3(m+3)^2 M_1(G) + 3(m+3)(F(G) + 2M_2(G)) - \xi_4(G) - 3\text{Re}ZG_3(G) $ で与えられ、$ m+3 $ の立方依存性が明らかになった。
• $ G^{-+-} $ のF指標は $ F(G^{-+-}) = (3n-20)F(G) + (3n^2 - 12n + 12m + 36)M_1(G) + 6(n-4)M_2(G) + \xi_4(G) + 3\text{Re}ZG_3(G) + (m+n-1)^2(n(m+n-1) - 12m) + m(n-4)^3 $ で与えられ、$ n $、$ m $、および不変量に複雑だが閉形式の依存関係があることが示された。
• 半全点グラフ $ T_1(G) $ および半全線グラフ $ T_2(G) $ のF指標は、$ G^{xyz} $ の特別なケースとして導出され、$ F(T_1(G)) = n(n-1)^3 + F(G) + 3\sum_{uv \in E(G)} d_G(u)d_G(v)[d_G(u) + d_G(v)] $ となり、$ G^{-++} $ と一致する。
• 結果から、F指標がグラフ構造に極めて敏感であり、既知の不変量を用いて変換グラフに対して体系的に計算可能であることが確認された。このことは、QSAR/QSPRモデリングにおけるF指標の有用性を裏付けている。