违背重力：Hanano 谜题的复杂性
计算复杂性
2023-04-27 v3
摘要
利用可见性表示的概念，本文建立了非确定性约束逻辑（NCL）问题实例的一个新性质（NCL 是一个 PSPACE 完全问题，便于证明带推块可逆游戏的 PSPACE 困难性）。直接运用该性质会导致证明 PSPACE 困难性所需构件数量激增，但我们展示了如何将其数量从 32 个普遍降至仅 3 个，在特定情形下更降至 2 个！我们提议将其作为研究不可逆重力游戏之更宽泛通用框架的一步，并利用该联系引导从 NCL 问题到 Hanano 谜题（其为 NP 困难）的间接多项式时间多一归约，从而证明其实为 PSPACE 完全。
引用
@article{arxiv.2205.03400,
title = {Defying Gravity: The Complexity of the Hanano Puzzle},
author = {Michael C. Chavrimootoo},
journal= {arXiv preprint arXiv:2205.03400},
year = {2023}
}