"Computational Complexity: A Modern Approach" - читать интересную книгу автора (S. Arora, B. Barak)