一般的なオラクルとランダムなオラクルで異なるものの例?


11

してみましょうコーエン/ベールカテゴリの意味での一般的なOracleのこと。ましょランダムオラクルなります。RGR

そこ複雑クラスA及びBは、であり または逆に、 A G B G

AG=BGandARBR
AGBGandAR=BR?

この質問は、Scott Aaronsonのコメントに触発されまし

回答:


12

P = UPでジェネリック(P = PSPACEと仮定)

もう一方の方向では、P =ランダムとの比較ではPromise-BPPですが、ジェネリックとの比較では分離しています。私の頭の上にある約束のないクラスを考えることはできません。

必要に応じて、いくつかの参照を追跡できます。

更新:あなたは非約束のバージョンが必要な場合、、ランダムオラクルとの(ためのS P 2Z P P N P)が、これらは一般的なオラクル(私の例で区切る山上で紙)。PNP=S2pS2pZPPNP


3
P = PSPACEは大胆な仮定のようです;)
BjørnKjos-Hanssen

4
ビョルンのコメントを明確にするために、それを表現する別の方法は、最初にPSPACEオラクルに相対化し、次にジェネリックを作成してから、P = UPを取得することです。したがって、P = UPにする(PSPACEに対して相対的な)一般的なオラクルがあります。
Joshua Grochow 2017

非約束の例を追加しました。また、あなたはP場合ので、いくつかの仮定を行う必要があり nonrelativized世界でUPが、その後、彼らは汎用的に異なる相対残ります。または、ジョシュのトリックを使用できます。
ランスフォートナウ2017

4

上記の形式の無条件の統一/非約束の複雑さのクラスの違いを知っているとは思いません(更新:例についてはLance Fortnowの回答を参照してください)。以下の一般的なオラクルとランダムオラクルの比較は役立つかもしれません。

ジェネリックオラクルは、有限の初期セグメントを修正しても除外できないすべてのプロパティを満たすオラクルです。ある意味では、必ず可能なすべてのことが起こり、ランダムなオラクルとは非常に異なります(ただし、ランダムなオラクルを無限にエミュレートします)。Σ10

例えば、一般的なオラクル(無限しばしばIO手段)と
PSPACE⊆IO-P
EXP⊆IO-ZPP
EXP NP ⊆IO-BPP

したがって、相対化されたPSPACEのすべての問題に対して、無限に多くの入力サイズに対してそのサイズのすべてのインスタンスを解決する多項式時間アルゴリズム(オラクルを使用)があります(同様に、「悪い」入力サイズで任意の動作をするZPPおよびBPPを使用)。 。

ランダムオラクルのように:
IP <PSPACE
多項式階層は無限です。

総称オラクルを持つ多項式時間で計算可能なすべての再帰関数は、オラクルなしで多項式時間で計算できます(オラクルは十分に長いストレッチのために空であるため)。したがって、P <BPPの場合、これは一般的なオラクルにも当てはまりますが、ランダムオラクルにはP = BPPです。


言語のクラス間で= ioとはどういう意味ですか?
Kaveh

1

@Kaveh A = io Bは、A⊆SBおよびB⊆SA(SBはio-Bと同様に定義される)のような無限集合Sがあることを意味します。ただし、この使用法は非標準であるため、回答を
D

@EmilJeřábek= ioを標準の⊆ioに置き換えました
Dmytro Taranovsky

私はそれが言語にとって何を意味するかを知っています、私はそれが言語のクラスにとって何を意味するかを尋ねています。io-CはクラスCには意味があります。= ioは、最初に書いたように関係が意味をなさないようです。
Kaveh
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.