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?
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.