Rastgele Polinom Hiyerarşisi?

Ben eğer tanımında ne olur, merak (Polinom Hiyerarşi, örneğin bakınız buraya , rolü) yerini olacağını ? $PH$ $NP$ $RP$

Aynı şekilde biz hala bir hiyerarşi inşa edebileceğini, görünüyor sadece kullanılarak inşa edilmiştir her yerde yerine ve yerine . Bize Rastgele Polinom Hiyerarşi (diyelim ). $PH$ $RP$ $NP$ $coRP$ $coNP$ $RPH$

İlk tahmin yani belki veya . Bu bilinmektedir gerçeğine dayanır ima . Bununla birlikte, eğer , o zaman hala içinde uygun bir sonsuz hiyerarşi olabilir . $RPH\subseteq BPP$ $RPH=BPP$ $NP=RP$ $PH=BPP$ $P\neq RP$ $RPH$ $BPP$

Tabii ki, konunun kenarı gerçeği ile köreltilmiş olan (hatta tahmin ediliyor düzleştirmek olur), içine . Bununla birlikte, şu anda bilinmemektedir ve şu ana kadar yapılan tüm kanıt girişimlerine direnmiştir. Bu nedenle, hala uygun bir hiyerarşi olarak en azından bir miktar şansına sahiptir. $P=RP$ $P=BPP$ $RPH$ $P$ $P=RP$ $RPH$

İken , kuşkusuz, iyi bir "düz" olma şansını kavramı hala nontrivial şey için yararlı olabilir sahiptir? Bir örnek: bir ispat eğer , o zaman bu doğuracak ima Bence, ilginç bir sonuç olacaktır. $RPH$ $RPH=BPP$ $P=RP$ $P=BPP$

Bu konuda bilinen bir şey var mı?

cc.complexity-theory randomized-algorithms randomness

— Andras Farago
kaynak

RP'nin tam olarak bir kehanet olması ne anlama gelir, örneğin

P^{R P}

$P^{RP}$

— usul

@usul:

$\:$ cs.stackexchange.com/a/26332/12859

$\;\;\;\;$

Açıktır ki, . Öte yandan, ( Buhrman ve Fortnow , pdf ), tek yol hiyerarşi ikinci seviyede (en fazla) için çökmeyen ve egzoz değildi bu yüzden , oracles'in önemli ölçüde daha zayıf olması muhtemel değildir. $\mathrm{RPH}\subseteq\mathrm{BPP}$ $\mathrm{BPP}=\mathrm{ZPP^{promiseRP}}$ $\mathrm{BPP}$ $\mathrm{RP}$ oracles. $\mathrm{promiseRP}$

— Emil Jeřábek
kaynak