多項式階層
多項式階層（たこうしきかいそう、）は、計算量理論における計算量の階層であり、神託機械を使って P、NP、co-NP を一般化させて定義されるものである。