IAS/Park City Mathematics Series
Computational Complexity Theory
Digital content for Computational Complexity Theory
Computational Complexity Theory is the study of how much of a given resource is required to perform the computations that interest us the most. Four decades of fruitful research have produced a rich and subtle theory of the relationship between different resource measures and problems. At the core of the theory are some of the most alluring open problems in mathematics.
This book presents three weeks of lectures from the IAS/Park City Mathematics Institute Summer School on computational complexity. The first week gives a general introduction to the field, including descriptions of the basic models, techniques, results and open problems. The second week focuses on lower bounds in concrete models. The final week looks at randomness in computation, with discussions of different notions of pseudorandomness, interactive proof systems and zero knowledge, and probabilistically checkable proofs (PCPs). It is recommended for independent study by graduate students or researchers interested in computational complexity.
The volume is recommended for independent study and is suitable for graduate students and researchers interested in computational complexity.
Titles in this series are co-published with the Institute for Advanced Study/Park City Mathematics Institute.
Graduate students and research mathematicians interested in computational complexity.
-
Front/Back Matter
-
View this volume's front and back matter
-
Chapters
-
Introductionpp. 1 - 2
-
Week One: Complexity theory: From Gödel to Feynmanpp. 3 - 3
-
Complexity theory: From Gödel to Feynmanpp. 5 - 87
-
Average case complexitypp. 89 - 99
-
Exploring complexity through reductionspp. 101 - 126
-
Quantum computationpp. 127 - 155
-
Week Two: Lower Boundspp. 157 - 157
-
Circuit and Communication Complexitypp. 159 - 155
-
Proof complexitypp. 199 - 246
-
Week Three: Randomness in computationpp. 247 - 247
-
Preface to “Week Three: Randomness in Computation”pp. 249 - 251
-
Pseudorandomness—Part Ipp. 253 - 285
-
Pseudorandomness—Part IIpp. 287 - 314
-
Probabilistic proof systems—Part Ipp. 315 - 348
-
Probabilistically checkable proofspp. 349 - 389