Курс лекций «Эффективные алгоритмы» — различия между версиями

Материал из DISCOPAL
Перейти к: навигация, поиск
(Задачи)
(Фокус)
 
(не показано 146 промежуточных версий 11 участников)
Строка 1: Строка 1:
 +
<!-- https://prod.liveshare.vsengsaas.visualstudio.com/join?356FB217B4C56E51B049FD76EAFACED6B274
 +
-->
 +
* [[Special:MediawikiQuizzer/GRE-CS-v01|Еженедельная проверка — сегодня экспериментальная]]
 +
 
{{SideBar|
 
{{SideBar|
 
{{Special:Wikilog/Blog:Advanced Algorithms/Template:BlogInformerLine/3/sort=wlp_talk_updated}}
 
{{Special:Wikilog/Blog:Advanced Algorithms/Template:BlogInformerLine/3/sort=wlp_talk_updated}}
 
|style=max-width:35%
 
|style=max-width:35%
 
}}
 
}}
 +
 +
 +
<!--
 +
* [[Special:MediawikiQuizzer/Эффективные алгоритмы-Экзамен|Тест для экзамена]]
 +
-->
 +
 +
<!--
 +
[[Special:MediawikiQuizzer/Algs-6-course-ispras-weekly|Еженедельная тренировка]]
 +
-->
 +
  
 
Курс лекций «Эффективные алгоритмы» для 6 курса МФТИ.
 
Курс лекций «Эффективные алгоритмы» для 6 курса МФТИ.
  
Семестровый курс по выбору<ref>К экзамену допускаются только студенты, зарегистрировавшиеся до декабря [mailto:stas-fomin@yandex.ru email].</ref>
+
<!--
 +
Семестровый курс по выбору<ref>К экзамену допускаются только студенты, зарегистрировавшиеся до 10 октября [mailto:stas-fomin@yandex.ru email].</ref>
 
для студентов 6-го курса ФУПМ МФТИ.
 
для студентов 6-го курса ФУПМ МФТИ.
 
+
-->
  
 
;Лекторы: д.ф.-м.н. [mailto:nnkuz@ispras.ru Н.Н. Кузюрин], [mailto:stas-fomin@yandex.ru С.А. Фомин]
 
;Лекторы: д.ф.-м.н. [mailto:nnkuz@ispras.ru Н.Н. Кузюрин], [mailto:stas-fomin@yandex.ru С.А. Фомин]
  
В 2012 году, курс проходит дистанционно.
+
Для ФУПМов 6 курса, желающих записаться на курс по выбору «Эффективные алгоритмы», нужно:
 +
{{:Как зарегистрироваться на курс}}
  
Желающим посещать курс, надо зарегистрироваться:
+
<poll>
* Зарегистрироваться на http://discopal.ispras.ru
+
UNSAFE_ID=aa-20190901
* Прислать email/выбранный логин на http://discopal.ispras.ru/Skype-логин → [mailto:stas-fomin@yandex.ru Стасу Фомину]
+
ALTERNATIVE
* Проверить, что появились в списке (см. ниже).
+
OPEN_RESULTS
 +
OPEN_VOTERS
 +
AUTHORIZED
 +
ALLOW_REVOTE
 +
END_POLL 2019-10-12
 +
Записываемся на курс «Advanced Algorithms-2019»?
 +
Да
 +
Нет
 +
</poll>
  
 +
<!--
 +
Прием экзамена, вторник, 2016-12-27, 11:30, [http://www.ispras.ru ИСПРАН], 301 аудитория.
 +
<poll>
 +
UNSAFE_ID=2016-12-23-exam
 +
ALTERNATIVE
 +
OPEN_RESULTS
 +
OPEN_VOTERS
 +
AUTHORIZED
 +
ALLOW_REVOTE
 +
END_POLL 2016-12-23
 +
Будете на экзамене 2016-12-23, 10:45?
 +
Да
 +
Нет
 +
</poll>
 +
* Если не набереться четырех студентов — возможно этот прием будет отменен.
 +
Процесс сдачи будет включать:
 +
* Фильтрацию входящих тестами (если совсем не готов —  не тратим время друг друга).
 +
* Вопросы по теме («почему так»), или те самые задачи, которые вы решали.
 +
 +
 +
Время последующих сдач пока не известно.
 +
-->
 +
 +
Вводное занятие проведено — всем изучать материалы на
 +
[[Курс лекций «Эффективные алгоритмы»]] — книгу, видео и все-такое.
 +
Готовим темы из раздела [[#Фокус]]
 +
 +
{{!|Встречаемся в 903 КПМ, 4 октября, 18:30}}
 +
 +
 +
Формат flipped classroom — т.е. по существующим материалам не будем повторять лекции, встречаться будем только для семинаров, и активной работы (решение задач, разбор сложных моментов, что-нибудь интересное придумаю) по заранее изученным материалам.
 +
 +
<!-- Возможно, если будут новые темы, будут удаленные лекции (которых попробуем и также записать и зафиксировать). -->
 +
 +
 +
Вопросы пишите на [mailto:stas-fomin@yandex.ru почту], или задавайте в [https://vk.com/discopal группе].
 +
 +
<!--
 +
{{!|Важное:}} Деканат внезапно захотел список студентов <s>прямо сейчас</s> уже вчера. Так что просьба, определится быстрее и записаться как указано выше на курс ASAP.
 +
-->
 +
 +
 +
 +
----
 +
<!--
 +
Зафиксирована запись следующих участников:
 +
 +
 +
Печально, что несложные несколько пунктов инструкции оказались невывыполнимы для многих (не осилили даже пункт «На своей личной странице, написать хотя бы ФИО и группу»).
 +
-->
 +
 +
 +
<!--
 +
 +
SELECT user_name, user_real_name, user_email FROM `user` WHERE user_name IN (select poll_user from poll_vote WHERE poll_id='Xc12c3daeb861942efc77a234744170c') and user_id IN (select wl_user from watchlist where wl_title = "Advanced_Algorithms")
 +
 +
Итак, записались:
 +
 +
Списки переданы и зафиксированы в учебной части.
 +
-->
 +
 +
 +
 +
 +
 +
* Проблемы → [mailto:stas-fomin@yandex.ru Стасу Фомину]
  
 
<!-- * [[Календарь_лекций]] -->
 
<!-- * [[Календарь_лекций]] -->
  
 
<html><center>
 
<html><center>
</p><div class="sites-embed-align-left-wrapping-off"><div class="sites-embed-border-on sites-embed sites-embed-full-width" style="width: 100%;"><h4 class="sites-embed-title">Успеваемость зарегистрированных студентов</h4><div class="sites-embed-object-title" style="display: none;">Эффективные алгоритмы(студенты).2007</div><div class="sites-embed-content sites-embed-type-spreadsheet"><iframe src="https://docs.google.com/spreadsheet/pub?key=0Ao6tsK_6FZElcGVLNjEtY3lfOHhmVHZPdGJZOXI3WHc&single=true&gid=9&output=html" id="1695919049" frameborder="0" height="800" width="100%"></iframe></div></div></div>
+
</p><div class="sites-embed-align-left-wrapping-off"><div class="sites-embed-border-on sites-embed sites-embed-full-width" style="width: 100%;"><h4 class="sites-embed-title">Успеваемость зарегистрированных студентов</h4><div class="sites-embed-object-title" style="display: none;">Эффективные алгоритмы(студенты).2007</div><div class="sites-embed-content sites-embed-type-spreadsheet"><iframe src="https://docs.google.com/spreadsheet/pub?key=0Ao6tsK_6FZElcGVLNjEtY3lfOHhkdkRQWTI1aUktUUE&single=true&gid=9&output=html" id="1695919049" frameborder="0" height="500" width="100%"></iframe></div></div>
 +
</div>
 
</center></html>
 
</center></html>
  
Строка 33: Строка 124:
 
«Отличники-автоматом» будут выбраны с помощью жадного алгоритма, и вероятностого округления, с использованием настоящих случайных чисел с http://random.org
 
«Отличники-автоматом» будут выбраны с помощью жадного алгоритма, и вероятностого округления, с использованием настоящих случайных чисел с http://random.org
  
 +
<!--
  
 +
Особый подход к Пятой ИСПРАН-группе.
 +
* [[Blog:Advanced Algorithms/Спецподход для студентов из ИСПРАН-группы]]
  
 +
У них особый список и отдельный учет:
 +
<html><center>
 +
</p><div class="sites-embed-align-left-wrapping-off"><div class="sites-embed-border-on sites-embed sites-embed-full-width" style="width: 100%;"><h4 class="sites-embed-title">Успеваемость зарегистрированных студентов</h4><div class="sites-embed-object-title" style="display: none;">Эффективные алгоритмы(студенты).2007</div><div class="sites-embed-content sites-embed-type-spreadsheet"><iframe src="https://docs.google.com/spreadsheets/u/0/d/1UTgYTrhlvG6E8Paa7AdoZRQr-2iwZvlVPMkHfbt5FEk/htmlembed#gid=207856272" id="207856272" frameborder="0" height="400" width="100%"></iframe></div></div>
 +
</div>
 +
</center></html>
  
= Тренировка =
+
-->
  
 +
= Темы =
 +
 +
Замечания по каждой презентации можно (и нужно) писать на вкладку «Обсуждение», для соответствующего PDF-файла.
 +
 +
=== Пройденные ===
 +
* [[Несложно о сложности. Примеры алгоритмов]]
 +
* [[Жадный алгоритм в задачах о покрытии]]
 +
* [[Жадный алгоритм покрытия для почти всех исходных данных]]
 +
* [[Жадный алгоритм в задаче о рюкзаке]]
 +
 +
=== Фокус ===
 +
Постоянно идущие квесты.
 +
* [[Jupyterization]]
 +
* [[LeetCoding]]
 +
* [[OptimizePython]]
 +
 +
Темы к ближайшему занятию.
 +
* [[Динамическое программирование для задачи о рюкзаке]]
 +
* [[Полностью полиномиальная аппроксимационная схема (FPTAS) для задачи о рюкзаке]]
 +
* [[Полиномиальный в среднем алгоритм для задачи упаковки]]
 +
* [[Полиномиальный в среднем алгоритм для задачи о рюкзаке]]
 +
* [[Полиномиальный в среднем алгоритм для SAT]]
 +
* [[Вероятностная проверка тождеств]]
 +
* [[Вероятностный подсчет числа выполняемых наборов для ДНФ]]
 +
* [[MAX-SAT: вероятностное округление]]
 +
* [[MAX-CUT: вероятностное округление]]
 +
* [[MAX-SAT: дерандомизация]]
 +
 +
<!-- * [[Вероятностно проверяемые доказательства. PCP-системы. PCP-теорема]] -->
 +
 +
=== Непройденные темы ===
 +
* [[Приближенный алгоритм для метрической задачи коммивояжера]]
 +
 +
 +
=== Не будем их рассматривать ===
 +
* [[Формально об алгоритмах. Вычислительные модели]]
 +
* [[Временная и пространственная сложность алгоритмов]]
 +
* [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC]]
 +
* [[Вероятностные вычисления. Классы RP, coRP, ZPP, BPP]]
 +
* [[PCP и аппроксимируемость]]
 +
 +
<!-- {:Дерандомизация Люби} -->
 +
* [[Параллельный алгоритм Люби для максимального по включению независимого множества]]
 +
 +
= Тренировка =
 
[[Special:MediawikiQuizzer/Эффективные алгоритмы|Проверь себя]], помнишь ли элементарные понятия и факты из курса.
 
[[Special:MediawikiQuizzer/Эффективные алгоритмы|Проверь себя]], помнишь ли элементарные понятия и факты из курса.
 
Тест будет на экзамене, чтобы отсеять совсем невменяемых.
 
Тест будет на экзамене, чтобы отсеять совсем невменяемых.
  
= Задачи =
+
== Задачи ==
 +
* [[LeetCoding]]
 +
 
 +
<!--
 
Все статьи в этой категории — задачи, которые можно пытаться решать.
 
Все статьи в этой категории — задачи, которые можно пытаться решать.
* [[:Category:Нерешенные задачи]].
+
* [[:Category:Нерешенные задачи]].  Осталось  {{!|{{PAGESINCATEGORY: Нерешенные задачи}}}} нерешенных задач.
Любая активность, даже попытки решения — хорошо.
+
После того, как задача решена, она перейдет в архив:
+
* [[:Category:Решенные задачи]] — кстати, полезно смотреть чужие решения.
+
  
 +
Решать надо создавая для решения ''подстраницу'' личной страницы, и ссылаясь в решении на задачу.
 +
;Пример: Задача [[Вероятностная_проверка_тождеств/Задачи/determinant]] → Решение [[Участник:StasFomin/Задача determinant]].
 
Cтатьи-решения задач помечать вставляя строку
 
Cтатьи-решения задач помечать вставляя строку
 
   
 
   
 
<pre><nowiki>[[Category:На проверку]]</nowiki></pre>
 
<pre><nowiki>[[Category:На проверку]]</nowiki></pre>
 
и подписываться на изменения («watch this page»).
 
и подписываться на изменения («watch this page»).
 +
 +
 +
Любая активность, даже попытки решения  — хорошо.
 +
После того, как задача решена, она перейдет в архив:
 +
* [[:Category:Решенные задачи]].
  
 
Проверенное решение перейдет в [[:Category:Решения]] или,
 
Проверенное решение перейдет в [[:Category:Решения]] или,
 
если возникнут вопросы-возражения в [[:Category:Проблемы в решении]].
 
если возникнут вопросы-возражения в [[:Category:Проблемы в решении]].
  
Т.е. очередь решений на проверку → [[:Category:На проверку]], проверяйте, что ваши решения в правильной категории (а то их так и не проверят...).
+
Т.е. очередь решений на проверку → [[:Category:На проверку]] (там сейчас {{!|{{PAGESINCATEGORY: На проверку}}}} задач), проверяйте, что ваши решения в правильной категории (а то их так и не проверят...).
  
 
Отдельно, пробуем новую инициативу — те, кто решил хоть несколько задач, и понял принцип оформления, предлагайте задачи с решениями по теме курса (можно взять из любых знакомых вам курсов и книг с алгоритмами).
 
Отдельно, пробуем новую инициативу — те, кто решил хоть несколько задач, и понял принцип оформления, предлагайте задачи с решениями по теме курса (можно взять из любых знакомых вам курсов и книг с алгоритмами).
Строка 64: Строка 215:
 
[[:Category:Предложенные студентами задачи]]
 
[[:Category:Предложенные студентами задачи]]
  
= Лекции =
+
Все статьи в этой категории — задачи, которые можно пытаться решать.
* [[/Лекции осеннего семестра 2011]]
+
* [[:Category:Нерешенные задачи]].
** [http://narod.ru/disk/63720373001.d936acd53e1a20473d5073cbd232bc49/discopal.torrent.html торрент] с прошлогодними видео.
+
Любая активность, даже попытки решения  — хорошо.
 +
После того, как задача решена, она перейдет в архив:
 +
* [[:Category:Решенные задачи]] — кстати, полезно смотреть чужие решения.
  
* [[/Лекции осеннего семестра 2012]]
+
Cтатьи-решения задач помечать вставляя строку
 +
 +
<pre><nowiki>[[Category:На проверку]]</nowiki></pre>
 +
и подписываться на изменения («watch this page»).
  
= Темы =
+
Проверенное решение перейдет в [[:Category:Решения]] или,
 +
если возникнут вопросы-возражения в [[:Category:Проблемы в решении]].
 +
-->
  
Замечания по каждой презентации можно (и нужно) писать на вкладку «Обсуждение», для соответствующего PDF-файла.
+
= Видеолекции =
 
+
* [[/Лекции осеннего семестра 2011]]
* [[Несложно о сложности. Примеры алгоритмов]]
+
** [http://narod.ru/disk/63720373001.d936acd53e1a20473d5073cbd232bc49/discopal.torrent.html торрент] с прошлогодними видео.
* [[Формально об алгоритмах. Вычислительные модели]]
+
* [[/Лекции осеннего семестра 2012]]
* [[Временная и пространственная сложность алгоритмов]]
+
* [[Курс_лекций_«Сложность_алгоритмов»_(ИСПРАН,_3_курс_МФТИ)/Лекции_весеннего_семестра_2013]]
* [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC]]
+
* [[Вероятностные вычисления. Классы RP, coRP, ZPP, BPP]]
+
* [[Вероятностно проверяемые доказательства. PCP-системы. PCP-теорема]]
+
* [[PCP и аппроксимируемость]]
+
* [[Жадный алгоритм в задачах о покрытии]]
+
* [[Жадный алгоритм покрытия для почти всех исходных данных]]
+
* [[Приближенный алгоритм для метрической задачи коммивояжера]]
+
* [[Жадный алгоритм в задаче о рюкзаке]]
+
* [[Динамическое программирование для задачи о рюкзаке]]
+
* [[Полностью полиномиальная аппроксимационная схема (FPTAS) для задачи о рюкзаке]]
+
* [[Полиномиальный в среднем алгоритм для задачи упаковки]]
+
* [[Полиномиальный в среднем алгоритм для задачи о рюкзаке]]
+
* [[Полиномиальный в среднем алгоритм для SAT]]
+
* [[Вероятностная проверка тождеств]]
+
* [[Вероятностный подсчет числа выполняемых наборов для ДНФ]]
+
* [[MAX-SAT: вероятностное округление]]
+
* [[MAX-SAT: дерандомизация]]
+
<!-- {:Дерандомизация Люби} -->
+
* [[MAX-CUT: вероятностное округление]]
+
* [[Параллельный алгоритм Люби для максимального по включению независимого множества]]
+
  
 
== Книга ==
 
== Книга ==
Строка 107: Строка 245:
  
 
Пишите замечания по содержимому — про проблемы с версткой и библиографией не писать, все там только в процессе.
 
Пишите замечания по содержимому — про проблемы с версткой и библиографией не писать, все там только в процессе.
 +
 +
[[:File:Book-advanced-algorithms.pdf]]
  
 
[[File:book-advanced-algorithms.pdf|512px]]
 
[[File:book-advanced-algorithms.pdf|512px]]
Строка 112: Строка 252:
 
== Примечания и ссылки ==
 
== Примечания и ссылки ==
 
* Рекомендуется прочитать хотя бы [http://ru.wikiversity.org/wiki/%D0%9F%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5_%D0%B8_%D0%BD%D0%B0%D1%83%D1%87%D0%BD%D1%8B%D0%B5_%D0%B2%D1%8B%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D1%8F_%D0%BD%D0%B0_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B5_Python первые лекции] по введению в Python и научные вычисления.
 
* Рекомендуется прочитать хотя бы [http://ru.wikiversity.org/wiki/%D0%9F%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5_%D0%B8_%D0%BD%D0%B0%D1%83%D1%87%D0%BD%D1%8B%D0%B5_%D0%B2%D1%8B%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D1%8F_%D0%BD%D0%B0_%D1%8F%D0%B7%D1%8B%D0%BA%D0%B5_Python первые лекции] по введению в Python и научные вычисления.
 +
 +
==  Полезная сопутствующая литература по курсу.  ==
 +
 +
* Очень хорошие лекции по классической теории сложности, написанные одним из корифеев оной: [http://www.wisdom.weizmann.ac.il/%7Eoded/cc.html Introduction to Complexity Theory by Oded Goldreich]
 +
* Более краткий [http://www.cs.technion.ac.il/%7Ecs236313/ курс по классической теории сложности], университет Technion.
 +
* Еще один классический [http://www.cs.yale.edu/HTML/YALE/CS/HyPlans/lovasz/complex.ps курс лекций по теории сложности от László Lovász.]
 +
* ''А. Китаев, А. Шень, М. Вялый'', [http://discopal.ispras.ru/img_auth.php/9/96/Qbook_.pdf Классические и квантовые вычисления] — замечательная книга. Содержит отличное введение в теорию сложности.
 +
  
 
<references/>
 
<references/>
 +
 +
----
 +
{{:Библиотека}}

Текущая версия на 17:24, 8 ноября 2019



Курс лекций «Эффективные алгоритмы» для 6 курса МФТИ.


Лекторы
д.ф.-м.н. Н.Н. Кузюрин, С.А. Фомин

Для ФУПМов 6 курса, желающих записаться на курс по выбору «Эффективные алгоритмы», нужно:

  • Зарегистрироваться здесь. Залогинится.
  • Зайти на страницу настроек, указать свой email и подтвердить его.
  • На своей личной странице, написать хотя бы ФИО и группу.
  • Заведена группа, https://vk.com/discopal, подписывайтесь и туда, туда тоже будут идти обьявления, плюс там же открытые обсуждения и все такое.
  • Отметится в этом голосовании:

Записываемся на курс «Advanced Algorithms-2019»?

Да16
100%
Alex.Galtseva, Alexander Denisenko, Alexryabov, Alvant, ArthurSamuelyan, D.feldman, Danillich, Ed-gorbunov, Hellhoundmipt, Kondrat, Lenaermakova, Phill nik, Plague rat, Polina Potapova, Vkozin, Луцяк Николай
Нет0
0%

Вы должны войти в систему, чтобы участвовать в этом голосовании.


Вводное занятие проведено — всем изучать материалы на Курс лекций «Эффективные алгоритмы» — книгу, видео и все-такое. Готовим темы из раздела #Фокус

Встречаемся в 903 КПМ, 4 октября, 18:30


Формат flipped classroom — т.е. по существующим материалам не будем повторять лекции, встречаться будем только для семинаров, и активной работы (решение задач, разбор сложных моментов, что-нибудь интересное придумаю) по заранее изученным материалам.


Вопросы пишите на почту, или задавайте в группе.








Успеваемость зарегистрированных студентов

В списке вы можете видеть разные цифры, отражающие вашу активность по темам курса. В конце — некоторые суммарные метрики, рассчитанные по волшебным формулам.

Если вы в зеленой группе — вы кандидат на «отлично автоматом».

«Отличники-автоматом» будут выбраны с помощью жадного алгоритма, и вероятностого округления, с использованием настоящих случайных чисел с http://random.org


Темы

Замечания по каждой презентации можно (и нужно) писать на вкладку «Обсуждение», для соответствующего PDF-файла.

Пройденные

Фокус

Постоянно идущие квесты.

Темы к ближайшему занятию.


Непройденные темы


Не будем их рассматривать

Тренировка

Проверь себя, помнишь ли элементарные понятия и факты из курса. Тест будет на экзамене, чтобы отсеять совсем невменяемых.

Задачи


Видеолекции

Книга

Специальная верстка для чтения с ноутбуков и КПК:

  • альбомная ориентация
  • крупные беззасечные шрифты

Кому не нравится — пишите обоснованные протесты (почему, конструктивные предложения).

Пишите замечания по содержимому — про проблемы с версткой и библиографией не писать, все там только в процессе.

File:Book-advanced-algorithms.pdf

Book-advanced-algorithms.pdf

Примечания и ссылки

  • Рекомендуется прочитать хотя бы первые лекции по введению в Python и научные вычисления.

Полезная сопутствующая литература по курсу.