Курс лекций «Эффективные алгоритмы» — различия между версиями
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) (→Фокус) |
||
(не показаны 103 промежуточные версии 10 участников) | |||
Строка 1: | Строка 1: | ||
+ | <!-- https://prod.liveshare.vsengsaas.visualstudio.com/join?356FB217B4C56E51B049FD76EAFACED6B274 | ||
+ | --> | ||
+ | * [[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 курса МФТИ. | ||
+ | <!-- | ||
Семестровый курс по выбору<ref>К экзамену допускаются только студенты, зарегистрировавшиеся до 10 октября [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 С.А. Фомин] | ||
− | |||
Для ФУПМов 6 курса, желающих записаться на курс по выбору «Эффективные алгоритмы», нужно: | Для ФУПМов 6 курса, желающих записаться на курс по выбору «Эффективные алгоритмы», нужно: | ||
− | + | {{:Как зарегистрироваться на курс}} | |
− | {{Как зарегистрироваться на курс}} | + | |
<poll> | <poll> | ||
− | UNSAFE_ID=aa- | + | UNSAFE_ID=aa-20190901 |
ALTERNATIVE | ALTERNATIVE | ||
OPEN_RESULTS | OPEN_RESULTS | ||
Строка 19: | Строка 37: | ||
AUTHORIZED | AUTHORIZED | ||
ALLOW_REVOTE | ALLOW_REVOTE | ||
− | END_POLL | + | END_POLL 2019-10-12 |
− | Записываемся на курс «Advanced Algorithms- | + | Записываемся на курс «Advanced Algorithms-2019»? |
Да | Да | ||
Нет | Нет | ||
</poll> | </poll> | ||
− | |||
− | + | <!-- | |
− | Прием экзамена, вторник, 2016-12- | + | Прием экзамена, вторник, 2016-12-27, 11:30, [http://www.ispras.ru ИСПРАН], 301 аудитория. |
− | + | ||
<poll> | <poll> | ||
− | UNSAFE_ID=2016-12- | + | UNSAFE_ID=2016-12-23-exam |
ALTERNATIVE | ALTERNATIVE | ||
OPEN_RESULTS | OPEN_RESULTS | ||
Строка 36: | Строка 52: | ||
AUTHORIZED | AUTHORIZED | ||
ALLOW_REVOTE | ALLOW_REVOTE | ||
− | END_POLL 2016-12- | + | END_POLL 2016-12-23 |
− | Будете на экзамене 2016-12- | + | Будете на экзамене 2016-12-23, 10:45? |
Да | Да | ||
Нет | Нет | ||
</poll> | </poll> | ||
+ | * Если не набереться четырех студентов — возможно этот прием будет отменен. | ||
+ | Процесс сдачи будет включать: | ||
+ | * Фильтрацию входящих тестами (если совсем не готов — не тратим время друг друга). | ||
+ | * Вопросы по теме («почему так»), или те самые задачи, которые вы решали. | ||
+ | |||
Время последующих сдач пока не известно. | Время последующих сдач пока не известно. | ||
+ | --> | ||
− | + | Вводное занятие проведено — всем изучать материалы на | |
− | [[Курс лекций «Эффективные алгоритмы»]] — книгу, видео и все-такое. | + | [[Курс лекций «Эффективные алгоритмы»]] — книгу, видео и все-такое. |
+ | Готовим темы из раздела [[#Фокус]] | ||
+ | |||
+ | {{!|Встречаемся в 903 КПМ, 4 октября, 18:30}} | ||
Формат flipped classroom — т.е. по существующим материалам не будем повторять лекции, встречаться будем только для семинаров, и активной работы (решение задач, разбор сложных моментов, что-нибудь интересное придумаю) по заранее изученным материалам. | Формат flipped classroom — т.е. по существующим материалам не будем повторять лекции, встречаться будем только для семинаров, и активной работы (решение задач, разбор сложных моментов, что-нибудь интересное придумаю) по заранее изученным материалам. | ||
+ | |||
<!-- Возможно, если будут новые темы, будут удаленные лекции (которых попробуем и также записать и зафиксировать). --> | <!-- Возможно, если будут новые темы, будут удаленные лекции (которых попробуем и также записать и зафиксировать). --> | ||
+ | |||
Вопросы пишите на [mailto:stas-fomin@yandex.ru почту], или задавайте в [https://vk.com/discopal группе]. | Вопросы пишите на [mailto:stas-fomin@yandex.ru почту], или задавайте в [https://vk.com/discopal группе]. | ||
Строка 86: | Строка 113: | ||
<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=" | + | </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> | ||
− | |||
В списке вы можете видеть разные цифры, отражающие вашу активность по темам курса. | В списке вы можете видеть разные цифры, отражающие вашу активность по темам курса. | ||
Строка 97: | Строка 123: | ||
«Отличники-автоматом» будут выбраны с помощью жадного алгоритма, и вероятностого округления, с использованием настоящих случайных чисел с 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> | ||
+ | |||
+ | --> | ||
= Темы = | = Темы = | ||
Строка 102: | Строка 141: | ||
Замечания по каждой презентации можно (и нужно) писать на вкладку «Обсуждение», для соответствующего PDF-файла. | Замечания по каждой презентации можно (и нужно) писать на вкладку «Обсуждение», для соответствующего PDF-файла. | ||
− | == Пройденные | + | === Пройденные === |
− | + | ||
* [[Несложно о сложности. Примеры алгоритмов]] | * [[Несложно о сложности. Примеры алгоритмов]] | ||
− | |||
− | |||
− | |||
− | |||
− | |||
* [[Жадный алгоритм в задачах о покрытии]] | * [[Жадный алгоритм в задачах о покрытии]] | ||
* [[Жадный алгоритм покрытия для почти всех исходных данных]] | * [[Жадный алгоритм покрытия для почти всех исходных данных]] | ||
− | |||
* [[Жадный алгоритм в задаче о рюкзаке]] | * [[Жадный алгоритм в задаче о рюкзаке]] | ||
+ | |||
+ | === Фокус === | ||
+ | Постоянно идущие квесты. | ||
+ | * [[Jupyterization]] | ||
+ | * [[LeetCoding]] | ||
+ | * [[OptimizePython]] | ||
+ | |||
+ | Темы к ближайшему занятию. | ||
* [[Динамическое программирование для задачи о рюкзаке]] | * [[Динамическое программирование для задачи о рюкзаке]] | ||
* [[Полностью полиномиальная аппроксимационная схема (FPTAS) для задачи о рюкзаке]] | * [[Полностью полиномиальная аппроксимационная схема (FPTAS) для задачи о рюкзаке]] | ||
Строка 119: | Строка 159: | ||
* [[Полиномиальный в среднем алгоритм для задачи о рюкзаке]] | * [[Полиномиальный в среднем алгоритм для задачи о рюкзаке]] | ||
* [[Полиномиальный в среднем алгоритм для SAT]] | * [[Полиномиальный в среднем алгоритм для SAT]] | ||
− | |||
* [[Вероятностная проверка тождеств]] | * [[Вероятностная проверка тождеств]] | ||
* [[Вероятностный подсчет числа выполняемых наборов для ДНФ]] | * [[Вероятностный подсчет числа выполняемых наборов для ДНФ]] | ||
Строка 126: | Строка 165: | ||
* [[MAX-SAT: дерандомизация]] | * [[MAX-SAT: дерандомизация]] | ||
+ | <!-- * [[Вероятностно проверяемые доказательства. PCP-системы. PCP-теорема]] --> | ||
+ | === Непройденные темы === | ||
+ | * [[Приближенный алгоритм для метрической задачи коммивояжера]] | ||
+ | |||
+ | |||
+ | === Не будем их рассматривать === | ||
+ | * [[Формально об алгоритмах. Вычислительные модели]] | ||
+ | * [[Временная и пространственная сложность алгоритмов]] | ||
+ | * [[Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC]] | ||
+ | * [[Вероятностные вычисления. Классы RP, coRP, ZPP, BPP]] | ||
+ | * [[PCP и аппроксимируемость]] | ||
− | |||
− | |||
<!-- {:Дерандомизация Люби} --> | <!-- {:Дерандомизация Люби} --> | ||
− | + | * [[Параллельный алгоритм Люби для максимального по включению независимого множества]] | |
= Тренировка = | = Тренировка = | ||
Строка 137: | Строка 185: | ||
Тест будет на экзамене, чтобы отсеять совсем невменяемых. | Тест будет на экзамене, чтобы отсеять совсем невменяемых. | ||
− | = Задачи = | + | == Задачи == |
+ | * [[LeetCoding]] | ||
+ | |||
+ | <!-- | ||
Все статьи в этой категории — задачи, которые можно пытаться решать. | Все статьи в этой категории — задачи, которые можно пытаться решать. | ||
* [[:Category:Нерешенные задачи]]. Осталось {{!|{{PAGESINCATEGORY: Нерешенные задачи}}}} нерешенных задач. | * [[:Category:Нерешенные задачи]]. Осталось {{!|{{PAGESINCATEGORY: Нерешенные задачи}}}} нерешенных задач. | ||
− | Решать надо создавая ''подстраницу'' страницы | + | Решать надо создавая для решения ''подстраницу'' личной страницы, и ссылаясь в решении на задачу. |
− | ;Пример: Задача [[Вероятностная_проверка_тождеств/Задачи/determinant]] → Решение [[ | + | ;Пример: Задача [[Вероятностная_проверка_тождеств/Задачи/determinant]] → Решение [[Участник:StasFomin/Задача determinant]]. |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
Cтатьи-решения задач помечать вставляя строку | Cтатьи-решения задач помечать вставляя строку | ||
<pre><nowiki>[[Category:На проверку]]</nowiki></pre> | <pre><nowiki>[[Category:На проверку]]</nowiki></pre> | ||
и подписываться на изменения («watch this page»). | и подписываться на изменения («watch this page»). | ||
+ | |||
+ | |||
+ | Любая активность, даже попытки решения — хорошо. | ||
+ | После того, как задача решена, она перейдет в архив: | ||
+ | * [[:Category:Решенные задачи]]. | ||
Проверенное решение перейдет в [[:Category:Решения]] или, | Проверенное решение перейдет в [[:Category:Решения]] или, | ||
Строка 164: | Строка 215: | ||
[[:Category:Предложенные студентами задачи]] | [[:Category:Предложенные студентами задачи]] | ||
+ | Все статьи в этой категории — задачи, которые можно пытаться решать. | ||
+ | * [[:Category:Нерешенные задачи]]. | ||
+ | Любая активность, даже попытки решения — хорошо. | ||
+ | После того, как задача решена, она перейдет в архив: | ||
+ | * [[:Category:Решенные задачи]] — кстати, полезно смотреть чужие решения. | ||
+ | |||
+ | Cтатьи-решения задач помечать вставляя строку | ||
+ | |||
+ | <pre><nowiki>[[Category:На проверку]]</nowiki></pre> | ||
+ | и подписываться на изменения («watch this page»). | ||
+ | |||
+ | Проверенное решение перейдет в [[:Category:Решения]] или, | ||
+ | если возникнут вопросы-возражения в [[:Category:Проблемы в решении]]. | ||
+ | --> | ||
= Видеолекции = | = Видеолекции = | ||
Строка 187: | Строка 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/> | ||
+ | |||
+ | ---- | ||
+ | {{:Библиотека}} |
Версия 14:24, 8 ноября 2019
- 2024-04-18: Обзор квестов курса ← Advanced Algorithms
- 2024-03-28: Эксперимент — улучшаем старые решения ← Advanced Algorithms
- 2024-03-28: Python-решения — давайте потренируемся их сделать питонистей ← Advanced Algorithms
Курс лекций «Эффективные алгоритмы» для 6 курса МФТИ.
- Лекторы
- д.ф.-м.н. Н.Н. Кузюрин, С.А. Фомин
Для ФУПМов 6 курса, желающих записаться на курс по выбору «Эффективные алгоритмы», нужно:
- Зарегистрироваться здесь. Залогинится.
- Зайти на страницу настроек, указать свой email и подтвердить его.
- На своей личной странице (это не страница настроек, это то, что сверху слева, с иконкой человечка), написать хотя бы ФИО и группу.
- Боже, как много народу с рассеянным вниманием уже до сюда не дочитывает.
- Присоединится к телеграмм-группе.
- Отметится в этом голосовании:
Записываемся на курс «Advanced Algorithms-2019»?
Вы должны войти в систему, чтобы участвовать в этом голосовании.
Вводное занятие проведено — всем изучать материалы на
Курс лекций «Эффективные алгоритмы» — книгу, видео и все-такое.
Готовим темы из раздела #Фокус
Встречаемся в 903 КПМ, 4 октября, 18:30
Формат flipped classroom — т.е. по существующим материалам не будем повторять лекции, встречаться будем только для семинаров, и активной работы (решение задач, разбор сложных моментов, что-нибудь интересное придумаю) по заранее изученным материалам.
Вопросы пишите на почту, или задавайте в группе.
- Проблемы → Стасу Фомину
В списке вы можете видеть разные цифры, отражающие вашу активность по темам курса. В конце — некоторые суммарные метрики, рассчитанные по волшебным формулам.
Если вы в зеленой группе — вы кандидат на «отлично автоматом».
«Отличники-автоматом» будут выбраны с помощью жадного алгоритма, и вероятностого округления, с использованием настоящих случайных чисел с http://random.org
Содержание
Темы
Замечания по каждой презентации можно (и нужно) писать на вкладку «Обсуждение», для соответствующего PDF-файла.
Пройденные
- Несложно о сложности. Примеры алгоритмов
- Жадный алгоритм в задачах о покрытии
- Жадный алгоритм покрытия для почти всех исходных данных
- Жадный алгоритм в задаче о рюкзаке
Фокус
Постоянно идущие квесты.
Темы к ближайшему занятию.
- Динамическое программирование для задачи о рюкзаке
- Полностью полиномиальная аппроксимационная схема (FPTAS) для задачи о рюкзаке
- Полиномиальный в среднем алгоритм для задачи упаковки
- Полиномиальный в среднем алгоритм для задачи о рюкзаке
- Полиномиальный в среднем алгоритм для SAT
- Вероятностная проверка тождеств
- Вероятностный подсчет числа выполняемых наборов для ДНФ
- MAX-SAT: вероятностное округление
- MAX-CUT: вероятностное округление
- MAX-SAT: дерандомизация
Непройденные темы
Не будем их рассматривать
- Формально об алгоритмах. Вычислительные модели
- Временная и пространственная сложность алгоритмов
- Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC
- Вероятностные вычисления. Классы RP, coRP, ZPP, BPP
- PCP и аппроксимируемость
Тренировка
Проверь себя, помнишь ли элементарные понятия и факты из курса. Тест будет на экзамене, чтобы отсеять совсем невменяемых.
Задачи
Видеолекции
- /Лекции осеннего семестра 2011
- торрент с прошлогодними видео.
- /Лекции осеннего семестра 2012
- Курс_лекций_«Сложность_алгоритмов»_(ИСПРАН,_3_курс_МФТИ)/Лекции_весеннего_семестра_2013
Книга
Специальная верстка для чтения с ноутбуков и КПК:
- альбомная ориентация
- крупные беззасечные шрифты
Кому не нравится — пишите обоснованные протесты (почему, конструктивные предложения).
Пишите замечания по содержимому — про проблемы с версткой и библиографией не писать, все там только в процессе.
File:Book-advanced-algorithms.pdf
Примечания и ссылки
- Рекомендуется прочитать хотя бы первые лекции по введению в Python и научные вычисления.
Полезная сопутствующая литература по курсу.
- Очень хорошие лекции по классической теории сложности, написанные одним из корифеев оной: Introduction to Complexity Theory by Oded Goldreich
- Более краткий курс по классической теории сложности, университет Technion.
- Еще один классический курс лекций по теории сложности от László Lovász.
- А. Китаев, А. Шень, М. Вялый, Классические и квантовые вычисления — замечательная книга. Содержит отличное введение в теорию сложности.