The previous lecture in this series is here. The next lecture in this series is here.
Quickly reviewed last lecture. Proved Savitch’s Theorem: NSPACE(f(n)) is a subset of SPACE(f 2(n)). Also proved PSPACE-completeness and TQBF is PSPACE-complete.
These videos are of a lecture course by Michael Sipser at the Massachusetts Institute of Technology in 2020, and made available as part of its OpenCourseWare initiative.