министерство образования и науки российской федерации
Московский физико-технический институт
(государственный университет) УТВЕРЖДАЮ
Проректор по учебной работе
Ю.А. Самарский
8 июня 2011 г.
П Р О Г Р А М М А
по курсу ЭФФЕКТИВНЫЕ АЛГОРИТМЫ
по направлению 010900
факультет ФУПМ
кафедра математических основ управления
курс VI
семестр 11
лекции – 34 часов Экзамен – 11 семестр
семинары – нет Зачет – нет
лабораторные занятия – нет
самостоятельная работа – 2 часа в неделю
ВСЕГО ЧАСОВ – 34
Программу составил: д.ф.-м.н. Н.Н. Кузюрин
Программа обсуждена на заседании кафедры
математических основ управления
17 мая 2011 года
Заведующий кафедрой С.А. Гуз
1. Методы построения и анализа эффективных
приближенных алгоритмов с гарантированными
оценками точности 1.1. Приближенные алгоритмы с гарантированными оценками точности. Анализ точности жадного алгоритма в задачах о покрытии, вершинном покрытии и k-покрытии.
1.2. Приближенные алгоритмы с константной мультипликативной точностью. Модифицированный жадный алгоритм для задачи о рюкзаке и его анализ. Метрическая задача коммивояжера. Приближенные алгоритмы с мультипликативной точностью 2 и 3/2.
1.3. Приближенные алгоритмы максимизации субмодулярных функций на множествах и их приложение в задачах анализа социальных сетей.
1.4. Полностью полиномиальные приближенные схемы для задачи о рюкзаке.
2. Элементы теории сложности
2.1. Различные модели вычислений и сложностные классы по времени и памяти.
2.2. Недетерминированные вычисления и класс NP.
2.3. Лас-Вегас и Монте-Карло вероятностные алгоритмы. Вероятностные сложностные классы RP, BPP, PP.
2.4. РСР теорема и ее применение для оценок порогов неаппроксимируемости. Плохо приближаемые задачи. Несуществование PTAS для задачи MAX-SAT (максимальной выполнимости КНФ).
3. Анализ сложности в среднем
3.1. Полиномиальные в среднем алгоритмы. Полиномиальный в среднем алгоритм для задачи об упаковке.
3.2. Полиномиальный в среднем алгоритм проверки выполнимости КНФ.
3.3. Полиномиальный в среднем алгоритм для задачи о рюкзаке.
3.4. Вычислительно трудные в среднем задачи.
4. Вероятностные методы в построении эффективных алгоритмов
4.1. Модели параллельных вычислений: EREW PRAM, CREW PRAM, CRCW PRAM. Вероятностные методы в построении эффективных параллельных алгоритмов. Вероятностный параллельный алгоритм Луби нахождения максимального по включению независимого множества в графе.
4.2. Вероятностные методы в построении эффективных распределенных алгоритмов. Коммуникационная сложность проверки идентичности двух битовых строк.
4.3. Задача целочисленного программирования и ее линейные релаксации. Вероятностное округление нецелочисленного решения до целочисленного. Приближенные вероятностные алгоритмы для задачи MAX-SAT.
4.4. Вероятностный 0.878-приближенный алгоритм для задачи о максимальном разрезе. Полуопределенное программирование.
4.5. Вероятностный приближенный алгоритм подсчета числа решений некоторых булевых уравнений.
4. Методы дерандомизации
4.1. Метод условных вероятностей, его применение для задачи MAX-SAT.
4.2. Метод малых вероятностных пространств.
Литература
Гэри М, Джонсон Д. Вычислительные машины и труднорешаемые задачи. – М.: Мир, 1982. (Тема 1).
Motwani R., Raghavan P. Randomized algorithms, Cambrige University Press, 1995.(Тема 3).
Mayr E., Promel H., Steger A. (eds), Lectures on proof verification and approximation algorithms, Springer, 1998.
Кузюрин Н.Н., Фомин С.А. Эффективные алгоритмы, М., МФТИ, 2007, 313 с.
Подписано в печать 08.06.11. Формат 60 84 Бумага офсетная.
Печать офсетная. Усл. печ. л. 0.25. Уч.-изд. л. 0.25. Тираж 370 экз. Заказ №33 Государственное образовательное учреждение
высшего профессионального образования
«Московский физико-технический институт
(государственный университет)»
Отдел оперативной полиграфии
Московская обл., г. Долгопрудный, Институтский пер., 9