[論文レビュー] Computing the alliance polynomial of a graph

Walter Carballosa, José M. Rodrı́guez+2 more|arXiv (Cornell University)|Oct 11, 2014

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

ひとこと要約

本稿では、すべての $k$ に対して連結な正確な防御的 $k$-アライアンスの数を符号化する新しいグラフ不変量として、グラフのアライアンス多項式を導入する。本稿では、多項式を計算するためのアルゴリズムを提示し、パス、サイクル、完全、スターハイブリッドグラフがそのアライアンス多項式によって一意に特徴付けられることを証明している。これは、彩色多項式やマッチング多項式といった従来のグラフ多項式よりも、より強い識別能力を有する。

ABSTRACT

The alliance polynomial of a graph $Γ$ with order $n$ and maximum degree $δ_1$ is the polynomial $A(Γ; x) = \sum_{k=-δ_1}^{δ_1} A_{k}(Γ) \, x^{n+k}$, where $A_{k}(Γ)$ is the number of exact defensive $k$-alliances in $Γ$. We provide an algorithm for computing the alliance polynomial. Furthermore, we obtain some properties of $A(Γ; x)$ and its coefficients. In particular, we prove that the path, cycle, complete and star graphs are characterized by their alliance polynomials. We also show that the alliance polynomial characterizes many graphs that are not distinguished by other usual polynomials of graphs.

研究の動機と目的

• 防御的 $k$-アライアンスに基づいて、新しいグラフ不変量としてアライアンス多項式を定義および形式化すること。
• グラフのアライアンス多項式を計算するためのアルゴリズムを開発すること。
• 従来の多項式が区別できないグラフを、アライアンス多項式が一意に特徴付けられるかどうかを調査すること。
• アライアンス多項式の構造的および代数的性質（係数の単峰性など）を調査すること。
• 彩色多項式、マッチング多項式、トゥッテ多項式といった既存のグラフ多項式と比較し、アライアンス多項式の識別能力を評価すること。

提案手法

• 防御的 $k$-アライアンスを、空でない連結部分集合 $S \subseteq V$ で、各頂点 $v \in S$ が $\delta_S(v) \geq \delta_{\bar{S}}(v) + k$ を満たすものとして定義する。
• アライアンスの正確なインデックス $k_S = \min_{v \in S} \{ \delta_S(v) - \delta_{\bar{S}}(v) \}$ を導入し、$S$ を正確な防御的 $k_S$-アライアンスとして分類する。
• アライアンス多項式を $A(\Gamma; x) = \sum_{k \in \mathcal{K}} A_k(\Gamma) \, x^{n+k}$ として構築する。ここで $A_k(\Gamma)$ は連結な正確な防御的 $k$-アライアンスの数を表す。
• すべての連結部分集合を列挙し、その正確な $k$-インデックスを特定することで、$A(\Gamma; x)$ を計算するアルゴリズムを実装する。
• 構造的性質を用いて、特定のグラフ族（例：$P_4$ や $P_2 \boxtimes P_3$）に対して、アライアンス多項式が対称であることを証明する。
• 既知のグラフ多項式の結果（例：[6]、[26]、[27] より）を用い、識別能力を比較し、同型でないグラフが古典的多項式では同一であるが、アライアンス多項式では異なる例を同定する。

実験結果

リサーチクエスチョン

• RQ1 アライアンス多項式は、パス、サイクル、完全グラフ、スターハイブリッドグラフといった基本的なグラフ族を一意に特徴付けられるか？
• RQ2 彩色多項式、マッチング多項式、トゥッテ多項式といった古典的グラフ多項式と比較して、アライアンス多項式の識別能力はどのように異なるか？
• RQ3 標準的なグラフ多項式では区別できないが、アライアンス多項式によって一意に特定可能なグラフは存在するか？
• RQ4 単峰性など、アライアンス多項式の係数が示す構造的性質は何か？
• RQ5 アライアンス多項式が非同型グラフを区別できない有限のグラフ集合が存在するのか、それとも普遍的な識別不変量である可能性があるのか？

主な発見

• アライアンス多項式は、パス、サイクル、完全、スターハイブリッドグラフを一意に特徴付け、同型でないグラフが同じ多項式を持つことはない。
• アライアンス多項式は、彩色多項式、マッチング多項式、独立集合多項式、トゥッテ多項式が同一のグラフに対して同じ値をとる場合でも、それらを区別できることを、図2および図3の反例によって示している。
• 完全二部グラフ $K_{3,3}$ に対しては、その立方体的構造のため、$A_k(K_{3,3}) = 0$ が $k \in \{-2, 0, 2\}$ の場合に成り立つことが明示的に計算された。
• トゥッテ多項式が同一であるにもかかわらず、$P_4$ と $K_{1,3}$ のアライアンス多項式は異なるため、多項式の優れた識別能力が確認された。
• 一部のグラフ（例：$P_4$）ではアライアンス多項式が対称である一方、他のグラフ（例：$P_2 \boxtimes P_3$）では非対称であることが判明し、多項式の形が構造に敏感であることが示された。
• 本稿では、アライアンス多項式がすべてのグラフを区別できる可能性がある証拠を提示しているが、一般の証明は未解決であり、普遍的グラフ不変量である可能性があると示唆している。