Чи дорівнює

Я не зміг знайти в літературі твердження, що стосується $\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

— Джоель
джерело

Це залежить від того, як ви визначаєте ці позначення, але якщо ви визначаєте ці класи складності як класи мов, ваші міркування в першій кулі є хибними. Будь ласка, дивіться ∃BPP у зоопарку складності та посилання на нього ( Fenner, Fortnow, Kurtz, Li 2003 ).

— Цуйосі Іто

Оце Так! Велике спасибі Цуйосі, це дуже тонка точка, і справді мій перший кульовий пункт неправильний.

— Джоель

@TsuyoshiIto: Зробити це відповіддю?

— Джошуа Грохов

@ Джошуа: Я часто публікую часткову відповідь як коментар, коли мені не хотілося б з якоїсь причини опублікувати її як свою відповідь. Будь-хто повинен сміливо репостувати мій коментар як відповідь, якщо хотів би. Я не відчуваю зобов’язання публікувати щось як відповідь лише тому, що я розмістив це як коментар.

— Цуйосі Іто

@TsuyoshiIto: Гаразд, я розширив це на відповідь cw.

— Еміль Йерабек

У першій кулі нам потрібен оракул, щоб відповісти

$1$
$\le 1/2$

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

— Еміль Єржабек
джерело

Вам не довелося робити цю відповідь вікі спільнотою, хоча вибір вирішував саме ви.

— Цуйосі Іто