Apakah

Saya belum dapat menemukan sebuah pernyataan yang berkaitan dan dalam literatur; pointer akan dihargai. $\mathsf{MA}$ $\mathsf{NP}^\mathsf{RP}$

Saya percaya mereka setara:

: The Mesin menebak tali Merlin, dan oracle memverifikasi string sebagai Arthur akan. $\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP}$ $\mathsf{NP}$ $\mathsf{RP}$
: Merlin menebak perhitungan menerima dari mesin, termasuk semua panggilan, serta hasil dari panggilan ini, dengan oracle. Arthur kemudian memverifikasi bahwa perhitungan tersebut valid dan bahwa semua hasil yang menduga panggilan ke oracle benar. Dia menggunakan amplifikasi dan batas-batas serikat untuk mengikat probabilitas kesalahan total keseluruhan. $\mathsf{NP}^\mathsf{RP} \subseteq \mathsf{MA}$ $\mathsf{NP}$ $\mathsf{RP}$ $\mathsf{RP}$

Apakah ini benar?

cc.complexity-theory oracles

— Joel
sumber

Itu tergantung pada bagaimana Anda mendefinisikan notasi ini, tetapi jika Anda mendefinisikan kelas kompleksitas ini sebagai kelas bahasa, alasan Anda dalam peluru pertama cacat. Silakan lihat ∃BPP di Complexity Zoo dan rujukan di dalamnya ( Fenner, Fortnow, Kurtz, dan Li 2003 ).

— Tsuyoshi Ito

Wow! Terima kasih banyak Tsuyoshi, ini adalah poin yang sangat halus, dan memang poin pertama saya salah.

— Joel

@ TsuyoshiIto: Buat itu jawaban?

— Joshua Grochow

@ Yosua: Saya sering memposting jawaban parsial sebagai komentar ketika saya tidak ingin mempostingnya sebagai jawaban saya untuk beberapa alasan. Siapa pun boleh merasa bebas untuk memposting ulang komentar saya sebagai jawaban jika ia menginginkannya. Saya tidak merasa berkewajiban memposting sesuatu sebagai jawaban hanya karena saya mempostingnya sebagai komentar.

— Tsuyoshi Ito

@ TsuyoshiIto: Baiklah, saya memperluasnya menjadi jawaban cw.

— Emil Jeřábek

Dalam peluru pertama, kita akan membutuhkan oracle untuk menjawab

$1$
$\le 1/2$

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

— Emil Jeřábek
sumber

Anda tidak harus membuat jawaban ini sebagai wiki komunitas, meskipun pilihan ada di tangan Anda.

— Tsuyoshi Ito