Name: Lecture 25: Interactive Proof Systems, IP
Uploaded: 2021-10-06T12:45:17Z
Duration: 1 h 14 min 30 s
Description: 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

1:14:30

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