[论文解读] Translating Equality Downwards

Edith Hemaspaandra, Lane A. Hemaspaandra+1 more|ArXiv.org|Oct 1, 1999

Advanced Graph Theory Research参考文献 19被引用 14

一句话总结

本文建立了计算复杂性中等价性的广泛向下传递，表明若多项式层次中某一层的有界查询发生坍缩（例如，对 Σₖᵖ 的 m 次与 m+1 次查询），则该层上的布尔层次将坍缩至其补集。其关键贡献将先前结果推广至所有 k > 1，统一并强化了早期关于有界查询层次与多项式层次结构的研究。

ABSTRACT

Downward translation of equality refers to cases where a collapse of some pair of complexity classes would induce a collapse of some other pair of complexity classes that (a priori) one expects are smaller. Recently, the first downward translation of equality was obtained that applied to the polynomial hierarchy-in particular, to bounded access to its levels [cs.CC/9910007]. In this paper, we provide a much broader downward translation that extends not only that downward translation but also that translation's elegant enhancement by Buhrman and Fortnow. Our work also sheds light on previous research on the structure of refined polynomial hierarchies, and strengthens the connection between the collapse of bounded query hierarchies and the collapse of the polynomial hierarchy.

研究动机与目标

• 统一并扩展先前关于多项式层次中等价性向下传递的研究结果。
• 解决有界查询坍缩是否意味着对 k = 2 及以上情况布尔层次坍缩的开放问题。
• 加强有界查询层次与多项式层次坍缩之间联系。
• 阐明特定对称差分类的补集封闭性与布尔层次坍缩之间的关系。
• 将 Hemaspaandra 等人以及 Buhrman 和 Fortnow 的早期结果推广至更广泛的复杂性理论等式类别。

提出的方法

• 引入一个通用框架，利用对称差分（Δ）和 Σₖᵖ 上的布尔层次实现向下传递。
• 应用硬字符串技术模拟预言机查询，并区分有界查询类中的易输入与难输入。
• 使用带有 Σₖ₋₁ᵖ 预言机的 NP 机递归构造，以模拟更高级别的查询并验证布尔层次类中的成员资格。
• 将 Δ-类的补集封闭性作为关键条件，推导出 DIFFₘ(Σₖᵖ) 坍缩至 co-DIFFₘ(Σₖᵖ)。
• 利用已知包含关系：P^Σₖᵖ[m] ⊆ DIFFₘ₊₁(Σₖᵖ) ⊆ co-DIFFₘ₊₁(Σₖᵖ) ⊆ P^Σₖᵖ[m+1]，建立有界查询与布尔层次之间的联系。
• 证明若 Δᵢᵖ Δ DIFFₘ(Σₖᵖ) = Σᵢᵖ Δ DIFFₘ(Σₖᵖ)，则 DIFFₘ(Σₖᵖ) = co-DIFFₘ(Σₖᵖ)，将定理 1.1 推广至所有 k > 1。

实验结果

研究问题

• RQ1 能否将多项式层次中等价性的向下传递从 k > 2 扩展至 k > 1？
• RQ2 有界查询层次的坍缩（例如，P^Σₖᵖ[m] = P^Σₖᵖ[m+1]）是否意味着 Σₖᵖ 上对应布尔层次的坍缩？
• RQ3 对称差分类的补集封闭性与布尔层次层级坍缩之间存在何种关系？
• RQ4 Hemaspaandra 等人以及 Buhrman 和 Fortnow 的结果能否被统一并推广至更广泛的复杂性理论等式类别？
• RQ5 有界查询层次的坍缩在多大程度上意味着多项式层次在布尔层次中向更低层级坍缩？

主要发现

• 对所有 m > 0 和 k > 1，若 P^Σₖᵖ[m] = P^Σₖᵖ[m+1]，则 DIFFₘ(Σₖᵖ) = co-DIFFₘ(Σₖᵖ)，将定理 1.1 推广至 k = 2。
• 有界查询层次的坍缩意味着对所有 k > 1（而不仅限于 k > 2）的布尔层次在 Σₖᵖ 上坍缩。
• 若 i < k−1，则 Σᵢᵖ Δ DIFFₘ(Σₖᵖ) 的补集封闭性可推出 DIFFₘ(Σₖᵖ) = co-DIFFₘ(Σₖᵖ)，提供了更强的充分条件。
• 本研究统一并扩展了 Hemaspaandra 等人以及 Buhrman 和 Fortnow 的先前工作，解决了向下传递理论中长期存在的空白。
• 假设 P^Σₖᵖ[m] = P^Σₖᵖ[m+1]，现在可推出多项式层次坍缩至 Σₖ₊₁ᵖ 上布尔层次的下一级，当 m > 1 且 k > 1 时成立。
• 本文建立：对 m > 0 和 k > 1，P^Σₖᵖ[m] 坍缩至 P^Σₖᵖ[m+1] 意味着 PH 中每个集合都属于 P^Δₖ₊₁ᵖ[m−1]，且额外增加一次对 Δₖ₊₁ᵖ 的查询。