Lecture Notes · Lecture Notes
MIT OpenCourseWare
Advanced Complexity Theory
- Instructors
- Prof. Dana Moshkovitz, Mohammad Bavarian
- Term
- Spring 2016
- Level
- Graduate
- What's inside
- 4 problem sets · 1 lecture note · 37 other files · 3 web pages
- Materials open
- MIT OCW
About this course
Source: MIT OpenCourseWare 18.405J Advanced Complexity Theory, Spring 2016, Prof. Dana Moshkovitz, Mohammad Bavarian — original course page on ocw.mit.edu ↗. License: CC BY-NC-SA 4.0. Study order: MIT's own listing order, section by section. Taken from MIT's published course files, downloaded from ocw.mit.edu on September 23, 2026. How RedLectern is built.
Materials are grouped the way MIT organized them. A verified, course-wide order has not been established here.
Before you start
Prerequisites are not listed here. Check MIT's own syllabus for this course.
How this course was organized
What's here, and what isn't
- MIT's own materials here did not support a verified, course-wide order, so they are grouped by section instead.
Not included here
5 items from the source could not be safely included:
- MIT's page format for this item wasn't recognized clearly enough to place it safely. (5 items)
Materials by section
Grouped by section, as MIT organized them. Not sequenced or ordered.
Lecture Notes
16 files
- Circuits and Karp-Lipton (Courtesy of anonymous MIT student. Used with permission.) Download
- Relativization (Courtesy of Di Liu. Used with permission.) Download
- PH Time-Space Tradeoffs (Courtesy of anonymous MIT student. Used with permission.) Download
- Unique-SAT, Parity-SAT, and Approximate Counting (Courtesy of anonymous MIT student. Used with permission.) Download
- 18.405J S16 Lecture 5: Toda's Theorem Download
- 18.405J S16 Lecture 6: AC0 Lower Bounds and Switching Lemma Download
- 18.405J S16 Lecture 7: Razborov-Smolensky Download
- 18.405J S16 Lecture 12: Randomized Communication Download
- 18.405J S16 Lecture 14: Intro to PCP Download
- 18.405J S16 Lecture 16: Exponential Sized PCP Download
- 18.405J S16 Lecture 16: Linearity Testing Download
- 18.405J S16 Lecture 17: PCP with Polylogarithmic Queries and Sum Check Download
- 18.405J S16 Lecture 18: Unique Games Conjecture and Hardness for MAX-2LIN Download
- 18.405J S16 Lecture 20: P vs BPP 1 Download
- 18.405J S16 Lecture 21: P vs BPP 2 Download
- 18.405J S16 Lecture 22: Derandomization Implies Circuit Lower Bounds Download
Assignments
- Advanced Complexity Theory: Problem Set 1 Download
- Advanced Complexity Theory: Problem Set 2 Download
- Advanced Complexity Theory: Problem Set 3 Download
- Advanced Complexity Theory: Problem Set 4 Download
Projects
16 files
- Advanced Complexity Theory: The CIS Problem and Related Results in Graph Theory Download
- Advanced Complexity Theory: A Survey of Communication Complexity for Proving Lower Bound of Data Structures in Cell-Probe Model Download
- Advanced Complexity Theory: Fourier Analysis and Inapproximability for MAX-CUT: A Case Study Download
- Advanced Complexity Theory: Large Communication Complexity Classes Download
- Advanced Complexity Theory: Multiparty Communication Complexity for Set Disjointness: A Lower Bound Download
- Advanced Complexity Theory: A Survey of Parallel Repetition and Projection Games Download
- Advanced Complexity Theory: The Pattern Matrix Method Download
- Advanced Complexity Theory: The Polynomial Method and All-Pairs Shortest Paths Download
- Advanced Complexity Theory: Some Conversations Simply Cannot Be Concise: Separations between In formation and Communication Complexity for Protocols Download
- Advanced Complexity Theory: Descriptive Complexity and Some Unusual Quantifiers Download
- Advanced Complexity Theory: Quantum Computing and #P-complete Problems Download
- Advanced Complexity Theory: Random Oracles, the Polynomial-Time Hierarchy, and Constant-depth Circuits: A Survey Download
- Advanced Complexity Theory: On Polynomial Lower Bounds Based on Complexity of SAT Problems Download
- Advanced Complexity Theory: A Survey of the Complexity of Succinctly Encoded Problems Download
- Advanced Complexity Theory: Unambiguous Computation Download
- Advanced Complexity Theory: The Zig-Zag Product and USTCON ∈ L Download
Other materials from this course
- Advanced Complexity Theory: A Survey of Parallel Repetition and Projection Games Download
- Advanced Complexity Theory: The Pattern Matrix Method Download
- Advanced Complexity Theory: The Polynomial Method and All-Pairs Shortest Paths Download
- Advanced Complexity Theory: Quantum Computing and #P-complete Problems Download
- Advanced Complexity Theory: A Survey of the Complexity of Succinctly Encoded Problems Download
Course outline
Lecture Notes · Lecture Notes
Lecture 2: Relativization (PDF) (Courtesy of Di Liu. Used with permission.)
Lecture Notes · Lecture Notes
Lecture 3: Circuits and Karp-Lipton (PDF) (Courtesy of anonymous MIT student. Used with permission.)
Lecture Notes · Lecture Notes
Lecture 4: Unique-SAT, Parity-SAT, and Approximate Counting (PDF) (Courtesy of anonymous MIT student. Used with permission.)
Lecture Notes · Lecture Notes
Lecture 5: Toda’s Theorem (PDF) (Courtesy of Ilya Razenshteyn. Used with permission.)
Lecture Notes · Lecture Notes
Lecture 6: AC0 Lower Bounds and Switching Lemma (PDF) (Courtesy of Ilya Razenshteyn. Used with permission.)
Lecture Notes · Lecture Notes
Lecture 7: Razborov-Smolensky (PDF) (Courtesy of Brian Chen. Used with permission.)
Lecture Notes · Lecture Notes
Lecture 12: Randomized Communication (PDF) (Courtesy of Andrew He. Used with permission.)
Lecture Notes · Lecture Notes
Lecture 13: Karcher-Wigderson Games and KRW <Lecture notes not available>
Lecture Notes · Lecture Notes
Lecture 14: Intro to PCP (PDF)
Lecture Notes · Lecture Notes
Lecture 15: PCP Theorem Recap and FGLSS Reduction <Lecture notes not available>
Lecture Notes · Lecture Notes
Lecture 16: Linearity Testing (PDF) (Courtesy of anonymous MIT student. Used with permission.) Exponential Sized PCP (PDF) (Courtesy of Haoran Xu. Used with permission.)
Lecture Notes · Lecture Notes
Lecture 17: PCP with Polylogarithmic Queries and Sum Check (PDF) (Courtesy of Michael Forbes. Used with permission.)
Lecture Notes · Lecture Notes
Lecture 18: Unique Games Conjecture and Hardness for MAX-2LIN (PDF) (Courtesy of anonymous MIT student. Used with permission.)
Lecture Notes · Lecture Notes
Lecture 19: Parallel Repetition from Fortification <Lecture notes not available>
Lecture Notes · Lecture Notes
Lecture 20: P vs BPP 1 (PDF) (Courtesy of anonymous MIT student. Used with permission.)
Lecture Notes · Lecture Notes
Lecture 21: P vs BPP 2 (PDF) (Courtesy of anonymous MIT student. Used with permission.)
Lecture Notes · Lecture Notes
Lecture 22: Derandomization Implies Circuit Lower Bounds (PDF) (Courtesy of anonymous MIT student. Used with permission.)
Lecture Notes · Lecture Notes
Lecture 23: Natural Proofs <Lecture notes not available>
MIT OpenCourseWare, Prof. Dana Moshkovitz, Mohammad Bavarian, 18.405J Advanced Complexity Theory, Spring 2016.
License: CC BY-NC-SA 4.0 · Edition: Spring 2016 · Open the original course on OCW ↗
Organized by RedLectern, independent of MIT and not endorsed by MIT.
Per-resource rights are recorded on each resource; All-Rights-Reserved items are link-only, never mirrored.
