Algorithms & Theory

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

13 courses · 77 standalone talks · 370 total lectures

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

Showing 20 of 28 lectures

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

Scholar · University

Chapters · Duration

Dancing Links: A Data Structure for Exact Covering Problems

Dancing Links: A Data Structure for Exact Covering Problems

Systems & CS·Standalone Lecture · Donald Knuth · Stanford University

Donald Knuth Stanford University

1:30:25

Latent Variable models and Subset Smoothing (SIMONS-TCS-ML)

Latent Variable models and Subset Smoothing (SIMONS-TCS-ML)

SIMONS-TCS-ML · Lec 18 · Ravi Kannan · Simons Institute (UC Berkeley)

Ravi Kannan Simons Institute (UC Berkeley)

29:26

In Context (Clojure/Conj 2026)

In Context (Clojure/Conj 2026)

Systems & CS·Conference Talk · Rich Hickey · Clojure/conj

Rich Hickey Clojure/conj

52:10

Extremal Combinatorics Meets Algorithms and Data Structures

Extremal Combinatorics Meets Algorithms and Data Structures

Theory & Algos·Research Seminar · Parinya Chalermsook · University of Oxford

Parinya Chalermsook University of Oxford

50:24

MIT 6.006 Lecture 7: Decision-Tree Ω(n log n) Lower Bound, Counting Sort & Radix Sort

MIT 6.006 Lecture 7: Decision-Tree Ω(n log n) Lower Bound, Counting Sort & Radix Sort

6.006 · Lec 7 · Erik Demaine · MIT

Erik Demaine MIT

52:08

Dynamic Programming III (MIT 6.8210, Lecture 6)

Dynamic Programming III (MIT 6.8210, Lecture 6)

6.832 · Lec 6 · Russ Tedrake · MIT

Russ Tedrake MIT

1:19:46

Matching Problems (MIT 6.042J Mathematics for Computer Science, Lecture 7)

Matching Problems (MIT 6.042J Mathematics for Computer Science, Lecture 7)

6.042J · Lec 7 · Tom Leighton · MIT

Tom Leighton MIT

1:22:40

Dynamic Programming II (MIT 6.8210, Lecture 4)

Dynamic Programming II (MIT 6.8210, Lecture 4)

6.832 · Lec 4 · Russ Tedrake · MIT

Russ Tedrake MIT

1:22:07

Lecture 18: The Hypercontractivity Theorem (15-859)

Lecture 18: The Hypercontractivity Theorem (15-859)

15-859 · Lec 18 · Ryan O'Donnell · Carnegie Mellon University

Ryan O'Donnell Carnegie Mellon University

1:17:32

Lecture 11: Level-1 Inequality and the 2/π Theorem (15-859)

Lecture 11: Level-1 Inequality and the 2/π Theorem (15-859)

15-859 · Lec 11 · Ryan O'Donnell · Carnegie Mellon University

Ryan O'Donnell Carnegie Mellon University

1:19:16

Hidden Markov Models (CS 188)

Hidden Markov Models (CS 188)

CS 188 · Lec 18 · Pieter Abbeel · UC Berkeley

Pieter Abbeel UC Berkeley

1:25:00

Lecture 7: Randomization: Skip Lists (6.046J)

Lecture 7: Randomization: Skip Lists (6.046J)

6.046J · Lec 9 · Srinivas Devadas · MIT

Srinivas Devadas MIT

1:20:56

Lecture 17: Huffman Coding (18.200)

Lecture 17: Huffman Coding (18.200)

18.200 · Lec 17 · Ankur Moitra · MIT

Ankur Moitra MIT

1:17:59

Lecture 9: Majority, LTFs, and the CLT (15-859)

Lecture 9: Majority, LTFs, and the CLT (15-859)

15-859 · Lec 9 · Ryan O'Donnell · Carnegie Mellon University

Ryan O'Donnell Carnegie Mellon University

1:17:29

Lecture 2: Probability Densities and BLR Linearity Testing (15-859)

Lecture 2: Probability Densities and BLR Linearity Testing (15-859)

15-859 · Lec 2 · Ryan O'Donnell · Carnegie Mellon University

Ryan O'Donnell Carnegie Mellon University

1:12:46

Lecture 5a: Markov and Chebyshev Inequalities (15-750)

Lecture 5a: Markov and Chebyshev Inequalities (15-750)

15-750 · Lec 13 · Ryan O'Donnell · Carnegie Mellon University

Ryan O'Donnell Carnegie Mellon University

38:22

Lecture 21: Random Variables (6.042J)

Lecture 21: Random Variables (6.042J)

6.042J · Lec 21 · Tom Leighton · MIT

Tom Leighton MIT

1:22:59

Lecture 19: Conditional Probability (6.042J)

Lecture 19: Conditional Probability (6.042J)

6.042J · Lec 19 · Tom Leighton · MIT

Tom Leighton MIT

1:21:46

Lecture 5b: Proof of the Chernoff Bound (15-750)

Lecture 5b: Proof of the Chernoff Bound (15-750)

15-750 · Lec 14 · Ryan O'Donnell · Carnegie Mellon University

Ryan O'Donnell Carnegie Mellon University

24:34

Lecture 4a: Central Limit Theorem (15-750)

Lecture 4a: Central Limit Theorem (15-750)

15-750 · Lec 10 · Ryan O'Donnell · Carnegie Mellon University

Ryan O'Donnell Carnegie Mellon University

24:22

More categories

Systems & CS (504)Mathematics (518)Physics & Cosmology (366)AI & Machine Learning (283)History & Humanities (371)Philosophy & Ethics (286)Biology & Neuroscience (332)Economics & Finance (323)Engineering & Robotics (333)