Oracle en relación con el cual

La complejidad de la zoología de Greg Kuperberg afirma que hay un lenguaje tal que - en otras palabras, , pero no proporciona una referencia para este resultado. ¿Por qué se sostiene esto? ¿O dónde se puede encontrar una prueba? $X$ $\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^X$ $\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X}$

Esta pregunta está en parte motivada por mi respuesta a la pregunta "¿Qué se sabe sobre las pruebas interactivas multiproveedor con mensajes cortos?" por Joe Fitzsimons.

Publiqué esta pregunta en math.stackexchange.com el 2 de octubre, pero no recibí ninguna respuesta y eliminé la pregunta sobre matemáticas después de esta publicación en meta.math.

— Tsuyoshi Ito
fuente

tal vez esto ayuda? icsi.berkeley.edu/pubs/techreports/tr-92-078.pdf

— Alessandro Cosentino

@Alessandro: Gracias, parece muy relevante. Yo lo comprobare.

— Tsuyoshi Ito

el enlace a la entrada de Complexity Zoo se perdió en la edición de la respuesta. Aquí está, actualizado después de la solicitud de @MarcosVillagra

— Alessandro Cosentino

El oráculo se remonta a Stockmeyer en 1983. Heller dio el resultado más fuerte que: en un mundo relativizado en 1986. Karpiniski y Verbeek (mencionado en los comentarios) reprochan el resultado de Heller. $BPP = EXP^{NP}$

— Lance Fortnow
fuente

Gracias por clavarlo. Esperaré uno o dos días y luego aceptaré a menos que suceda algo sorprendente.

— Tsuyoshi Ito

Sería bueno si alguien actualiza la entrada en el zoológico de complejidad. Podría hacerlo, pero no sé cómo.

— Marcos Villagra

¿@MarcosVillagra quizás solo envíe un correo electrónico a Greg Kuperberg?

— Suresh Venkat

@SureshVenkat Si te refieres a la complejidad de la zoología, desafortunadamente no es una wiki pública. Si te refieres al complejo zoológico, entonces ya lo he actualizado.

— Alessandro Cosentino