A taxonomy of problems with fast parallel algorithms
Information and Control
Computational limitations of small-depth circuits
Computational limitations of small-depth circuits
The Boolean formula value problem is in ALOGTIME
STOC '87 Proceedings of the nineteenth annual ACM symposium on Theory of computing
Concrete mathematics: a foundation for computer science
Concrete mathematics: a foundation for computer science
Journal of Computer and System Sciences - 3rd Annual Conference on Structure in Complexity Theory, June 14–17, 1988
The complexity of finite functions
Handbook of theoretical computer science (vol. A)
Characterizing parallel hierarchies by reducibilities
Information Processing Letters
On input read-modes of alternating Turing machines
Theoretical Computer Science
On the structure of parameterized problems in NP
Information and Computation
Journal of the ACM (JACM)
On the Amount of Nondeterminism and the Power of Verifying (Extended Abstract)
MFCS '93 Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science
Borel sets and circuit complexity
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
Separating the polynomial-time hierarchy by oracles
SFCS '85 Proceedings of the 26th Annual Symposium on Foundations of Computer Science
Hi-index | 0.00 |
We investigate the relationship between circuit bottom fan-in and circuit size when circuit depth is fixed. We show that in order to compute certain functions, a moderate reduction in circuit bottom fan-in will cause significant increase in circuit size. In particular, We prove that there are functions that are computable by circuits of linear size and depth k with bottom fan-in 2 but require exponential size for circuits of depth k with bottom fan-in 1. A general scheme is established to study the trade-off between circuit bottom fan-in and circuit size. Based on this scheme, we are able to prove, for example, that for any integer c, there are functions that are computable by circuits of linear size and depth k with bottom fan-in O(\log n) but require exponential size for circuits of depth k with bottom fan-in c, and that for any constant \epsilon 0, there are functions that are computable by circuits of linear size and depth k with bottom fan-in \log n but require superpolynomial size for circuits of depth k with bottom fan-in O(\log^{1-\epsilon} n). A consequence of these results is that the three input read-modes of alternating Turing machines proposed in the literature are all distinct. Keywords. computational complexity, circuit complexity, lower bound, alternating Turing machine