BPP — различия между версиями

Текущая версия на 09:55, 4 августа 2008

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

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

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

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

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

Класс сложности BPP состоит из всех языков L для которых существует

• полиномиально вычислимая функция ,
• полиномиальная вероятностная машина Тьюринга M,
• полином p(*),

такие что:

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