[論文レビュー] Translating Equality Downwards

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

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

ひとこと要約

この論文は計算複雑性における等価性の広範な下方向への翻訳を確立し、多項式階層のレベルにおけるクエリの数が制限されている場合に、そのレベルの補数へのボレル階層が崩壊することを示している（例えば、Σₖᵖ への m 回 vs. 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 の場合、多項式階層が Σₖ₊₁ᵖ におけるボレル階層の1段階低いレベルに崩壊することを意味する。
• m > 0 および k > 1 のすべての値に対して、P^Σₖᵖ[m] から P^Σₖᵖ[m+1] への崩壊は、PH に属するすべての集合が Δₖ₊₁ᵖ[m−1] への1つの追加クエリを用いて P^Δₖ₊₁ᵖ[m−1] に属することを示している。