Персональные инструменты
 

RP

Материал из CustisWiki

Версия от 12:55, 4 августа 2008; WikiSysop (обсуждение | вклад) (1 версия)

Это снимок страницы. Он включает старые, но не удалённые версии шаблонов и изображений.
Перейти к: навигация, поиск

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

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

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

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


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

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

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

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

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

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

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

[svg]


Любые правки этой статьи будут перезаписаны при следующем сеансе репликации. Если у вас есть серьезное замечание по тексту статьи, запишите его в раздел «discussion».


Репликация: База Знаний «Заказных Информ Систем» → «RP»