Video details loaded
HomeMIT 18.404J Theory of Computation, Fall 2020Lecture 14: P and NP, SAT, Poly-Time Reducibility

Lecture 14: P and NP, SAT, Poly-Time Reducibility

1:19:23

Description: Quickly reviewed last lecture. Defined NTIME\((t(n))\) complexity classes and the class NP. Showed \(COMPOSITES\) ∈ NP. Discussed the P versus NP question. Proved \(A\)CFG ∈ P. Introduced the satisfiability problem \(SAT\) and polynomial-time reducibility.

Instructor: Prof. Michael Sipser