26. coNP является подмножеством IP.

MIT 18.404J Теория вычислений, осень 2020 Преподаватель: Майкл Сипсер Полный курс: https://ocw.mit.edu/18-404JF20 Плейлист на YouTube:    • MIT 18.404J Theory of Computation, Fall 2020   Кратко повторил материал прошлой лекции. Обсудил арифметизацию булевых формул. Завершил теорему: #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.