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

       C <math>\to</math> произвольный дизъюнкт G, невыполнимый на y';

       Изменить y' следующим образом:

         равномерным случайным образом выбрать один из литералов C и поменять присваивание этому литералу на противоложное;