É

Não consegui encontrar uma afirmação relacionada a e na literatura; ponteiros seriam apreciados. $\mathsf{MA}$ $\mathsf{NP}^\mathsf{RP}$

Eu acredito que eles são iguais:

: O máquina suposições cadeia de Merlin, e os verifica da Oracle a cadeia como Arthur faria. $\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP}$ $\mathsf{NP}$ $\mathsf{RP}$
$\mathsf{NP}^\mathsf{RP} \subseteq \mathsf{MA}$ : Merlin adivinha o cálculo de aceitação damáquina $\mathsf{NP}$ , incluindo todas as chamadas, bem como os resultados dessas chamadas, para ooráculo $\mathsf{RP}$ Arthur então verifica se o cálculo é válido e se todos os resultados estimados das chamadas para ooráculo $\mathsf{RP}$ estavam corretos. Ele usa limites de amplificação e união para limitar a probabilidade total total de erro.

Isso está correto?

cc.complexity-theory oracles

— Joel
fonte

Depende de como você define essas notações, mas se você define essas classes de complexidade como classes de idiomas, seu raciocínio no primeiro marcador é defeituoso. Por favor, veja ∃BPP no Complexity Zoo e sua referência ( Fenner, Fortnow, Kurtz e Li 2003 ).

— Tsuyoshi Ito

Uau! Muito obrigado Tsuyoshi, esse é um ponto muito sutil e, de fato, meu primeiro ponto está errado.

— Joel

@TsuyoshiIto: Faça disso uma resposta?

— Joshua Grochow

@ Josué: Costumo postar uma resposta parcial como um comentário quando não gostaria de publicá-la como minha resposta por algum motivo. Qualquer pessoa deve se sentir à vontade para repassar meu comentário como resposta, se desejar. Não me sinto obrigado a postar algo como resposta apenas porque o publiquei como comentário.

— Tsuyoshi Ito

@TsuyoshiIto: Tudo bem, eu expandi para uma resposta cw.

— Emil Jerabek

Na primeira bala, precisaríamos do oráculo para responder

$1$
$\le 1/2$

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

— Emil Jeřábek
fonte

Você não precisava fazer desta resposta um wiki da comunidade, embora a escolha tenha sido sua.

— Tsuyoshi Ito