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