4551
правка
Алгоритмы локального поиска для k-КНФ: различия между версиями
Материал из WEGA
Алгоритмы локального поиска для k-КНФ (посмотреть исходный код)
Версия от 11:57, 6 апреля 2018
, 6 апреля 2018→Основные результаты
Irina (обсуждение | вклад) |
Irina (обсуждение | вклад) |
||
| Строка 19: | Строка 19: | ||
'''if''' y' приводит к выполнимости G | '''if''' y' приводит к выполнимости G | ||
'''then return''' y'; exit; | '''then return''' y'; exit; | ||
C <math>\ | C <math>\gets</math> произвольный дизъюнкт G, невыполнимый на y'; | ||
изменить y' следующим образом: | |||
равномерным случайным образом выбрать один из литералов C и поменять присваивание этому литералу на | равномерным случайным образом выбрать один из литералов C и поменять присваивание этому литералу на противоположное; | ||
'''end''' | '''end''' | ||
'''return''' y' | '''return''' y' | ||
