Undergraduate Complexity Theory · Lec 1·Course Introduction · Ryan O'Donnell · Carnegie Mellon University
1:19:32
Academic Discipline
Algorithms & Theory
Algorithms, data structures, computational complexity, cryptography, formal verification, logic, and type theory.
14courses72standalone talks340total lectures
Subfields
Computational Complexity— Complexity classes, P vs NP, reductions, Turing machines, circuit complexity, and PCP theorems.
12 topicsjknavigate↵watchcchaptersssavexwatched
Save
Graduate Computational Complexity Theory · Lec 1·Formal Methods & Type Theory · Ryan O'Donnell · Carnegie Mellon University
1:20:23