Сложность вычислений, доп. главы. Интерактивные доказательства

00:07 - организационная информация 04:59 - темы, обзор классов 36:27 - интерактивные доказательства 43:48 - примеры классов 1:05:16 - класс dIP 1:10:41 - вложение IP в PSPACE Лекция от Лектор: Д.В. Мусатов Снимал: Максим Утушкин Монтировал: Букреев Фёдор