R\_{1-tt}^{SN}(NP) 区分稳健的多对一和图灵完备性
摘要：复杂度类是否存在多对一完全集仅当它们存在图灵完全集？我们证明了在一个相对世界中，有一种相对自然的复杂度类 - 即NP的下降闭包 snnp - 有图灵完全集但没有多对一完全集。事实上，我们还展示了在同样的相对世界中，这个类有2-真值表完全集但没有1-真值表完全集。作为我们结果的基础工作，我们还证明了 snnp有许多关于有序和并行访问 $p$ 和 $pinterconp$的等价形式。
作者：Edith Hemaspaandra, Lane A. Hemaspaandra, and Harald Hempel
论文ID：cs/9910003
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23