Relatywizowany świat, w którym

11

Chciałabym wiedzieć, czy istnieje zrelatywizowane świat, w którym . Jestem również zainteresowany, aby wiedzieć, czy istnieje zrelatywizowane świat, w którym P BN P B = P P B .PA=NPAPPAPBNPB=PPB

Tayfun Pay
źródło
7
Mam wpis na blogu „ekstremalne wyrocznie”, który zawiera listę wyników wyroczni, z których wynika wiele innych, w tym dwa, o które pytasz. blog.computationalcomplexity.org/2005/08/extreme-oracles.html
Lance Fortnow
2
@Lance: Cholera, właśnie to zobaczyłem po opublikowaniu mojej odpowiedzi! Cóż, być może OP nadal będzie przydatne dla moich „domowych” konstrukcji.
Scott Aaronson

Odpowiedzi:

14

Nie znam referencji, ale uważam, że oba powinny być wykonalne.

A1MAJORITYPA1NPA1PPA1A2PHA1kthnkPA1,A2=NPA1,A2=PHA1,A2=PHA1A2A2PHA1AC0PHA1MAJORITYA1PPA1PPA1,A2=PPPHA1

BNPPSPACENPPSPACEPPPSPACEPSPACEPSPACEPSPACEBPSPACEBBp(n)B>p(n) PSPACEBPB

Scott Aaronson
źródło