Алгоритмы и структуры данных пилотный поток 2022/2023 — различия между версиями
Ifsmirnov (обсуждение | вклад) |
Ifsmirnov (обсуждение | вклад) |
||
(не показано 17 промежуточных версии 3 участников) | |||
Строка 1: | Строка 1: | ||
− | '''Лектор:''' [https://www.hse.ru/org/persons/ | + | '''Лектор:''' [https://www.hse.ru/org/persons/210175876 Иван Фёдорович Смирнов] |
− | '''[https://drive.google.com/file/d/1zjs_g2Db8lzkWdI256t9-rpuKApZCRNT/view?usp=sharing Программа курса]''' | + | <!-- '''[https://drive.google.com/file/d/1zjs_g2Db8lzkWdI256t9-rpuKApZCRNT/view?usp=sharing Программа курса]''' --> |
{| class="wikitable" | {| class="wikitable" | ||
− | ! colspan=" | + | ! colspan="1" | Важные ссылки |
|- | |- | ||
− | | style="text-align: center;vertical-align:top;" | [[Image:Google-Sheets-Logo.png|x100px | link=https://docs.google.com/spreadsheets/d/ | + | | style="text-align: center;vertical-align:top;" | [[Image:Google-Sheets-Logo.png|x100px | link=https://docs.google.com/spreadsheets/d/1yoZ5EtO-odPAiTs8ke6-Ll6EwPnjnFEPjnAcqlOJ4i8/edit?usp=sharing |Google.Classroom]]<br>[https://docs.google.com/spreadsheets/d/1yoZ5EtO-odPAiTs8ke6-Ll6EwPnjnFEPjnAcqlOJ4i8/edit?usp=sharing Текущая успеваемость] |
− | + | ||
− | | style="text-align: center;vertical-align:top;" | [[Image:Google-Sheets-Logo.png|x100px | link=https://docs.google.com/spreadsheets/d/ | + | | style="text-align: center;vertical-align:top;" | [[Image:Google-Sheets-Logo.png|x100px | link=https://docs.google.com/spreadsheets/d/1_vXpC3EZZ6KJGuRJMuqO_nHBOC1MDQrgbK6LRlcoWuY/edit?usp=sharing |Google.Classroom]]<br>[https://docs.google.com/spreadsheets/d/1_vXpC3EZZ6KJGuRJMuqO_nHBOC1MDQrgbK6LRlcoWuY/edit?usp=sharing Запись на консультации] |
− | | style="text-align: center;vertical-align:top;" | [[Image: | + | | |
+ | | style="text-align: center;vertical-align:top;" | [[Image:Google-Sheets-Logo.png|x100px | link=https://docs.google.com/spreadsheets/d/1_vXpC3EZZ6KJGuRJMuqO_nHBOC1MDQrgbK6LRlcoWuY/edit?usp=sharing |Google.Classroom]]<br>[https://classroom.google.com/c/NTY4NjcwMDQ0MjU3?cjc=h4tjjsh Сдача ДЗ] | ||
|} | |} | ||
Строка 15: | Строка 16: | ||
'''Формула оценивания пока предварительная и может поменяться!''' | '''Формула оценивания пока предварительная и может поменяться!''' | ||
− | ''' | + | Курс длится 4 модуля (со 2-го по 5-й) и предполагает две итоговые оценки: на первом курсе (2-4 модули) и на втором (5 модуль). Оценки за каждый модуль ставятся независимо. Итоговая оценка за первый курс составляется из оценок за 2-4 модули (точные правила будут сообщены позднее). Оценка за 5-й модуль является итоговой оценкой за второй курс. |
+ | |||
+ | После 3-го, 4-го и 5-го модулей будут экзамены. | ||
+ | |||
+ | Правила выставления оценок за модули: | ||
+ | |||
+ | '''2-й модуль:''' О<sub>итог</sub> = '''0.4286''' · О<sub>контесты</sub> + '''0.3571''' · O<sub>листки</sub> + '''0.2143''' · О<sub>КР</sub> + O<sub>бонус</sub> | ||
+ | |||
+ | '''3-й модуль:''' О<sub>итог</sub> = '''0.3''' · О<sub>контесты</sub> + '''0.25''' · O<sub>листки</sub> + '''0.15''' · О<sub>КР</sub> + '''0.3''' · О<sub>экзамен</sub> + O<sub>бонус</sub> | ||
+ | |||
+ | '''4-й модуль:''' О<sub>итог</sub> = '''0.3''' · О<sub>контесты</sub> + '''0.25''' · O<sub>листки</sub> + '''0.15''' · О<sub>КР</sub> + '''0.3''' · О<sub>экзамен</sub> + O<sub>бонус</sub> | ||
− | + | В ведомость за каждый модуль идёт округлённое значение из формулы выше. Для подсчёта итоговой оценки за год берётся среднее арифметическое по '''неокруглённым''' оценки за модули 2, 3, 4. Если оценка за модуль превышает 10, она считается равной 10. | |
− | ''' | + | '''Итог за год (1-й курс):''' (min(10, O<sub>2-й модуль</sub>) + min(10, O<sub>3-й модуль</sub>) + min(10, O<sub>4-й модуль</sub>)) / 3 |
<ul> | <ul> | ||
+ | <!-- | ||
<li> | <li> | ||
О<sub>контесты</sub> вычисляется по формуле: | О<sub>контесты</sub> вычисляется по формуле: | ||
Строка 47: | Строка 59: | ||
* Длинные контесты имеют продолжительность до двух недель, и состоят в основном из задач, требующих реализации алгоритмов, изученных на лекциях. Некоторые задачи являются обязательными и проходят дополнительную ручную проверку кода. Все задачи стоят 1 балл, '''но чтобы получить баллы за необязательные задачи, необходимо сначала сдать все обязательные'''. | * Длинные контесты имеют продолжительность до двух недель, и состоят в основном из задач, требующих реализации алгоритмов, изученных на лекциях. Некоторые задачи являются обязательными и проходят дополнительную ручную проверку кода. Все задачи стоят 1 балл, '''но чтобы получить баллы за необязательные задачи, необходимо сначала сдать все обязательные'''. | ||
+ | |||
+ | --> | ||
<li> О<sub>листки</sub> вычисляется по формуле: | <li> О<sub>листки</sub> вычисляется по формуле: | ||
Строка 56: | Строка 70: | ||
|} | |} | ||
− | Листки являются теоретическими домашними заданиями. Все задачи стоят одинаково, сдавать их можно в электронном виде. Дополнительно предусматривается возможность сдать их во время присутственных часов | + | Листки являются теоретическими домашними заданиями. Все задачи стоят одинаково, сдавать их можно в электронном виде. Дополнительно предусматривается возможность сдать их во время присутственных часов на консультациях ассистентам. |
− | <li> В течение каждого очного модуля предполагается по одной контрольной работе | + | <li> В течение каждого очного модуля предполагается по одной контрольной работе. За каждую контрольную студент получает оценку от 0 до 10, которая и будет являться О<sub>КР</sub>. Если студент пропускает по уважительной причине контрольную работу, то для него изменяется итоговая формула оценки. |
− | <li> За | + | <li> За экзамен студент получает оценку от 0 до 10, эта оценка будет являться О<sub>экзамен</sub>. |
− | + | ||
<li> Бонус. Эта графа определяет произвольные баллы, которые могут быть прибавлены к оценке студента за различные виды деятельности и соревнований. Например, в этой графе будут использованы некоторые короткие контесты с необычным форматом. | <li> Бонус. Эта графа определяет произвольные баллы, которые могут быть прибавлены к оценке студента за различные виды деятельности и соревнований. Например, в этой графе будут использованы некоторые короткие контесты с необычным форматом. | ||
Строка 77: | Строка 90: | ||
3. Если не оговорено иное, то можно ожидаемое амортизированное время с хешами | 3. Если не оговорено иное, то можно ожидаемое амортизированное время с хешами | ||
+ | <!-- | ||
=== Правила сдачи домашних заданий === | === Правила сдачи домашних заданий === | ||
Строка 92: | Строка 106: | ||
Написанное выше стоит понимать так: в лучшем сценарии вы решаете задачи и сдаёте какие-то из них (те, которые сложнее всего сдать письменно) устно, а все остальные — письменно. После мягкого дедлайна в течении пары дней ваш ассистент проверяет все работы и отправляет по ним фидбек, после чего у вас несколько дней на исправление недочётов. Мы будем пытаться проверять работы как можно раньше, но не гарантируем ничего лучше, чем описанное в п. 5. | Написанное выше стоит понимать так: в лучшем сценарии вы решаете задачи и сдаёте какие-то из них (те, которые сложнее всего сдать письменно) устно, а все остальные — письменно. После мягкого дедлайна в течении пары дней ваш ассистент проверяет все работы и отправляет по ним фидбек, после чего у вас несколько дней на исправление недочётов. Мы будем пытаться проверять работы как можно раньше, но не гарантируем ничего лучше, чем описанное в п. 5. | ||
+ | --> | ||
===<span id="classroom"></span>Правила сдачи письменных работ=== | ===<span id="classroom"></span>Правила сдачи письменных работ=== | ||
Строка 107: | Строка 122: | ||
6. Списывание в работах повлечёт за собой обнуление баллов по работе. | 6. Списывание в работах повлечёт за собой обнуление баллов по работе. | ||
− | 7. Если вы не чувствуете себя уверено при работе с LaTeX, используйте шаблон https://www.overleaf.com/read/bpvmhqcvfgqq. В нём отражена | + | 7. Если вы не чувствуете себя уверено при работе с LaTeX, используйте шаблон https://www.overleaf.com/read/bpvmhqcvfgqq. В нём отражена основная функциональность системы вёрстки. Вы можете склонировать проект и использовать его. |
Строка 116: | Строка 131: | ||
! Тема | ! Тема | ||
! Листок | ! Листок | ||
− | ! | + | ! Дедлайн |
− | + | ||
|- | |- | ||
− | | colspan=" | + | | colspan="4" style="text-align: center; background-color:#dae8fc;" | 2 модуль |
|- | |- | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
|} | |} | ||
== Длинные контесты == | == Длинные контесты == | ||
+ | |||
+ | Все длинные контесты доступны [https://hse.grphil.ru/ по ссылке]. | ||
{| class="wikitable" | {| class="wikitable" | ||
Строка 168: | Строка 145: | ||
! Дедлайн | ! Дедлайн | ||
! Темы | ! Темы | ||
− | |||
|- | |- | ||
| colspan="4" style="text-align: center; background-color:#dae8fc;" | 2 модуль | | colspan="4" style="text-align: center; background-color:#dae8fc;" | 2 модуль | ||
|- | |- | ||
| 1 | | 1 | ||
− | | | + | | 26.11.2022 |
− | | Вероятности | + | | Вероятности |
− | + | ||
|- | |- | ||
| 2 | | 2 | ||
− | | | + | | 10.12.2023 |
− | | | + | | Простые структуры |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
|} | |} | ||
+ | <!-- | ||
== Короткие контесты == | == Короткие контесты == | ||
Строка 233: | Строка 174: | ||
|- | |- | ||
|} | |} | ||
+ | --> | ||
== Экзамены == | == Экзамены == | ||
+ | === Темы к экзамену 3-го модуля === | ||
+ | |||
+ | * Бинарные деревья поиска. Определение, базовые свойства. | ||
+ | * B+-дерево. Простейшие операции. Операции Split и Merge. | ||
+ | * Splay-дерево. Операции. Доказательство амортизированного времени работы. | ||
+ | * Декартово дерево. Операции Split и Merge. Оценка матожидания глубины вершины. Декартово дерево по неявному ключу. | ||
+ | * Запросы на отрезках. Дерево отрезков, общие идеи. Sparse table. Disjoint sparse table. | ||
+ | * Персистентность. Общие идеи, примеры частично и полностью персистентных структур данных. Применение в задачх. | ||
+ | * Методы Path copying и Fat nodes. Их комбинирование для получения частично персистентного списка без штрафа по времени и памяти. | ||
+ | * LCA. Метод двоичных подъёмов. Алгоритм Тарьяна с СНМ. Алгоритм Фараха-Колтона и Бендера. | ||
+ | * Запросы на деревьях. Heavy-light декомпозиция, оптимизация времени работы до O(log n) на запрос. | ||
+ | * Переборные алгоритмы. Подходы через поиск в глубину и поиск в ширину. Способы хеширования состояний. Iterative deepening. Примеры отсечений. | ||
+ | * Кратчайшие пути в графах. Алгоритмы Дейкстры и Форда-Беллмана. Двусторонний алгоритм Дейкстры. | ||
+ | * Алгоритм Contraction Hierarchies для поиска кратчайших путей в графах, возникающих на практике. | ||
+ | * Альфа-бета отсечение в антагонистических играх. | ||
+ | * Мосты, точки сочленения. Построение деревьев компонент рёберной и вершинной двусвязности. | ||
+ | * Конденсация ориентированного графа. Алгоритм Тарьяна. | ||
+ | * Система непересекающихся множеств. Доказательство амортизированного времени работы O(log* n) на запрос. | ||
+ | * Минимальные остовные деревья. Алгоритмы Прима, Краскала, Борувки. | ||
+ | * Линейный вероятностный алгоритм построения MST (в предположении существования алгоритма проверки минимальности за линейное время). Проверка остовного дерева на минимальность за O(m log log n). | ||
+ | * Потоки в сетях. Теорема Форда-Фалкерсона. Примеры решения задач через сведение к минимальному разрезу или максимальному потоку. | ||
+ | * Теорема Кёнига-Эгервари, лемма Холла. Доказательство через теорему Форда-Фалкерсона. | ||
+ | * Алгоритм Эдмондса-Карпа. Алгоритм Диница, доказательство времени работы O(E sqrt(V)) при поиске максимального двудольного паросочетания. | ||
== Лекции и семинары == | == Лекции и семинары == | ||
− | === | + | Записи семинаров, сделанные силами студентов: https://disk.yandex.ru/d/yVmC7VRuXWblIw |
+ | |||
+ | === 2 модуль === | ||
{| role="presentation" class="mw-collapsible wikitable" | {| role="presentation" class="mw-collapsible wikitable" | ||
Строка 247: | Строка 214: | ||
! Видео | ! Видео | ||
|- | |- | ||
− | | rowspan="2" | | + | | rowspan="2" | 01.11.2022 |
| Семинар | | Семинар | ||
− | | | + | | Основные определения, асимптотический рост функций, виды полиномиальности |
− | | [https://drive.google.com/file/d/ | + | | <!--[https://drive.google.com/file/d/1ZoUnd7okePTlQxdBZwtB2jRp2QgQrAS7/view?usp=sharing Листочек]--> |
− | | | + | | <!--[https://www.youtube.com/watch?v=XdJ4ttt2hc0 Видео]--> |
|- | |- | ||
| Лекция | | Лекция | ||
− | | | + | | Знакомство, обзор программы курса, введние в теорию вероятностей |
| | | | ||
− | | [https://www.youtube.com/watch?v= | + | | <!--[https://www.youtube.com/watch?v=WYrNMqsDScA Видео]--> |
|- | |- | ||
− | | rowspan="2" | | + | | rowspan="2" | 03.11.2022 |
| Семинар | | Семинар | ||
− | | | + | | Задачи на теорию вероятностей, конечные вероятностные пространства, геометрическая вероятность |
− | | [https://drive.google.com/file/d/ | + | | <!--[https://drive.google.com/file/d/1FN7SzZHSwhKVtNKA6EmHEproKzGXlPCZ/view?usp=sharing Листочек]--> |
− | | [https://www.youtube.com/watch?v= | + | | <!--[https://www.youtube.com/watch?v=iAmC9FS643k Видео]--> |
− | |- | + | |- |
| Лекция | | Лекция | ||
− | | | + | | Случайные величины. Математическое ожидание, дисперсия, линейность, индикаторные величины. |
− | | | + | | <!--[https://drive.google.com/file/d/1iY5YzzpspQqOyuJ_jdAPZHbcSXHDuRQF/view?usp=sharing Материалы]--> |
− | | [https://www.youtube.com/watch?v= | + | | <!--[https://www.youtube.com/watch?v=irG9tjy2GgM Видео]--> |
+ | |} | ||
+ | |||
+ | === 3 модуль === | ||
+ | |||
+ | {| role="presentation" class="mw-collapsible wikitable" | ||
+ | ! Дата | ||
+ | ! Тип | ||
+ | ! Тема | ||
+ | ! Материалы | ||
+ | ! Видео | ||
+ | |- | ||
+ | | rowspan="2" | 10.01.2023 (вт) | ||
+ | | Семинар | ||
+ | | Антихештесты | ||
+ | | [https://disk.yandex.ru/i/xetD-j0S_pmn-A Листок] | ||
+ | | | ||
|- | |- | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
| Лекция | | Лекция | ||
− | | | + | | Блум-фильтр. B-деревья. |
+ | | | ||
| | | | ||
− | |||
|- | |- | ||
− | | | + | | rowspan="2" | 12.01.2023 (чт) |
− | | | + | | Семинар |
− | | | + | | Деревья поиска |
− | | [https:// | + | | [https://disk.yandex.ru/i/WwtNchX-N01hlg Листок] |
| | | | ||
|- | |- | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
| Лекция | | Лекция | ||
− | | | + | | Splay-дерево |
+ | | | ||
| | | | ||
− | |||
|- | |- | ||
− | | rowspan="2" | | + | | rowspan="2" | 17.01.2023 (вт) |
− | | Семинар | + | | Семинар |
− | | | + | | Деревья поиска, запросы на отрезках |
− | | [https:// | + | | [https://disk.yandex.ru/i/LUFR0E6yqgclGg Листок] |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
| | | | ||
− | |||
|- | |- | ||
− | | | + | | Лекция |
− | + | | Декартово дерево. Доказательство логарифмической высоты. | |
− | + | ||
| | | | ||
| | | | ||
|- | |- | ||
− | | | + | | rowspan="2" | 19.01.2023 (чт) |
− | | | + | | Семинар |
− | | | + | | Запросы на отрезках |
+ | | Листки: [https://disk.yandex.ru/d/NCP3V4mzYMXMUA базовый], <br/> [https://disk.yandex.ru/i/RDrpfaX1AQwKQA бонусный] | ||
| | | | ||
|- | |- | ||
− | | | + | | Лекция |
− | + | | Частичная персистентность: path copying, fat nodes | |
− | | | + | |
| | | | ||
| | | | ||
|- | |- | ||
− | | | + | | rowspan="2" | 24.01.2023 (вт) |
− | | | + | | Семинар |
+ | | Запросы на отрезках, персистентная очередь (бонус) | ||
| | | | ||
| | | | ||
|- | |- | ||
− | | | + | | Лекция |
− | + | | List order maintenance (?) | |
− | | | + | |
| | | | ||
| | | | ||
|- | |- | ||
− | | | + | | rowspan="2" | 26.01.2023 (чт) |
− | | | + | | Семинар |
− | | | + | | Задачи на деревья |
+ | | [https://disk.yandex.ru/d/uI1OKKPl7fgpEw Листок] | ||
| | | | ||
|- | |- | ||
− | | | + | | Лекция |
− | + | | <!-- HLD --> | |
− | | | + | |
| | | | ||
| | | | ||
|- | |- | ||
− | | | + | | rowspan="2" | 31.01.2023 (вт) |
− | | | + | | Семинар |
− | | | + | | Простое ДП, задачи о рюкзаке |
+ | | [https://disk.yandex.ru/i/AGMSwsEX3GdUYw Листок] | ||
| | | | ||
|- | |- | ||
− | | | + | | Лекция |
− | + | | Оптимизация переборов. Подсчёт количества клик в графе. | |
− | + | ||
| | | | ||
| | | | ||
|- | |- | ||
− | | | + | | 2.02.2023 (чт) |
− | | | + | | Бонусный семинар |
+ | | Архитектура, system design | ||
| | | | ||
| | | | ||
|- | |- | ||
− | | rowspan="2" | | + | | rowspan="2" | 7.02.2023 (вт) |
− | | | + | | Семинар |
− | | | + | | ДП, переборы |
− | | | + | | [https://disk.yandex.ru/i/d7oZjXEJv56a4A Листок] |
| | | | ||
|- | |- | ||
− | | | + | | Лекция |
− | | | + | | Переборы. Альфа-бета отсечение |
| | | | ||
| | | | ||
|- | |- | ||
− | | rowspan="2" | | + | | rowspan="2" | 9.02.2023 (чт) |
− | | | + | | Семинар |
− | | | + | | ДП, альфа-бета отсечение |
− | | | + | | [https://disk.yandex.ru/i/cb63noVLHGy7zg Листок] |
| | | | ||
|- | |- | ||
− | | | + | | Лекция |
− | + | ||
| | | | ||
| | | | ||
− | |||
− | |||
− | |||
− | |||
| | | | ||
+ | |- | ||
+ | | 14.02.2023 (вт) | ||
+ | | colspan="4" | Занятий не было | ||
+ | |- | ||
+ | | 16.02.2023 (чт) | ||
+ | | Бонусный семинар | ||
+ | | Модель внешней памяти | ||
+ | | [https://disk.yandex.ru/d/3euDXNlol-JcBQ Листок] | ||
| | | | ||
|- | |- | ||
− | | | + | | rowspan="2" | 21.02.2023 (вт) |
− | | | + | | Семинар |
− | | | + | | Пути в графах, кратчайшие и не очень |
+ | | [https://disk.yandex.ru/i/NdlcB-1sm9cFlg Листок] | ||
| | | | ||
|- | |- | ||
− | | | + | | Лекция |
− | + | | Contraction Hierarchies: поиск кратчайших путей на практике | |
− | | | + | |
| | | | ||
| | | | ||
|- | |- | ||
− | | | + | | 23.02.2023 (чт) |
− | | | + | | colspan="4" | Выходной |
+ | |- | ||
+ | | rowspan="2" | 28.02.2023 (вт) | ||
+ | | Семинар | ||
+ | | Разбор КР | ||
| | | | ||
| | | | ||
|- | |- | ||
− | | | + | | Лекция |
− | + | | Линейный алгоритм поиска MST | |
− | | | + | |
| | | | ||
| | | | ||
|- | |- | ||
− | | | + | | 2.03.2023 (чт) |
− | | | + | | Бонусный контест |
+ | | | ||
| | | | ||
| | | | ||
|- | |- | ||
− | | rowspan="2" | | + | | rowspan="2" | 7.03.2023 (вт) |
− | | | + | | Семинар |
− | | | + | | Минимальные остовы |
− | | | + | | [https://disk.yandex.ru/d/D3OrHuMgiEzLiw Листок] |
| | | | ||
|- | |- | ||
− | | | + | | Лекция |
− | | | + | | Алгоритм Тарьяна для поиска КСС. Неудачное доказательство log* n для СНМ. |
| | | | ||
| | | | ||
|- | |- | ||
− | | rowspan="2" | | + | | rowspan="2" | 9.03.2023 (чт) |
− | | | + | | Семинар |
− | | | + | | Задачи на графы, конденсация, 2-SAT |
− | | | + | | [https://disk.yandex.ru/i/B7IW1Rr6wS_Byg Листок] |
| | | | ||
|- | |- | ||
− | | | + | | Лекция |
− | | | + | | Доказательство log* n для СНМ. Введение в потоки. |
| | | | ||
| | | | ||
− | |||
|} | |} | ||
− | === | + | === 4 модуль === |
{| role="presentation" class="mw-collapsible wikitable" | {| role="presentation" class="mw-collapsible wikitable" | ||
Строка 451: | Строка 423: | ||
! Видео | ! Видео | ||
|- | |- | ||
− | | rowspan=" | + | | rowspan="1" | 03.04.2023 (вт) |
− | | | + | | colspan="4" | Занятий не было |
− | + | ||
− | + | ||
− | | | + | |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
|- | |- | ||
− | | rowspan="2" | | + | | rowspan="2" | 05.04.2023 (чт) |
− | | Семинар | + | | Семинар |
− | | | + | | colspan="3" | Семинара не было |
− | + | ||
− | | | + | |
|- | |- | ||
| Лекция | | Лекция | ||
− | | | + | | Потоки минимальной стоимости |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
| | | | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
| | | | ||
− | |||
|- | |- | ||
− | | rowspan="2" | 11. | + | | rowspan="2" | 11.04.2023 (чт) |
− | | Семинар | + | | Семинар |
− | | | + | | Потоки. Оценки Карзанова. |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
| | | | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
| | | | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
|- | |- | ||
| Лекция | | Лекция | ||
− | | | + | | Поиск потока минимальной стоимости за полиномиальное время |
| | | | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
| | | | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
|} | |} | ||
− | |||
== Ссылки на материалы == | == Ссылки на материалы == | ||
Строка 615: | Строка 453: | ||
== Преподаватели и ассистенты == | == Преподаватели и ассистенты == | ||
+ | |||
{| class="wikitable" | {| class="wikitable" | ||
Строка 622: | Строка 461: | ||
| colspan="4" style="text-align: center;" | Преподаватели | | colspan="4" style="text-align: center;" | Преподаватели | ||
|- | |- | ||
− | | [https://www.hse.ru/org/persons/ | + | | [https://www.hse.ru/org/persons/210175876 Иван Смирнов] || 221-1 || || [https://t.me/ifsmirnov @ifsmirnov] |
|- | |- | ||
− | | [https://www.hse.ru/org/persons/ | + | | [https://www.hse.ru/org/persons/225527626 Филипп Грибов] || 221-2 || || |
|- | |- | ||
− | | | + | | [https://www.hse.ru/org/persons/738677707 Иван Сафонов] || 222-1 || || |
|- | |- | ||
− | | | + | | Михаил Анопренко || 222-2 || || |
|- | |- | ||
− | | | + | | Сергей Нечаев || 225-1 || || |
|- | |- | ||
− | | | + | | Екатерина Фадеева || 225-2 || || |
|- | |- | ||
+ | <!-- | ||
| colspan="4" style="text-align: center;" | Ассистенты | | colspan="4" style="text-align: center;" | Ассистенты | ||
|- | |- | ||
Строка 651: | Строка 491: | ||
|- | |- | ||
| Кирилл Шубников || 215 || среда 21:00 (писать в лс) || [https://teleg.run/Radewoosh51 @Radewoosh51] | | Кирилл Шубников || 215 || среда 21:00 (писать в лс) || [https://teleg.run/Radewoosh51 @Radewoosh51] | ||
+ | --> | ||
|} | |} |
Текущая версия на 14:35, 12 апреля 2023
Лектор: Иван Фёдорович Смирнов
Важные ссылки | |||
---|---|---|---|
Текущая успеваемость |
Запись на консультации |
Сдача ДЗ |
Содержание
Формула выставления итоговой оценки
Формула оценивания пока предварительная и может поменяться!
Курс длится 4 модуля (со 2-го по 5-й) и предполагает две итоговые оценки: на первом курсе (2-4 модули) и на втором (5 модуль). Оценки за каждый модуль ставятся независимо. Итоговая оценка за первый курс составляется из оценок за 2-4 модули (точные правила будут сообщены позднее). Оценка за 5-й модуль является итоговой оценкой за второй курс.
После 3-го, 4-го и 5-го модулей будут экзамены.
Правила выставления оценок за модули:
2-й модуль: Оитог = 0.4286 · Оконтесты + 0.3571 · Oлистки + 0.2143 · ОКР + Oбонус
3-й модуль: Оитог = 0.3 · Оконтесты + 0.25 · Oлистки + 0.15 · ОКР + 0.3 · Оэкзамен + Oбонус
4-й модуль: Оитог = 0.3 · Оконтесты + 0.25 · Oлистки + 0.15 · ОКР + 0.3 · Оэкзамен + Oбонус
В ведомость за каждый модуль идёт округлённое значение из формулы выше. Для подсчёта итоговой оценки за год берётся среднее арифметическое по неокруглённым оценки за модули 2, 3, 4. Если оценка за модуль превышает 10, она считается равной 10.
Итог за год (1-й курс): (min(10, O2-й модуль) + min(10, O3-й модуль) + min(10, O4-й модуль)) / 3
- Олистки вычисляется по формуле:
Олистки = 10 · количество решённых задач количество обязательных задач - поправка Листки являются теоретическими домашними заданиями. Все задачи стоят одинаково, сдавать их можно в электронном виде. Дополнительно предусматривается возможность сдать их во время присутственных часов на консультациях ассистентам.
- В течение каждого очного модуля предполагается по одной контрольной работе. За каждую контрольную студент получает оценку от 0 до 10, которая и будет являться ОКР. Если студент пропускает по уважительной причине контрольную работу, то для него изменяется итоговая формула оценки.
- За экзамен студент получает оценку от 0 до 10, эта оценка будет являться Оэкзамен.
- Бонус. Эта графа определяет произвольные баллы, которые могут быть прибавлены к оценке студента за различные виды деятельности и соревнований. Например, в этой графе будут использованы некоторые короткие контесты с необычным форматом.
Итоговая оценка округляется арифметически (то есть при дробной части меньше 0.5 округление производится вниз, иначе вверх).
Теоретическое домашнее задание
Общие предположения, которыми можно пользоваться в задачах
1. Если в задаче говорится про запросы, то по умолчанию online
2. Если не оговорено иное, можно использовать столько же памяти, сколько времени
3. Если не оговорено иное, то можно ожидаемое амортизированное время с хешами
Правила сдачи письменных работ
1. Пожалуйста, убедитесь, что вашу работу можно идентифицировать (имя написано в файле, или ваш гугл-аккаунт подписан вашим именем).
2. При отправке убедитесь, что у вас появилась кнопка "отменить отправку" — это означает, что работа отправлена на проверку.
3. Домашние задания, сданные не в формате .pdf или набранные не с помощью системы вёрстки LaTeX не принимаются.
4. Нельзя отправлять фотографии записей от руки (за исключением случая, когда к теху вы прикрепляете пояснительную картинку от руки).
5. Решение должно представлять из себя свзяный цензурный текст без обсценной лексики, который может быть прочитан носителем русского языка, и являть собой решение задачи. Если текст не являет собой решение задачи, не надо прикладывать его к решению.
6. Списывание в работах повлечёт за собой обнуление баллов по работе.
7. Если вы не чувствуете себя уверено при работе с LaTeX, используйте шаблон https://www.overleaf.com/read/bpvmhqcvfgqq. В нём отражена основная функциональность системы вёрстки. Вы можете склонировать проект и использовать его.
Список заданий
№ | Тема | Листок | Дедлайн |
---|---|---|---|
2 модуль |
Длинные контесты
Все длинные контесты доступны по ссылке.
№ | Дедлайн | Темы | |
---|---|---|---|
2 модуль | |||
1 | 26.11.2022 | Вероятности | |
2 | 10.12.2023 | Простые структуры |
Экзамены
Темы к экзамену 3-го модуля
- Бинарные деревья поиска. Определение, базовые свойства.
- B+-дерево. Простейшие операции. Операции Split и Merge.
- Splay-дерево. Операции. Доказательство амортизированного времени работы.
- Декартово дерево. Операции Split и Merge. Оценка матожидания глубины вершины. Декартово дерево по неявному ключу.
- Запросы на отрезках. Дерево отрезков, общие идеи. Sparse table. Disjoint sparse table.
- Персистентность. Общие идеи, примеры частично и полностью персистентных структур данных. Применение в задачх.
- Методы Path copying и Fat nodes. Их комбинирование для получения частично персистентного списка без штрафа по времени и памяти.
- LCA. Метод двоичных подъёмов. Алгоритм Тарьяна с СНМ. Алгоритм Фараха-Колтона и Бендера.
- Запросы на деревьях. Heavy-light декомпозиция, оптимизация времени работы до O(log n) на запрос.
- Переборные алгоритмы. Подходы через поиск в глубину и поиск в ширину. Способы хеширования состояний. Iterative deepening. Примеры отсечений.
- Кратчайшие пути в графах. Алгоритмы Дейкстры и Форда-Беллмана. Двусторонний алгоритм Дейкстры.
- Алгоритм Contraction Hierarchies для поиска кратчайших путей в графах, возникающих на практике.
- Альфа-бета отсечение в антагонистических играх.
- Мосты, точки сочленения. Построение деревьев компонент рёберной и вершинной двусвязности.
- Конденсация ориентированного графа. Алгоритм Тарьяна.
- Система непересекающихся множеств. Доказательство амортизированного времени работы O(log* n) на запрос.
- Минимальные остовные деревья. Алгоритмы Прима, Краскала, Борувки.
- Линейный вероятностный алгоритм построения MST (в предположении существования алгоритма проверки минимальности за линейное время). Проверка остовного дерева на минимальность за O(m log log n).
- Потоки в сетях. Теорема Форда-Фалкерсона. Примеры решения задач через сведение к минимальному разрезу или максимальному потоку.
- Теорема Кёнига-Эгервари, лемма Холла. Доказательство через теорему Форда-Фалкерсона.
- Алгоритм Эдмондса-Карпа. Алгоритм Диница, доказательство времени работы O(E sqrt(V)) при поиске максимального двудольного паросочетания.
Лекции и семинары
Записи семинаров, сделанные силами студентов: https://disk.yandex.ru/d/yVmC7VRuXWblIw
2 модуль
Дата | Тип | Тема | Материалы | Видео |
---|---|---|---|---|
01.11.2022 | Семинар | Основные определения, асимптотический рост функций, виды полиномиальности | ||
Лекция | Знакомство, обзор программы курса, введние в теорию вероятностей | |||
03.11.2022 | Семинар | Задачи на теорию вероятностей, конечные вероятностные пространства, геометрическая вероятность | ||
Лекция | Случайные величины. Математическое ожидание, дисперсия, линейность, индикаторные величины. |
3 модуль
Дата | Тип | Тема | Материалы | Видео |
---|---|---|---|---|
10.01.2023 (вт) | Семинар | Антихештесты | Листок | |
Лекция | Блум-фильтр. B-деревья. | |||
12.01.2023 (чт) | Семинар | Деревья поиска | Листок | |
Лекция | Splay-дерево | |||
17.01.2023 (вт) | Семинар | Деревья поиска, запросы на отрезках | Листок | |
Лекция | Декартово дерево. Доказательство логарифмической высоты. | |||
19.01.2023 (чт) | Семинар | Запросы на отрезках | Листки: базовый, бонусный |
|
Лекция | Частичная персистентность: path copying, fat nodes | |||
24.01.2023 (вт) | Семинар | Запросы на отрезках, персистентная очередь (бонус) | ||
Лекция | List order maintenance (?) | |||
26.01.2023 (чт) | Семинар | Задачи на деревья | Листок | |
Лекция | ||||
31.01.2023 (вт) | Семинар | Простое ДП, задачи о рюкзаке | Листок | |
Лекция | Оптимизация переборов. Подсчёт количества клик в графе. | |||
2.02.2023 (чт) | Бонусный семинар | Архитектура, system design | ||
7.02.2023 (вт) | Семинар | ДП, переборы | Листок | |
Лекция | Переборы. Альфа-бета отсечение | |||
9.02.2023 (чт) | Семинар | ДП, альфа-бета отсечение | Листок | |
Лекция | ||||
14.02.2023 (вт) | Занятий не было | |||
16.02.2023 (чт) | Бонусный семинар | Модель внешней памяти | Листок | |
21.02.2023 (вт) | Семинар | Пути в графах, кратчайшие и не очень | Листок | |
Лекция | Contraction Hierarchies: поиск кратчайших путей на практике | |||
23.02.2023 (чт) | Выходной | |||
28.02.2023 (вт) | Семинар | Разбор КР | ||
Лекция | Линейный алгоритм поиска MST | |||
2.03.2023 (чт) | Бонусный контест | |||
7.03.2023 (вт) | Семинар | Минимальные остовы | Листок | |
Лекция | Алгоритм Тарьяна для поиска КСС. Неудачное доказательство log* n для СНМ. | |||
9.03.2023 (чт) | Семинар | Задачи на графы, конденсация, 2-SAT | Листок | |
Лекция | Доказательство log* n для СНМ. Введение в потоки. |
4 модуль
Дата | Тип | Тема | Материалы | Видео |
---|---|---|---|---|
03.04.2023 (вт) | Занятий не было | |||
05.04.2023 (чт) | Семинар | Семинара не было | ||
Лекция | Потоки минимальной стоимости | |||
11.04.2023 (чт) | Семинар | Потоки. Оценки Карзанова. | ||
Лекция | Поиск потока минимальной стоимости за полиномиальное время |
Ссылки на материалы
Основные источники:
- Томас Кормен, Чарльз Лейзерсон, Рональд Ривест, Клиффорд Штайн. Алгоритмы: Построение и анализ, [2013, 3 издание]
- neerc.ifmo.ru
Преподаватели и ассистенты
Преподаватель | Подгруппа | Присутственные часы | Контакты |
---|---|---|---|
Преподаватели | |||
Иван Смирнов | 221-1 | @ifsmirnov | |
Филипп Грибов | 221-2 | ||
Иван Сафонов | 222-1 | ||
Михаил Анопренко | 222-2 | ||
Сергей Нечаев | 225-1 | ||
Екатерина Фадеева | 225-2 |