MAX-SAT: вероятностное округление/Задачи/MAX-SAT-1-2-expected-time — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
| Строка 1: | Строка 1: | ||
| − | |||
| − | |||
Рассмотрим следующий алгоритм для задачи MAX-SAT. | Рассмотрим следующий алгоритм для задачи MAX-SAT. | ||
* Случайно (равномерное распределение) выбираем значения переменных <m>x_1,\ldots,x_n</m> | * Случайно (равномерное распределение) выбираем значения переменных <m>x_1,\ldots,x_n</m> | ||
| − | |||
* Если выполнено меньше половины скобок — повторяем. | * Если выполнено меньше половины скобок — повторяем. | ||
Т.е. алгоритм гарантирует выполнение более половины скобок. | Т.е. алгоритм гарантирует выполнение более половины скобок. | ||
| − | |||
Оцените матожидание времени работы. | Оцените матожидание времени работы. | ||
[[Категория:Проблемные задачи]] | [[Категория:Проблемные задачи]] | ||
Текущая версия на 12:57, 5 октября 2020
Рассмотрим следующий алгоритм для задачи MAX-SAT.
- Случайно (равномерное распределение) выбираем значения переменных
- Если выполнено меньше половины скобок — повторяем.
Т.е. алгоритм гарантирует выполнение более половины скобок. Оцените матожидание времени работы.