Изменения
→Доказательство
==Доказательство==
Для того, чтобы доказать <tex>[[Понятие_NP-трудной_и_NP-полной_задачи|NP</tex>-полноту ]] задачи, необходимо установить следующие факты:
# <tex> 3SAT \in NP </tex>.
# <tex> 3SAT \in NPH </tex>;
