[論文レビュー] PushPush and Push-1 are NP-hard in 2D

Erik D. Demaine, Martin L. Demaine+1 more|ArXiv.org|Jul 13, 2000

Algorithms and Data Compression被引用数 37

ひとこと要約

この論文は、2次元における2種類のブロック押しパズル—PushPushとPush-1—がNP困難であることを証明している。SAT還元を用いた共通の構成を用いて、最小限のスライド（Push-1）または最大限のスライド（PushPush）であっても、パズルの計算的非効率性が保たれることを示し、2次元配置における計算複雑性の未解決問題を解決した。

ABSTRACT

We prove that two pushing-blocks puzzles are intractable in 2D. One of our constructions improves an earlier result that established intractability in 3D [OS99] for a puzzle inspired by the game PushPush. The second construction answers a question we raised in [DDO00] for a variant we call Push-1. Both puzzles consist of unit square blocks on an integer lattice; all blocks are movable. 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 when a block is pushed it slides the maximal extent of its free range. In the Push-1 version, the agent can only push one block one square at a time, the minimal extent---one square. Both NP-hardness proofs are by reduction from SAT, and rely on a common construction.

研究の動機と目的

• PushPushとPush-1が、見かけ上単純な力学的性質を持つにもかかわらず、2次元においてNP困難であるかどうかという未解決問題を解消すること。
• [OS99]で3次元においてPushPushのNP困難性が示されたのを踏まえ、それを2次元に拡張し、より制限された2次元設定における非効率性を確立すること。
• ブロックが1マスずつしか動かない（Push-1）という最小限のブロック移動でも、パズルが依然としてNP困難であることを示すこと。
• SAT還元に基づく1つの共通構成を用いて、両方のバージョンの困難性を統一的に証明すること。
• 最小限のロボット能力と動くユニットブロックの下で、 tractable と intractable なブロック押しパズルの境界を明確にすること。

提案手法

• 2次元におけるPushPushおよびPush-1パズルへのブール充足問題（SAT）からの還元を構築する。
• 可動するユニット正方形ブロック、固定された障害物、およびロボットの経路制約を用いた共通のパズル構成を設計し、論理的変数と節を符号化する。
• 変数ガジェットを実装し、ロボットが2つの経路（真／偽の代入）のどちらかを選択するのを強制することで、SATにおける変数の代入を模倣する。
• リテラルおよび節ユニットをワイヤーで接続し、CNF式の論理的構造をシミュレートする。ロックおよびLUC（ロック付きユニットセル）を用いて、節の充足を強制する。
• 最大スライド（PushPush）と最小スライド（Push-1）が、移動自由度を制限することによって構成内で同一に動作することを保証し、両バージョンの計算的困難性が同等であることを示す。
• ロボットがゴールに到達できるのは、かつたがってその背後にあるSAT式が充足可能である場合に限ることを証明し、多項式時間還元によってNP困難性を確立する。

実験結果

リサーチクエスチョン

• RQ1 最大スライド制限と1ブロックずつの押しのみを課すPushPushパズルが、2次元においてもNP困難であるかどうか？
• RQ2 ブロックが1マスずつしか動かないPush-1バージョンについても、NP困難性が証明可能か？
• RQ3 PushPushとPush-1の両方のNP困難性を示す統一された構成が存在するか？
• RQ4 3次元配置やブロックの引き抜きに依存せずに、これらのパズルの困難性を証明できるか？
• RQ5 Push-1における最小スライド動作は、依然として非効率性を生じさせるのか、それとも多項式時間解法を可能にするのか？

主な発見

• PushPushは2次元においてNP困難であることが証明され、[OS99]が3次元でのみNP困難性を示した未解決問題が解決された。
• Push-1も2次元においてNP困難であることが示され、最小限のスライド動作であっても非効率性が保たれることを示した。
• 1つの共通構成により、PushPushおよびPush-1の両方のNP困難性が証明され、最大スライドと最小スライドが制限付き設計において同等の非効率性をもたらすことが示された。
• 還元は、変数ガジェット、節ユニット、ワイヤーシステムを用いたSATベースの構成を用い、パズルが解けるのはかつたがってその式が充足可能である場合に限ることを保証した。
• 2×2ブロッククラスタを用いて不正な移動を遮断し、LUCを用いて経路の整合性を保証することで、漏れや不正な経路の発生を回避した。
• この結果により、引き抜きを許さず、ユニットブロックの押しのみに限定された状況下でも、2次元におけるこれらのパズルがNP困難であることが強化された。