[論文レビュー] The Complexity of Graph Pebbling

Kevin G. Milans, Bryan K. Clark|ArXiv.org|Mar 30, 2005

Advanced Graph Theory Research被引用数 4

ひとこと要約

この論文は、基本的なグラフペブル問題の計算複雑性を確立している：最適ペブル数がk以下であるかどうかを決定する問題はNP完全であり、ペブル数がk以下であるかどうかを決定する問題はΠ₂^P完全である。これらの結果は、多項式階層が崩壊しない限り、これらの問題がNPやcoNPをはるかに超える計算的に困難であることを示している。

ABSTRACT

We explore the complexity of computing the optimal pebbling number and pebbling number of a graph. We show that deciding whether the optimal pebbling number of G is at most k is NP-complete and deciding whether the pebbling number of G is at most k is Π_2-complete. Additionally, we provide a characterization of when an unordered set of pebbling moves can be ordered to form a valid sequence of pebbling moves.

研究の動機と目的

• 与えられた整数kに対して、グラフの最適ペブル数がk以下であるかどうかを決定する計算複雑性を特定すること。
• すべてのペブル分布に対して成り立つと仮定した場合に、グラフのペブル数がk以下であるかどうかを決定する問題の複雑性を分析すること。
• グラフペブルにおける到達可能性の複雑性を調査する、すなわち、与えられた分布からターゲット頂点にペブルを置けるかどうかを判断すること。
• ペブル移動の集合が有効な順序に並べ替え可能である条件を特定すること。
• 特に平面性や外部平面性などの構造的制約の下で、 tractable と intractable なペブル問題の計算境界を探索すること。

提案手法

• 最適ペブル数決定問題がNP完全であることを示すために、既知のNP完全問題への還元を用いる。
• 頂点rを共有するGの複数のコピーから成るグラフHを構築し、r-ペブル数問題をペブル数問題に還元する。
• 最小シグネチャ補題を用いて、還元における最適ペブル列がGの1つのコピー内に局所化できることを示す。
• 鳩の巣原理を応用して、切断頂点を含むグラフや高連結性を持つグラフにおける到達可能性に必要なペブルの数を上限づける。
• ペブル分布と移動列の構造を活用してカバー可能問題を定義し、そのNP完全性を証明する。
• 量化子の交互適用を用いて、分布に対する全称量化子を追加することで、複雑性がNPからΠ₂^Pに上昇することを示す。

実験結果

リサーチクエスチョン

• RQ1 グラフの最適ペブル数がk以下であるかどうかを決定する問題は計算的に困難であり、その複雑性クラスは何か？
• RQ2 k個のペブルのすべての分布に対して成り立つと仮定した場合に、グラフのペブル数がk以下であるかどうかを決定する問題の計算複雑性は何か？
• RQ3 与えられたペブル分布の下でターゲット頂点に到達可能かどうかを効率的に決定できるか、それともNP完全であるか？
• RQ4 分布がk個のペブルを持つ任意の分布に一般化された場合、カバー可能問題（分布が単位分布をカバーできるか）の複雑性はNPに留まるか？
• RQ5 すべての分布に対する全称量化子を追加することで、到達可能性問題の複雑性はどのように変化するか？

主な発見

• 最適ペブル数問題はNP完全であり、これはNPに属する最も難しい問題と同等の難易度であることを意味する。
• ペブル数問題はΠ₂^P完全であり、多項式階層が崩壊しない限り、これはNPやcoNPよりも難しいことを示している。
• r-ペブル数問題もΠ₂^P完全である。これは、分布に対する全称量化子がNPを超える複雑性を引き起こすことを確認している。
• カバー可能問題（分布が単位分布をカバーできるか）はNP完全であり、この結果はWatsonによって独立に確認された。
• これらの困難性の結果から、NP = coNPでない限り、ペブル数問題はNPで検証できず、非到達性の多項式時間証明も存在しないことが示唆される。
• 本論文は、π(G,r) ≤ kであるための必要十分条件として、構築されたグラフHに対してπ(H) ≤ k′が成り立つような還元を構築し、r-ペブル数問題の完全性を確立している。