25 03/14 M NP-Completeness 3 (NP, co-NP, NP-hard, Independent Set) [Kozen 21, 22, 23, 24] [CLR 36] 26 03/16 W NP-Completeness 4 (Independent Set and Cook's Theorem ...