多項式階層
多項式階層(たこうしきかいそう、英: Polynomial hierarchy)は、計算量理論における計算量の階層であり、神託機械を使って P、NP、co-NP を一般化させて定義されるものである。
クラス NP と co-NP は N P = ∃ P P {\displaystyle {\rm {NP}}=\exists ^{\rm {P}}{\rm {P}}} と c o N P = ∀ P P {\displaystyle {\rm {coNP}}=\forall ^{\rm {P}}{\rm {P}}} と定義され、ここで P は(多項式時間で)適切に決定可能な言語群の全体のクラスである。多項式階層は次のように再帰的に定義できる。