Theoretische Informatik, Woche 12: NP-Vollständigkeit und Pseudopolynomialität