从一个较弱的假设导致的向下崩溃
摘要：扩展结果：在允许将$Σ_i^p$替换为其差异层次结构中的任何类的情况下，证明若$DIFF_s(Σ_i^p)Δ DIFF_m(Σ_k^p)$在补集下是封闭的，则$DIFF_m(Σ_k^p) = coDIFF_m(Σ_k^p)。
作者：Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel
论文ID：cs/9808002
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23