Abstract.
Recently, Rossman (STOC ’08) established a lower bound of ω(nk/4) on the size of constant-depth circuits computing the k-clique function on n-vertex graphs for any constant k. This is the first lower bound that does not depend on the depth of circuits in the exponent of n. He showed, in fact, a stronger statement: Suppose \(f_n : \{0, 1\}^{\left( {_2^n } \right)}\rightarrow \{0, 1\}\) is a sequence of functions computed by constant-depth circuits of size O(nt). For any positive integer k and 0 < α ≤ 1/(2t − 1), let \(G = {\mathbb E}{\mathbb R} (n, n^{-\alpha})\) be an Erdős-Rényi random graph with edge probability n−α and let K A be a k-clique on a uniformly chosen k vertices of G. Then \(f_n(G) = f_{n}(G \cup K_{A})\) asymptotically almost surely.
In this paper, we prove that this bound is essentially tight by showing that there exists a sequence of Boolean functions \(f_n : \{0, 1\}^{\left( {_2^n } \right)}\rightarrow \{0, 1\}\) that can be computed by constant-depth circuits of size O(nt) such that \(f_n(G) \neq f_n(G \cup K_A)\) asymptotically almost surely for the same distributions with α = 1/(2t − 9.5) and k = 4t − c (where c is a small constant independent of k). This means that there are constant-depth circuits of size \(O(n^{\frac{k}{4}+c})\) that correctly compute the k-clique function with high probability when the input is a random graph with independent edge probability around n–2/(k–1). Several extensions of Rossman’s lower bound method to the problem of detecting general patterns as well as some upper bounds are also described. In addition, we provide an explicit construction of DNF formulas that are almost incompressible by any constant-depth circuits.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Additional information
Manuscript received 31 August 2009
Rights and permissions
About this article
Cite this article
Amano, K. k-Subgraph Isomorphism on AC0 Circuits. comput. complex. 19, 183–210 (2010). https://doi.org/10.1007/s00037-010-0288-y
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00037-010-0288-y