Сложность вычислений ФПМИ
前往频道在 Telegram
764
订阅者
无数据24 小时
无数据7 天
无数据30 天
帖子存档
Сегодня всё по плану: в 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 минут, прошу прощения за задержку.
Завтра проведём лекцию в 10 утра в Зуме и интерактивной доске idroo. В отличие от bitpaper, там можно писать формулы. Правда, графических возможностей меньше.
Итоговое содержимое доски с сегодняшней встречи. Первые два слайда потерялись, но там мало что было.
https://bitpaper.io/go/Zero_Knowledge_19_03/ry8175e8I - доска для сегодняшней лекции. Первые 15 минут потестируем, потом начнём.
