摘要：使用“T-元胞”小工具，我们扩展了在arxiv:2004.12849中发表的结果，并提出了一种展示满足多种类型的循环和路径谜题的NP困难性的通用框架。然后，我们利用这个框架证明了多个类型的NP完全性，并讨论了这个小工具的一些局限性。
作者：Hadyn Tang
论文ID：2202.02046
分类：Computational Complexity
分类简称：cs.CC
提交时间：2022-02-07
PDF 下载： 英文版 中文版pdf翻译中