Полиномиальный в среднем алгоритм для SAT/Задачи/ex-greedy-sat-is-2-approx — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Массовая правка: замена :Нерешенные задачи]] на :Решенные задачи]]) |
StasFomin (обсуждение | вклад) (Массовая правка: замена :Нерешенные задачи]] на :Решенные задачи]]) |
| (не показаны 3 промежуточные версии этого же участника) | |
(нет различий)
| |
Версия 15:49, 20 мая 2020
Покажите, что алгоритм Greedy algorithm for SAT находит 2-приближенное решение для MAX SAT (т.е. не хуже оптимального больше чем в два раза).