Просмотр исходного текста страницы DM 2 2016 2017

= Дискретная математика на 2-ом курсе ПМИ (основной поток)=

Лекции проходят по пятницам в аудитории 509 в 12:10-13:30. Первая лекция 2 сентября.

==Новости==

* Назначены консультации Фёдора Когана для группы 153 в понедельник с 13-40 до 16-30 (ауд. 623 и 432).

* Консультации в 153 группе переносятся со вторника 16:40-18 на среду   16:40-18 (каб. 617). Консультации по пятницам в прежнее время (15:10-16:30).

* 14 октября лекции не будет! В этот день также не будет семинара в группе 153.

==Лектор== 

Н.К. Верещагин nikolay.vereshchagin@gmail.com

==Семинаристы== 
    
153 Верещагин Николай Константинович, nikolay.vereshchagin@gmail.com, ассистент Федор Андреевич Коган, taskmage@inbox.ru,

154 Козачинский Александр Николаевич, kozlach@mail.ru,ассистент Гущенко-Чеверда Иван,  vania1997qwerty@gmail.com,

155 Милованов Алексей Сергеевич, almas239@gmail.com, ассистент Пособин Глеб Игоревич posobin@gmail.com,

156 Таламбуца Алексей Леонидович,  alexey.talambutsa@gmail.com, ассистент Акимова Дина Александровна, akidina14@yandex.ru

==Краткое описание==

Курс состоит из двух частей. В первом модуле будет рассказан о линейном программировании:
что это такое, в каких областях оно применяется, двойственность в линейном программировании и
симплекс метод решения линейных программ. Во втором модуле будет изучаться математическая логика:
формулы логики высказываний и логики предикатов, определение истинности, выразимость средствами
логики предикатов, исчисление резолюций.

==Отчётность по курсу и критерии оценки==

6 домашних заданий, коллоквиум и экзамен.

Оценка за домашние задания равна доле решенных задач, умноженной на 10. 
На решение каждого ДЗ дается 14 дней, решение ДЗ нужно сдавать семинаристу до начала семинара.
Сдача домашних заданий после их срока невозможна.

Каждое ДЗ будут проверено в течение 10 дней после дедлайна. Домашнее задание должно быть защищено в течение 5 недель после дедлайна. Для защиты студент должен прийти на консультацию и убедить преподавателя, что он понимает, что у него написано, и тем самым работа не списана.

Коллоквиум (устный) и экзамен (письменный) оцениваются по десятибалльной системе. На коллоквиуме и
экзамене можно пользоваться своими рукописными конспектами (не копиями чужих).

Оценки за коллоквиум и экзамен входят в общую оценку с коэффициентами 0.3, а оценка за домашние задания - с коэффициентом 0.4. 

==Сроки контрольных мероприятий==

Эти сроки немного различаются для разных групп (поскольку семинары в разные дни). 

Сроки для 153 группы:

Первое домашнее задание  16 сентября.
Второе домашнее задание 30 сентября. 
Третье домашнее задание 14 октября.
Четвертое домашнее задание 1 ноября. 
Пятое домашнее задание  18 ноября.
Шестое домашнее задание 2 декабря.

Коллоквиум пройдет с 12 по 16 декабря (скорей всего 13 декабря).

Экзамен - 27 декабря (дата предварительная).

==Домашние задания  ==

'''[https://www.dropbox.com/s/vpuoicoqwc3nip8/DM%20153.xls?dl=0 Оценки за домашние задания (группа 153)]'''

'''[https://www.dropbox.com/s/w4tuaawuvvpwis2/DM%20154.xls?dl=0 Оценки за домашние задания (группа 154)]'''

'''[https://docs.google.com/spreadsheets/d/1V0qw93a1JUsb_hTDFajt9FVapM7MeHwr28N4vmXcf_c/edit#gid=1258935881 Оценки за домашние задания (группа 155)]'''

'''[https://docs.google.com/spreadsheets/d/1V0qw93a1JUsb_hTDFajt9FVapM7MeHwr28N4vmXcf_c/edit?usp=sharing Домашнее задание №1]''' -- дедлайн  16 сентября (для пятничных групп), 19 сентября (для групп по понедельникам) и 20 сентября (для вторничных групп)

'''[https://www.dropbox.com/s/q29zaxmuvcijgs5/hw2.pdf?dl=0 Домашнее задание №2]''' -- дедлайн  30 сентября (для пятничных групп), 3 октября (для групп по понедельникам) и 4 октября (для вторничных групп)

==Примерное содержание лекций==

* Общая задача линейного программирования.

* Примеры линейных программ: смешивание растворов, транспортная задача, потоки в сетях

* Метод исключения переменных.

* Способы докательства оптимальности линейных программ.

* Общая теория двойственности. Двойственная линейная программа. Лемма Фаркаша и теорема 
двойственности

* Применения двойственности: потоки и разрезы в сетях, игры с нулевой суммой.

* Полиэдры и политопы. 

* Симплекс метод.

* Определение формулы логики высказываний.

* Тавтологии, выполнимые, общезначимые и равносильные формулы.

* Исчисление резолюций.

* Языки первого порядка и их модели. Изоморфные и элементарно эквивалентные модели.

* Выразимые в данной модели отношения. Метод автоморфизмов доказательства невыразимости.

* Логическое следование и аксиоматические теории.

==Прочитанные лекции==

====Лекция 1 (2 сентября).  ====
Определение вид задачи линейного программирования. Пример: задача о составлении раствора,
задача о потоке в сети, транспортная задача. Представление произвольной линейной программы в виде 
системы равенств на неотрицательные переменные. Как доказывать оптимальность решения
задачи линейного программирования. Общее представление о двойственности.

====Лекция 2 (9 сентября).  ====
Синтаксические и семантические следствия системы неравенств. Критерий совместности: система линейных неравенств несовместна тогда и только тогда, когда из нее синтаксически следует неравенство 0<-1. Лемма Фаркаша и ее вывод из критерия совместности.

====Лекция 3 (16 сентября).  ====
Проекция полиэдра является полиэдром. Достижение максимума целевой функцией.
Геометрическое доказательство леммы Фаркаша. Вывод критерия совместности из леммы Фаркаша. Принцип двойственности в самой простой форме: неравенство семантически следует из системы неравенств тогда  и только тогда, когда оно следует синтаксически (формулировка и объяснение смысла).

====Лекция 4 (23 сентября).  ====
Доказательство принципа двойственности. 
ЛП, двойственная к данной и вторая формулировка принципа двойственности. Задача, двойственная
к задаче о максимальном потоке.

====Лекция 5 (30 сентября).  ====
Соотношения дополняющей нежесткости. Доказательство теоремы Форда-Фалкерсона о потоках и разрезах.
Другие примеры применения принципа двойственности: задача об узелках и задача о кратчайшем пути, игры с нулевой суммой.

====Лекция 6 (7 октября).  ====
Симплекс метод.

====14 октября лекции не будет (лектор в командировке)====

====Лекция 7 (21 октября).  ====

====28 октября лекции не будет (сессия)====

====4 ноября лекции не будет (праздник)====

====Лекция 8 (11 ноября).  ====

====Лекция 9 (18 ноября).  ====

====Лекция 10 (25 ноября).  ====

====Лекция 11 (2 декабря).  ====

====Лекция 12 (9 декабря).  ====

==Проведённые семинары (153 группа) ==

===Семинар 1 (2 сентября)===

Графическое решение задач линейного программирования с двумя переменными и сводящиеся к таким.
'''[https://drive.google.com/file/d/0By-nGAT52Ee3QW1BWG4ycDN6Ymc/view?usp=sharing Задачи первого семинара]'''

===Семинар 2 (9 сентября)===

Графическое изображении полуплоскостей, линий уровня, двумерных полиэдров. Задачи на синтаксическое
следствие, нахождения оптимума в транспортной задаче, несовместность систем л.у. Задача на потоки и разрезы.

'''[https://www.dropbox.com/s/auozud7pkr052fh/cw2.pdf Задачи второго семинара.]'''

'''[https://dl.dropboxusercontent.com/u/33029521/cw02DM2-pilot.pdf Задачи ко второму семинару пилотного потока (для тех, кто решил все задачи задания основного потока)]'''

===Семинар 3 (16 сентября)===

Изучение синтаксических следствий, применение критерия совместности.

'''[https://www.dropbox.com/s/hjtd7umhcvp71o6/cw3.pdf?dl=0 Задачи третьего семинара]'''



===Семинар 4 (23 сентября)===

Двойственные задачи.

'''[https://www.dropbox.com/s/od1w267y1rgbjlu/cw4.pdf?dl=0 Задачи четвертого семинара]'''

===Семинар 5 (30 сентября)===

Двойственные задачи и игры с нулевой суммой. Применение соотношений 
дополняющей нежесткости для поиска оптимального решения двойственной задачи
при известном оптимальном решении прямой.
'''[https://www.dropbox.com/s/qg7350m1voy1bzd/cw5.pdf?dl=0 Задачи пятого семинара]'''



===14 октября семинара не было===

==Конспекты лекций==

Эта черновик конспектов лекций М.Н.Вялого для пилотного потока. Он покрывает весь материал первых шести лекций. https://drive.google.com/file/d/0By-nGAT52Ee3cHo1c1lPNlpsSkE/view?usp=sharing

==Консультации ==
153 группа: понедельник с 13-40 до 15 в ком. 623 и с 15:10 до 16-30 в ауд. 432 (Коган), 
среда 16:40-18  в каб. 617 и пятница 15:10-16:30  в каб. 617 (Верещагин).

Для группы 154 консультации будут проходить по вторникам с 9:00 до 10:20 в ауд. 313

Для 155 группы консультации будут проходить по вторникам с 13:40 до 14:30 в преподавательской
и по пятницам с 11:00 до 11:50 в ауд. 304.

==Рекомендуемая литература  ==

1. Alexander Schrijver. Theory of linear and integer programming. John Wiley and Sons. 1998 

2. Ашманов С.А., Тимохов А.В. Теория оптимизации в задачах и упражнениях. М.: Наука, 1991. — 446 с.

3. Н.К.Верещагин, А. Шень. Языки и исчисления. М.:МЦНМО, 2012. (Для курса будут наиболее важны главы 1, 3 и 4. Глава 1 содержит материал, который практически полностью входил в программу курса "Дискретная математика -1". Материал главы 4 в курсе будет затронут очень незначительно.)

5. А. Схрейвер. Теория линейного и целочисленного программирования. М.: Мир, 1991. Тт.1-2. (Классический учебник. Для курса наиболее важна глава 7 тома 1, а также (частично) гл. 8 и 11.)

6. Б. Корте, Й. Фиген. Комбинаторная оптимизация. Теория и алгоритмы. М.: МЦНМО, 2015. (Современный учебник по комбинаторной оптимизации. Включает главы с описанием линейного программирования и алгоритмов для задач линейного программирования.)

7. Ч.Чень, Р.Ли. Математическая логика и автоматическое доказательство теорем. М.: Наука, 1983. (Для курса важен раздел про метод резолюций в главе 5.)