Computational Complexity
A Conceptual Perspective

A conceptual introduction to modern topics in complexity for advanced undergraduate and graduate students.

Oded Goldreich (Author)

9780521884730, Cambridge University Press

Hardback, published 28 April 2008

632 pages
25.7 x 17.8 x 4.1 cm, 1.25 kg

"The book offers a conceptual perspective on several sub-areas of complexity theory and is intended to be used as a textbook for students and educators as well as for experts who seek an overview of of several sub-areas."
Gerhard Lischke, Mathematical Reviews

Complexity theory is a central field of the theoretical foundations of computer science. It is concerned with the general study of the intrinsic complexity of computational tasks; that is, it addresses the question of what can be achieved within limited time (and/or with other limited natural computational resources). This book offers a conceptual perspective on complexity theory. It is intended to serve as an introduction for advanced undergraduate and graduate students, either as a textbook or for self-study. The book will also be useful to experts, since it provides expositions of the various sub-areas of complexity theory such as hardness amplification, pseudorandomness and probabilistic proof systems. In each case, the author starts by posing the intuitive questions that are addressed by the sub-area and then discusses the choices made in the actual formulation of these questions, the approaches that lead to the answers, and the ideas that are embedded in these answers.

1. Introduction and preliminaries
2. P, NP and NP-completeness
3. Variations on P and NP
4. More resources, more power?
5. Space complexity
6. Randomness and counting
7. The bright side of hardness
8. Pseudorandom generators
9. Probabilistic proof systems
10. Relaxing the requirements
Epilogue
Appendix A. Glossary of complexity classes
Appendix B. On the quest for lower bounds
Appendix C. On the foundations of modern cryptography
Appendix D. Probabilistic preliminaries and advanced topics in randomization
Appendix E. Explicit constructions
Appendix F. Some omitted proofs
Appendix G. Some computational problems.

Subject Areas: Mathematical theory of computation [UYA], Algorithms & data structures [UMB]