[论文解读] 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

一句话总结

本文证明了几乎所有在各种约束条件下（如可选/强制拉动、块强度、固定块、薄墙和重力）的推块谜题变体均为PSPACE-完全，这些变体中，一个代理必须通过在网格上拉动1×1块来抵达目标。唯一例外的是Pull?-1FG（可选拉动、强度1、固定块、有重力），其被证明为NP-难，但其确切复杂度仍未知。该结果通过从非确定性约束逻辑和单人运动规划问题的归约获得，使用了如二极管和自闭门等专用装置。

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-难性。
• 使用基于装置的运动规划框架，并引入新型装置：非确定性锁闭双态开关和三端口自闭门。
• 利用块拉动机制构建二极管装置，以模拟定向流动，从而实现逻辑约束的模拟。
• 设计单次使用单向装置和交叉NAND装置，以模拟NP-难的单人平面运动规划问题。
• 通过使用交叉NAND装置从单人平面运动规划问题归约，证明Pull?-1FG的NP-难性。
• 利用固定块和薄墙作为结构约束，以在谜题网格中编码逻辑与控制流。

实验结果

研究问题

• RQ1 在无重力条件下，具有可选拉动和固定块的Pull?-kF类推块谜题的计算复杂度为何？
• RQ2 重力的引入如何影响具有固定块或薄墙的推块谜题的复杂度？
• RQ3 Pull?-1FG变体（可选拉动、强度1、固定块、有重力）是否属于NP或PSPACE-完全？还是严格介于两者之间？
• RQ4 能否将先前用于推块谜题PSPACE-完全性归约的技术应用于具有类似约束的拉块谜题？
• RQ5 在相同拉动机制下，具有块存储或重构目标的变体是否仍为PSPACE-难？

主要发现

• 所有具有固定块或薄墙的推块谜题变体，无论拉动是否可选或块强度是否受限，均为PSPACE-完全。
• 唯一例外是Pull?-1FG，其被证明为NP-难，但尚未被证明属于PSPACE，其确切复杂度仍开放。
• 所有强制拉动的重力变体，以及可选拉动且k≥2或含薄墙的变体，其PSPACE-完全性已确立。
• 使用二极管和自闭门的归约框架成功在拉块模型中模拟了逻辑约束。
• 单次使用单向装置和交叉NAND装置的构造，通过编码已知的NP-难单人运动规划问题，证明了Pull?-1FG的NP-难性。
• 结果表明，拉块谜题的计算复杂度至少与推块谜题相当，某些变体甚至更难或更具表达力。