论文标题
循环和路径难题的框架令人满意的NP硬度结果
A Framework for Loop and Path Puzzle Satisfiability NP-Hardness Results
论文作者
论文摘要
在Arxiv：2004.12849中发表的结果的基础上，我们提出了一个通用框架，用于证明使用“ T-Metacell”小工具满足许多循环和路径难题的NP硬度。然后，我们使用它来证明多种类型的NP完整性，并讨论该小工具的一些局限性。
Building on the results published in arxiv:2004.12849 we present a general framework for demonstrating the NP-hardness of satisfying many genres of loop and path puzzles using a 'T-metacell' gadget. We then use this to prove the NP-completeness of a variety of such genres, and discuss some of the limitations of this gadget.
