Вклад участника
19 марта 2010
NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
Доказательство принадлежности 3SAT классу NPH
-1
NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
Доказательство принадлежности 3SAT классу NPH
+45
NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
Доказательство принадлежности 3SAT классу NPH
+489
NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
Доказательство принадлежности 3SAT классу NPH
-1
NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
Доказательство принадлежности 3SAT классу NPH
-1
NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
Доказательство принадлежности 3SAT классу NPH
+133
NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
Доказательство принадлежности 3SAT классу NPH
+255
NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
Доказательство принадлежности 3SAT классу NPH
+8
NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
Доказательство принадлежности 3SAT классу NPH
-6
NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
Доказательство принадлежности 3SAT классу NPH
+532
NP-полнота задачи о рюкзаке
Нет описания правки
+17
NP-полнота задачи о рюкзаке
описание сведения
+300
NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
Доказательство принадлежности 3SAT классу NPH
+12
18 марта 2010
Теорема Кука
Доказательство того, что SAT ∈ NPH
-1
Теорема о ёмкостной иерархии
Доказательство
+34
Теорема о ёмкостной иерархии
Доказательство
+126
Теорема о ёмкостной иерархии
Доказательство
+219
Теорема о ёмкостной иерархии
Доказательство
-1
Конструируемая по памяти функция
Определение
-24
Теорема о ёмкостной иерархии
Доказательство
+87
Конструируемая по времени функция
Определение
-139
Теорема о временной иерархии
Доказательство
Теорема о временной иерархии
Доказательство
-104
Теорема о временной иерархии
Доказательство
+115
NP-полнота задачи BH1N
Доказательство принадлежности BH_{1N} классу NP
+16
NP-полнота задачи BH1N
Доказательство принадлежности BH_{1N} классу NP
-26
Теорема о временной иерархии
Доказательство
+72
NP-полнота задачи BH1N
Доказательство принадлежности BH_{1N} классу NP
+1
NP-полнота задачи BH1N
Доказательство принадлежности BH_{1N} классу NP
-51
NP-полнота задачи BH1N
Доказательство принадлежности BH_{1N} классу NPH
+1
NP-полнота задачи BH1N
Доказательство принадлежности BH_{1N} классу NP
-7
NP-полнота задачи BH1N
Доказательство принадлежности BH_{1N} классу NP
+70
NP-полнота задачи BH1N
Доказательство принадлежности BH_{1N} классу NP
+1
NP-полнота задачи BH1N
Доказательство принадлежности BH_{1N} классу NP
-65
NP-полнота задачи BH1N
Доказательство принадлежности BH_{1} классу NPH
+1
NP-полнота задачи BH1N
Доказательство
+2
NP-полнота задачи BH1N
Доказательство принадлежности BH_{1} классу NP
-13
Теорема о временной иерархии
Формулировка
+1
Конструируемая по времени функция
Определение
-10
NP-полнота задачи BH1N
Доказательство принадлежности BH_{1} классу NP
-7
Класс DTIME
Определение
-12
NP-полнота задачи BH1N
Нет описания правки
+213
Класс DTIME
Определение
-30
Теорема о временной иерархии
Доказательство
-1
Теорема о временной иерархии
Доказательство
-56
Понятие NP-трудной и NP-полной задачи
Нет описания правки
+3
Теорема о ёмкостной иерархии
Доказательство
+8
Теорема о временной иерархии
Доказательство
17 марта 2010
NP-полнота задачи о сумме подмножества
ссылка на 3CNF-sat
+102
NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
Доказательство принадлежности 3SAT классу NPH
+114