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

Joseph O’Rourke, Group, The Smith Problem Solving|ArXiv.org|Nov 28, 1999

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

ひとこと要約

この論文は、3次元のプッシュプッシュパズル—エージェントが格子上での単位正方形ブロックを押し、ブロックが止まるまで最大までスライドさせる—がNP困難であることを証明している。証明は、ブール充足可能性問題（SAT）への還元を用い、3次元における計算の非効率性を確立している。一方、2次元バージョンは未解決の問題のままである。

ABSTRACT

We prove that a particular pushing-blocks puzzle is intractable in 3D. 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 3D by reduction from SAT. The corresponding problem in 2D remains open.

研究の動機と目的

• 3次元空間におけるプッシュプッシュパズルの計算複雑性を調査すること。
• 3次元プッシュプッシュパズルを解くことが計算的に容易か、あるいは困難かを特定すること。
• 計算複雑性理論を用いて、パズルの3次元版の正式な複雑性分類を確立すること。
• ブロックを押す運動計画問題における、容易と困難の境界を探索すること。
• 3次元におけるプッシュプッシュの複雑性状態を解明し、未解決の2次元ケースと対比すること。

提案手法

• 著者たちは、よく知られたNP完全問題であるブール充足可能性問題（SAT）への還元を用いている。
• SATのインスタンスを符号化する3次元のブロックとエージェントの配置を構築している。
• SAT式内の各変数と各節は、3次元グリッド上の特定のブロック配置とエージェントの経路によって表現されている。
• エージェントがゴールの位置に到達できるかどうかは、符号化されたSATインスタンスに充足可能な割り当てが存在するかどうかに依存する。
• 最大スライドルールにより、ブロックの移動が決定的かつ不可逆的になるため、SAT符号化の論理が保たれる。
• 構成により、プッシュプッシュパズルに解が存在するための必要十分条件は、対応するSATインスタンスが充足可能であることである。

実験結果

リサーチクエスチョン

• RQ1 3次元プッシュプッシュパズルは計算的に非効率的であるか、それとも多項式時間解法が存在するか？
• RQ2 3次元プッシュプッシュパズルは、SATのような既知のNP完全問題に還元可能か？
• RQ3 3次元ブロック押しシステムのどの構造的性質がNP困難性を引き起こすか？
• RQ4 なぜ2次元版のプッシュプッシュは未解決のままであり、3次元版はNP困難であると証明されたのか？
• RQ5 最大スライドルールは、問題の複雑性をどのように高めているのか？

主な発見

• 3次元プッシュプッシュパズルは、SAT問題への1対1還元によりNP困難であることが証明された。
• プッシュプッシュパズルに有効な解が存在するのは、対応するSATインスタンスが充足可能である場合に限る。
• 構成は、単位正方形ブロックと1回に1方向にしかブロックを押せないエージェントを含む3次元グリッドを用いている。
• 各ブロックが押されたとき、ブロックは止まるまで最大限にスライドし、移動が決定的になる。
• 証明により、3次元プッシュプッシュパズルを解くことは、任意のNP完全問題を解くのと同等かそれ以上に難しいことが示された。
• 2次元版の問題は未解決であり、本研究時点では複雑性分類が明らかでない。