Является ли

10

Я не смог найти утверждения, касающегося и N P R P в литературе; указатели будут оценены.MANPRP

Я считаю, что они равны

  • : Машина N P угадывает строку Мерлина, аоракул R P проверяет строку, как Артур.MANPRPNPRP

  • : Мерлин угадывает принятие вычислениямашины N P , включая все вызовы, а также результаты этих вызовов коракулу R P. Артур затем проверяетчто вычисление является действительными что все угаданы результаты обращений к R P оракула были правильными. Он использует границы усиления и объединения, чтобы ограничить общую вероятность ошибки.NPRPMANPRPRP

Это правильно?

Joel
источник
6
Это зависит от того, как вы определяете эти нотации, но если вы определяете эти классы сложности как классы языков, ваши рассуждения в первом пункте ошибочны. Пожалуйста, смотрите ∃BPP в зоопарке сложности и ссылку на него ( Fenner, Fortnow, Kurtz, and Li 2003 ).
Цуёси Ито
Вот Это Да! Большое спасибо Tsuyoshi, это очень тонкий момент, и, действительно, моя первая пуля неверна.
Джоэл
@TsuyoshiIto: Сделать это ответ?
Джошуа Грохов
@ Джошуа: я часто публикую частичный ответ в качестве комментария, когда я не хочу публиковать его как мой ответ по какой-то причине. Любой желающий может свободно опубликовать мой комментарий в качестве ответа, если захочет. Я не чувствую себя обязанным публиковать что-то в качестве ответа только потому, что я разместил это как комментарий.
Цуёси Ито
2
@TsuyoshiIto: Хорошо, я расширил это в ответ непрерывно.
Эмиль Йержабек

Ответы:

9

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

  • 1

  • 1/2

MANPpromiseRP

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