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

一句话总结

本文证明了三维版本的PushPush谜题——即一个智能体在格子上推动单位正方形方块，使其最大程度滑动直至受阻——是NP难的。该证明通过从布尔可满足性问题（SAT）进行归约，确立了三维空间中此类推方块谜题的计算不可解性，而二维版本仍为开放问题。

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.

研究动机与目标

• 研究三维空间中PushPush谜题的计算复杂性。
• 确定求解三维PushPush谜题是否具有计算上的可解性或不可解性。
• 使用计算复杂性理论，对谜题的三维版本建立正式的复杂性分类。
• 探索涉及推方块的可解与不可解运动规划问题之间的边界。
• 解决三维PushPush的复杂性状态，与尚未解决的二维情况形成对比。

提出的方法

• 作者采用从布尔可满足性问题（SAT）出发的归约方法，SAT是一个著名的NP完全问题。
• 他们构建了一个三维方块与智能体位置的配置，以编码一个SAT实例。
• SAT公式中的每个变量和每个子句都通过三维网格中特定的方块排列和智能体路径来表示。
• 智能体能否到达目标位置，取决于编码的SAT实例是否存在满足赋值。
• 最大滑动规则确保方块移动是确定性且不可逆的，从而保持SAT编码的逻辑一致性。
• 该构造保证：PushPush谜题存在解，当且仅当对应的SAT实例是可满足的。

实验结果

研究问题

• RQ1 三维PushPush谜题在计算上是否不可解，还是存在多项式时间解法？
• RQ2 三维PushPush谜题能否归约为已知的NP完全问题，如SAT？
• RQ3 三维推方块系统具有哪些结构特性，导致其为NP难？
• RQ4 为何二维版本的PushPush仍未解决，而三维版本已被证明为NP难？
• RQ5 最大滑动规则在提升问题复杂性方面起到何种作用？

主要发现

• 通过从SAT问题出发的单射归约，本文证明了三维PushPush谜题为NP难。
• PushPush谜题存在有效解，当且仅当其对应的SAT实例是可满足的。
• 该构造使用单位正方形方块和一个智能体的三维网格，智能体每次只能朝一个方向推动方块。
• 每个方块在被推动时，会最大程度地滑动直至受阻，从而强制实现确定性移动。
• 该证明表明，求解三维PushPush谜题的难度至少与求解任何NP完全问题相当。
• 该工作发表时，二维版本的问题仍为开放问题，尚未有已知的复杂性分类。