MAX-SAT: вероятностное округление/Задачи/MAX-SAT-1-2-expected-time

Материал из DISCOPAL
Перейти к: навигация, поиск

Рассмотрим следующий алгоритм для задачи MAX-SAT.

  • Случайно (равномерное распределение) выбираем значения переменных
  • Если выполнено меньше половины скобок — повторяем.

Т.е. алгоритм гарантирует выполнение более половины скобок. Оцените матожидание времени работы.

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

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

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

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