Сложность вычислений ФПМИ
رفتن به کانال در Telegram
1 105
مشترکین
+124 ساعت
+17 روز
+130 روز
در حال بارگذاری داده‌ها
کانال‌های مشابه
ابر برچسب‌ها
هیچ داده‌ای
مشکلی وجود دارد؟ لطفاً صفحه را تازه کنید یا با مدیر پشتیبانی ما تماس بگیرید.
اشارات ورودی و خروجی
---
---
---
---
---
---
جذب مشترکین
اکتبر '26اکتبر '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 کانال‌ها
| تاریخ | رشد مشترکین | اشارات | کانال‌ها | |
| 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). Также напишите в директ-сообщения, если пропускаете контрольную завтра по уважительной причине, с указанием причины. | 497 |
| 3 | Тренировочный вариант к/р на среду. | 612 |
| 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 |
