抗拒重力：Hanano谜题的复杂性
摘要：使用可见性表示的概念，我们的论文建立了Nondeterministic Constraint Logic（NCL）问题的一个新属性（这是一个非确定性约束逻辑的PSPACE完备问题，非常方便证明可逆推箱子游戏的PSPACE难度）。直接使用这个属性会导致需要展示PSPACE难度的工具数量剧增，但我们展示了如何将该数量从32降低到通常情况下的三个，并在特定情况下降低到两个！我们将其提出作为研究具有不可逆重力的游戏的更广泛和更一般的框架的一步，并利用该连接引导从NCL问题间接多项式时间的一对一约化到Hanano Puzzle（一个NP难问题），从而证明它实际上是PSPACE完备的。
作者：Michael C. Chavrimootoo
论文ID：2205.03400
分类：Computational Complexity
分类简称：cs.CC
提交时间：2023-04-27