Computational Complexity
by Sanjeev Arora, Boaz Barak
Category: Computers

New and classical results in computational complexity, including interactive proofs, PCP, derandomization, and quantum computation. Ideal for graduate students.