MAX-SAT: вероятностное округление/Задачи/max-sat-local-opt--1-2

Материал из DISCOPAL
Перейти к: навигация, поиск

Опишите алгоритм локального поиска для MAX-SAT, покажите, что он находит решение не хуже половины от оптимума.