简单集合和困难证明方案
摘要：易证书极卷集只能有易证明方案吗？ 在本文中，我们研究一类集合，对于所有NP证书方案（即NP机器），总是具有可以在多项式时间内计算的易接受证书（即接受路径）。我们还研究一类集合，对于所有NP证书方案，具有无数次的易接受证书。 特别地，我们提供了关于相对广义科尔莫哥罗夫复杂性的等价描述，显示它们具有稳健性。我们还提供了关于免疫性和类崩塌的结构条件，可以对这两个类的大小给出上限和下限。最后，我们通过负面结果表明，我们的一些正面主张在相对化方面是最优的。我们的负面结果是通过一种新颖的观察得出的：我们展示了经典的“宽间隔”预言机构造技术产生了即时的非双免疫结果。此外，我们建立了一个结果，改进了Baker，Gill和Solovay的经典结果，即NP = P = NP cap coNP在某个相对化世界成立。
作者：Lane A. Hemaspaandra, Joerg Rothe and Gerd Wechsung
论文ID：cs/9907035
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23