Город: Санкт-Петербург Казань Язык: Русский English

Алгоритмы расщепления
Алгоритмы для NP-трудных задач


Что: Лекция
Когда: Воскресенье, 08 ноября 2009, 10:35–12:05
Где: ПОМИ РАН
Слайды: np_algorithms_lecture_081109.pdf

Описание

Оценка времени работы алгоритмов расщепления, правила упрощения, простой \( 1.415^K \), где \( K \) - количество клозов, алгоритм, основанный на методе расщепления, для задачи выполнимости, автоматический анализ времени работы.

Видео

Материалы

Приложенные файлы