Теорема Кука

Теорема Кука устанавливает NP-полноту задачи ВЫПОЛНИМОСТЬ, трансформируя проблематику в область задач, которые можно «пощупать».