Результаты поиска
Материал из DISCOPAL
Показаны 41-57 из 57 результатов запроса MAX-SAT: дерандомизация/Задачи/, выполненного за 0.000 секунд. Статистика:
- max-sat найдено 225 раз в 158 документах
- дерандомизац найдено 136 раз в 89 документах
- задач найдено 9405 раз в 3474 документах
- #перенаправление [[MAX-SAT: дерандомизация/Задачи/shell-game/Решение Рубановой]]131 байт (2 слова) - 19:15, 10 декабря 2013
- ... для задачи о рюкзаке».
# «Полиномиальный в среднем алгоритм для SAT».
# «Вероятностный подсчет числа выполняемых наборов для ДНФ».
# «MAX-SAT: вероятностное округление».
# «MAX-SAT: дерандомизация ...3 КБ (27 слов) - 13:59, 10 декабря 2008 - ... материалы → книга, слайды, видеолекции, а также все задачи, которые могут дать на экзамене. (См. «Subpages ... [[MAX-SAT: вероятностное округление]]
* [[MAX-SAT: дерандомизация]]
<!-- {:Дерандомизация Люби ...6 КБ (161 слово) - 07:36, 21 июня 2012 - ... метрической задачи коммивояжера]]
* [[Вероятностная проверка тождеств]]
* [[MAX-SAT: вероятностное округление]]
* [[MAX-CUT: вероятностное округление]]
* [[MAX-SAT: дерандомизация]]
* [[Вероятностный ...16 КБ (531 слово) - 13:43, 18 апреля 2024 - ... uncut.mkv|1:19:30}} — метрическая задача коммивояжера, алгоритм Кристофидеса.
* {{VideoIspras| ... -lectures.uncut.mkv|0:01:10}} — Дерандомизация MAX-SAT
* {{VideoIspras|channels/ispras.ru/lectures/2013 ...3 КБ (153 слова) - 05:45, 27 марта 2014
Просмотреть (предыдущие 20 | следующие 20) (20 | 50 | 100 | 250 | 500)