Изменения

Перейти к: навигация, поиск

Класс co-NP

1 байт убрано, 18:51, 18 марта 2010
Нет описания правки
==Теоремы, связанные с coNP==
Если <tex>NP \ne coNP</tex>, тогда <tex>P \neq NP</tex>
 
==Пример задач класса coNP==
* Язык тавтологий, задача определения, является ли булева формула тавтологией. TAUT
83
правки

Навигация