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

Перейти к навигации Перейти к поиску
м
Строка 19: Строка 19:
         '''if''' y' приводит к выполнимости G
         '''if''' y' приводит к выполнимости G
             '''then return''' y'; exit;
             '''then return''' y'; exit;
       C <math>\to</math> произвольный дизъюнкт G, невыполнимый на y';
       C <math>\gets</math> произвольный дизъюнкт G, невыполнимый на y';
       Изменить y' следующим образом:
       изменить y' следующим образом:
         равномерным случайным образом выбрать один из литералов C и поменять присваивание этому литералу на противоложное;
         равномерным случайным образом выбрать один из литералов C и поменять присваивание этому литералу на противоположное;
   '''end'''
   '''end'''
   '''return''' y'
   '''return''' y'
4501

правка

Навигация