Точные алгоритмы решения задачи о выполнимости формулы в КНФ общего вида: различия между версиями

Точные алгоритмы решения задачи о выполнимости формулы в КНФ общего вида (посмотреть исходный код)

48 байт добавлено , 9 июля 2020

4446

правок

@@ Строка 30: / Строка 30: @@
 Теорема 1 (Хирш [8]). Задачу SAT можно решить за время
-.	jFjO(1). 2°:30897m;
-.	jFjO(1) • 20:10299
+.	<math>|F|^{O(1)} \cdot 2^{0,30897m};</math>
+.	<math>|F|^{O(1)} \cdot 2^{0,10299l}.</math>