[論文レビュー] Defensive alliances in graphs: a survey

Ismael G. Yero, Juan A. Rodríguez‐Velázquez|arXiv (Cornell University)|Aug 9, 2013

Advanced Graph Theory Research参考文献 3被引用数 9

ひとこと要約

本調査は、グラフにおける防御的 $k$-アライアンスについて包括的な概説を提供する。防御的 $k$-アライアンスとは、各頂点が集合内に外部よりも少なくとも $k$ 個の隣接頂点をもつような頂点集合として定義される。計算複雑性、防御的アライアンス数の境界、グローバルおよび境界アライアンス、アライアンスへの分割、防御的 $k$-アライアンスフリー集合についての主要な結果を、特にカルテシアン積グラフにおいて要約している。特定のグラフ族に対しては、タイトな境界と構造的特徴付けが確立されている。

ABSTRACT

A set $S$ of vertices of a graph $G$ is a defensive $k$-alliance in $G$ if every vertex of $S$ has at least $k$ more neighbors inside of $S$ than outside. This is primarily an expository article surveying the principal known results on defensive alliances in graph. Its seven sections are: Introduction, Computational complexity and realizability, Defensive $k$-alliance number, Boundary defensive $k$-alliances, Defensive alliances in Cartesian product graphs, Partitioning a graph into defensive $k$-alliances, and Defensive $k$-alliance free sets.

研究の動機と目的

• 防御的 $k$-アライアンスという、外部からの影響に対してレジリエンスを示す団結的サブグループをモデル化する概念を導入した研究を体系的かつ要約すること。
• 最小防御的 $k$-アライアンスを求める問題の計算複雑性を分析し、意思決定問題としてのNP完全性を確立すること。
• グローバル、境界、および $k$-アライアンスフリー集合といった構造的性質を、特に積グラフにおいて探求すること。
• 木、正則グラフ、およびカルテシアン積など、特定のグラフ族における防御的 $k$-アライアンス数のタイトな境界と正確な特徴付けを提供すること。
• スペクトル境界、ドミネーション関係、実現可能性条件といった、防御的アライアンスに関する多様な文献の結果を統合すること。

提案手法

• すべての $ v \in S $ に対して $ \delta_S(v) \geq \delta_{\overline{S}}(v) + k $ という不等式を用いて防御的 $k$-アライアンスを定義し、内部のレジリエンスを保証する。
• ドミネーション、近傍多様性、次数制約といったグラフ理論的道具を用いて、アライアンス数の境界を導出する。
• スペクトルグラフ理論を適用し、防御的アライアンス数と代数的連結度、ラプラシアンスペクトル半径、隣接行列スペクトル半径の関係を明らかにする。
• カルテシアン積グラフに対して、射影と構造的分解を用い、特に定理87および推論88を用いて積グラフ内の集合と基本グラフ内の集合の関係を分析する。
• 積グラフにおける $k$-防御的アライアンスフリー集合であるための必要十分条件を、定理89および推論90を用いて確立する。
• 特に、等号 $ \phi_k^d(G_1 \square G_2) = n_1 n_2 $ が成立する場合（例えば、木–サイクルまたはスターパス積など）を含む、$ \phi_k^d(G_1 \square G_2) $ のタイトな境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 グラフにおける最小防御的 $k$-アライアンスを特定する問題の計算複雑性は何か？ また、これはNP完全性とどのように関係するか？
• RQ2 グローバル防御的 $k$-アライアンスはドミネーティングセットとどのように関係するか？ その構造的および計算的性質は何か？
• RQ3 カルテシアン積グラフにおける防御的 $k$-アライアンスフリー数の最もタイトな下界は何か？
• RQ4 どのような条件下で $ \phi_k^d(G_1 \square G_2) = n_1 n_2 $ が成り立ち、そのような場合をどのように特徴付けられるか？
• RQ5 積グラフにおける集合の射影は、その成分グラフにおける防御的アライアンス性質とどのように関係するか？

主な発見

• 防御的 $k$-アライアンス問題は、すべての固定された $k$ に対してNP完全であることが確認され、計算上の困難性が裏付けられた。
• ハイパーキューブ $Q_3$ には境界防御的 $0$-アライアンスが存在しないことが示され、一部のグラフでは非存在が起こり得ることを示した。
• カルテシアン積グラフ $G_1 \square G_2$ において、$ \phi_k^d(G_1 \square G_2) \geq \alpha(G_1)\alpha(G_2) + \min\{n_1 - \alpha(G_1), n_2 - \alpha(G_2)\} $ が成り立ち、特にスターパス積のような特定のケースで等号が成立する。
• $G_1$ が $\Delta_1 \geq 2$ を満たす木で、$G_2$ がサイクルであるとき、$ \phi_4^d(G_1 \square G_2) = n_1 n_2 $ であることが示され、境界のタイトさが裏付けられた。
• 推論88(ii)の境界は、以前の境界（例：$ t(r-1)+1 $ 対 $ t\lceil r/2 \rceil + 1 $）を改善しており、等号は $ r=2 $ または $ r=3 $ のみで成立する。
• もし $ S_1 \times V_2 $ が $ G_1 \square G_2 $ において $k$-防御的アライアンスフリー集合であれば、$ S_1 $ は $ G_1 $ において $ (k - \delta_2) $-防御的アライアンスフリー集合であることが示され、射影を用いた特徴付けが得られた。