Video Lectures
Lecture 25: Interactive Proof Systems, IP
Description: Quickly reviewed last lecture. Introduced the interactive proof system model. Defined the class IP. Showed \(\overline{ISO}\) ∈ IP. Started showing #\(SAT\) ∈ IP to prove that coNP ⊆ IP.
Instructor: Prof. Michael Sipser
Course Info
Instructor
As Taught In
Fall
2020
Level
Topics
Learning Resource Types
theaters
Lecture Videos
assignment
Problem Sets
grading
Exams
notes
Lecture Notes
Instructor Insights
