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

Доказательства с несколькими пруверами
Интерактивные доказательства


Что: Лекция
Когда: Воскресенье, 24 марта 2019, 11:15–12:45
Где: ПОМИ РАН

Описание

Если пруверов несколько, это ограничивает их возможности по вводу верификатора в заблуждение, потому что в ходе диалога можно устраивать очную ставку. За счёт этого класс доказуемых утверждений растёт ещё сильнее. А именно, верна теорема MIP=NEXP. На лекции мы познакомимся с основными идеями, лежащими в основе этого результата.

Видео