MAX-SAT: вероятностное округление/Задачи/eupce-6-1-a

Материал из DISCOPAL
< MAX-SAT: вероятностное округление‎ | Задачи
Версия от 11:28, 18 декабря 2024; NikitaAkshaev (обсуждение | вклад)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

Рассмотрим K-ESAT, SAT, когда в каждой скобке ровно k литералов.

Предложите Лас-Вегас алгоритм выполняющий минимум скобок, и проанализируйте матожидание его времени выполнения.

Задача зарезервирована: NikitaAkshaev 11:28, 18 декабря 2024 (UTC)

[ Хронологический вид ]Комментарии

(нет элементов)

Войдите, чтобы комментировать.

Источник — «https://discopal.ispras.ru/index.php?title=MAX-SAT:_вероятностное_округление/Задачи/eupce-6-1-a&oldid=33839»