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 pages25.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]
