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