Name: Lecture 18: PSPACE-Completeness
Uploaded: 2021-10-06T12:44:33Z
Duration: 1 h 17 min 36 s
Description: Description: Quickly reviewed last lecture. Proved Savitch’s Theorem: NSPACE\((f(n))\) ⊆ SPACE\((f^2 (n))\). Also proved PSPACE-completeness and \(TQBF\) is PSPACE-complete. Instructor: Prof. Michael Sipser

1:17:36

Description: Quickly reviewed last lecture. Proved Savitch’s Theorem: NSPACE\((f(n))\) ⊆ SPACE\((f^2 (n))\). Also proved PSPACE-completeness and \(TQBF\) is PSPACE-complete.

Instructor: Prof. Michael Sipser