"Computational complexity: A modern approach" - читать интересную книгу автора (Sanjeev Arora, Boaz Barak)