WE SHOW THAT ANY LANGUAGE RECOGNIZED BY AN `NC(SUPERSCRIPT)1'' CIRCUIT (FAN-IN 2, DEPTH `O''(LOG `N'')) CAN BE RECOGNIZED BY A WIDTH-5 POLYNOMIAL- SIZE BRANCHING PROGRAM. AS ANY BOUNDED-WIDTH POLYNOMIAL-SIZE BRANCHING PROGRAM CAN BE SIMULATED BY AN `NC(SUPERSCRIPT)1 CIRCUIT, WE HAVE THAT THE CLASS OF LANGUAGES RECOGNIZED BY SUCH PROGRAMS IS EXACTLY NON-UNIFORM `NC(SUPERSCRIPT)1. FURTHER, FOLLOWING RUZZO [RU81] AND COOK [CO85], IF THE BRANCHING PROGRAMS ARE RESTRICTED TO BE `ATIME''(LOG`N'')-UNIFORM, THEY RECOG NIZE THE SAME LANGUAGES AS DO `ATIME''(LOG`N'')-UNIFORM `NC(SUPERSCRIPT)1'' CIRCUITS, THAT IS, THOSE LANGUAGES IN `ATIME''(LOG`N''). WE ALSO EXTEND THE METHOD OF PROOF TO INVESTIGATE THE COMPLEXITY OF THE WORD PROBLEM FOR A FIXED PERMUTATION GROUP AND SHOW THAT POLYNOMIAL SIZE `CIRCUITS'' OF WIDTH 4 ALSO RECOGNIZE EXACTLY NON-UNIFORM `NC(SUPERSCRIPT)1''.
Recommendations
The power of nondeterminism in polynomial- size bounded-width branching programs
Nondeterministic branching programs introduced by Meinel (1986) proved to be an interesting computational tool for describing higher complexity classes (Meinel 1988). Investigation of the power of nondeterminism in the case of bounded-width ...
Complexity Theoretical Results on Nondeterministic Graph-Driven Read-Once Branching Programs
STACS '03: Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer ScienceBranching programs are a well-established computation and representation model for boolean functions, especially read-once branching programs (BP1s) have been studied intensively. Recently two restricted nondeterministic (parity) BP1 models, called well-...