Спецкурс Эффективные алгоритмы. Часть 2 (2004)

СПб.: Санкт-Петербургский государственный университет (СПбГУ); Санкт-Петербургское отделение Математического института им. В.А.Стеклова (ПОМИ) РАН, Гирш Э.А., 2004 г. Спецкурс прочитан в Санкт-Петербургском государственном университете (СПбГУ) весной 2004 г. Материал включает в себя конспекты 7 лекций и программу экзамена по указанному спецкурсу. Линейное программирование.
Алгоритмы для выполнимости.
Параллельный алгоритм для задачи о минимальном совершенном паросочетании.
Параллельные алгоритмы для вычисления определителя и арифметических операций.
Максимальное паросочетание.
Алгоритм унификации для термов.
Рисование планарного графа.