Video details loaded
HomeMIT 18.404J Theory of Computation, Fall 2020Lecture 21: Hierarchy Theorems
Lecture 21: Hierarchy Theorems
1:21:57
Description: Quickly reviewed last lecture. Finished Immerman-Szelepcsényi theorem: NL = coNL. Introduced and proved the time and space hierarchy theorems. Discussed using the hierarchy theorems to separate certain complexity classes.
Instructor: Prof. Michael Sipser