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

Материал из DISCOPAL
Перейти к: навигация, поиск
(не показана 91 промежуточная версия 10 участников)
Строка 1: Строка 1:
<!-- * [[Special:MediawikiQuizzer/Эффективные алгоритмы-Экзамен|Тест для экзамена]] -->
+
<!-- https://prod.liveshare.vsengsaas.visualstudio.com/join?356FB217B4C56E51B049FD76EAFACED6B274
* [[Special:MediawikiQuizzer/Algs-6-course-ispras-weekly|Еженедельная тренировка]]
+
-->
 +
<!--
 +
* [[Special:MediawikiQuizzer/GRE-CS-v01|Еженедельная проверка — сегодня экспериментальная]]
 +
-->
 +
 
 +
{{SideBar|
 +
{{Special:Wikilog/Blog:Advanced Algorithms/Template:BlogInformerLine/3/sort=wlp_talk_updated}}
 +
|style=max-width:35%
 +
}}
 +
 
 +
<!--
 +
* [[Special:MediawikiQuizzer/Эффективные алгоритмы-Экзамен|Тест для экзамена]]
 +
-->
 +
 
 +
<!--
 +
[[Special:MediawikiQuizzer/Algs-6-course-ispras-weekly|Еженедельная тренировка]]
 +
-->
  
 
Курс лекций «Эффективные алгоритмы» для 6 курса МФТИ.
 
Курс лекций «Эффективные алгоритмы» для 6 курса МФТИ.
Строка 9: Строка 25:
 
-->
 
-->
  
;Лекторы: д.ф.-м.н. [mailto:nnkuz@ispras.ru Н.Н. Кузюрин], [mailto:stas-fomin@yandex.ru С.А. Фомин]
+
;Преподаватель: [mailto:stas-fomin@yandex.ru С.А. Фомин]
  
 
Для ФУПМов 6 курса, желающих записаться на курс по выбору «Эффективные алгоритмы», нужно:
 
Для ФУПМов 6 курса, желающих записаться на курс по выбору «Эффективные алгоритмы», нужно:
Строка 15: Строка 31:
  
 
<poll>
 
<poll>
UNSAFE_ID=aa-20171022
+
UNSAFE_ID=aa-20200901
 
ALTERNATIVE
 
ALTERNATIVE
 
OPEN_RESULTS
 
OPEN_RESULTS
Строка 21: Строка 37:
 
AUTHORIZED
 
AUTHORIZED
 
ALLOW_REVOTE
 
ALLOW_REVOTE
END_POLL 2017-10-01
+
END_POLL 2020-10-30
Записываемся на курс «Advanced Algorithms-2017»?
+
Записываемся на курс «Advanced Algorithms-2020»?
 
Да
 
Да
 
Нет
 
Нет
Строка 50: Строка 66:
 
-->
 
-->
  
 +
<!--
 
Вводное занятие проведено — всем изучать материалы на
 
Вводное занятие проведено — всем изучать материалы на
 
[[Курс лекций «Эффективные алгоритмы»]] — книгу, видео и все-такое.  
 
[[Курс лекций «Эффективные алгоритмы»]] — книгу, видео и все-такое.  
Ближайшая встреча — 29 октября, готовим темы из раздела [[#Фокус]]
+
Готовим темы из раздела [[#Фокус]]
  
 +
{{!|Встречаемся в 903 КПМ, 4 октября, 18:30}}
 +
-->
  
 
Формат flipped classroom — т.е. по существующим материалам не будем повторять лекции, встречаться будем только для семинаров, и активной работы (решение задач, разбор сложных моментов, что-нибудь интересное придумаю) по заранее изученным материалам.  
 
Формат flipped classroom — т.е. по существующим материалам не будем повторять лекции, встречаться будем только для семинаров, и активной работы (решение задач, разбор сложных моментов, что-нибудь интересное придумаю) по заранее изученным материалам.  
<!-- Возможно, если будут новые темы, будут удаленные лекции (которых попробуем и также записать и зафиксировать). -->
 
 
  
 +
<!-- Возможно, если будут новые темы, будут удаленные лекции (которых попробуем и также записать и зафиксировать). -->
  
  
Строка 96: Строка 114:
  
 
<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_6FZElcGVLNjEtY3lfOHhkdkRQWTI1aUktUUE&single=true&gid=9&output=html" id="1695919049" frameborder="0" height="600" width="100%"></iframe></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>
 
</div>
 
</center></html>
 
</center></html>
  
 +
В списке вы можете видеть разные цифры, отражающие вашу активность по темам курса.
 +
В конце — некоторые суммарные метрики, рассчитанные по волшебным формулам.
 +
 +
Если вы в зеленой группе — вы кандидат на «отлично автоматом».
 +
 +
«Отличники-автоматом» будут выбраны с помощью жадного алгоритма, и вероятностого округления, с использованием настоящих случайных чисел с http://random.org
 +
 +
<!--
 +
 +
Особый подход к Пятой ИСПРАН-группе.
 +
* [[Blog:Advanced Algorithms/Спецподход для студентов из ИСПРАН-группы]]
 +
 +
У них особый список и отдельный учет:
 
<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_6FZElcGVLNjEtY3lfOHhkdkRQWTI1aUktUUE&single=true&gid=207856272&output=html" id="207856272" frameborder="0" height="600" width="100%"></iframe></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/spreadsheets/u/0/d/1UTgYTrhlvG6E8Paa7AdoZRQr-2iwZvlVPMkHfbt5FEk/htmlembed#gid=207856272" id="207856272" frameborder="0" height="400" width="100%"></iframe></div></div>
 
</div>
 
</div>
 
</center></html>
 
</center></html>
  
 +
-->
  
 +
== Блок 1 ==
 +
{{vimeoembed|324745701|800|450}}
  
 +
Простые классические алгоритмы. Динамическое программирование.
 +
Навыки мемоизации, работы с структурами данных.
  
  
В списке вы можете видеть разные цифры, отражающие вашу активность по темам курса.
+
=== Теория ===
В конце — некоторые суммарные метрики, рассчитанные по волшебным формулам.
+
* [[Несложно о сложности. Примеры алгоритмов]]
 +
* [[Жадный алгоритм в задачах о покрытии]]
 +
* [[Жадный алгоритм покрытия для почти всех исходных данных]]
 +
* [[Жадный алгоритм в задаче о рюкзаке]]
 +
* [[Динамическое программирование для задачи о рюкзаке]]
 +
* [[Полностью полиномиальная аппроксимационная схема (FPTAS) для задачи о рюкзаке]]
 +
* [[Вероятностная проверка тождеств]]
  
Если вы в зеленой группе — вы кандидат на «отлично автоматом».
+
=== Практика ===
 +
* [[LeetCoding]]
 +
* [[SpojCoding]]
  
«Отличники-автоматом» будут выбраны с помощью жадного алгоритма, и вероятностого округления, с использованием настоящих случайных чисел с http://random.org
 
  
= Темы =
+
== Блок 2 ==
 +
Выберем несколько тем и теоретических задач.
 +
Ждите и работайте пока над блоком 1.
  
 +
 +
 +
= Темы =
 
Замечания по каждой презентации можно (и нужно) писать на вкладку «Обсуждение», для соответствующего PDF-файла.
 
Замечания по каждой презентации можно (и нужно) писать на вкладку «Обсуждение», для соответствующего PDF-файла.
  
=== Пройденные ===
 
 
* [[Несложно о сложности. Примеры алгоритмов]]
 
* [[Несложно о сложности. Примеры алгоритмов]]
* [[Формально об алгоритмах. Вычислительные модели]]
 
* [[Временная и пространственная сложность алгоритмов]]
 
* [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC]]
 
* [[Вероятностные вычисления. Классы RP, coRP, ZPP, BPP]]
 
 
* [[Жадный алгоритм в задачах о покрытии]]
 
* [[Жадный алгоритм в задачах о покрытии]]
 
* [[Жадный алгоритм покрытия для почти всех исходных данных]]
 
* [[Жадный алгоритм покрытия для почти всех исходных данных]]
 
* [[Жадный алгоритм в задаче о рюкзаке]]
 
* [[Жадный алгоритм в задаче о рюкзаке]]
 +
 
* [[Динамическое программирование для задачи о рюкзаке]]
 
* [[Динамическое программирование для задачи о рюкзаке]]
 
* [[Полностью полиномиальная аппроксимационная схема (FPTAS) для задачи о рюкзаке]]
 
* [[Полностью полиномиальная аппроксимационная схема (FPTAS) для задачи о рюкзаке]]
 +
 +
* [[Динамическое программирование для задачи о рюкзаке]]
 +
* [[Полностью полиномиальная аппроксимационная схема (FPTAS) для задачи о рюкзаке]]
 +
 +
 +
<! -- Темы к ближайшему занятию. -->
 
* [[Полиномиальный в среднем алгоритм для задачи упаковки]]
 
* [[Полиномиальный в среднем алгоритм для задачи упаковки]]
 
* [[Полиномиальный в среднем алгоритм для задачи о рюкзаке]]
 
* [[Полиномиальный в среднем алгоритм для задачи о рюкзаке]]
 
* [[Полиномиальный в среднем алгоритм для SAT]]
 
* [[Полиномиальный в среднем алгоритм для SAT]]
* [[Вероятностная проверка тождеств]]
 
 
* [[Вероятностный подсчет числа выполняемых наборов для ДНФ]]
 
* [[Вероятностный подсчет числа выполняемых наборов для ДНФ]]
 
* [[MAX-SAT: вероятностное округление]]
 
* [[MAX-SAT: вероятностное округление]]
Строка 140: Строка 189:
 
* [[MAX-SAT: дерандомизация]]
 
* [[MAX-SAT: дерандомизация]]
 
* [[Приближенный алгоритм для метрической задачи коммивояжера]]
 
* [[Приближенный алгоритм для метрической задачи коммивояжера]]
 
 
 
<!-- === Фокус ===
 
Темы к ближайшему занятию. -->
 
  
 
<!-- * [[Вероятностно проверяемые доказательства. PCP-системы. PCP-теорема]] -->
 
<!-- * [[Вероятностно проверяемые доказательства. PCP-системы. PCP-теорема]] -->
  
  
=== Непройденные темы ===
 
 
Не будем их рассматривать.
 
  
 +
=== Не будем их рассматривать ===
 +
* [[Формально об алгоритмах. Вычислительные модели]]
 +
* [[Временная и пространственная сложность алгоритмов]]
 +
* [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC]]
 +
* [[Вероятностные вычисления. Классы RP, coRP, ZPP, BPP]]
 
* [[PCP и аппроксимируемость]]
 
* [[PCP и аппроксимируемость]]
 +
 
<!-- {:Дерандомизация Люби} -->
 
<!-- {:Дерандомизация Люби} -->
 
* [[Параллельный алгоритм Люби для максимального по включению независимого множества]]
 
* [[Параллельный алгоритм Люби для максимального по включению независимого множества]]
Строка 162: Строка 209:
  
 
== Задачи ==
 
== Задачи ==
 +
* [[LeetCoding]]
 +
 +
<!--
 
Все статьи в этой категории — задачи, которые можно пытаться решать.
 
Все статьи в этой категории — задачи, которые можно пытаться решать.
 
* [[:Category:Нерешенные задачи]].  Осталось  {{!|{{PAGESINCATEGORY: Нерешенные задачи}}}} нерешенных задач.
 
* [[:Category:Нерешенные задачи]].  Осталось  {{!|{{PAGESINCATEGORY: Нерешенные задачи}}}} нерешенных задач.
  
Решать надо создавая для решения ''подстраницу'' страницы с задачей, и ссылаясь в решении на задачу.
+
Решать надо создавая для решения ''подстраницу'' личной страницы, и ссылаясь в решении на задачу.
 
;Пример: Задача [[Вероятностная_проверка_тождеств/Задачи/determinant]] → Решение [[Участник:StasFomin/Задача determinant]].
 
;Пример: Задача [[Вероятностная_проверка_тождеств/Задачи/determinant]] → Решение [[Участник:StasFomin/Задача determinant]].
 
Cтатьи-решения задач помечать вставляя строку
 
Cтатьи-решения задач помечать вставляя строку
Строка 187: Строка 237:
 
Эти задачи заводим в
 
Эти задачи заводим в
 
[[:Category:Предложенные студентами задачи]]
 
[[:Category:Предложенные студентами задачи]]
 
 
 
  
 
Все статьи в этой категории — задачи, которые можно пытаться решать.
 
Все статьи в этой категории — задачи, которые можно пытаться решать.
Строка 204: Строка 251:
 
Проверенное решение перейдет в [[:Category:Решения]] или,
 
Проверенное решение перейдет в [[:Category:Решения]] или,
 
если возникнут вопросы-возражения в [[:Category:Проблемы в решении]].
 
если возникнут вопросы-возражения в [[:Category:Проблемы в решении]].
 +
-->
  
 
= Видеолекции =
 
= Видеолекции =
Строка 234: Строка 282:
 
* Еще один классический [http://www.cs.yale.edu/HTML/YALE/CS/HyPlans/lovasz/complex.ps курс лекций по теории сложности от László Lovász.]
 
* Еще один классический [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 Классические и квантовые вычисления] — замечательная книга. Содержит отличное введение в теорию сложности.
 
* ''А. Китаев, А. Шень, М. Вялый'', [http://discopal.ispras.ru/img_auth.php/9/96/Qbook_.pdf Классические и квантовые вычисления] — замечательная книга. Содержит отличное введение в теорию сложности.
 +
* ''С. Дасгупта, Х. Пападимитриу, У. Вазирани'', Алгоритмы [http://www.math.nsc.ru/LBRT/k5/OR-MMF/dasgupta_2014.pdf]
  
 
<references/>
 
  
 
----
 
----
 
{{:Библиотека}}
 
{{:Библиотека}}

Версия 22:19, 1 декабря 2020



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


Преподаватель
С.А. Фомин

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

  • Зарегистрироваться здесь. Залогинится.
  • Зайти на страницу настроек, указать свой email и подтвердить его.
  • На своей личной странице (это не страница настроек, это то, что сверху слева, с иконкой человечка), написать хотя бы ФИО и группу.
    • Боже, как много народу с рассеянным вниманием уже до сюда не дочитывает.
  • Присоединится к телеграмм-группе.
  • Отметится в этом голосовании:

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

Да26
100%
AlinaS, Andriygav, Anirogozina, ArtemTovkes, Dancho O, Evahod, Evgin, Gadaevtamaz, Hellhoundmipt, Kachanov vv, KislinskiyVadim, Kozlinskii, Kozub, Krivosheev.ah, Morgachev, Muradyan Armen, Nik7, Novitskiy97, Novruzov.sb, Olesya.ilinskaya, Phokov, Rimon, Rublev.mv, Taranov srg, Timplech, Никита Плетнев
Нет0
0%

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


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


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








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

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

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

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


Блок 1

Простые классические алгоритмы. Динамическое программирование. Навыки мемоизации, работы с структурами данных.


Теория

Практика


Блок 2

Выберем несколько тем и теоретических задач. Ждите и работайте пока над блоком 1.


Темы

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


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



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

Тренировка

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

Задачи


Видеолекции

Книга

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

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

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

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

File:Book-advanced-algorithms.pdf

Book-advanced-algorithms.pdf

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

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

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