¿Es

No he podido encontrar una declaración que relacione y en la literatura; los punteros serían apreciados $\mathsf{MA}$ $\mathsf{NP}^\mathsf{RP}$

Creo que son iguales:

: El máquina adivina cadena de Merlin, y los verifica Oracle la cadena como Arthur haría. $\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP}$ $\mathsf{NP}$ $\mathsf{RP}$
: Merlin adivina el cálculo de aceptación de lamáquina , incluidas todas las llamadas, así como los resultados de estas llamadas, aloráculoArthur luego verifica que el cálculo es válido y que todos los resultados adivinados de las llamadas aloráculo de fueron correctos. Utiliza amplificación y límites de unión para limitar la probabilidad total de error total. $\mathsf{NP}^\mathsf{RP} \subseteq \mathsf{MA}$ $\mathsf{NP}$ $\mathsf{RP}$ $\mathsf{RP}$

¿Es esto correcto?

cc.complexity-theory oracles

— Joel
fuente

Depende de cómo defina estas notaciones, pero si define estas clases de complejidad como clases de idiomas, su razonamiento en la primera viñeta es erróneo. Consulte ∃BPP en Complexity Zoo y la referencia allí ( Fenner, Fortnow, Kurtz y Li 2003 ).

— Tsuyoshi Ito

¡Guauu! Muchas gracias Tsuyoshi, este es un punto muy sutil, y de hecho mi primer punto es incorrecto.

— Joel

@ TsuyoshiIto: ¿Eso es una respuesta?

— Joshua Grochow

@ Joshua: a menudo publico una respuesta parcial como comentario cuando no quisiera publicarla como respuesta por alguna razón. Cualquier persona debe sentirse libre de volver a publicar mi comentario como respuesta si así lo desea. No me siento obligado a publicar algo como respuesta solo porque lo publiqué como un comentario.

— Tsuyoshi Ito

@TsuyoshiIto: Muy bien, lo expandí en una respuesta cw.

— Emil Jeřábek

En la primera viñeta, necesitaríamos el oráculo para responder

$1$
$\le 1/2$

$\mathrm{MA}\subseteq\mathrm{NP}^{\mathrm{promiseRP}}$

— Emil Jeřábek
fuente

No tenía que hacer que esta respuesta fuera un wiki de la comunidad, aunque la elección era suya.

— Tsuyoshi Ito