CSE204 - Computational Complexity


Date Topic Slides Video Reference
03/29/22 The complexity classes P and NP lec1 youtube (old) notes
03/31/22 NP-completeness and the Cook-Levin Theorem lec2 youtube
04/05/22 3SAT is NP-complete, the definition of co-NP lec3 youtube
04/07/22 EXP, NEXP, Padding Arguments, and the Time Hierarchy Theorem My notes youtube (old)
04/12/22 Space complexity, Savitch's Theorem, and PSPACE completeness of QBF My notes youtube about Savitch (old)     youtube about QBF (old)
04/14/22 NL, DPATH is complete for NL, the read once certificate characterization of NL Notes on NL     Notes on read-once cert youtube about NL (old)     youtube about read-once cert
04/19/22 NL = co-NL Notes on NL = co-NL youtube (old)
04/21/22 The Polynomial Hierarchy Notes on PH youtube (old)
04/26/22 The Polynomial Hierarchy: proving equivalence of different views lec9 youtube
04/28/22 Proving that Sigma-i-SAT is complete for Sigma-i, starting discussion of circuit complexity lec10 youtube (sigma-i-SAT)     youtube (circuits)
05/03/22 The proof of Shannon's theorem, the Karp-Lipton theorem lec11     Old notes (Shannon's thm)
05/05/22 Introduction to randomized complexity classes, BPP and boosting lec12 youtube
05/10/22 BPP is in P/poly, BPP is in Sigma2 lec13 youtube
05/12/22 Interactive protocols, the 2-round protocol for Graph Non-Isomorphism lec14 youtube
05/17/22 Arthur-Merlin protocols, the class BP.NP, and the Goldwasser-Sipser set lower bound protocol lec15 youtube
05/19/22 Proving the set lower bound protocal, starting proof that #SAT is in IP, the Sumcheck protocol lec16 youtube
05/24/22 Proving the correctness of the Sumcheck protocol for #SAT, a short discussion of multiple prover protocols, and the PCP connection lec17 youtube
05/26/22 A high-level view of the PCP theorem and the connections to hardness of approximation lec18 youtube
05/31/22 The basics of cryptography, from a complexity theoretic standpoint lec19 youtube
06/02/22 Impagliazzo's five worlds, and a whirlwind tour of complexity theory lec20