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

Nathaniel G. Watson|ArXiv.org|Mar 24, 2005

Cellular Automata and Applications参考文献 8被引用数 11

ひとこと要約

本稿は、グラフペブル問題の計算複雑性を確立し、正規ペブル問題とカバーペブル問題の両方について、解法可能性を決定することがNP完全であることを証明する。さらに、到達可能性構成におけるカバーペブル数を計算することはNP困難であることを示し、正確被覆問題からの還元を用いて不解決性を示している。

ABSTRACT

This paper discusses the complexity of graph pebbling, dealing with both traditional pebbling and the recently introduced game of cover pebbling. Determining whether a configuration is solvable according to either the traditional definition or the cover pebbling definition is shown to be NP-complete. The problem of determining the cover pebbling number for an arbitrary demand configuration is shown to be NP-hard.

研究の動機と目的

• グラフペブルにおける解法可能性の計算複雑性を分析すること、特にカバーペブルに関して。
• 与えられた構成が有効なペブル移動によって要求構成を満たせるかどうかを特定すること。
• 特に到達可能性要件に関して、カバーペブル数を計算する難易度を調査すること。
• 既知のNP完全問題からペブル意思決定問題への還元を確立し、複雑性の上限を証明すること。

提案手法

• 負のペブルを許容する一般化されたペブルモデルを用い、整数線形制約を介して解法可能性を特徴づける。
• 頂点間の移動回数 $ n_{ij} $ を含む方程式系を定義し、ペブル移動のシーケンスを表現する。
• 負のペブルモデルにおける解法可能性を決定するための条件 $ C(v_k) + \sum_l n_{lk} - 2\sum_l n_{kl} \geq D(v_k) $ を適用する。
• パスと補助頂点を含むグラフを構築し、正確被覆問題からカバーペブル問題への還元を実施する。
• 鳩の巣原理とペブル容量の上限（例：2つのペブルがターゲットに到達するためには各パスに16ペブルが必要）を用いて到達可能性を分析する。
• 頂点 $ v $ における解法可能性が、集合系における正確被覆の存在と同値であることを示し、NP完全性に結びつける。

実験結果

リサーチクエスチョン

• RQ1 与えられた要求構成に対して、構成が解法可能かどうかを決定する問題はNP完全か？
• RQ2 到達可能性構成に対してカバーペブル数を計算する問題はNP困難か？
• RQ3 ハイパーキューブや平面グラフなどの特定のグラフクラスに対して、カバーペブル数は効率的に計算可能か？
• RQ4 グラフがクラス0（すなわち、$ \pi(G) = |G| $）であるかどうかを決定する問題の複雑性は何か？
• RQ5 対称的グラフ族において、カバーペブルの解法可能性は依然としてNP完全のままであるか？

主な発見

• ユニット構成に対する構成のカバー解法可能性を決定する問題はNP完全である。
• 到達可能性構成 $ R_v $ に対して構成が解法可能かどうかを決定する問題はNP完全である。
• 到達可能性要件 $ R_v $ に対するカバーペブル数 $ \gamma_G(R_v) $ を計算する問題はNP困難である。
• 元の集合系に正確被覆が存在しない場合、到達可能性構成のカバーペブル数は $ 31n + 15(m - n) $ で上界が与えられる。
• グラフ $ G' $ の構築により、$ R_v $ における解法可能性が集合系 $ A $ における正確被覆の存在と同値であることが保証され、NP困難性が証明される。
• 負でないペブルに制限された構成においても、この結果は成り立つ。負のペブルモデルは、非負制約下でも同じ解法可能性条件を特徴づける。