蜘蛛纸牌的 NP-完全性
摘要：电脑解决复杂任务的潜力研究：Spider Solitaire的复杂性被证明是NP-完备的，利用了Helmert的论文《规划中标准基准领域的复杂性结果》（2003）的证明结构，该论文证明了FreeCell是NP-困难的。本文证明了决策问题属于NP-完备类，需要证明它既属于NP又属于NP-困难。为了证明这一点，本文不仅展示了可能进行的可逆移动类型来证明，还展示了如果可能完成，则规模为n的任何Spider Solitaire游戏所需的移动数量不会超过多项式数量。本文通过展示任何3-SAT实例都可以使用适当排列的初始图表来复制，将3-SAT简化为SpiderSolitaire（该论文在引用通用版本的流行纸牌游戏"Spider Solitaire"时使用此名称）。所提供的示例加强了NP-困难性的证明，并有助于更好理解证明，但决定性证明在方程式中，提供了如何将任何问题大小为C的3-SAT实例设置为SpiderSolitaire实例的指导。
作者：Jesse Stern
论文ID：1110.1052
分类：Computational Complexity
分类简称：cs.CC
提交时间：2011-10-06