04:16duration 4 minutes 16 seconds
ECS 120 5a:2 definition of separating extension…
ECS 120 5a:2 definition of separating extension and L-equivalence
11:16duration 11 minutes 16 seconds
ECS 220 8c:8.6-2 PSPACE-completeness
04:57duration 4 minutes 57 seconds
ECS 220 6c:7.2-1 arithmetical hierarchy
06:08duration 6 minutes 8 seconds
ECS 220 5a:6.4-2 P^SAT and P^NP
09:43duration 9 minutes 43 seconds
ECS 220 4a:6.1-2 observations about the…
ECS 220 4a:6.1-2 observations about the polynomial hierarchy and the great collapse
11:56duration 11 minutes 56 seconds
ECS 220 4a:6.1-1 the polynomial hierarchy