多项式层次结构内的向下坍缩
摘要：向下崩溃：多指在两个大类相等的情况下，两个小类也相等。我们在多项式层次结构中提供了一个无条件的向下崩溃结果。具体地说，我们证明，对于k>2，如果$psigkone = psigktwo$，那么$sigmak = pik = ph$。我们扩展了这个结果以获得更一般的向下崩溃结果。
作者：Edith Hemaspaandra, Lane A. Hemaspaandra, and Harald Hempel
论文ID：cs/9910007
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23