Oracle en relación con el cual


12

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

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.



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

1
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

Respuestas:


18

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=EXPNP


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

44
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

55
@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
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.