A superpolynomial lower bound for a circuit computing the clique function with at most (1/6) log log n negation gates

  • Kazuyuki Amano
  • Akira Maruoka
Contributed Papers Circuit Complexity
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1450)


We investigate about a lower bound on the size of a Boolean circuit that computes the clique function with a limited number of negation gates. To derive strong lower bounds on the size of such a circuit we develop a new approach by combining the three approaches: the restriction applied for constant depth circuits[Has], the approximation method applied for monotone circuits[Raz2] and boundary covering developed in the present paper. Based on the approach the following statement is established: If a circuit C with at most ⌈(1/6) log log m⌋ negation gates detects cliques of size \((\log m)^{3(\log {\mathbf{ }}m)^{{\raise0.5ex\hbox{$\scriptstyle 1$}\kern-0.1em/\kern-0.15em\lower0.25ex\hbox{$\scriptstyle 2$}}} }\) in a graph with m vertices, then C contains at least \(2^{({\raise0.5ex\hbox{$\scriptstyle 1$}\kern-0.1em/\kern-0.15em\lower0.25ex\hbox{$\scriptstyle 5$}})(\log {\mathbf{ }}m)^{(\log {\mathbf{ }}m)^{{\raise0.5ex\hbox{$\scriptstyle 1$}\kern-0.1em/\kern-0.15em\lower0.25ex\hbox{$\scriptstyle 2$}}} } }\) gates. In addition, we present a general relationship between negation-limited circuit size and monotone circuit size of an arbitrary monotone function.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [AB]
    N. Alon and R. B. Boppana, “The Monotone Circuit Complexity of Boolean Functions”, Combinatoriala, Vol. 7, No. 1, pp. 1–22, 1987.MATHMathSciNetGoogle Scholar
  2. [AM]
    K. Amano and A. Maruoka, “Potential of the Approximation Method”, Proc. 37th FOCS, pp. 431–440, 1996.Google Scholar
  3. [BNT]
    R. Beals, T. Nishino and K. Tanaka, “More on the Complexity of Negation-Limited Circuits”, Proc. 27th STOC, pp. 585–595, 1995.Google Scholar
  4. [Fis]
    M.J. Fischer, “The Complexity of Negation-Limited Networks-a Brief Survey”, Lecture Notes in Computer Science 33, Springer-Verlag, Berlin, pp. 71–82, 1974.Google Scholar
  5. [Has]
    J. Håstad, “Almost Optimal Lower Bounds for Small Depth Circuits”, Proc. 18th STOC, pp. 6–20, 1986.Google Scholar
  6. [Raz]
    A.A. Razborov, “Lower Bounds on the Monotone Complexity of Some Boolean Functions”, Soviet Math. Dokl., Vol. 281, pp. 798–801, 1985.MATHMathSciNetGoogle Scholar
  7. [Raz2]
    A.A. Razborov, “On the Method of Approximations”, Proc. 21st STOC, pp. 167–176, 1989.Google Scholar
  8. [SW]
    M. Santha and C. Wilson, “Limiting Negations in Constant Depth Circuits”, SIAM J. Comput., Vol. 22, No. 2, pp. 294–302, 1993.MATHMathSciNetCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Kazuyuki Amano
    • 1
  • Akira Maruoka
    • 1
  1. 1.Graduate School of Information SciencesTohoku UniversitySendaiJapan

Personalised recommendations