Functional Characterizations of Uniform Log-depth and Polylog-depth Circuit Families
| Citations: | 4 - 0 self |
BibTeX
@MISC{Bloch_functionalcharacterizations,
author = {Stephen Bloch},
title = {Functional Characterizations of Uniform Log-depth and Polylog-depth Circuit Families},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We characterize the classes of functions computable by uniform log-depth (NC 1) and polylog-depth circuit families as closures of a set of base functions. (The former is equivalent to ALOGTIME, the latter to polylogarithmic space.) The closures involve the "safe" composition of Bellantoni and Cook as well as asafe "divide and conquer" recursion; a simple change to the definition of the latter distinguishes between log and polylog depth. The proofs proceed, in one direction, by showing that safe composition and divide-and-conquer recursion preserve growth rate and circuit depth bounds, and in the other, by simulating alternating Turing machines with divide-and-conquer recursion.
