MAX-SAT: вероятностное округление/Задачи/MAX-3ESAT — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) (Массовая правка: замена :Нерешенные задачи]] на :Решенные задачи]]) |
(не показана одна промежуточная версия этого же участника) | |
(нет различий)
|
Версия 15:49, 20 мая 2020
Рассмотрим задачу «MAX-3ESAT», это «MAX-SAT», только в КНФ в каждой скобке ровно три литерала.
Предложите вероятностный алгоритм с точностью .