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

一句话总结

本文证明了两种推块谜题变体——PushPush 和 Push-1——在二维空间中为 NP-难问题。通过使用共享构造的 SAT 归约，表明即使在最小滑动（Push-1）或最大滑动（PushPush）的情况下，谜题依然具有计算不可解性，从而解决了二维配置下计算复杂性领域的一个开放问题。

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 的机制看似简单，它们在二维空间中是否为 NP-难问题。
• 将 [OS99] 中关于 PushPush 在三维空间中的 NP-难性结果扩展至二维情形，从而在更受限制的二维环境中确立计算不可解性。
• 证明即使在最小块移动（Push-1）的情况下，即方块每次仅移动一格，谜题依然为 NP-难问题。
• 使用基于 SAT 归约的单一共享构造，统一证明两种变体的 NP-难性。
• 明确在机器人能力最简、可移动单位方块的条件下，可解与不可解推块谜题之间的分界。

提出的方法

• 将布尔可满足性问题（SAT）归约至二维空间中的 PushPush 和 Push-1 谜题。
• 设计一种通用的谜题构造，使用可移动的单位正方形方块、固定障碍物以及机器人路径约束，以编码逻辑变量和子句。
• 实现变量装置，迫使机器人在两条路径之间选择（对应真/假赋值），以模拟 SAT 中的变量赋值。
• 通过导线连接文字单元和子句单元，以模拟合取范式（CNF）公式的逻辑结构，并使用锁和 LUC（锁定单位格）来强制满足子句。
• 通过限制移动自由度，确保最大滑动（PushPush）和最小滑动（Push-1）在构造中行为一致，使两种变体在计算难度上等价。
• 证明机器人仅当且仅当底层 SAT 公式可满足时才能抵达目标，从而通过多项式时间归约建立 NP-难性。

实验结果

研究问题

• RQ1 尽管 PushPush 仅允许最大滑动和单个方块推动，它在二维空间中是否仍为 NP-难问题？
• RQ2 Push-1 变体（方块每次仅移动一格）是否也能被证明为 NP-难问题？
• RQ3 是否存在一种统一构造，能够同时证明 PushPush 和 Push-1 在二维空间中的 NP-难性？
• RQ4 是否可以不依赖三维配置或方块拉动，证明这些谜题的难解性？
• RQ5 Push-1 中的最小滑动行为是否仍导致不可解性，还是使其可被多项式时间求解？

主要发现

• PushPush 在二维空间中为 NP-难问题，解决了 [OS99] 留下的开放问题，该文献仅在三维空间中证明了其 NP-难性。
• Push-1 在二维空间中同样为 NP-难问题，表明即使是最小滑动行为也无法带来可解性。
• 单一共享构造同时证明了 PushPush 和 Push-1 的 NP-难性，表明在受限设计下，最大滑动与最小滑动导致的不可解性是等价的。
• 归约使用基于 SAT 的构造，包含变量装置、子句单元和导线系统，以编码逻辑公式，确保谜题可解当且仅当公式可满足。
• 通过使用 2×2 方块簇阻挡非预期移动，并利用 LUC 确保路径完整性，避免了泄漏和非预期路径。
• 该结果强化了先前工作，表明即使仅允许推动、使用单位方块且不允许拉动，这些谜题在二维空间中依然为 NP-难问题。