Сложность вычислений ФПМИСегодня встреча по адресу https://meet.google.com/qem-ywws-ony. Доска использоваться не будет, продолжим идти по презентации. начнём через 5 минут
Сегодня последняя лекция, всё как в прошлый раз. Продолжим говорить про классы задач поиска и связь с теорией игр. Начало в 10 часов.
Напоминаю про ссылки на встречу https://meet.google.com/qem-ywws-ony и доску https://idroo.com/board-wXXr93o1cX. Начало сегодня в 10, будем доказывать связь рациональных доказательств с иерархией подсчёта. Другие темы я подробно не подготовил, так что если успеем пройти раньше, то начнём задачи поиска.
Сложность вычислений ФПМИСегодня лекция в Мите по тому же адресу https://meet.google.com/qem-ywws-ony. И доска там же: https://idroo.com/board-wXXr93o1cX
Сегодня всё по плану: в 10 часов первая лекция про рациональные доказательства, адреса встречи и доски те же
Сложность вычислений ФПМИСегодня лекция в Мите по тому же адресу https://meet.google.com/qem-ywws-ony. И доска там же: https://idroo.com/board-wXXr93o1cX
Сегодня встреча и доска снова по тем же адресам. Начало в 10 часов.
Сложность вычислений ФПМИВопрос об интересах. Что бы вы хотели успеть пройти до конца семестра? (Можно выбирать много ответов).
Результаты интересные. Кажется, они больше отражают мою способность рекламировать темы, чем осознанный интерес. Сделаем тогда так: 16.04 - вкратце про основную PCP-теорему и MIP=NEXP (это тоже связано с PCP) 23.04 и 30.04 - рациональные интерактивные доказательства 07.05 и 14.05 - задачи поиска Сложность в среднем - если сдвинут сроки окончания семестра, то 21.05, если нет, то включу это в курс криптографии осенью
СЛ