R_{1-tt}^{SN}(NP) 区分稳健多一完备与图灵完备
计算复杂性
2007-05-23 v1
摘要
复杂性类有图灵完备集当且仅当其有多一完备集吗？我们证明存在一个相对化世界，其中一类相对自然的复杂性类——即 NP 的向下闭包 \rsnnp ——具有图灵完备集但不具有多一完备集。事实上，我们展示在同一相对化世界中该类具有 2-真值表完备集但缺乏 1-真值表完备集。作为我们结果的铺垫，我们证明了 \rsnnp 具有多个与对 和 的有序及并行访问相关的等价形式。
引用
@article{arxiv.cs/9910003,
title = {R_{1-tt}^{SN}(NP) Distinguishes Robust Many-One and Turing Completeness},
author = {Edith Hemaspaandra and Lane A. Hemaspaandra and Harald Hempel},
journal= {arXiv preprint arXiv:cs/9910003},
year = {2007}
}
备注
22 pages