Catalog Β· Theory of Computation Lecture 13 of 25 Lecture 14: P and NP, SAT, Poly-Time Reducibility β Previous Lecture 12: Time Complexity Next β Lecture 15: NP-Completeness β Mark complete Materials Transcript (PDF) β transcript