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