Arithmetic circuits complexity
Appearance
Arithmetic circuits are circuits whose gates compute operations over a semi-ring instead of the usual Boolean connectives. The theory of arithmetic circuits, a very rich field with strong upper and lower bounds on the complexity of practical computational problems, serves as a theoretical base for computer algebra and algebraic computations in symbolic computation software packages.
Computation model
Let