[論文レビュー] Burning a Graph is Hard

Anthony Bonato, Jeannette Janssen+1 more|arXiv (Cornell University)|Nov 20, 2015

Complex Network Analysis Techniques参考文献 6被引用数 6

ひとこと要約

本稿は、最大次数3の木構造やスパイダー・グラフ、パス・フォレストなど、制限されたグラフクラスに対しても、グラフの燃焼数を決定することはNP完全であることを証明している。さらに、腕の数や成分の数が固定されている場合、これらのクラスにおける燃焼数の計算に多項式時間アルゴリズムを提供しており、NP困難問題の計算可能性の境界を確立している。

ABSTRACT

Graph burning is a model for the spread of social contagion. The burning number is a graph parameter associated with graph burning that measures the speed of the spread of contagion in a graph; the lower the burning number, the faster the contagion spreads. We prove that the corresponding graph decision problem is extbf{NP}-complete when restricted to acyclic graphs with maximum degree three, spider graphs and path-forests. We provide polynomial time algorithms for finding the burning number of spider graphs and path-forests if the number of arms and components, respectively, are fixed.

研究の動機と目的

• スパースで構造的なグラフクラスにおけるグラフ燃焼問題の計算複雑性を確立すること。
• 最大次数3の非巡回グラフにおける燃焼数意思決定問題がNP完全であるかどうかを特定すること。
• スパイダー・グラフおよびパス・フォレストにおけるグラフ燃焼の複雑性を調査すること。
• 構造的パラメータ（腕の数、成分数）が固定されている場合の燃焼数の効率的計算アルゴリズムを開発すること。

提案手法

• 既知のNP完全問題への還元を用いて、最大次数3の非巡回グラフにおけるグラフ燃焼のNP完全性を証明する。
• 完全なスパイダー・グラフと最大のパス・フォレストに基づき、燃焼数kの候補となるグラフを再帰的に生成するアルゴリズムを構築する。
• 有効な燃焼シーケンスを検証するために、集合方程式 $ N_{k-1}[x_1] \cup N_{k-2}[x_2] \cup \cdots \cup N_0[x_k] = V(G) $ を用いる。
• 入力グラフと比較するための、すべての可能なk-燃焼最大スパイダー・グラフ（k-BMS^t）およびパス・フォレスト部分グラフを列挙する。
• 入力グラフの腕の長さを候補となるグラフと比較し、入力がk-BMS^tグラフの部分グラフであるような最小のkを特定する。
• 文献[5]の系4を適用し、Gがk-BMS^tグラフの部分グラフである場合、b(G) = k であると結論づける。

実験結果

リサーチクエスチョン

• RQ1 最大次数3の非巡回グラフにおけるグラフ燃焼意思決定問題はNP完全か？
• RQ2 グラフ燃焼のNP完全性はスパイダー・グラフおよびパス・フォレストにも拡張可能か？
• RQ3 腕の数が固定されている場合、スパイダー・グラフの燃焼数を多項式時間で計算可能か？
• RQ4 成分数が固定されている場合、パス・フォレストの燃焼数を多項式時間で計算可能か？
• RQ5 与えられた燃焼数を持つグラフを特徴づける構造的性質は何か？

主な発見

• 最大次数3の非巡回グラフに制限した場合、グラフ燃焼意思決定問題はNP完全である。
• 構造的単純化が施されても、スパイダー・グラフおよびパス・フォレストにおいて問題は依然としてNP完全である。
• 腕の数が固定されている場合、スパイダー・グラフの燃焼数を多項式時間で計算するアルゴリズムが存在する。
• 成分数が固定されている場合、パス・フォレストの燃焼数を多項式時間で計算するアルゴリズムが提供されている。
• 解析の一部として、完全な2分木の燃焼数が特定されている。
• k-燃焼最大グラフ（k-BMS^t）の部分グラフ包含関係をチェックすることで、アルゴリズムは正しく燃焼数を計算している。