ЛекториумМедиатека
Личный кабинет

Алгоритмы для NP-трудных задач (2013). Лекция 10

Алгоритмы для задачи выполнимости: метод расщепления

DPLL-алгоритмы, основные идеи метода расщепления, вектор и число расщепления. O∗(22n/3) для задачи 3-выполнимости одновыполнимой формулы через расщепление относительно случайной перестановки. Запоминание дизъюнктов: решение задачи выполнимости на формулах константной плотности за O∗((2-c)n). Комбинированные меры сложности, measure and conquer: O∗(22m/5.5) для задачи максимальной 2-выполнимости.

Страница лекции на сайте Computer Science Club

Лекции курса

13
  1. Алгоритмы для NP-трудных задач (2013). Лекция 1
  2. Алгоритмы для NP-трудных задач (2013). Лекция 2
  3. Алгоритмы для NP-трудных задач (2013). Лекция 3
  4. Алгоритмы для NP-трудных задач (2013). Лекция 4
  5. Алгоритмы для NP-трудных задач (2013). Лекция 5.1
  6. Алгоритмы для NP-трудных задач (2013). Лекция 5.2
  7. Алгоритмы для NP-трудных задач (2013). Лекция 6
  8. Алгоритмы для NP-трудных задач (2013). Лекция 7
  9. Алгоритмы для NP-трудных задач (2013). Лекция 8
  10. Алгоритмы для NP-трудных задач (2013). Лекция 9
  11. Алгоритмы для NP-трудных задач (2013). Лекция 10▶ Вы тут
  12. Алгоритмы для NP-трудных задач (2013). Лекция 11
Показать все 13 лекций
  1. Алгоритмы для NP-трудных задач (2013). Лекция 12

Онлайн-курсы по программированию

3