Алгоритмы локального поиска для k-КНФ: различия между версиями

Алгоритмы локального поиска для k-КНФ (посмотреть исходный код)

224 байта добавлено , 6 апреля 2018

м

4446

правок

@@ Строка 19: / Строка 19: @@
           '''if''' y' приводит к выполнимости G
              '''then return''' y'; exit;
-C <math>\to</math> an arbitrary clause of G that is not satisfied
+      C <math>\to</math> произвольный дизъюнкт G, невыполнимый на y';
-by y0 ;
+      Изменить y' следующим образом:
-Modify y0 as follows:
+         равномерным случайным образом выбрать один из литералов C и поменять присваивание этому литералу на противоложное;
-select one literal of C uniformly at random and
+   '''end'''
-flip the assignment to this literal;
+   '''return''' y'
-end
-return y0