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 11 of 11 lectures

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

Scholar · University

Chapters · Duration

Strange Gaps in the Local Time Hierarchy

Strange Gaps in the Local Time Hierarchy

Theory & Algos·Research Seminar · Seth Pettie · University of Michigan

Seth Pettie University of Michigan

56:46

Lecture 20: Dynamic Graphs II (6.851)

Lecture 20: Dynamic Graphs II (6.851)

6.851 · Lec 20 · Erik Demaine · MIT

Erik Demaine MIT

1:24:47

Lecture 14: Depth-First Search (DFS), Topological Sort (6.006)

Lecture 14: Depth-First Search (DFS), Topological Sort (6.006)

6.006 · Lec 14 · Erik Demaine · MIT

Erik Demaine MIT

50:31

Lecture 13: Breadth-First Search (BFS) (6.006)

Lecture 13: Breadth-First Search (BFS) (6.006)

6.006 · Lec 13 · Erik Demaine · MIT

Erik Demaine MIT

50:48

Lecture 12: Greedy Algorithms: Minimum Spanning Tree (6.046J)

Lecture 12: Greedy Algorithms: Minimum Spanning Tree (6.046J)

6.046J · Lec 14 · Erik Demaine · MIT

Erik Demaine MIT

1:22:10

Lecture 16: Dijkstra (6.006)

Lecture 16: Dijkstra (6.006)

6.006 · Lec 16 · Srini Devadas · MIT

Srini Devadas MIT

51:26

Lecture 11: Dynamic Programming: All-Pairs Shortest Paths (6.046J)

Lecture 11: Dynamic Programming: All-Pairs Shortest Paths (6.046J)

6.046J · Lec 13 · Erik Demaine · MIT

Erik Demaine MIT

1:21:49

Lecture 18: Speeding up Dijkstra (6.006)

Lecture 18: Speeding up Dijkstra (6.006)

6.006 · Lec 18 · Srini Devadas · MIT

Srini Devadas MIT

53:16

Lecture 17: Bellman-Ford (6.006)

Lecture 17: Bellman-Ford (6.006)

6.006 · Lec 17 · Srini Devadas · MIT

Srini Devadas MIT

48:51

Lecture 15: Single-Source Shortest Paths Problem (6.006)

Lecture 15: Single-Source Shortest Paths Problem (6.006)

6.006 · Lec 15 · Srini Devadas · MIT

Srini Devadas MIT

53:15

Lecture 22: Graph Optimization (6.172)

Lecture 22: Graph Optimization (6.172)

6.172 · Lec 21 · Julian Shun · MIT

Julian Shun MIT

1:18:40

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)