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