は

文献の中でとに関する記述を見つけることができませんでした。ポインタをいただければ幸いです。 $\mathsf{MA}$ $\mathsf{NP}^\mathsf{RP}$

私はそれらが等しいと信じています：

：マシンは、マーリンの文字列を推測し、オラクルは、アーサーと同じように文字列を検証します。 $\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP}$ $\mathsf{NP}$ $\mathsf{RP}$
：マーリンは受理計算推測ために、すべてのコール、ならびにこれらの呼び出しの結果を含む機械を、オラクル。次にアーサーは、計算が有効であること、およびオラクルへの呼び出しのすべての推測結果が正しいことを確認します。彼は、増幅とユニオンの範囲を使用して、全体的なエラーの全確率を制限します。 $\mathsf{NP}^\mathsf{RP} \subseteq \mathsf{MA}$ $\mathsf{NP}$ $\mathsf{RP}$ $\mathsf{RP}$

これは正しいです？

cc.complexity-theory oracles

— ジョエル
ソース

これらの表記法の定義方法によって異なりますが、これらの複雑なクラスを言語のクラスとして定義すると、最初の箇条書きの推論に欠陥が生じます。Complexity Zooの∃BPPとそのリファレンス（Fenner、Fortnow、Kurtz、およびLi 2003）を参照してください。

— 伊藤剛

うわー！剛さん、ありがとうございました。これは非常に微妙な点です。実際、私の最初の箇条書きは間違っています。

— ジョエル

@TsuyoshiIto：答えは？

— Joshua Grochow、

@ジョシュア：何らかの理由で自分の回答として投稿したくない場合、コメントの一部を投稿することがよくあります。必要に応じて、どなたでも回答として私のコメントを自由に再投稿してください。コメントとして投稿したからといって、回答として投稿する義務はありません。

— 伊藤剛

@TsuyoshiIto：よし、これをcwの答えに拡張した。

— EmilJeřábek12年

最初の箇条書きでは、答えるために神託が必要になります

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

— エミール・イェジャベク
ソース

この回答をコミュニティWikiにする必要はありませんでしたが、選択はあなた次第でした。

— 伊藤剛