Video details loaded
HomeMIT 18.404J Theory of Computation, Fall 2020Lecture 19: Games, Generalized Geography
Lecture 19: Games, Generalized Geography
1:19:38
Description: Quickly reviewed last lecture. Discussed a connection between games and quantifiers. Described the formula game and showed that generalized geography is PSPACE-complete. Introduced log space: L and NL. Defined the configuration graph to prove NL ⊆ P.
Instructor: Prof. Michael Sipser