Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Коммуникационная сложность
Санкт-Петербург / весна 2017, посмотреть все семестры

Запишитесь на курс, чтобы получать уведомления и иметь возможность сдавать домашние задания. Для записи требуется регистрация на сайте.
Перейти к регистрации Войти

Простейшая модель в теории коммуникационной сложности такова. Имеются два участника (компьютера или человека), которые совместно хотят решить некоторую задачу. Ни один из них самостоятельно решить задачу не может (например, у каждого из них недостаточно данных или ресурсов). Поэтому им необходимо общаться. Коммуникационная сложность измеряет минимально возможное количество битов, которым необходимо обменяться участникам, чтобы решить задачу. Время, необходимое для проведения локальных вычислений каждым из участников, не принимается во внимание — в этом принципиальное отличие от теории сложности вычислений.

Примерная программа

  • Логарифмические верхние оценки коммуникационной сложности функций MED и CIS.

  • Вероятностные протоколы с логарифмической и константной коммуникацией для предиката равенства.

  • Связь детерминированной сложности с разбиением на одноцветные прямоугольники.

  • Методы доказательства нижних оценок для разбиений и покрытий прямоугольниками.

  • Теорема (Aho-Ullman-Yannakakis, Halstenberg-Reischuk) о квадратичной верхней оценке детерминированной сложности через недетерминированную

  • Теорема Разборова о квадратичном разрыве между недетерминированной и детерминированной сложностями.

  • Вероятностный протокол логарифмической сложности для GT (U. Feige, D. Peleg, P. Raghavan, and E. Upfal)

  • Сравнение вероятностных сложностей с общими и приватными битами (теорема Ньюмана).

  • Безошибочная вероятностная сложность предиката \(DISJ_{mk}\) (теорема Хостада-Вигдерсона).

  • Пестрота. Линейная нижняя оценка вероятностной сложности предиката IP (Chor--Goldreich).

  • Линейная нижняя оценка вероятностной сложности предиката DISJ (Kalyanasundaram--Schnitger, 1992; Razborov, 1992; Bar-Yossef--Jayram--Kumar, 2004; Braverman--Moitra, 2013)

  • Информационная сложность протоколов, теорема о прямой сумме (Барак--Браверман--Чен--Рао).

  • Сжатие протоколов (Барак--Браверман--Чен--Рао).

  • Коммуникационная сложность отношений. Связь между формулами в базисе И, ИЛИ, НЕ и коммуникационной сложностью (Карчмер-Вигдерсон).

  • Отношение FORK и нижняя оценка \(\Omega(\log l \log w)\) глубины коммуникационного протокола для него. Сверх-логарифмическая нижняя оценка глубины монотонных формул для булевой функции s-t-СВЯЗНОСТЬ с помощью отношения FORK.

Литература

Kushilevitz, E. and N. Nisan. Communication complexity. Cambridge University Press, 1997.

Rao A., Yehudayoff A. Communication complexity. A draft of a textbook https://www.dropbox.com/s/ni8j3mmq98cr4ur/book.pdf?dl=0

Дата и время Занятие Место Материалы
25 марта
17:20–18:50
Лекция 1, Лекция ПОМИ РАН слайды,  видео
25 марта
19:10–20:40
Лекция 2, Лекция ПОМИ РАН слайды,  видеофайлы
26 марта
11:15–12:45
Лекция 3, Лекция ПОМИ РАН слайды,  видео
26 марта
13:00–14:30
Лекция 4, Лекция ПОМИ РАН слайды,  видео
26 марта
15:30–17:00
Лекция 5, Лекция ПОМИ РАН слайды,  видео
01 апреля
17:20–18:50
Лекция 6, Лекция ПОМИ РАН слайды,  видео
01 апреля
19:10–20:40
Лекция 7, Лекция ПОМИ РАН видео,  файлы
02 апреля
11:15–12:45
Лекция 8, Лекция ПОМИ РАН видео
02 апреля
13:00–14:30
Лекция 9, Лекция ПОМИ РАН видео,  файлы
02 апреля
15:30–17:00
Лекция 10, Лекция ПОМИ РАН видео,  файлы