Lecture 7

Today we covered: Permanent is #P-complete (statement); Toda's Theorem; statements of basic space theorems (non-deterministic space $s$ in deterministic $2^{O\left(s\right)}$ time, Savitch's Theorem, Immerman-Szelepcsenyi Theorem).