关于正向图灵归约的能力
摘要：积极图灵规约在20世纪80年代初提出，Selman的开创性工作表明，积极图灵规约到NP并不比NP本身具有更强的计算能力。因此，除非多项式层次结构崩溃，否则积极图灵和图灵规约到NP的区别很大。 我们发现这种情况对于DP（布尔层次的下一级）则完全不同。特别是，积极图灵规约到DP已经获得了所有（且仅有）图灵规约到NP的集合。因此，积极图灵和图灵规约到DP产生了相同的类。此外，我们展示了在这种情况下，甚至可以使用一个更弱的类P（NP [1]）代替DP。
作者：Edith Hemaspaandra
论文ID：cs/9906028
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23