• DocumentCode
    2114502
  • Title

    Hierarchies of circuit classes that are closed under complement

  • Author

    Vinay, V.

  • Author_Institution
    Dept. of Computer Sci. & Autom., Indian Inst. of Sci., Bangalore, India
  • fYear
    1996
  • fDate
    24-27 May 1996
  • Firstpage
    108
  • Lastpage
    117
  • Abstract
    We examine three hierarchies of circuit classes and show they are closed under complementation. (1) The class of languages recognized by a family of polynomial size skew circuits with width O(w), are closed under complement. (2) The class of languages recognized by family of polynomial size circuits with width O(w) and polynomial tree-size, are closed under complement. (3) The class of languages recognized by a family of polynomial size, O(log(n)) depth, bounded AND fan-in with OR fan-in f (f⩾log(n)) circuits are closed under complement. These improve upon the results of (i) Immerman (1988) and Szelepcsenyi (1988), who show that 𝒩L𝒪𝒢 is closed under complementation, and (ii) Borodin et al. (1989), who show that L𝒪𝒢𝒞ℱL is closed under complement
  • Keywords
    computational complexity; parallel algorithms; circuit classes; class of languages; closed under complement; hierarchies; parallel complexity; polynomial size skew circuits; Binary decision diagrams; Circuit simulation; Computer science; Polynomials;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computational Complexity, 1996. Proceedings., Eleventh Annual IEEE Conference on
  • Conference_Location
    Philadelphia, PA
  • Print_ISBN
    0-8186-7386-9
  • Type

    conf

  • DOI
    10.1109/CCC.1996.507674
  • Filename
    507674