가 포함되지 않은 Oracle

Greg Kuperberg의 복잡성 동물학 에 따르면 와 같은 언어 가 있습니다. 즉, \ mathsf {BPP} ^ X \ nsubseteq \ mathsf {P} ^ {\ mathsf {NP} ^ X} —이 결과에 대한 참조는 제공하지 않습니다. 왜 이런 일이 발생합니까? 아니면 어디에서 증거를 찾을 수 있습니까?$X$$\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^X$$\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X}$

이 질문은 "짧은 메시지를 가진 다중 검증 된 대화식 증명에 대해 알려진 것"이라는 질문에 대한 나의 대답 에 의해 부분적으로 동기가 부여됩니다. Joe Fitzsimons.

나는이 질문을 math.stackexchange.com 에 10 월 2 일 에 게시 했지만 아무런 답변을 얻지 못 했으며 meta.math에 대한 이 게시물 에 이어 math에 대한 질문을 삭제했습니다 .

오라클은 1983 년 에 스톡 마이어 로 거슬러 올라갑니다 . 헬러 는 1986 년 상대 세계에서 라는 더 강력한 결과를 냈습니다 .$BPP = EXP^{NP}$