RP

Материал из DISCOPAL
Перейти к: навигация, поиск

Класс сложности RP (Random Polynomial-time) состоит из всех языков L для которых существует полиномиальная вероятностная машина Тьюринга M, такая что:

Можно, пользуясь тем, что в в «offline»-определении ВМТ подразумевается отделенность вероятностных данных от обычной ДМТ, дать альтернативное определение, заменив вероятности, на доли строк-сертификатов:

Определение через Детерминированную Машину Тьюринга

Класс сложности RP состоит из всех языков L для которых существует некий полином p(*) и полиномиальная машина Тьюринга M(x,y), такая что:


Можно показать, что будут эквивалентны также следующие определения класса RP:

«Строгое» определение

Класс сложности RP состоит из всех языков L для которых существует полиномиальная вероятностная машина Тьюринга M, и полином p(*), такие что:

«Свободное» определение

Класс сложности RP состоит из всех языков L для которых существует полиномиальная вероятностная машина Тьюринга M, и полином p(*), такие что:

Аналогичные определения можно дать и для класса coRP.

Диаграмма «ближайших» классов

[svg]