Сложность вычислений ФПМИ
الذهاب إلى القناة على Telegram
764
المشتركون
لا توجد بيانات24 ساعات
لا توجد بيانات7 أيام
لا توجد بيانات30 أيام
جاري تحميل البيانات...
القنوات المماثلة
لا توجد بيانات
هل تواجه مشاكل؟ يرجى تحديث الصفحة أو الاتصال بمدير الدعم الخاص بنا.
سحابة العلامات
لا توجد بيانات
هل تواجه مشاكل؟ يرجى تحديث الصفحة أو الاتصال بمدير الدعم الخاص بنا.
الإشارات الواردة والصادرة
---
---
---
---
---
---
جذب المشتركين
ديسمبر '24
ديسمبر '24
+4
في 0 قنوات
نوفمبر '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 قنوات
| التاريخ | نمو المشتركين | الإشارات | القنوات | |
| 21 ديسمبر | 0 | |||
| 20 ديسمبر | 0 | |||
| 19 ديسمبر | 0 | |||
| 18 ديسمبر | 0 | |||
| 17 ديسمبر | 0 | |||
| 16 ديسمبر | +1 | |||
| 15 ديسمبر | 0 | |||
| 14 ديسمبر | 0 | |||
| 13 ديسمبر | 0 | |||
| 12 ديسمبر | 0 | |||
| 11 ديسمبر | 0 | |||
| 10 ديسمبر | 0 | |||
| 09 ديسمبر | 0 | |||
| 08 ديسمبر | +2 | |||
| 07 ديسمبر | 0 | |||
| 06 ديسمبر | 0 | |||
| 05 ديسمبر | 0 | |||
| 04 ديسمبر | 0 | |||
| 03 ديسمبر | 0 | |||
| 02 ديسمبر | +1 | |||
| 01 ديسمبر | 0 |
منشورات القناة
| 2 | Это подготовленные файлы с индивидуальными домашними задачами. Сроки сдачи определим в зависимости от даты контрольной. При желании также можно сделать проект, список рекомендованных тем будет в течение недели. Опрос по дате экзамена сейчас запущу в чате. | 548 |
| 3 | Семинар 13–14. Unique Games Conjecture.pdf | 671 |
| 4 | Кто сдаёт курс допглав в качестве курса по выбору, пришлите, пожалуйста, мне в личку ФИО и группу. Табличка с оценками будет здесь: https://docs.google.com/spreadsheets/d/1QgJq-U5aDJjDnsLLBxRB8mtxIW2XYUa_pVzk_0Hd4QA/edit?usp=sharing Домашка формально разбита на 2 файла, но скорее всего будет выдана одновременно. Проект можно сделать по желанию, он оценивается как 3 задачи из домашки, темы тоже выложу вместе с домашкой. По дате контрольной чуть позже сделаю опрос. Будет 2 даты на выбор: в мае и июне. | 814 |
| 5 | Семинар_12_PCP_с_разными_параметрами_точности_и_полноты.pdf | 834 |
| 6 | В итоге осенью будет спецкурс про PCP (вероятностно проверяемые доказательства) - у него и формальное большинство в голосовании. Кто хочет ходить или хотя бы получать информацию, приходите в чат https://t.me/+DMJlW-9mXIMzZjky | 913 |
| 7 | Внезапно уже сейчас (до завтрашнего утра) просят составлять план по спецкурсам на осенний семестр. Обычно я этот опрос делаю после завершения курса, но теперь придётся заранее. Традиционно я читаю спецкурс на одну из продвинутых тем курса сложности вычислений. Раньше было только осенью, но последние 2 года по просьбам слушателей продолжаю и весной. Вот несколько возможных тем, в комментариях будут примерные программы, а также неанонимный консультативный опрос (т.е. будет выбран не обязательно вариант, набравший большинство голосов).
Вероятностно проверяемые доказательства - это то, что мы проходим сейчас, так что подробное представление, думаю, не нужно. В этом курсе доказывается "большая" PCP-теорема и её вариации вроде трёхбитной теоремы Хостада, а также изучаются сложности приближённого решения разных конкретных задач. Этого курса давно не было, так что мои симпатии на его стороне.
Псевдослучайность и дерандомизация - этот курс читается сейчас, так что будет повторён только при очень большом интересе. Там изучаются разные псевдослучайные конструкции, которые в конечном итоге могут привести к доказательству BPP=P.
Вычислительная сложность задач поиска - изучается сложность задач поиска, прежде всего тех, где ответ точно есть (и потому вопрос о существовании ответа тривиален). Есть много приложений к разного рода экономическим моделям на базе теорем о неподвижных точках.
Рациональные интерактивные доказательства - изучается делегирование вычислений, при котором мощный сервер выполняет вычисления за деньги, максимизируя вознаграждение. Нужно так выстроить стимулы, чтобы при этом сервер выявил правильный ответ.
Можно также предлагать свои варианты, если мне один из них приглянётся, то можно будет изучить что-нибудь вместе. Имеющиеся программы курсов и опрос в комментариях. | 1 052 |
| 8 | Семинар 11. Экспандеры.pdf | 715 |
| 9 | Семинар_09_Вероятностно_проверяемые_доказательства_Задачи_аппроксимации.pdf | 838 |
| 10 | Семинар_08_Доказательства_с_нулевым_разглашением_Класс_CZK.pdf | 994 |
| 11 | Семинар_07_Доказательства_с_нулевым_разглашением_Класс_HVSZK.pdf | 854 |
| 12 | Семинар_06_Доказательства_с_нулевым_разглашением_Классы_PZK,_SZK.pdf | 934 |
| 13 | Семинар_05_Интерактивные_протоколы_для_конкретных_задач.pdf | 913 |
| 14 | Семинар_04_Последовательные_и_параллельные_запуски_интерактивных.pdf | 1 065 |
| 15 | Семинар 03. Связь классов IP и AM.pdf | 1 117 |
| 16 | Текущий вариант моей книги. Материал допглав с последней версии почти не менялся, но, возможно, вам будет интересен небольшой обзор неразрешимых задач, появившийся в разделе 2.2.1. | 972 |
| 17 | +1 Семинар_01_Интерактивные_доказательства.pdf | 1 048 |
| 18 | Это предварительная версия программы курса. По темам, как обычно, взято с запасом, и ещё будет дополнен раздел про систему оценки. | 1 145 |
| 19 | Традиционно в весеннем семестре этот канал используется для новостей по курсу "Сложность вычислений: дополнительные главы". Этот курс обязательный для кафедры ДМ, а также входит в пул курсов по выбору в магистратуре ИВТ. Но можно его взять и просто как факультатив. В этом году будут и лекции (читаю я), и семинары (ведёт Илья Степанов), по четвергам в 10:45 и 12:20, соответственно, всё в 202 НК. Сегодня будет две лекции, в следующий раз - 2 семинара. Начало сегодня, так что до скорой встречи! | 1 002 |
| 20 | В табличке появился столбец "Дата экзамена" и отдельный лист для запросов о переносе. Перенос гарантируется в таких случаях:
- вы из группы блокчейн, тогда можете сдавать в любой день
- вы перешли на семинары в другую группу, но хотите сдавать по графику своей
- вы нашли, с кем поменяться
В остальных случаях перенос не гарантируется, но можете написать свою причину на листе или мне лично. | 1 160 |
