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