CoNP
Материал из DISCOPAL
Класс-дополнение к классу NP.
Определение через детерминированную машину Тьюринга
Язык принадлежит классу coNP, если существует детерминированная машина Тьюринга M и некоторый полином p(*) такие, что
Диаграмма «ближайших» классов сложности
[ Хронологический вид ]Комментарии
Войдите, чтобы комментировать.