CC-circuits and the expressive power of nilpotent algebras
Abstract
We show that CC-circuits of bounded depth have the same expressive power as circuits over finite nilpotent algebras from congruence modular varieties. We use this result to phrase and discuss a new algebraic version of Barrington, Straubing and Thérien's conjecture, which states that CC-circuits of bounded depth need exponential size to compute AND. Furthermore, we investigate the complexity of deciding identities and solving equations in a fixed nilpotent algebra. Under the assumption that the conjecture is true, we obtain quasipolynomial algorithms for both problems. On the other hand, if AND is computable by uniform CC-circuits of bounded depth and polynomial size, we can construct a nilpotent algebra in which checking identities is coNP-complete, and solving equations is NP-complete.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2019
- DOI:
- 10.48550/arXiv.1911.01479
- arXiv:
- arXiv:1911.01479
- Bibcode:
- 2019arXiv191101479K
- Keywords:
-
- Mathematics - Rings and Algebras;
- Computer Science - Computational Complexity;
- 08A70;
- 08A40
- E-Print:
- Logical Methods in Computer Science, Volume 18, Issue 2 (May 26, 2022) lmcs:7303