Обсуждение:Примеры NP-полных языков. Теорема Кука

ОБЯЗАТЕЛЬНО

В определении [math]SAT[/math] должно быть явно написано, что [math]\phi[/math] он [math]n[/math] переменных!

Глобально

Очень много воды, очень мало ссылок. Кирилл Елагин 19:18, 2 июня 2012 (GST)