Всем привет,
В наступающем семестре я хочу попробовать прочитать совсем новый спецкурс.
Представьте себе, что у вас есть доска наподобие шахматной, которая разбита на квадратные клетки. Некоторые клетки в ней отсутствуют. Вам предлагается покрыть ее доминошками размера 1x2 без пересечений. Сколько есть способов это сделать?
Неискушенный наблюдатель сразу заметит, что ответ равен нулю, если число клеток нечётно, но вряд ли сможет предложить алгоритм для общего случая, более эффективный, чем полный перебор. Отдельные специалисты по олимпиадному программированию вспомнят словосочетание "ДП про профилю" и, возможно, смогут решить задачу при небольших размерах доски. Наконец, математик заметит, что здесь речь идёт о подсчёте числа совершенных паросочетаний в графе, а это известная #P-полная задача.
Удивительно, но полиномиальный алгоритм для этой задачи все же есть, и своим существованием он обязан планарности графа. Планарные графы (то есть графы, допускающие укладку на плоскости без самопересечений рёбер) образуют интересный и обширный класс, для которого многие алгоритмические задачи решаются более эффективно, чем в общем случае. О таких методах и пойдёт речь на спецкурсе.
Для интересующихся также приведу чуть более подробный список тем:
1. Планарные графы, запрещенные миноры, критерий Куратовского, двойственность
2. Построение укладок графов на плоскости.
3. Укладки на решетках небольшого размера, метод регулярных разметок.
3. Перманенты, детерминанты и пфаффианы. Паросочетания в планарных графах.
4. Сепараторы в планарных графах.
5. Кратчайшие пути в планарных графах.
6. Потоки и разрезы в планарных графах.
7. Метод Бейкера, приближенные алгоритмы для NP-трудных задач в планарных графах.
Теперь несколько организационных замечаний:
1) С местом проведения занятия все более менее ясно -- это 2 ГУМ, там есть много свободных аудиторий.
2) По времени проведения -- как обычно, 5 пара. Относительно времени предлагаю устроить голосование.
Заходите и заполняйте!
3) Мне нужен доброволец, готовый повесить завтра-послезавтра бумажки с анонсами на мехмате.
4) Сразу после спецкурса у нас традиционно будет проходить спецсеминар. Нужны желающие сделать доклад. Леша Черепанов, ау!