Computational Complexity: A Modern Approach
Sanjeev Arora and Boaz Barak
This site has moved
here
.