130
правок
Изменения
→Примеры языков из co-NP: добавил TAUT
== Примеры языков из co-NP ==
* Даны <tex>n</tex> целых чисел. Верно ли, что любое их непустое подмножество имеет ненулевую сумму?
* TAUT: определить, является ли заданная булева формула тавтологией.
== Связь P и NP ==
