15. NP-Completeness
MIT 18.404J Theory of Computation, Fall 2020 Instructor: Michael Sipser View the complete course: https://ocw.mit.edu/18-404JF20 YouTube Playlist: • MIT 18.404J Theory of Computation, Fall 2020 Quickly reviewed last lecture. Covered NP-completeness; SAT and 3SAT; and more. Discussed a strategy for proving NP-completeness with a reduction from 3SAT by constructing gadgets that simulate variables and clauses. License: Creative Commons BY-NC-SA More information at https://ocw.mit.edu/terms More courses at https://ocw.mit.edu Support OCW at http://ow.ly/a1If50zVRlQ We encourage constructive comments and discussion on OCW’s YouTube and other social media channels. Personal attacks, hate speech, trolling, and inappropriate comments are not allowed and may be removed. More details at https://ocw.mit.edu/comments.

16. Cook-Levin Theorem

16. Complexity: P, NP, NP-completeness, Reductions

Hamiltonian Path is NP-Complete (Directed, Reduction from 3SAT)

Donald Knuth: P=NP | AI Podcast Clips

14. P and NP, SAT, Poly-Time Reducibility

Lecture 23: Computational Complexity

Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson

8. NP-Hard and NP-Complete Problems

NP Completeness 4 - Satisfiability and 3SAT

Intensionality, Invariance, and Univalence, Steve Awodey

We're 99.9% sure this pattern is true, but no one can prove it

Hamiltonian Cycle is NP-Complete (Algorithms 24)

P vs. NP and the Computational Complexity Zoo

Mario is (NP-) Hard

What is a polynomial-time reduction? (NP-Hard + NP-complete)

Beyond Computation: The P versus NP question (panel discussion)

12. Time Complexity

Cook-Levin Theorem: Full Proof (SAT is NP-complete)

