Является ли

Я не смог найти утверждения, касающегося и в литературе; указатели будут оценены. $\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

— Joel
источник

Это зависит от того, как вы определяете эти нотации, но если вы определяете эти классы сложности как классы языков, ваши рассуждения в первом пункте ошибочны. Пожалуйста, смотрите ∃BPP в зоопарке сложности и ссылку на него ( Fenner, Fortnow, Kurtz, and Li 2003 ).

— Цуёси Ито

Вот Это Да! Большое спасибо Tsuyoshi, это очень тонкий момент, и, действительно, моя первая пуля неверна.

— Джоэл

@TsuyoshiIto: Сделать это ответ?

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

@ Джошуа: я часто публикую частичный ответ в качестве комментария, когда я не хочу публиковать его как мой ответ по какой-то причине. Любой желающий может свободно опубликовать мой комментарий в качестве ответа, если захочет. Я не чувствую себя обязанным публиковать что-то в качестве ответа только потому, что я разместил это как комментарий.

— Цуёси Ито

@TsuyoshiIto: Хорошо, я расширил это в ответ непрерывно.

— Эмиль Йержабек

В первом пункте нам нужен оракул, чтобы ответить

$1$
$\le 1/2$

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

— Эмиль Йержабек
источник

Вам не нужно было делать этот ответ в вики сообщества, хотя выбор был за вами.

— Цуёси Ито