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

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

Класс-дополнение к классу NP.

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

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

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