"P, NP, and NP-completeness: The basics of computational complexity" - читать интересную книгу автора (Goldreich O.)