MIT
Lecture 26: coNP ⊆ IP
Data Science, Analytics & Computer TechnologyComputer ScienceScience & MathMathematicsEngineering
Om kurset
Description: Quickly reviewed last lecture. Discussed the arithmetization of Boolean formulas. Finished the theorem: #\(SAT\) ∈ IP and concluded that coNP ⊆ IP. Instructor: Prof. Michael Sipser