Proof verification and the hardness of approximation problems

Proof verification and the hardness of approximation problems