Вклад участника

Перейти к: навигация, поиск

AntonSafronov

19 марта 2010

NP-полнота задачи о выполнимости булевой формулы в форме КНФ
‎Доказательство принадлежности классу NPH
15:11
+38
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
‎Доказательство принадлежности классу NPH
15:08
+195
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
‎Доказательство принадлежности классу NPH
15:03
+400
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
‎Доказательство принадлежности классу NPH
14:53
+57
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
‎Доказательство принадлежности классу NPH
14:50
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
‎Доказательство принадлежности классу NPH
14:50
-2
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
‎Доказательство принадлежности классу NPH
14:49
+2
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
Нет описания правки
14:45
+1134
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
‎Доказательство принадлежности классу NPH
14:22
+517
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
‎Доказательство принадлежности классу NPH
14:17
+4
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
‎Доказательство принадлежности классу NPH
14:14
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
‎Доказательство принадлежности классу NPH
14:12
+861
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
‎Доказательство принадлежности классу NPH
14:04
+99
NP-полнота задачи о выполнимости булевой формулы в форме КНФ
‎Доказательство принадлежности классу NPH
14:01
+1296

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Вклад/AntonSafronov»

Навигация