"Lectures on Proof Verification and Approximation Algorithms 1997" - читать интересную книгу автора (Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger)