Вклад участника
18 марта 2010
Теорема о временной иерархии
Доказательство
Теорема о временной иерархии
Доказательство
-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
NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
Доказательство
+58
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