Computational Complexity: A Quantitative PerspectiveThere has been a common perception that computational complexity is a theory of "bad news" because its most typical results assert that various real-world and innocent-looking tasks are infeasible. In fact, "bad news" is a relative term, and, indeed, in some situations (e.g., in cryptography), we want an adversary to not be able to perform a certain task. However, a "bad news" result does not automatically become useful in such a scenario. For this to happen, its hardness features have to be quantitatively evaluated and shown to manifest extensively. The book undertakes a quantitative analysis of some of the major results in complexity that regard either classes of problems or individual concrete problems. The size of some important classes are studied using resource-bounded topological and measure-theoretical tools. In the case of individual problems, the book studies relevant quantitative attributes such as approximation properties or the number of hard inputs at each length. One chapter is dedicated to abstract complexity theory, an older field which, however, deserves attention because it lays out the foundations of complexity. The other chapters, on the other hand, focus on recent and important developments in complexity. The book presents in a fairly detailed manner concepts that have been at the centre of the main research lines in complexity in the last decade or so, such as: average-complexity, quantum computation, hardness amplification, resource-bounded measure, the relation between one-way functions and pseudo-random generators, the relation between hard predicates and pseudo-random generators, extractors, derandomization of bounded-error probabilistic algorithms, probabilistically checkable proofs, non-approximability of optimization problems, and others. The book should appeal to graduate computer science students, and to researchers who have an interest in computer science theory and need a good understanding of computational complexity, e.g., researchers in algorithms, AI, logic, and other disciplines. · Emphasis is on relevant quantitative attributes of important results in complexity. · Coverage is self-contained and accessible to a wide audience. · Large range of important topics including: derandomization techniques, non-approximability of optimization problems, average-case complexity, quantum computation, one-way functions and pseudo-random generators, resource-bounded measure and topology. |
Contents
1 | |
25 | |
Chapter 3 P NP and E | 51 |
Chapter 4 Quantum computation | 109 |
Chapter 5 Oneway functions pseudorandom generators | 143 |
Other editions - View all
Computational Complexity: A Quantitative Perspective, Issue 196 Marius Zimand No preview available - 2004 |
Common terms and phrases
accepts approximation ratio arity assignment binary strings boolean bounded calculate Claim clause complexity classes computable function configuration consider constant construction defined Definition denote deterministic distribution effectively encoding error-correcting code exists exponential extractor finite fixed follows formula fraction function f hard function hard-core predicate implies infinite input instance integer iterations Lebesgue measure Lemma linear LIST(a martingale measure zero min-entropy natural number nodes nondeterministic notation NP optimization problems NP-complete NPsG obtain one-way function oracle machine oracle set output p.c. functions pair parameters PCP Theorem PF-measure zero polynomial polynomial-time Prob Prob(X probabilistic proof string protocol prover pseudo-random quantum computation qubits queries random bits random string random variable satisfies second Baire category Section sequence simulates Stage step strings of length subset sufficiently large superpolynomial superposition superset topology tape Theorem tuple Turing machine uniformly at random vector verifier VERTEX COVER
Popular passages
Page 323 - T. GORMEN, C. LEISERSON, AND R. RIVEST, Introduction to Algorithms, MIT Press, 1990.
Page 327 - A. Kondacs and J. Watrous. On the power of quantum finite state automata.
Page 330 - M. Santha and UV Vazirani. Generating quasi-random sequences from semi-random sources. Journal of Computer and System Sciences, 33:75-87, 1986.
Page 325 - P. Gemmell, R. Lipton, R. Rubinfeld, M. Sudan, and A. Wigderson, Self-testing/correcting for polynomials and for approximate functions.
Page 328 - McCreight and A. Meyer. Classes of computable functions defined by bounds on computation: preliminary report.