상대 세계

세계가 있는지 알고 싶습니다 . 또한 상대 세계가 존재하는지 알고 싶습니다 . ${\bf P^A}={\bf NP^A}\not = {\bf PP^A}$ ${\bf P^B} \not = {\bf NP^B} = {\bf PP^B}$

cc.complexity-theory oracles relativization

— 테이 펀 페이
소스

나는 당신이 묻는 두 가지를 포함하여 다른 사람들이 따르는 오라클 결과 목록이있는 블로그 게시물 "익스트림 오라클"을 가지고 있습니다. blog.computationalcomplexity.org/2005/08/extreme-oracles.html

— 랜스 포트 노우

@ 랜스 : 젠장, 그냥 내 답변을 게시 한 후 그것을 보았다! 아마도 OP는 여전히 내 "집에서 만든"구성을 유용하게 사용할 것입니다.

— Scott Aaronson 2014 년

나는 참조를 모르지만 둘 다 가능해야한다고 생각합니다.

$A_1$ $MAJORITY$ $P^{A_1}$ $NP^{A_1}$ $PP^{A_1}$ $A_2$ $PH^{A_1}$ $k^{th}$ $n^k$ $P^{A_1,A_2} = NP^{A_1,A_2} = PH^{A_1,A_2} = PH^{A_1}$ $A_2$ $A_2$ $PH^{A_1}$ $AC^0$ $PH^{A_1}$ $MAJORITY$ $A_1$ $PP^{A_1}$ $PP^{A_1,A_2} = PP^{PH^{A_1}}$

$B$ $NP$ $PSPACE$ $NP^{PSPACE}$ $PP^{PSPACE}$ $PSPACE$ $PSPACE$ $PSPACE$ $B$ $PSPACE^B$ $B$ $p(n)$ $B$ $>p(n)$ $PSPACE^B$ $P^B$

— 스콧 애런 슨
소스