Персональные инструменты
 

CoNP

Материал из CustisWiki

Версия от 07:39, 7 декабря 2005; BenderBot (обсуждение | вклад) (реплицировано из внутренней CustisWiki)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Это снимок страницы. Он включает старые, но не удалённые версии шаблонов и изображений.
Перейти к: навигация, поиск

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

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

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


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

[svg]


Репликация: База Знаний «Заказных Информ Систем» → «CoNP»

Любые правки этой статьи будут перезаписаны при следующем сеансе репликации. Если у вас есть серьезное замечание по тексту статьи, запишите его в раздел «discussion».