Сложность вычислений ФПМИ
Open in Telegram
1 105
Subscribers
No data24 hours
+17 days
+130 days
Posts Archive
Напоминаю про ссылки на встречу https://meet.google.com/qem-ywws-ony и доску https://idroo.com/board-wXXr93o1cX. Начало сегодня в 10, будем доказывать связь рациональных доказательств с иерархией подсчёта. Другие темы я подробно не подготовил, так что если успеем пройти раньше, то начнём задачи поиска.
Сегодня всё по плану: в 10 часов первая лекция про рациональные доказательства, адреса встречи и доски те же
Большинство высказалось за статус кво, так и сделаем. Интересующиеся приглашаются к чтению главы из книги.
Новый опрос про завершение семестра. Какой вариант лучше?
Содержимое доски сегодня. Там съезжают метки у увеличенных формул, но разобраться можно.
Результаты интересные. Кажется, они больше отражают мою способность рекламировать темы, чем осознанный интерес. Сделаем тогда так:
16.04 - вкратце про основную PCP-теорему и MIP=NEXP (это тоже связано с PCP)
23.04 и 30.04 - рациональные интерактивные доказательства
07.05 и 14.05 - задачи поиска
Сложность в среднем - если сдвинут сроки окончания семестра, то 21.05, если нет, то включу это в курс криптографии осенью
Вопрос об интересах. Что бы вы хотели успеть пройти до конца семестра? (Можно выбирать много ответов).
Сегодня лекция в Мите по тому же адресу https://meet.google.com/qem-ywws-ony. И доска там же: https://idroo.com/board-wXXr93o1cX
Существенно расширил главу про PCP в книге. Правда, материал прошлого занятия пока не записал, зато записал то, что сегодня будет - про сложность приближения задач.
По просьбам сделал встречу в Мите, а не Зуме: https://meet.google.com/qem-ywws-ony
Доска для сегодняшней встречи: https://idroo.com/board-wXXr93o1cX Начнём через 5 минут, прошу прощения за задержку.
