Algebraic Complexity

Markus Bläser, Alexander Ikonomou and Shreyas Srinivas

Lemma 1

Every algebraic formula with size \(0\) is a variable or a constant.

Proof

This follows by the definition of \(\operatorname{size}\).