Video details loaded
HomeMIT 18.404J Theory of Computation, Fall 2020Lecture 15: NP-Completeness
Lecture 15: NP-Completeness
1:25:53
Description: Quickly reviewed last lecture. Covered NP-completeness; \(SAT\) and \(3SAT\); \(3SAT\) ≤\(_P\) \(HAMPATH\); and \(3SAT\) ≤\(_P\) \(CLIQUE\). Discussed a strategy for proving NP-completeness with a reduction from \(3SAT\) by constructing gadgets that simulate variables and clauses.
Instructor: Prof. Michael Sipser