Oracle em relação ao qual

A Zoologia da Complexidade, por Greg Kuperberg, afirma que existe uma linguagem que - em outras palavras, - mas não fornece uma referência para este resultado. Por que isso se aplica? Ou onde uma prova pode ser encontrada? $X$ $\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^X$ $\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X}$

Esta pergunta é parcialmente motivada pela minha resposta à pergunta "O que se sabe sobre provas interativas de vários provedores com mensagens curtas?" por Joe Fitzsimons.

Publiquei esta pergunta no math.stackexchange.com em 2 de outubro, mas não recebi nenhuma resposta e excluí a pergunta sobre matemática após esta postagem no meta.math.

— Tsuyoshi Ito
fonte

talvez isso ajude? icsi.berkeley.edu/pubs/techreports/tr-92-078.pdf

— Alessandro Cosentino

@ Alessandro: Obrigado, parece muito relevante. Vou verificar.

— Tsuyoshi Ito

o link para a entrada Complexity Zoo se perdeu na edição da resposta. Aqui está, atualizado após a solicitação do @MarcosVillagra

— Alessandro Cosentino

O oráculo remonta a Stockmeyer em 1983. Heller deu o resultado mais forte de que: em um mundo relativizado em 1986. Karpiniski e Verbeek (mencionados nos comentários) reprovam o resultado de Heller. $BPP = EXP^{NP}$

— Lance Fortnow
fonte

Obrigado por acertar. Vou esperar um dia ou dois e depois aceito, a menos que algo surpreendente aconteça.

— Tsuyoshi Ito

seria bom se alguém atualizasse a entrada no zoológico de complexidade. Eu poderia fazer isso, mas não sei como.

— Marcos Villagra

@MarcosVillagra talvez apenas envie um email para Greg Kuperberg?

— perfil completo de Suresh Venkat

@SureshVenkat Se você quer dizer a Zoologia da Complexidade, infelizmente isso não é um wiki público. Se você quer dizer o Complexity Zoo, já o atualizei.

— Alessandro Cosentino