Стивен Кук видел значение показа того, что SAT является NP-Hard, прежде чем на самом деле это доказать?
Если я правильно понимаю, чтобы доказать, что проблема является NP трудной, вам нужно выбрать все возможные проблемы которые есть в NP, а затем доказать, что они сводятся к , используя вычислимую функцию за полиномиальное время, которая отображает экземпляры каждого к экземплярам...