Mathematical systems theory

, Volume 17, Issue 1, pp 13–27

Parity, circuits, and the polynomial-time hierarchy

  • Merrick Furst
  • James B. Saxe
  • Michael Sipser
Article

DOI: 10.1007/BF01744431

Cite this article as:
Furst, M., Saxe, J.B. & Sipser, M. Math. Systems Theory (1984) 17: 13. doi:10.1007/BF01744431

Abstract

A super-polynomial lower bound is given for the size of circuits of fixed depth computing the parity function. Introducing the notion of polynomial-size, constant-depth reduction, similar results are shown for the majority, multiplication, and transitive closure functions. Connections are given to the theory of programmable logic arrays and to the relativization of the polynomial-time hierarchy.

Download to read the full article text

Copyright information

© Springer-Verlag New York Inc 1984

Authors and Affiliations

  • Merrick Furst
    • 1
  • James B. Saxe
    • 1
  • Michael Sipser
    • 2
  1. 1.Department of Computer ScienceCarnegie-Mellon UniversityPittsburghUSA
  2. 2.Department of MathematicsMassachusetts Institute of TechnologyBostonUSA