关于无限时间图灵机的 P ?= NP $\cap$ co-NP 与 NP ?= co-NP 问题

Vinay Deolalikar

关于无限时间图灵机的 P ?= NP $\cap$ co-NP 与 NP ?= co-NP 问题

逻辑 2007-05-23 v1

作者: Vinay Deolalikar

摘要

Schindler近期探讨了运行于超限序数时间的图灵机之P $\stackrel{?}{=}$ NP问题的两个版本。这些版本在输入长度的定义上有所不同。相应的复杂度类标记为P、NP以及 ${\rm P}^+,{\rm NP}^+$ 。Schindler证明了P $\neq$ NP且 ${\rm P}^+ \neq {\rm NP}^+$ 。我们证明P $=$ NP $\cap$ co-NP且NP $\neq$ co-NP，而 ${\rm P}^+ \subset$ NP $\cap$ co-NP且 ${\rm NP}^+ \neq$ co-NP $^++$ 。

关键词

无限时间图灵机 P与NP问题 co-NP 复杂度类序数时间

引用

@article{arxiv.math/0305445,
  title  = {On the questions P ?= NP $\cap$ co-NP and NP ?= co-NP for infinite time Turing machines},
  author = {Vinay Deolalikar},
  journal= {arXiv preprint arXiv:math/0305445},
  year   = {2007}
}

备注

9 pages

关于无限时间图灵机的 P ?= NP $\cap$ co-NP 与 NP ?= co-NP 问题

摘要

关键词

引用

备注

相关论文