Studies in Dogmatics by Gc Berkouwer
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.| SKU | Unavailable |
| ISBN 13 | 9780802830296 |
| ISBN 10 | 0802830293 |
| Title | Studies in Dogmatics |
| Author | Gc Berkouwer |
| Condition | Unavailable |
| Binding Type | Hardback |
| Publisher | William B. Eerdmans Publishing Company |
| Year published | 1952-12-01 |
| Number of pages | 478 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |