Definability by constant-depth polynomial-size circuits
Information and Control
Almost optimal lower bounds for small depth circuits
STOC '86 Proceedings of the eighteenth annual ACM symposium on Theory of computing
A depth-size and tradeoff for Boolean circuits with unbounded fan-in
Proc. of the conference on Structure in complexity theory
Algebraic methods in the theory of lower bounds for Boolean circuit complexity
STOC '87 Proceedings of the nineteenth annual ACM symposium on Theory of computing
Lower bounds for recognizing small cliques on CRCW PRAM'S
Discrete Applied Mathematics
A simple lower bound for monotone clique using a communication game
Information Processing Letters
Constant depth circuits, Fourier transform, and learnability
Journal of the ACM (JACM)
The average sensitivity of bounded-depth circuits
Information Processing Letters
Elements Of Finite Model Theory (Texts in Theoretical Computer Science. An Eatcs Series)
Elements Of Finite Model Theory (Texts in Theoretical Computer Science. An Eatcs Series)
Circuit Lower Bounds via Ehrenfeucht-Fraisse Games
CCC '06 Proceedings of the 21st Annual IEEE Conference on Computational Complexity
On the constant-depth complexity of k-clique
STOC '08 Proceedings of the fortieth annual ACM symposium on Theory of computing
Hi-index | 0.00 |
Certain results in circuit complexity (e.g., the theorem that AC0 functions have low average sensitivity) [5, 17] imply the existence of winning strategies in Ehrenfeucht-Fraïssé games on pairs of random structures (e.g., ordered random graphs G = G (n ,1/2) and G + = G *** {random edge }). Standard probabilistic methods in circuit complexity (e.g., the Switching Lemma [11] or Razborov-Smolensky Method [19, 21]), however, give no information about how a winning strategy might look. In this paper, we attempt to identify specific winning strategies in these games (as explicitly as possible). For random structures G and G + , we prove that the composition of minimal strategies in r -round Ehrenfeucht-Fraïssé games $\Game_r(G,G)$ and $\Game_r(G^{{+}},G^{{+}})$ is almost surely a winning strategy in the game $\Game_r(G,G^{{+}})$. We also examine a result of [20] that ordered random graphs H = G (n ,p ) and H + = H *** {random k -clique} with p (n ) *** n *** 2/(k *** 1) (below the k -clique threshold) are almost surely indistinguishable by $\lfloor k/4 \rfloor$-variable first-order sentences of any fixed quantifier-rank r . We describe a winning strategy in the corresponding r -round $\lfloor k/4 \rfloor$-pebble game using a technique that combines strategies from several auxiliary games.