论正图灵归约的能力
计算复杂性
2007-05-23 v1
摘要
在 20 世纪 80 年代初，Selman 关于正图灵归约的开创性工作表明，对 NP 的正图灵归约并未产生强于 NP 本身的计算能力。因此，除非多项式层级坍缩，否则对 NP 的正图灵可归约性与图灵可归约性截然不同。我们表明，对于布尔层级的下一层 DP，情况大不相同。具体而言，对 DP 的正图灵归约已经产生所有（且仅有）对 NP 图灵可归约的集合。因此，对 DP 的正图灵与图灵可归约性产生相同的类。此外，我们表明在此背景下，一个更弱的类 P(NP[1]) 可替代 DP。
引用
@article{arxiv.cs/9906028,
title = {On the Power of Positive Turing Reductions},
author = {Edith Hemaspaandra},
journal= {arXiv preprint arXiv:cs/9906028},
year = {2007}
}
备注
7 pages