CoNP
Материал из CustisWiki
Версия от 07:39, 7 декабря 2005; BenderBot (обсуждение | вклад) (реплицировано из внутренней CustisWiki)
Класс-дополнение к классу NP.
Определение через детерминированную машину Тьюринга
Язык принадлежит классу coNP, если существует детерминированная машина Тьюринга M и некоторый полином p(*) такие, что
Диаграмма «ближайших» классов сложности
Любые правки этой статьи будут перезаписаны при следующем сеансе репликации. Если у вас есть серьезное замечание по тексту статьи, запишите его в раздел «discussion».
Репликация: База Знаний «Заказных Информ Систем» → «CoNP»