Computational Complexity: A Modern Approach

SanjeevArora BoazBarak

• Cambridge University Press (2009年6月4日発売)

作品紹介・あらすじ

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.

感想・レビュー・書評

[会津大学情報センター（附属図書館）さんの感想 · 2012年10月4日]

教員からの推薦図書。先生からのコメント：計算量理論に関する定評のある教科書です．研究・勉強に役立つと考えられます．