44:28duration 44 minutes 28 seconds

Centering Equity in Graduate Education

Professor Michal Kurlaender, UC Davis

07:50duration 7 minutes 50 seconds

ECS 220 5c:6.6 why is it hard to prove P neq NP

06:08duration 6 minutes 8 seconds

ECS 220 5a:6.4-2 P^SAT and P^NP

05:09duration 5 minutes 9 seconds

ECS 220 5a:6.4-1 oracles and relativized worlds

04:31duration 4 minutes 31 seconds

ECS 220 3b:5.4-4 Max-2-SAT

05:08duration 5 minutes 8 seconds

ECS 220 3b:5.2-2 variants of Boolean…

ECS 220 3b:5.2-2 variants of Boolean satisfiability

08:40duration 8 minutes 40 seconds

ECS 220 2c:5.3-1 NAE-SAT is NP-complete

10:31duration 10 minutes 31 seconds

ECS 220 2a:4.2-2 k-SAT for k=1,2,3

04:27duration 4 minutes 27 seconds

ECS 220 1c:4.2-3 CNF-SAT

03:43duration 3 minutes 43 seconds

ECS 120 8c:4 Cook-Levin Theorem if P neq NP, then…

ECS 120 8c:4 Cook-Levin Theorem if P neq NP, then no NP-complete problem is in P

02:03duration 2 minutes 3 seconds

ECS 120 8c:2 reduction between two problems is an…

ECS 120 8c:2 reduction between two problems is an algorithm, but it does not solve either problem

09:28duration 9 minutes 28 seconds

ECS 120 8a:4 implementation in Python and the…

ECS 120 8a:4 implementation in Python and the Boolean satisfiability problem