April 30, 2026
Thursday of Week 16
Topic of the day
- Verifiability, NP, and NP-completeness
Suggested reading
- Section 10.1.3-10.2.1 from Hopcroft, Motwani, and Ullman, Introduction to automata theory, languages, and computation, 2e
Assignments
Upcoming
- Exam 2 (08 May)