Вклад участника
17 марта 2010
NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
Доказательство принадлежности 3SAT классу NPH
+35
NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
Нет описания правки
-44
NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
Нет описания правки
+109
NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
Нет описания правки
+2
NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
Нет описания правки
+305
NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
Нет описания правки
-143
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
Доказательство принадлежности классу NP
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
Доказательство принадлежности классу NP
+52
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
Доказательство принадлежности классу NP
+628
NP-полнота задачи BH1N
Доказательство
-30
NP-полнота задачи BH1N
Доказательство
-111
NP-полнота задачи BH1N
Доказательство
+11
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
Доказательство
+130
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
Доказательство CNFSAT \in NP
-25
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
Доказательство
+64
NP-полнота задачи BH1N
Доказательство
-71
NP-полнота задачи BH1N
Определение языка BH_{1N}
-53
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
Определение
-20
NP-полнота задачи BH1N
Определение языка BH_{1N}
+11
NP-полнота задачи BH1N
Определение языка BH_{1N}
-14
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
Определение
+20
Понятие NP-трудной и NP-полной задачи
Определение класса NP-трудных задач
+1
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
Определение
+3
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
Определение
+11
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
Определение
+4
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
Доказательство
+171
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
Определение
+1
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
Определение
+15
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
Определение
+5
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
Определение
+3
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
Определение
-1
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
Определение
+3
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
Нет описания правки
+279
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
Определения
+2
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
Нет описания правки
+225
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
Нет описания правки
+193
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
Нет описания правки
+2
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
Нет описания правки
-8
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
Нет описания правки
+4
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
Нет описания правки
+170
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
Нет описания правки
+6
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
Новая страница: «=Определение=»
Теория сложности (старая трешовая версия)
Нет описания правки
+115
16 марта 2010
NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
Нет описания правки
+34
NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
Нет описания правки
+6
NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
Нет описания правки
+54
NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
Нет описания правки
+112
NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
Нет описания правки
+4
NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
Нет описания правки
+389
NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
Нет описания правки
-21