Lec17-ProvingNPCompleteness-annotated.pdf