Catalog · Theory of Computation Lecture 16 of 25 Lecture 17: Space Complexity, PSPACE, Savitch's Theorem ← Previous Lecture 16: Cook-Levin Theorem Next → Lecture 18: PSPACE-Completeness ✓ Mark complete Materials Transcript (PDF) ↗ transcript