k-Subgraph Isomorphism on AC0 Circuits

• Published in: Computational complexity Vol. 19; no. 2; pp. 183 - 210
• Main Author: Amano, Kazuyuki
• Format: Journal Article
• Language: English
• Published: Basel Birkhäuser-Verlag 01.05.2010
• Subjects: Algorithm Analysis and Problem Complexity; Computational Mathematics and Numerical Analysis; Computer Science; clique; 68Q12; 68Q17; constant depth circuits; upper bounds; 03D15; Circuit complexity; 68Q10; lower bounds
• ISSN: 1016-3328; 1420-8954
• DOI: 10.1007/s00037-010-0288-y

. Recently, Rossman (STOC ’08) established a lower bound of ω( n k /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 is a sequence of functions computed by constant-depth circuits of size O ( n t ). For any positive integer k and 0 < α ≤ 1/(2 t − 1), let 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 asymptotically almost surely. In this paper, we prove that this bound is essentially tight by showing that there exists a sequence of Boolean functions that can be computed by constant-depth circuits of size O ( n t ) such that asymptotically almost surely for the same distributions with α = 1/(2 t  − 9.5) and k = 4 t  −  c (where c is a small constant independent of k ). This means that there are constant-depth circuits of size 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.