Обсуждение:Примеры NP-полных языков. Теорема Кука — различия между версиями
Leugenea (обсуждение | вклад) (Обязательно todo) |
Kirelagin (обсуждение | вклад) (→Глобально: Новая тема) |
||
Строка 1: | Строка 1: | ||
== ОБЯЗАТЕЛЬНО == | == ОБЯЗАТЕЛЬНО == | ||
В определении <tex>SAT</tex> должно быть '''явно''' написано, что <tex>\phi</tex> он <tex>n</tex> переменных! | В определении <tex>SAT</tex> должно быть '''явно''' написано, что <tex>\phi</tex> он <tex>n</tex> переменных! | ||
+ | |||
+ | == Глобально == | ||
+ | |||
+ | Очень много воды, очень мало ссылок. [[Участник:Kirelagin|Кирилл Елагин]] 19:18, 2 июня 2012 (GST) |
Текущая версия на 18:18, 2 июня 2012
ОБЯЗАТЕЛЬНО
В определении
должно быть явно написано, что он переменных!Глобально
Очень много воды, очень мало ссылок. Кирилл Елагин 19:18, 2 июня 2012 (GST)