Algorithms & Theory

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

13 courses · 77 standalone talks · 370 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)

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

Scholar · University

Chapters · Duration

Approximately Packing Dijoins Via Nowhere-Zero Flows (SIMONS-TCS-ML)

Approximately Packing Dijoins Via Nowhere-Zero Flows (SIMONS-TCS-ML)

SIMONS-TCS-ML · Lec 7 · R Ravi · Simons Institute (UC Berkeley)

R Ravi Simons Institute (UC Berkeley)

33:46

The Role of Randomness in Local Distributed Graph Problems

The Role of Randomness in Local Distributed Graph Problems

Theory & Algos·Research Seminar · Yannic Maus · Computational Complexity

Yannic Maus Computational Complexity

19:03

Algorithms Part 2: Graphs, MSTs, and Shortest Paths

Algorithms Part 2: Graphs, MSTs, and Shortest Paths

Theory & Algos·Standalone Lecture

Nerd's lesson

9:36:22

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

Graph Theory and Coloring (MIT 6.042J Mathematics for Computer Science, Lecture 6)

Graph Theory and Coloring (MIT 6.042J Mathematics for Computer Science, Lecture 6)

6.042J · Lec 6 · Tom Leighton · MIT

Tom Leighton MIT

1:22:51

Lecture 10: Graph Theory III (6.042J)

Lecture 10: Graph Theory III (6.042J)

6.042J · Lec 10 · Marten van Dijk · MIT

Marten van Dijk MIT

1:22:50

More categories

Systems & CS (505)Mathematics (528)Physics & Cosmology (368)AI & Machine Learning (283)History & Humanities (372)Philosophy & Ethics (286)Biology & Neuroscience (334)Economics & Finance (323)Engineering & Robotics (334)