Catalog Β· Algorithmic Lower Bounds: Fun with Hardness Proofs Lecture 16 of 23 Lecture 16: NP and PSPACE Video Games β Previous Lecture 15: #P and ASP Next β Lecture 17: Nondeterministic Constraint Logic β Mark complete Materials Transcript (PDF) β transcript