Computational Complexity: A Modern Approach

Sanjeev Arora and Boaz Barak

  This site has moved here.