"Efficient Checking of Polynomials and Proofs and the Hardness of Appoximation Problems" - читать интересную книгу автора (Madhu Sudan)