MAX-SAT: вероятностное округление/Задачи/MAX-3ESAT — различия между версиями

Материал из DISCOPAL
Перейти к: навигация, поиск
(Массовая правка: замена :Нерешенные задачи]] на :Решенные задачи]])
(не показана одна промежуточная версия этого же участника)
(нет различий)

Версия 15:49, 20 мая 2020

Рассмотрим задачу «MAX-3ESAT», это «MAX-SAT», только в КНФ в каждой скобке ровно три литерала.

Предложите вероятностный алгоритм с точностью .