[論文レビュー] PSPACE-completeness of Pulling Blocks to Reach a Goal

Joshua Ani, Sualeh Asif+6 more|arXiv (Cornell University)|Jun 7, 2020

Optimization and Search Problems参考文献 18被引用数 2

ひとこと要約

この論文は、グリッド上で1×1のブロックを引いてゴールに到達する必要があるエージェントを含む、さまざまな制約（任意/強制的な引き、ブロック強度、固定ブロック、薄い壁、重力）を伴う引きブロックパズルのほとんどすべての変種について、PSPACE完全性を証明している。唯一の例外は、Pull?-1FG（任意の引き、強度1、固定ブロック、重力あり）であり、これはNP困難であることが示されたが、PSPACEに含まれるかどうかは未解決のままである。結果は、非決定的制約論理と、ダイオードや自己閉鎖ドアなどの特殊なガジェットを用いた1人用移動計画問題からの還元によって確立されている。

ABSTRACT

We prove PSPACE-completeness of all but one problem in a large space of pulling-block problems where the goal is for the agent to reach a target destination. The problems are parameterized by whether pulling is optional, the number of blocks which can be pulled simultaneously, whether there are fixed blocks or thin walls, and whether there is gravity. We show NP-hardness for the remaining problem, Pull?-1FG (optional pulling, strength 1, fixed blocks, with gravity).

研究の動機と目的

• エージェントがゴールに到達するためにブロックを引く必要がある広範なブロック引きパズルの計算複雑性を特定すること。
• 任意引き対強制引き、ブロック強度、固定ブロック、薄い壁、重力といったパラメータが問題の複雑性に与える影響を分析すること。
• 特に重力と強度制約がある場合の、これまで未解決だった引きブロックパズルの複雑性を解明すること。
• 押すブロックパズルにおける先行の難易度結果を、より複雑な引きブロックバージョンに拡張すること。
• 残りの未解決ケース、すなわちPull?-1FGの複雑性がNP困難とPSPACE完全性の間にあるという事実を特定すること。

提案手法

• 非同期非決定的制約論理（NCL）からの還元により、重力なしの変種についてPSPACE困難性を証明する。
• ガジェットを通した移動計画フレームワークを用い、新たなガジェット（非決定的ロック付き2トグルおよび3ポート自己閉鎖ドア）を導入する。
• ブロック引きメカニズムを用いてダイオードガジェットを構築し、方向性のある流れをシミュレートすることで、論理制約を再現する。
• 1回限りの一方通行ガジェットとクロスングNANDガジェットの設計により、NP困難な1人用平面移動計画問題をシミュレートする。
• クロスングNANDガジェットを用いた1人用平面移動計画問題からの還元により、Pull?-1FGのNP困難性を証明する。
• 固定ブロックと薄い壁を構造的制約として用い、パズルグリッド内の論理的制御とフロー制御を符号化する。

実験結果

リサーチクエスチョン

• RQ1 重力なしの固定ブロックあり、任意引きのPull?-kFパズル族の計算複雑性は何か？
• RQ2 重力の導入が、固定ブロックまたは薄い壁を含む引きブロックパズルの複雑性に与える影響は？
• RQ3 Pull?-1FG（任意引き、強度1、固定ブロック、重力あり）はNPに属するか、PSPACE完全か、それともその間の厳密な複雑性にあるか？
• RQ4 押すブロックパズルで用いられた同じ還元技術が、類似した制約を持つ引きブロックパズルに対しても適用可能か？
• RQ5 ブロックの保存や再構成を目的とする変種は、同じ引きメカニズム下でもPSPACE困難のままであるか？

主な発見

• 固定ブロックまたは薄い壁を含む引きブロックパズルのすべての変種は、引きの任意/強制、ブロック強度の有界/無限にかかわらず、PSPACE完全である。
• 唯一の例外はPull?-1FGであり、これはNP困難であることが証明されたが、PSPACEに含まれるかどうかは未解決のままである。
• 重力ありの変種のPSPACE完全性は、強制的引きのすべてのケース、およびk ≥ 2の任意引きまたは薄い壁を含むケースで確立された。
• ダイオードと自己閉鎖ドアを用いた還元フレームワークは、引きブロックモデルにおける論理制約のシミュレーションに成功した。
• 1回限りの一方通行ガジェットとクロスングNANDガジェットの構築により、既知のNP困難な1人用移動計画問題を符号化することで、Pull?-1FGのNP困難性が示された。
• 結果として、引きブロックパズルは押すブロックパズルと同等以上に困難であり、一部の変種は計算複雑性の観点からより厳密に困難またはより表現力があることが示された。