Класс co-NP
Версия от 14:07, 18 марта 2010; Perovskaya (обсуждение | вклад) (определение, одна теорема. один пример)
В теории сложности Класс coNP - класс языков (задач), дополнение к которым является NP.
Теоремы, связанные с coNP
Если , тогда
Пример задач класса coNP
- Язык тавтологий, задача определения, является ли булева формула тавтологией. TAUT
