Hemaspandra，A巷。;约尔格·罗特;Gerd Wechsung公司 简易设置和硬证书方案。 （英语） Zbl 0883.68072号 学报信息。 34，编号11，859-879（1997）. 摘要：轻松集只能有轻松的证书方案吗？在本文中，我们研究了一类集合，对于所有NP证书方案（即NP机器），该类集合始终具有可在多项式时间内计算的易接受证书（即接受路径）。我们还研究了一类集合，对于所有NP证书方案，该类集合通常具有容易接受的证书。特别地，我们根据相对广义Kolmogorov复杂性提供了这些类的等价特征，表明它们是鲁棒的。我们还提供了结构条件——关于免疫性和类崩溃——为这两个类的大小设定了上下限。最后，我们提供了负面结果，表明我们的一些积极主张在相对性方面是最优的。我们的负面结果通过一个新的观察得到了证明：我们表明，经典的“宽间距”预言构建技术可以产生即时的非双社区结果。此外，我们建立了一个结果，改进了Baker、Gill和Solovay的经典结果，即（text{NP}\neq\text{P}=\text{NP}\cap\text{coNP}）在某些相对化世界中成立。 引用于12文件 MSC公司： 68问题30 算法信息理论（Kolmogorov复杂性等） 关键词：NP证书方案;接受路径;科尔莫戈洛夫复杂性 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Hemaspaandra}等人，《信息学报》34，第11期，859--879（1997；Zbl 0883.68072） 全文： 内政部 arXiv公司