Computational Complexity
Arithmetizing classes around NC1and L
STACS'07 Proceedings of the 24th annual conference on Theoretical aspects of computer science
Circuits and context-free languages
COCOON'99 Proceedings of the 5th annual international conference on Computing and combinatorics
Resource Trade-offs in Syntactically Multilinear Arithmetic Circuits
Computational Complexity
Hi-index | 0.00 |
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 is at least log (n)) circuits are closed under complement. These improve upon the results of (i) Immerman and Szelepcsenyi who show that NL is closed under complementation, and (ii) Borodin et al, who show that LOGCFL is closed under complement.