Сложность вычислений ФПМИ

По этой ссылке будут появляться оценки за контрольные и проекты: https://docs.google.com/spreadsheets/d/1yAZsNh5L_tf0J67CQksoPbG4j6Ofzfo7Z8FlCgHduls/edit?usp=sharing

https://docs.google.com/spreadsheets/d/11vw4sUo720tuEFmqKXsNMiJ2DY9oeS_HkYMIiJjhCAY/edit#gid=0 - табличка для записи на проекты. Она открыта по ссылке на редактирование, так что, пожалуйста, без вандализма (история в любом случае сохраняется). Файл со списком проектов выложу следующим сообщением. Каждый проект могут взять максимум двое студентов, так что, скорее всего, спрос на программистские проекты сильно превысит предложение. На этот случай есть проект номер 0 (своя тема, это вообще самый предпочтительный вариант) или различные спецификации, которые нужно прописывать в табличке всем, взявшим один и тот же проект. В нижней части таблицы написано, сколько раз какой проект взяли, так что если желаемый проект уже взяли двое, нужно либо переключаться на другой, либо прописывать спецификацию. Обратите внимание на тему 41, там особые условия.

В этом году будет ещё и интересный спецкурс по теории множеств, вот его программа. Занятия по вторникам с 19 часов в 409 ГК, начало 17 сентября. Читает ваш однокурсник Иван Смирнов. Подписывайтесь на канал курса!

А тех, кто будет слушать криптографию на 4-м курсе, приглашаю в чат https://t.me/joinchat/DZlFTQ8qiK7Ymz7GXLiaKw

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

Домашние работы в целом проверены, оценки в табличке. Желающие повысить оценку могут дорешивать ранее не сделанные задачи, но не исправлять уже присланные. Желательно прислать не позднее среды, в любом случае в пятницу 28 июня все ведомости будут закрыты. Желающие посмотреть бумажные домашки могут искать меня завтра в КПМ (с утра в 302 на защите дипломов).

Большинство высказалось за спецкурс по псевдослучайности. Присоединяйтесь к чату, оставшемуся от прошлого года: https://t.me/joinchat/DZlFTRI3Dvope1VxBqmUng

📊 Традиционно осенью я читаю продвинутый спецкурс для узкой аудитории по тематике, связанной со сложностью вычислений. На что вам было бы интересно ходить? (Можно выбрать несколько вариантов). Вероятностно проверяемые доказательства (PCP-теорема с полным доказательством, unique game conjecture, приближения для конкретных задач) [2] ‎├ Nikita Sveshnikov ‎└ Yan Slabodich Псевдослучайность и дерандомизация (экспандеры, экстракторы, генераторы псевдослучайных чисел и связи между ними. Почему мы думаем, что BPP=P) [4] ‎├ Yan Slabodich ‎├ Ruslan Ishmukhametov ‎├ Илья Курузов ‎└ Andrei Asanau Тотальные задачи поиска и теоремы о неподвижных точках (подробно про класс PPAD и прочие, связи с теорией игр, экономическими равновесиями и топологией) [1] ‎└ Matvey Bezlepkin Рациональные интерактивные доказательства (обзор моделей, в том числе с несколькими Мерлинами и различными способами взаимодействия между ними) [2] ‎├ Yan Slabodich ‎└ Matvey Bezlepkin 👥 6 людей проголосовали

Напоминаю про опрос о спецкурсе. Если кто ещё хочет высказаться, прошу. Начальство уже хочет определённости.

К сожалению, работы только с часа можно будет посмотреть

Контрольная работа проверена. Результаты по ссылке: https://docs.google.com/spreadsheets/d/1p9YwRr7l-mxoNcjfF7wIS37ukwO6egrC9aRDdqDXu6I/edit?usp=sharing Работы можно будет посмотреть завтра в 117 ГК, ориентировочно с 11 до 15 (там будет экзамен по ДА). Домашка пока не проверена и в ближайшие дни вряд ли будет.

Контрольная работа состоится в среду, 29 мая, с 12 до 14 в ауд. Гарвард. Она пройдёт вместе с к/р по алгоритмической теории игр у первого курса магистратуры.