City: Saint Petersburg Novosibirsk Kazan Language: Русский English

Interactive proofs
Saint Petersburg / spring 2019, посмотреть все семестры

Enroll in the course to get notifications and to be able to submit home assignments.
Register to enroll now Login

Обычно под доказательством понимают некоторый текст, убеждающий читателя в справедливости некоторого утверждения. В математике подразумевается, что доказательство проверяется алгоритмически и может иметь вид цепочки формул некоторой логической системы, либо быть более общим. Например, предъявление решения головоломки доказывает, что решение существует. Если алгоритм проверки доказательства работает за полиномиальное время, то задача определения истинности относится к классу NP. Если рассмотреть вероятностные алгоритмы проверки, получится чуть более широкий класс MA. Это самый широкий класс, для которого есть "публикуемые доказательства", которые можно эффективно проверить без участия автора.

В теории интерактивных доказательств концепция полностью меняется. Теперь доказательство это не текст, а диалог, как на устном экзамене или докладе на научном семинаре. Участники диалога - прувер, стремящийся доказать некоторое утверждение, и верификатор, который должен проверить корректность. Прувер должен суметь доказать любое верное утверждение и не должен доказать никакое неверное (с высокой вероятностью). При этом прувер никак вычислительно не ограничен, а верификатор должен использовать только полиномиальные вероятностные вычисления. Класс доказуемых в этом смысле утверждений называется IP, мини-курс будет посвящён изучению этого класса и его вариаций. На первых двух лекциях мы изучим базовую теорию и докажем теорему IP=PSPACE. На следующих двух лекциях мы познакомимся с теорией доказательств с несколькими пруверами и новым подходом - теорией рациональных интерактивных доказательств.