TY  - BOOK
AU  - Sanjeev Arora
AU  - Boaz Barak
TI  - Computational complexity: : a modern approach
SN  - 9780521424264
AV  - QA267.7 
PY  - 2009///]
CY  - U.K.
PB  - Cambridge University Press
KW  - Algorithmics
KW  -  Computational Geometry
N1  - 0 - Notational conventions 

PART ONE - BASIC COMPLEXITY CLASSES 
1 - The computational model – and why it doesn't matter 
2 - NP and NP completeness 
3 - Diagonalization 
4 - Space complexity 
5 - The polynomial hierarchy and alternations 
6 - Boolean circuits 
7 - Randomized computation 
8 - Interactive proofs 
9 - Cryptography 
10 - Quantum computation 
11 - PCP theorem and hardness of approximation: An introduction 

PART TWO - LOWER BOUNDS FOR CONCRETE COMPUTATIONAL MODELS 
12 - Decision trees 
13 - Communication complexity 
14 - Circuit lower bounds: Complexity theory's Waterloo 
15 - Proof complexity 
16 - Algebraic computation models 

PART THREE - ADVANCED TOPICS 
17 - Complexity of counting 
18 - Average case complexity: Levin's theory 
19 - Hardness amplification and error-correcting codes 
20 - Derandomization 
21 - Pseudorandom constructions: Expanders and extractors 
22 - Proofs of PCP theorems and the Fourier transform technique 
23 - Why are circuit lower bounds so difficult?
N2  - This beginning graduate textbook describes both recent achievements and classical results of computational complexity theory. Requiring essentially no background apart from mathematical maturity, the book can be used as a reference for self-study for anyone interested in complexity, including physicists, mathematicians, and other scientists, as well as a textbook for a variety of courses and seminars. More than 300 exercises are included with a selected hint set. The book starts with a broad introduction to the field and progresses to advanced results. Contents include: definition of Turing machines and basic time and space complexity classes, probabilistic algorithms, interactive proofs, cryptography, quantum computation, lower bounds for concrete computational models (decision trees, communication complexity, constant depth, algebraic and monotone circuits, proof complexity), average-case complexity and hardness amplification, derandomization and pseudorandom constructions, and the PCP theorem. --- summary provided by publisher
ER  -