朝着复杂理论化解Rice定理的第二步
摘要：Rice定理指出，可递归枚举集合的每个非平凡语言属性都是不可判定的。Borchert和Stephan发起了寻找Rice定理的复杂性理论模拟的研究。特别地，他们证明了电路的每个非平凡计数属性都是UP难的，并且许多相关问题都是SPP困难的。本文研究了他们的UP难度结论是否可以进一步提升为SPP难度。我们证明，除非存在不太可能的复杂性类包含关系，否则他们的UP难度结果无法加强为SPP难度。尽管如此，我们证明了电路的每个P-可构造的双无限计数属性都是SPP难的。我们还将他们的一般下界从唯一非确定性扩展到常数不确定性。
作者：Lane A. Hemaspaandra and Joerg Rothe
论文ID：cs/9907038
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23