Lecture 25: Interactive Proof Systems, IP

Om kurset

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