[論文レビュー] Query Order and the Polynomial Hierarchy

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

Advanced Algebra and Logic被引用数 3

ひとこと要約

この論文は、多項式階層内におけるNPオракルへのクエリの順序が計算パワーに与える影響を調査する。レベルが順序に依存しない（すなわち、クエリの順序がパワーを変えない）という事実に対して、順序付きクエリクラスは多項式階層が崩壊しない限り、新たな別個のレベルを形成する。これは、クエリの順序に敏感な多項式階層内の新たな構造を明らかにする。

ABSTRACT

Hemaspaandra, Hempel, and Wechsung [cs.CC/9909020] initiated the field of query order, which studies the ways in which computational power is affected by the order in which information sources are accessed. The present paper studies, for the first time, query order as it applies to the levels of the polynomial hierarchy. We prove that the levels of the polynomial hierarchy are order-oblivious. Yet, we also show that these ordered query classes form new levels in the polynomial hierarchy unless the polynomial hierarchy collapses. We prove that all leaf language classes - and thus essentially all standard complexity classes - inherit all order-obliviousness results that hold for P.

研究の動機と目的

• 多項式階層内でのクエリ順序が計算パワーに与える影響を調査すること。
• 多項式階層のレベルが、クエリの順序に依存するかどうかを特定すること。
• 順序付きクエリクラスが、標準的階層を超えた新たな複雑さクラスを生じるかどうかを調査すること。
• Pからより広範な複雑さクラスへと順序に依存しない性質がどのように継承されるかを検討すること。

提案手法

• 論文は、NPオラクルへのクエリの順序を考慮したクラスを分析し、多項式階層の文脈におけるクエリ順序の影響に焦点を当てる。
• 還元とオラクルマシンの構築を用いて、異なるクエリ順序のパワーを比較する。
• すべてのリーフ言語クラスがPの順序に依存しない性質を継承することを証明し、既知の結果を拡張する。
• 多項式階層が崩壊しない限り、順序付きクエリクラスが階層内で厳密に新しいレベルを形成することを確立する。
• リーフ言語定義可能性の概念を用いて、標準的複雑さクラス間の結果を統一する。
• Hemaspaandraら（cs.CC/9909020）のクエリ順序に関する先行結果を活用し、階層的分析のための枠組みを構築する。

実験結果

リサーチクエスチョン

• RQ1 NPオラクルへのクエリの順序が、多項式階層内のクラスの計算パワーに影響を与えるか？
• RQ2 多項式階層のレベルはクエリ順序に対して不変であるか、それとも順序が新たな複雑さクラスを生じるか？
• RQ3 順序付きクエリクラスが多項式階層内で新たなレベルを形成できることを示せるか、そしてどのような条件下でできるか？
• RQ4 リーフ言語によって定義されるような標準的複雑さクラスは、Pの順序に依存しない性質を継承するか？
• RQ5 クエリ順序と多項式階層の崩壊との関係は何か？

主な発見

• 多項式階層のレベルは順序に依存しない：クラスのパワーはNPオラクルへのクエリの順序に依存しない。
• 階層レベルの順序に依存しない性質にもかかわらず、順序付きクエリクラスは多項式階層が崩壊しない限り、新たな別個のクラスを形成する。
• すべてのリーフ言語クラスがPの順序に依存しない性質を継承しており、これらの結果の広範な適用可能性を示している。
• 新たな順序付きクエリクラスの存在は、クエリ順序が標準的階層では捉えきれない構造的複雑さを導入することを示唆する。
• 結果から、クエリ順序が複雑さ理論において意味のあるパrameterであることが示唆され、階層全体が変わっていなくてもそうである。
• 論文は、多項式階層が崩壊しないことと、各レベルで異なる順序付きクエリクラスが存在することは同値であることを確立した。