Lec17-ProvingNPCompleteness.pdf