On the Power of Small-Depth Computation - Couverture souple

Viola, Emanuele

Couverture souple

ISBN 10 : 160198300X ISBN 13 : 9781601983008

Editeur : now publishers Inc, 2009

Synopsis

The NP-completeness of SAT is a celebrated example of the power of bounded-depth computation: the core of the argument is a depth reduction establishing that any small non-deterministic circuit - an arbitrary NP computation on an arbitrary input - can be simulated by a small non-deterministic circuit of depth 2 with unbounded fan-in - a SAT instance. Many other examples permeate theoretical computer science.

This book discusses a selected subset of them, and includes a few unpublished proofs. It starts with a unified treatment of the challenge of exhibiting explicit functions that have small correlation with low-degree polynomials over {0, 1} and goes on to describe an unpublished proof that small bounded-depth circuits (AC0) have exponentially small correlation with the parity function. The proof is due to Adam Klivans and Salil Vadhan; it builds upon and simplifies previous ones. Thereafter it looks at a depth-reduction result by Leslie Valiant, the proof of which has not before appeared in full. It concludes by presenting the result by Benny Applebaum, Yuval Ishai, and Eyal Kushilevitz that shows that, under standard complexity theoretic assumptions, many cryptographic primitives can be implemented in very restricted computational models.

On the Power of Small-Depth Computation is an ideal primer for anyone with an interest in computational complexity, random structures and algorithms and theoretical computer science generally.

Détails de l'édition

• Éditeur: now publishers Inc
• Date d'édition: 2009
• Langue: anglais
• ISBN 10: 160198300X
• ISBN 13: 9781601983008
• Reliure: Broché
• Nombre de pages: 86
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible