Изменения
Нет описания правки
Итого, данная программа разрешает <tex>TAUT</tex> за полиномиальное время. А так как <tex>TAUT \in coNPC</tex>, то <tex>P=coNP</tex>, то есть <tex>coP=coNP</tex>, откуда <tex>P=NP</tex>.
}}
[[Категория: Теория сложности]]
/tex> {{---}} монотонно возрастающий полином. Тогда
