Skip to main content

Symmetric functions in AC 0 can be computed in constant depth with very small size

  • Communications
  • Conference paper
  • First Online:
Mathematical Foundations of Computer Science 1990 (MFCS 1990)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 452))

  • 795 Accesses

Abstract

It is well-known which symmetric Boolean functions can be computed by constant depth, polynomial size, unbounded fan-in circuits, i.e. which are contained in the complexity class AC 0. This result is sharpened. Symmetric Boolean functions in AC 0 can be computed by unbounded fan-in circuits with small constant depth, an almost linear number of n logO(1) n wires and a subpolynomial (but superpolylogarithmic) number of 2O(logδ n) gates for some δ<1.

Supported in part by DFG grants No. We 1066/2-1 and Me 872/1-2

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Ajtai, M. and Ben-Or, M. (1984). A theorem on probabilistic constant depth computations. 16. Symp. on Theory of Computing, 471–474.

    Google Scholar 

  • Boppana, R. (1984). Threshold functions and bounded depth monotone circuits. 16. Symp. on Theory of Computing, 475–479.

    Google Scholar 

  • Brustmann, B. and Wegener, I. (1987). The complexity of symmetric functions in bounded-depth circuits. Information Processing Letters 25, 217–219.

    Google Scholar 

  • Denenberg, L., Gurevich, Y. and Shelah, S. (1986). Definability by constant-depth polynomial-size circuits. Information and Control 70, 216–240.

    Google Scholar 

  • Fagin, R., Klawe, M.M., Pippenger, N.J. and Stockmeyer, L. (1985). Bounded-depth, polynomial-size circuits for symmetric functions. Theoretical Computer Science 36, 239–250.

    Google Scholar 

  • Friedman, J. (1984). Constructing O(n log n) size monotone formulae for the k-th elementary symmetric polynomial of n Boolean variables. 25. Symp. on Foundations of Computer Science, 506–515.

    Google Scholar 

  • Hastad, J. (1986). Almost optimal lower bounds for small depth circuits. 18. Symp. on Theory of Computing, 6–20.

    Google Scholar 

  • Moran, S. (1987). Generalized lower bounds derived from Hastad's main lemma. Information Processing Letters 25, 383–388.

    Google Scholar 

  • Newman,I., Ragde,P. and Wigderson,A. (1990). Perfect hashing, graph entropy an circuit complexity. Proc. Structure in Complexity Theory.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Branislav Rovan

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wegener, I., Wurm, N., Yi, SZ. (1990). Symmetric functions in AC 0 can be computed in constant depth with very small size. In: Rovan, B. (eds) Mathematical Foundations of Computer Science 1990. MFCS 1990. Lecture Notes in Computer Science, vol 452. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0029651

Download citation

  • DOI: https://doi.org/10.1007/BFb0029651

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-52953-8

  • Online ISBN: 978-3-540-47185-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics