摘要：通过将计算问题的实例参数化为模块方案，我们奠定了一个新的算法和计算复杂性理论的基础。通过考虑与3-SAT相关的方案的几何性质，我们将P和NP分离开来。特别地，我们证明在最坏情况下，没有确定性算法可以在少于$1.296839^n$的时间内解决3-SAT问题。
作者：Ali c{C}ivril
论文ID：2107.07386
分类：Computational Complexity
分类简称：cs.CC
提交时间：2023-06-16
PDF 下载： 英文版 中文版pdf翻译中