してみましょうコーエン/ベールカテゴリの意味での一般的なOracleのこと。ましょランダムオラクルなります。R
そこ複雑クラスA及びBは、であり または逆に、 A G ≠ B G
この質問は、Scott Aaronsonのコメントに触発されました。
してみましょうコーエン/ベールカテゴリの意味での一般的なOracleのこと。ましょランダムオラクルなります。R
そこ複雑クラスA及びBは、であり または逆に、 A G ≠ B G
この質問は、Scott Aaronsonのコメントに触発されました。
回答:
P = UPでジェネリック(P = PSPACEと仮定)
もう一方の方向では、P =ランダムとの比較ではPromise-BPPですが、ジェネリックとの比較では分離しています。私の頭の上にある約束のないクラスを考えることはできません。
必要に応じて、いくつかの参照を追跡できます。
更新:あなたは非約束のバージョンが必要な場合、、ランダムオラクルとの(ためのS P 2 ⊆ Z P P N P)が、これらは一般的なオラクル(私の例で区切る山上で紙)。
上記の形式の無条件の統一/非約束の複雑さのクラスの違いを知っているとは思いません(更新:例についてはLance Fortnowの回答を参照してください)。以下の一般的なオラクルとランダムオラクルの比較は役立つかもしれません。
ジェネリックオラクルは、有限の初期セグメントを修正しても除外できないすべてのプロパティを満たすオラクルです。ある意味では、必ず可能なすべてのことが起こり、ランダムなオラクルとは非常に異なります(ただし、ランダムなオラクルを無限にエミュレートします)。
例えば、一般的なオラクル(無限しばしばIO手段)と
PSPACE⊆IO-P
EXP⊆IO-ZPP
EXP NP ⊆IO-BPP
したがって、相対化されたPSPACEのすべての問題に対して、無限に多くの入力サイズに対してそのサイズのすべてのインスタンスを解決する多項式時間アルゴリズム(オラクルを使用)があります(同様に、「悪い」入力サイズで任意の動作をするZPPおよびBPPを使用)。 。
ランダムオラクルのように:
IP <PSPACE
多項式階層は無限です。
総称オラクルを持つ多項式時間で計算可能なすべての再帰関数は、オラクルなしで多項式時間で計算できます(オラクルは十分に長いストレッチのために空であるため)。したがって、P <BPPの場合、これは一般的なオラクルにも当てはまりますが、ランダムオラクルにはP = BPPです。