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

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

Материал из CustisWiki

Перейти к: навигация, поиск
м (Диаграмма «ближайших» классов сложности)
м (1 версия)
(не показана 1 промежуточная версия 1 участника)
(нет различий)

Версия 12:55, 4 августа 2008

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

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

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


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

[svg]


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

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