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 .
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 ?
Odpowiedzi:
źródło