Video details loaded
HomeMIT 18.404J Theory of Computation, Fall 2020Lecture 16: Cook-Levin Theorem
Lecture 16: Cook-Levin Theorem
1:18:27
Description: Quickly reviewed last lecture. Proved Cook-Levin Theorem: \(SAT\) is NP-complete. Also proved \(3SAT\) is NP-complete.
Instructor: Prof. Michael Sipser