Сложность вычислений ФПМИ
前往频道在 Telegram
1 105
订阅者
+124 小时
+17 天
+130 天
正在加载数据
吸引订阅者
十月 '2610月 '26
十月 '26
+190
在0个频道中
九月 '260
在0个频道中
Get PRO
八月 '260
在0个频道中
Get PRO
七月 '260
在0个频道中
Get PRO
六月 '260
在0个频道中
Get PRO
五月 '260
在0个频道中
Get PRO
四月 '260
在0个频道中
Get PRO
三月 '260
在0个频道中
Get PRO
二月 '260
在0个频道中
Get PRO
一月 '260
在0个频道中
Get PRO
十二月 '250
在0个频道中
Get PRO
十一月 '250
在0个频道中
Get PRO
十月 '250
在0个频道中
Get PRO
九月 '250
在1个频道中
Get PRO
八月 '250
在0个频道中
Get PRO
七月 '250
在0个频道中
Get PRO
六月 '250
在0个频道中
Get PRO
五月 '250
在0个频道中
Get PRO
四月 '250
在0个频道中
Get PRO
三月 '250
在0个频道中
Get PRO
二月 '250
在0个频道中
Get PRO
一月 '250
在0个频道中
Get PRO
十二月 '24
+4
在0个频道中
Get PRO
十一月 '24
+12
在0个频道中
Get PRO
十月 '24
+30
在0个频道中
Get PRO
九月 '24
+132
在2个频道中
Get PRO
八月 '240
在0个频道中
Get PRO
七月 '240
在0个频道中
Get PRO
六月 '240
在0个频道中
Get PRO
五月 '24
+6
在0个频道中
Get PRO
四月 '24
+14
在0个频道中
Get PRO
三月 '24
+11
在0个频道中
Get PRO
二月 '24
+24
在0个频道中
Get PRO
一月 '24
+8
在0个频道中
Get PRO
十二月 '23
+7
在0个频道中
Get PRO
十一月 '23
+16
在0个频道中
Get PRO
十月 '23
+30
在0个频道中
Get PRO
九月 '23
+156
在0个频道中
Get PRO
八月 '23
+8
在0个频道中
Get PRO
七月 '23
+4
在0个频道中
Get PRO
六月 '23
+4
在0个频道中
Get PRO
五月 '23
+6
在0个频道中
Get PRO
四月 '23
+8
在0个频道中
Get PRO
三月 '23
+10
在0个频道中
Get PRO
二月 '23
+7
在0个频道中
Get PRO
一月 '23
+8
在0个频道中
Get PRO
十二月 '22
+6
在0个频道中
Get PRO
十一月 '22
+4
在0个频道中
Get PRO
十月 '22
+25
在0个频道中
Get PRO
九月 '22
+62
在0个频道中
Get PRO
八月 '22
+93
在0个频道中
Get PRO
七月 '22
+9
在0个频道中
Get PRO
六月 '22
+5
在0个频道中
Get PRO
五月 '22
+3
在0个频道中
Get PRO
四月 '22
+6
在0个频道中
Get PRO
三月 '22
+17
在0个频道中
Get PRO
二月 '22
+19
在0个频道中
Get PRO
一月 '22
+456
在0个频道中
| 日期 | 订阅者增长 | 提及 | 频道 | |
| 29 十月 | 0 | |||
| 28 十月 | +1 | |||
| 27 十月 | 0 | |||
| 26 十月 | +1 | |||
| 25 十月 | 0 | |||
| 24 十月 | +1 | |||
| 23 十月 | 0 | |||
| 22 十月 | 0 | |||
| 21 十月 | 0 | |||
| 20 十月 | 0 | |||
| 19 十月 | 0 | |||
| 18 十月 | 0 | |||
| 17 十月 | 0 | |||
| 16 十月 | 0 | |||
| 15 十月 | 0 | |||
| 14 十月 | 0 | |||
| 13 十月 | 0 | |||
| 12 十月 | 0 | |||
| 11 十月 | 0 |
频道帖子
Рассадка на контрольную сегодня. Начало в 12:10 в 115 КПМ. Если пропускаете по уважительной причине, напишите в директ-сообщения (https://t.me/diht_complexity?direct).
| 2 | Подготовлена табличка для оценок в этом семестре: https://docs.google.com/spreadsheets/d/1jQ3EqM53IZyseqtpQChtayE6XJf9Sb1QvT64HY8gsxw/edit?usp=sharing
Проверьте, что вы там есть, если сдаёте курс (для курса по выбору список может быть неполный). Если вас нужно добавить или перенести в другую группу, напишите в директ-сообщения канала (по ссылке https://t.me/diht_complexity?direct). Также напишите в директ-сообщения, если пропускаете контрольную завтра по уважительной причине, с указанием причины. | 507 |
| 3 | Тренировочный вариант к/р на среду. | 637 |
| 4 | Служебный пост с информацией на осень 2026 (будет дополняться).
Расписание:
Лекции - Даниил Мусатов, среда, 12:10, 432 ГК
Семинары:
416-424 - Игорь Шиманогов, ср, 13:55, 532 ГК
425-427 - Виталий Пырэу, вт, 12:10, 424 Арктика
611 (Магистратура блокчейн) - Илья Степанов, ср, 13:55,
Этот канал (с новостями и материалами): https://t.me/diht_complexity
Чат для обсуждений и вопросов: https://t.me/+WYa2jWEwL-VkNWUy
Папка с материалами: (будет дополнено)
Табличка для оценок: https://docs.google.com/spreadsheets/d/1jQ3EqM53IZyseqtpQChtayE6XJf9Sb1QvT64HY8gsxw/edit?usp=sharing | 1 434 |
| 5 | В этом семестре канал используется для курса, который формально называется "Сложность вычислений. Избранные главы". Добавка "Избранные главы" не должна вводить в заблуждение, это плюс-минус стандартный курс. Если вы его уже слушали, по выбору нужно брать "Основы криптографии". | 1 074 |
| 6 | В опросе о спецкурсе в прошлом году победил вариант "Псевдослучайность и дерандомизация". Если хотите ходить, вступайте в чат https://t.me/+TFWCy-HlhfwGqZSe и голосуйте, в какой день проводить спецкурс. Начнём на следующей неделе. | 1 274 |
| 7 | Доброе утро! Всех поздравляю с днём знаний и началом нового учебного года! Для кафедры ДМ в этом семестре сложностная линейка продолжится курсом криптографии. Для неё есть свой канал https://t.me/fpmi_crypto, подписывайтесь! А для тех, кто уже проходил криптографию на потоке ПМИ.Инф, предусмотрен отдельный курс дополнительных глав криптографии, по нему есть чат https://t.me/+f2l8WjwADRYxZjk6 | 1 116 |
| 8 | Нужно сейчас заявить спецкурс на следующий год. Традиционно я читаю спецкурс на одну из продвинутых тем курса сложности вычислений. Раньше было только осенью, но последние 4 года по просьбам слушателей продолжаю и весной. В связи с тем, что студенты ПМИ.Инф уже проходили курс криптографии, а он обязательный для кафедры ДМ, он будет заменён на более продвинутый курс криптографии, так что один курс точно будет. Не уверен, что смогу совмещать с другим курсом, но при наличии интереса постараюсь. Вот несколько возможных тем, в комментариях будут примерные программы, а также неанонимный консультативный опрос (т.е. будет выбран не обязательно вариант, набравший большинство голосов). Можно выбирать до утра 1 июня.
Дополнительные главы криптографии - обязательный для ПМИ.Инф+ДМ, факультативный для всех. Рекомендуется проходить после основного курса, но в принципе можно и параллельно. Примерные темы: конфиденциальные дву- и многосторонние вычисления, разделение секрета, византийское соглашение, электронные выборы, электронная наличность, блокчейн, неинтерактивные доказательства с нулевым разглашением, снарки и старки, обфускация. Возможны вариации.
Вероятностно проверяемые доказательства - это то, что мы недавно проходили, так что подробное представление, думаю, не нужно. В этом курсе доказывается "большая" PCP-теорема и её вариации вроде трёхбитной теоремы Хостада, а также изучаются сложности приближённого решения разных конкретных задач. Предыдущий раз курс читался 2 года назад.
Псевдослучайность и дерандомизация - в этом курсе изучаются разные псевдослучайные конструкции (экспандеры, экстракторы, коды с декодированием списком, генераторы псевдослучайных чисел и др.), которые в конечном итоге могут привести к доказательству BPP=P. Этот курс читался 3 года назад и обычно вызывает интерес, вполне могу прочесть снова.
Вычислительная сложность задач поиска - изучается сложность задач поиска, прежде всего тех, где ответ точно есть (и потому вопрос о существовании ответа тривиален). Есть растущий зоопарк классов, а также много приложений к разного рода экономическим моделям на базе теорем о неподвижных точках.
Рациональные интерактивные доказательства - изучается делегирование вычислений, при котором мощный сервер выполняет вычисления за деньги, максимизируя вознаграждение. Нужно так выстроить стимулы, чтобы при этом сервер выявил правильный ответ. Курс читался в прошлом году, так что повторю только при высоком интересе.
Можно также предлагать свои варианты, если мне один из них приглянётся, то можно будет изучить что-нибудь вместе. Имеющиеся программы курсов и опрос в комментариях. | 1 583 |
| 9 | Контрольная будет завтра с 12:20 до 15:20 в Цифре, 2.36. Кто хочет писать, отметьтесь в табличке, а то не будет варианта. | 1 194 |
| 10 | Сделал табличку для выбора даты кр, должно редактироваться по ссылке: https://docs.google.com/spreadsheets/d/1PVLo1Tmm_hnT6S1KHpmMz3607Mk8BuOWUijOUyTMJWU/edit?usp=sharing | 1 389 |
| 11 | Мы подготовили второе домашнее задание. Поставил срок сдачи следующий понедельник, дальше вряд ли сможем продлить. | 1 529 |
| 12 | Предварительно расписание на оставшиеся занятия:
Завтра, 7 мая, будет только лекция про рациональные интерактивные доказательства, без семинара. Лекцию постараюсь начать вовремя, но могу задержаться из-за важного созвона.
14 мая будет 2 семинара: во время лекции и во время обычного семинара. | 1 746 |
| 13 | Также сделал папку с материалами: https://www.dropbox.com/scl/fo/9wslv92i9vqbg1cdvqr54/AGAfcvXxt7B1wdrqryhB_uE?rlkey=775k6hbqsg4k0nv9fluf6fwqt&dl=0
Там два последних файла и последняя версия компл-бука. Что ещё нужно туда положить? | 2 154 |
| 14 | Также есть возможность выполнить индивидуальный проект. На этом курсе он не блокирующий, но если вам интереснее разобраться в какой-то теме вместо решения задач, то это хороший вариант. Занимать номера проектов можно тут, должно быть открыто для редактирования: https://docs.google.com/spreadsheets/d/16YrAMmJgOBkFG19q5RLJr0SQz7AdTH6h7KZ4SGt7fwU/edit?usp=sharing | 1 763 |
| 15 | Как обещал вчера, сделал индивидуальные домашние задания. Пока что про IP, AM и ZKP. Про PCP и MIP будет ещё второе. Срок сдачи - после майских. | 1 529 |
| 16 | Сегодня, 16 апреля, лекция начнётся по расписанию (обсудим класс MIP и теорему MIP=NEXP), а вот семинара не будет - Иван заболел. | 1 653 |
| 17 | Сегодня, 2 апреля, лекции не будет - я болею. Семинар будет по расписанию. | 1 891 |
| 18 | Завтра, 19 марта, лекция будет. Начнём вовремя, приходите! | 2 367 |
| 19 | Завтра, 26 февраля, семинар состоится онлайн, ссылка появится в чате перед началом семинара. Настройка трансляции через проектор в аудитории остаётся на усмотрение слушателей. | 2 733 |
| 20 | #дневниклекций
В четверг доказывали теорему Голдвассер-Сипсера для задачи GNI и начали IP=PSPACE. Вот что прошли:
- Напоминание, откуда берётся множество S, размер которого связан с неизоморфизмом графов. Идея хеширование.
- Определение семейства попарно независимых хеш-функций. Эквивалентность двух вариантов.
- Обсуждение арифметики в поле из 2^n элементов и задачи поиска неприводимого многочлена.
- Построение необходимого семейства хеш-функций как линейных функций в поле из 2^n элементов.
- Подбор параметров и конструкция протокола на базе семейства хеш-функций. Доказательство его корректности через попарную независимость.
- История открытия IP=PSPACE через переписку по имейлу.
- Идея арифметизации: преобразование логической формулы в многочлен малой степени.
- Построение интерактивного протокола для задачи о тавтологичности 3-ДНФ.
В следующий раз построим общий протокол IP=PSPACE. | 2 537 |
