Kiedy randomizacja przestaje pomagać w ramach PSPACE

12

Wiadomo, że dodanie randomizacji błędu ograniczonego do PSPACE nie dodaje mocy. Oznacza to, że BPPSAPCE = PSPACE.

Nie wiadomo, czy P = BPP, ale wiadomo, że .BPPΣ2Π2

Jest zatem możliwe (choć przypuszcza się, że jest to fałsz), że dodanie prawdopodobieństwa do P dodaje mocy ekspresyjnej.

Moje pytanie brzmi, czy znamy (lub mamy dowody) granicę między P i PSPACE, gdzie dodanie randomizacji nie dodaje już mocy.

Konkretnie,

Czy są jakieś problemy, które są znane być w (odp. B P gatunku I ), które nie są znane być w Ď I (resp. Gatunku i )? I podobnie dla B P P H vs P H ?BPΣiBPΠiΣiΠiBPPHPH

Shaull
źródło
6
BPPH = PH. xxxxxxxxxxxxx
Emil Jeřábek
@ EmilJeřábek - dziękuję, czy masz odniesienie do tego wyniku?
Shaull
7
To tylko relatywizacja twierdzenia Gácsa-Sipsera-Lautemanna.
Emil Jeřábek
4
AMΠ2PBPΣiPΠi+1Pi1BPΠiPΣi+1P

Odpowiedzi:

9

PSPACEXPXPSPACE

BPΣipΠi+1pandBPΠipΣi+1p
AMΠ2pBPPH=PH
PHBPP.
PHPHBPPBPP=PPHP

PSPACE

Niel de Beaudrap
źródło
Dzięki! Rzeczywiście myślałem bardziej o hierarchii wielomianowej niż o innych klasach. W rzeczywistości pytanie to wynika ze studiowania ograniczeń logiki czasowej, więc istnieje między nimi jakaś hierarchia, a liczenie klas jest mniej istotne.
Shaull
1
Możesz wtedy znaleźć bardziej precyzyjną wersję swojego pytania i spróbować ponownie. :-)
Niel de Beaudrap
3
BPBPP=BPPBPC=CCBPP
@Emil: na pewno, chociaż słuszna skarga może być taka, że ​​już tam jest losowość. Rodzi to pytanie, czy (dla dowolnej klasy, jakkolwiek określono), można powiedzieć, czy już „zawiera losowość”, ale jest to znacznie bardziej skomplikowany czajnik ryb.
Niel de Beaudrap