25. Интерактивные системы доказательств, IP

MIT 18.404J Теория вычислений, осень 2020 Преподаватель: Майкл Сипсер Полный курс: https://ocw.mit.edu/18-404JF20 Плейлист на YouTube:    • MIT 18.404J Theory of Computation, Fall 2020   Кратко повторили материал прошлой лекции. Представили модель интерактивной системы доказательств. Определили класс IP. Начали показывать, что #SAT принадлежит IP, чтобы доказать, что coNP является подмножеством IP. Лицензия: Creative Commons BY-NC-SA Более подробная информация на https://ocw.mit.edu/terms Больше курсов на https://ocw.mit.edu Поддержите OCW по ссылке http://ow.ly/a1If50zVRlQ Мы приветствуем конструктивные комментарии и обсуждения на YouTube-канале OCW и в других социальных сетях. Личные нападки, разжигание ненависти, троллинг и неуместные комментарии запрещены и могут быть удалены. Подробнее см. на сайте https://ocw.mit.edu/comments.