明确计算：布尔层级和稀疏图灵完备集
摘要：关于复杂类的布尔闭包、布尔层级和对称差层级等的相等性：复杂类的交集闭包也满足这些等式，在不可确定多项式时间(NP)的情况下，Hausdorff层级和nested difference层级都无法捕捉到布尔闭包。Karp和Lipton证明了，如果非确定性多项式时间具有稀疏的图灵完备集，则多项式层级将坍塌。我们首次得出这样的假设：不确定多项式时间具有稀疏的图灵完备集，那么(a) UP在Low\_2中，其中Low\_2是低阶层级的第二层，(b) 不确定多项式层级的每个层级都在承诺不确定多项式层级的较低一层。
作者：Lane A. Hemaspaandra and Joerg Rothe
论文ID：cs/9907033
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23