私のコメントを回答として再定式化し、少し拡大するには:
NP NP = NPであるかどうかはわかりません。これは複雑性理論において悪名高い未解決の問題ですが、PとNPの場合と同様に、これらは等しくないと考えられます。NPマシンでNPオラクルをシミュレートする方法がわからない理由の1つは、オラクルに送信された問題の「いいえ」のインスタンスをNPマシンがどのように検出できるかがわからないことです。
クラスNP NPは、としても知られている、とあるの一つの第二のレベルでクラス多項式階層。第二のレベルで他のクラスは、
Δ P 2ΣP2
(coNPoracleを使用した場合、これらのクラスはすべて同じです。唯一の違いは、本質的に出力の論理否定です。)階層の3番目以上のレベルのクラスは、さらにNPoracleを与えることによって定義されます。
Δ PのK + 1
ΔP2ΠP2:=PNP,:=coNPNP.
再び、差
ΣPのKと
ΠPのk個のオラクルは、本質的に、その出力の否定です。我々はまた、定義
ΔP0=ΣP0=ΠP0=P。上記の定義を使用して、あなたは、これが私たち与えていることがわかります
ΔP1:=P、
ΣP1:=NP、および
ΠP1:=COΔPk+1ΣPk+1ΠPk+1:=PΣPk=PΠPk,:=NPΣPk=NPΠPk,:=coNPΣPk=coNPΠPk.
ΣPkΠPkΔP0=ΣP0=ΠP0=PΔP1:=PΣP1:=NP。
ΠP1:=coNP
ΣPkΠPkΠPkNPオラクルの塔をシミュレートすることによって)。