是

我在文献中找不到有关 $\mathsf{MA}$ 和的陈述 $\mathsf{NP}^\mathsf{RP}$ 。指针将不胜感激。

我相信他们是平等的：

$\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP}$ ：本机猜测Merlin的字符串和预言验证字符串作为亚瑟会。 $\mathsf{NP}$ $\mathsf{RP}$
$\mathsf{NP}^\mathsf{RP} \subseteq \mathsf{MA}$ ：梅林猜测的接受计算机，包括所有呼叫，以及这些呼叫的结果，到甲骨文。然后Arthur验证该计算是否有效，并且对 oracle 的调用的所有猜测结果都是正确的。他使用放大和联合边界来限制总体错误总数。 $\mathsf{NP}$ $\mathsf{RP}$ $\mathsf{RP}$

它是否正确？

cc.complexity-theory oracles

— 乔尔
source

这取决于如何定义这些符号，但是如果将这些复杂度类定义为语言类，则第一个项目符号中的推理是有缺陷的。请参阅Complexity Zoo中的∃BPP及其参考（Fenner，Fortnow，Kurtz和Li 2003）。

— 伊藤刚（Tsuyoshi Ito）

哇！非常感谢Tsuyoshi，这是非常微妙的一点，的确，我的第一个要点是错误的。

— 乔尔2012年

@TsuyoshiIto：回答一下？

— 约书亚·格罗夫

@Joshua：当我出于某种原因不想将其作为我的答案时，我经常将部分答案作为评论发布。任何人都可以随意将我的评论重新发布为答案。我没有义务仅仅因为将其发布为评论而将其发布为答案。

— 伊藤刚（Tsuyoshi Ito）

@TsuyoshiIto：好吧，我将其扩展为CW答案。

— EmilJeřábek'12

在第一个项目符号中，我们将需要Oracle来回答

是的，如果Arthur的检查成功的可能性为（假设MA协议具有完美的完整性）， $1$
NO，如果亚瑟的检查成功的概率。 $\le 1/2$

这听起来像是coRP算法，但是要注意的是，不能保证这两个条件之一适用于对oracle的每种可能的输入。因此，Oracle不计算CORP 语言，而是一个CORP 承诺问题，整个参数只能说明。 $\mathrm{MA}\subseteq\mathrm{NP}^{\mathrm{promiseRP}}$

— 埃米尔·杰拉贝克（EmilJeřábek）
source

尽管选择取决于您，但您不必将此答案作为社区Wiki。

— 伊藤刚（Tsuyoshi Ito）