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