MAX-SAT: вероятностное округление/Задачи/max-sat-local-opt--1-2 — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
Строка 2: | Строка 2: | ||
Опишите алгоритм локального поиска для MAX-SAT, покажите, что он находит решение не хуже половины от оптимума. | Опишите алгоритм локального поиска для MAX-SAT, покажите, что он находит решение не хуже половины от оптимума. | ||
− | [[Категория: | + | [[Категория:Решенные задачи]] |
Версия 23:08, 3 марта 2021
Опишите алгоритм локального поиска для MAX-SAT, покажите, что он находит решение не хуже половины от оптимума.