Вклад участника
6 января 2017
Минимально узкое остовное дерево
Нет описания правки
+2
Файл:MSTisMBST.png
Нет описания правки
Минимально узкое остовное дерево
Новая страница: «{{Утверждение |statement=Минимальное остовное дерево является minimum bottleneck spanning tree. |proof=Предпол...»
Файл:MBST-example.png
Нет описания правки
4 января 2017
17 июня 2016
Специальные формы КНФ
КНФ в форме Хорна
+1
Специальные формы КНФ
КНФ в форме Хорна
+308
Специальные формы КНФ
КНФ в форме Крома
+1
Специальные формы КНФ
Разрешимость булевой формулы, заданой в форме Крома
-104
Специальные формы КНФ
КНФ в форме Хорна
-96
Специальные формы КНФ
Разрешимость булевой формулы, заданой в форме Крома
Специальные формы КНФ
Разрешимость булевой формулы, заданой в форме Крома
+8
Специальные формы КНФ
Разрешимость булевой формулы, заданой в форме Крома
+262
Специальные формы КНФ
КНФ в форме Хорна
+581
Специальные формы КНФ
Разрешимость булевой формулы, заданой в форме Крома
+9
Специальные формы КНФ
Разрешимость булевой формулы, заданой в форме Крома
+2
Специальные формы КНФ
Разрешимать булевой формулы, заданой в форме Крома
+2
Специальные формы КНФ
КНФ в форме Хорна
-234