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

Материал из DISCOPAL
< MAX-SAT: вероятностное округление‎ | Задачи
Версия от 23:08, 3 марта 2021; StasFomin (обсуждение | вклад)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

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

[ Хронологический вид ]Комментарии

(нет элементов)

Войдите, чтобы комментировать.