[論文レビュー] PushPush is NP-hard in 2D

Erik D. Demaine, Martin L. Demaine+1 more|ArXiv.org|Jan 24, 2000

Artificial Intelligence in Games参考文献 3被引用数 4

ひとこと要約

この論文は、ロボットが単位正方形ブロックを押し、押しの方向に最大距離だけスライドさせる「PushPushパズル」が2次元においてNP困難であることを証明している。著者たちは、ブロックの最大スライドと1ブロックずつの押し制御という制約のもとでも、問題が計算的に扱いにくくなることを示すために、ブール充足問題（SAT）を、独自に設計した論理ゲートを用いた2次元PushPush構成に還元している。

ABSTRACT

We prove that a particular pushing-blocks puzzle is intractable in 2D, improving an earlier result that established intractability in 3D [OS99]. The puzzle, inspired by the game *PushPush*, consists of unit square blocks on an integer lattice. An agent may push blocks (but never pull them) in attempting to move between given start and goal positions. In the PushPush version, the agent can only push one block at a time, and moreover, each block, when pushed, slides the maximal extent of its free range. We prove this version is NP-hard in 2D by reduction from SAT.

研究の動機と目的

• ブロックが押しの方向に最大距離だけスライドする2次元におけるPushPushパズルの計算複雑性を特定すること。
• 3次元PushPushの不計算的性を示した先行研究が残した未解決問題を解消し、2次元への証明を拡張すること。
• ロボットの制御を「押しのみ」、1回に1つのブロックのみに制限しても、パズルが依然としてNP困難であることを示すこと。
• 1way、ダブルロック、双方向クロスオーバー機構などの新しい論理ゲートを用いて、2次元におけるSATからの還元を構築すること。
• 2次元における押しブロックパズルの、 tractable と intractable な変種の境界を明確にすること。

提案手法

• 著者たちは、NP完全なSAT問題を、構成的還元法を用いて2次元PushPushパズルのインスタンスに還元している。
• 可動する単位ブロックと固定された通路を用いて、論理的演算をシミュレートする基本的なゲート（1way、ダブルロック、XORクロスオーバー装置など）を設計している。
• ロボットの移動は、2×2のブロッククラスタによって形成された通路に制限されており、意図しない経路からの逸脱を防いでいる。
• 双方向クロスオーバーゲートは、任意の順序で2つの経路を独立して通過可能にし、論理的独立性を保っている。
• 全体のパズルは、開始位置からゴールに到達可能な経路が存在するための必要十分条件が、SAT式が充足可能であることであるように構築されている。
• 証明は、[OS99]の3次元構成を2次元に拡張し、わずかな簡略化を加えることで、論理的一致性と不計算的性を維持している。

実験結果

リサーチクエスチョン

• RQ1 最大スライドと1ブロックずつの押し制御がある2次元におけるPushPushパズルは、NP困難か？
• RQ2 SAT式を2次元PushPushパズルに符号化でき、その式が充足可能である場合に限り解が存在するか？
• RQ3 2次元における論理ゲート（例：1way、クロスオーバー）は論理的独立性を保ち、意図しない経路の漏れを防げるか？
• RQ4 2次元におけるPushPushパズルは多項式時間で解けるか、それともロボット制御の制限があっても不計算的か？
• RQ5 2次元におけるPushPushの複雑性はPSPACE完全性と同等か、それとも厳密にNP困難か？

主な発見

• 2次元におけるPushPushは、SAT問題からの直接的還元によってNP困難であることが証明された。
• 還元には、1way、ダブルロック、双方向クロスオーバー装置などの独自に設計された論理ゲートの集合が用いられている。
• 双方向クロスオーバーゲートは、任意の順序で2つの経路を独立して通過可能にし、複雑な論理的依存関係を実現できる。
• 構成により、ロボットがゴールに到達できるのは、かつてそのSAT式が充足可能である場合に限られる。
• 最大スライドと1ブロックずつの押し制御という制約のもとでも、2次元における問題は依然として計算的に扱いにくく、 tractable ではないことが確認された。
• 本論文は、PushPushがNP完全かPSPACE完全かは未解決のままとしており、今後の主要な研究課題として挙げている。