Title
Circuits with Medium Fan-In.
Abstract
We consider boolean circuits in which every gate may compute an arbitrary boolean function of k other gates, for a parameter k. We give an explicit function f : {0, 1}n → {0, 1} that requires at least Ω(log2 n) non-input gates when k = 2n/3. When the circuit is restricted to being layered and depth 2, we prove a lower bound of nΩ(1) on the number of non-input gates. When the circuit is a formula with gates of fan-in k, we give a lower bound Ω(n2/k log n) on the total number of gates. Our model is connected to some well known approaches to proving lower bounds in complexity theory. Optimal lower bounds for the Number-On-Forehead model in communication complexity, or for bounded depth circuits in AC0, or extractors for varieties over small fields would imply strong lower bounds in our model. On the other hand, new lower bounds for our model would prove new time-space tradeoffs for branching programs and impossibility results for (fan-in 2) circuits with linear size and logarithmic depth. In particular, our lower bound gives a different proof for a known time-space tradeoff for oblivious branching programs.
Year
DOI
Venue
2015
10.4230/LIPIcs.CCC.2015.381
Conference on Computational Complexity
Keywords
DocType
Volume
Boolean circuit,Complexity,Communication complexity
Conference
33
ISSN
Citations 
PageRank 
1868-8969
1
0.35
References 
Authors
0
2
Name
Order
Citations
PageRank
Pavel Hrubes13710.33
Anup Rao258132.80