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