Algorithms & Theory

Algorithms, data structures, computational complexity, cryptography, formal verification, logic, and type theory.

13 courses · 79 standalone talks · 373 lectures

All Theory & Algos Algorithms & Data Structures (206)Computational Complexity (88)Cryptography (41)Probability & Information Theory (28)Neuroscience & Cognition (26)Calculus & Analysis (25)Complex Systems & Scaling (16)Computer Architecture (14)Signal Processing & Robotics (13)Dynamic Programming (13)

Lecturej/k navigate · c chapters · s save · x watched

Scholar · University

Chapters · Duration

Lecture 11: NP-Completeness and the Cook-Levin Theorem (15-455)

Lecture 11: NP-Completeness and the Cook-Levin Theorem (15-455)

15-455 · Lec 11 · Yu Zhao · Carnegie Mellon University

Yu Zhao Carnegie Mellon University

1:16:03

Lecture 16: Cook-Levin Theorem (18.404J)

Lecture 16: Cook-Levin Theorem (18.404J)

18.404J · Lec 15 · Michael Sipser · MIT

Michael Sipser MIT

1:18:27

Lecture 6: Quasilinear Cook--Levin Theorem (15-855)

Lecture 6: Quasilinear Cook--Levin Theorem (15-855)

15-855 · Lec 6 · Ryan O'Donnell · Carnegie Mellon University

Ryan O'Donnell Carnegie Mellon University

1:17:49

More categories

Systems & CS (508)Mathematics (531)Physics & Cosmology (369)AI & Machine Learning (283)History & Humanities (372)Philosophy & Ethics (287)Biology & Neuroscience (335)Economics & Finance (323)Engineering & Robotics (334)