Scifaro

中文

计算复杂性的概型理论方法 I. P 与 NP 的分离

计算复杂性 2024-02-20 v9

作者: Ali Çivril

在 arXiv 上查看 ↗ PDF ↗

摘要

我们通过将计算问题的实例参数化为模概型，为算法与计算复杂性建立了一个新理论的基础。考虑与 3-SAT 相关的概型的几何性质，我们分离了 P 和 NP。特别地，我们证明在最坏情况下，任何确定性算法都无法在少于 $1.296839^n$ 的时间内求解 \textsf{3-SAT}。

关键词

计算复杂性模概型 P 与 NP 3-SAT 算法最坏情况时间

引用

@article{arxiv.2107.07386,
  title  = {Scheme-theoretic Approach to Computational Complexity I. The Separation of P and NP},
  author = {Ali Çivril},
  journal= {arXiv preprint arXiv:2107.07386},
  year   = {2024}
}

备注

15 pages, more formal definitions unit reductions, proof (of the almost obvious fact) that unit operations are distinct from unit instance operations