Revisão rápida da última aula. Cobriu NP-completude; e ; ≤; e ≤. Discutiu uma estratégia para provar a NP-completude com uma redução de , construindo gadgets que simulam variáveis e cláusulas.

Instrutor: Prof. Michael Sipser