Lec16-ProvingNPCompleteness.pdf