Scifaro

中文

计算复杂性的概型理论方法 II. 在 $\mathbb{C}$、$\mathbb{R}$ 与 $\mathbb{Z}$ 上 P 与 NP 的分离

计算复杂性 2024-02-23 v9

作者: Ali Çivril

在 arXiv 上查看 ↗ PDF ↗

摘要

我们证明，在 $\mathbb{C}$ 、 $\mathbb{R}$ 和 $\mathbb{Z}$ 上判定二次系统的可行性需要指数时间。这在 BCSS 计算模型下分离了这些域/环上的 P 和 NP。

关键词

计算复杂性二次系统 P 与 NP BCSS 模型指数时间域与环

引用

@article{arxiv.2107.07387,
  title  = {Scheme-theoretic Approach to Computational Complexity II. The Separation of P and NP over $\mathbb{C}$, $\mathbb{R}$, and $\mathbb{Z}$},
  author = {Ali Çivril},
  journal= {arXiv preprint arXiv:2107.07387},
  year   = {2024}
}

备注

4 pages, updated the definitions according to the first paper in the series