MAX-SAT: вероятностное округление/Задачи/eupce-6-1-a
Материал из DISCOPAL
< MAX-SAT: вероятностное округление | Задачи
Версия от 15:05, 18 мая 2023; StasFomin (обсуждение | вклад) (Новая страница: «{{проверено|}} <!-- Probability and Computing --> Рассмотрим K-ESAT, SAT, когда в каждой скобке ровно k литерало…»)
Рассмотрим K-ESAT, SAT, когда в каждой скобке ровно k литералов.
Предложите Лас-Вегас алгоритм выполняющий минимум скобок, и проанализируйте матожидание его времени выполнения.
[ Хронологический вид ]Комментарии
Войдите, чтобы комментировать.