Back to Search

On the Power of Small-Depth Computation

AUTHOR Viola, Emanuele
PUBLISHER Now Publishers (11/20/2009)
PRODUCT TYPE Paperback (Paperback)

Description
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. On the Power of Small-Depth Computation discusses a selected subset of them, and includes a few unpublished proofs. On the Power of Small-Depth Computation starts with a unified treatment of the challenge of exhibiting explicit functions that have small correlation with low-degree polynomials over {0, 1}. It 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.
Show More
Product Format
Product Details
ISBN-13: 9781601983008
ISBN-10: 160198300X
Binding: Paperback or Softback (Trade Paperback (Us))
Content Language: English
More Product Details
Page Count: 86
Carton Quantity: 106
Product Dimensions: 6.14 x 0.18 x 9.21 inches
Weight: 0.29 pound(s)
Country of Origin: US
Subject Information
BISAC Categories
Computers | Computer Science
Descriptions, Reviews, Etc.
publisher marketing
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. On the Power of Small-Depth Computation discusses a selected subset of them, and includes a few unpublished proofs. On the Power of Small-Depth Computation starts with a unified treatment of the challenge of exhibiting explicit functions that have small correlation with low-degree polynomials over {0, 1}. It 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.
Show More
List Price $65.00
Your Price  $64.35
Paperback