DocumentCode
2892992
Title
On ACC [circuit complexity]
Author
Beigel, Richard ; Tarui, Jun
Author_Institution
Yale Univ., New Haven, CT, USA
fYear
1991
fDate
1-4 Oct 1991
Firstpage
783
Lastpage
792
Abstract
It has been shown by A. Yao (1990) that every language in ACC is recognized by a sequence of depth-2 probabilistic circuits with a symmetric gate at the root and n polylog(n ) AND gates of fan-in polylog (n ) at the leaves. The authors simplify Yao´s proof and strengthen his results: every language in ACC is recognized by a sequence of depth-2 deterministic circuits with a symmetric gate at the root and n polylog(n ) AND gates of fan-in polylog(n ) at the leaves. They also analyze and improve modulus-amplifying polynomials constructed by S. Toda (1989) and Yao: this yields smaller circuits in Yao´s and the present results on ACC
Keywords
computational complexity; formal languages; logic circuits; threshold logic; ACC; AND gates; depth-2 deterministic circuits; depth-2 probabilistic circuits; fan-in; language; leaves; modulus-amplifying polynomials; root; symmetric gate; Boolean functions; Circuit analysis computing; Complexity theory; Computer science; Galois fields; Polynomials; Wires;
fLanguage
English
Publisher
ieee
Conference_Titel
Foundations of Computer Science, 1991. Proceedings., 32nd Annual Symposium on
Conference_Location
San Juan
Print_ISBN
0-8186-2445-0
Type
conf
DOI
10.1109/SFCS.1991.185449
Filename
185449
Link To Document