×

zbMATH — the first resource for mathematics

Randomness – a computational complexity perspective. (English) Zbl 1142.68357
Hirsch, Edward A. (ed.) et al., Computer science – theory and applications. Third international computer science symposium in Russia, CSR 2008 Moscow, Russia, June 7–12, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-79708-1/pbk). Lecture Notes in Computer Science 5010, 1-2 (2008).
Summary: Man has grappled with the meaning and utility of randomness for centuries. Research in the Theory of Computation in the last thirty years has enriched this study considerably. This lecture will describe two main aspects of this research on randomness, demonstrating its power and weakness respectively.
Randomness is paramount to computational efficiency: The use of randomness seems to dramatically enhance computation (and do other wonders) for a variety of problems and settings. In particular, examples will be given of probabilistic algorithms (with tiny error) for natural tasks in different areas, which are exponentially faster than their (best known) deterministic counterparts.
Computational efficiency is paramount to understanding randomness: We will explain the computationally-motivated definition of “pseudorandom” distributions, namely ones which cannot be distinguished from the uniform distribution by any efficient procedure from a given class. Using this definition, we show how such pseudorandomness may be generated deterministically, from (appropriate) computationally difficult problems. Consequently, randomness is probably not as powerful as it seems above.
We conclude with the power of randomness in other computational settings, such as space complexity and probabilistic proof systems. In particular we’ll discuss the remarkable properties of Zero-Knowledge proofs and of Probabilistically Checkable proofs.
The bibliography contains several useful books and surveys in which material pertaining to the computational randomness may be found. In particular, we include surveys on topics not covered in the lecture, including extractors (designed to purify weak random sources) and expander graphs (perhaps the most useful “pseudorandom” object).
For the entire collection see [Zbl 1136.68005].
MSC:
68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q15 Complexity classes (hierarchies, relations among complexity classes, etc.)
68Q17 Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)
68Q25 Analysis of algorithms and problem complexity
68W20 Randomized algorithms
68-02 Research exposition (monographs, survey articles) pertaining to computer science
PDF BibTeX Cite
Full Text: DOI