Symbolic Listings as Computation

Hamilton Sawczuk, Edinah Gnang

We propose an algebraic model of computation which formally relates symbolic listings, complexity of Boolean functions, and low depth arithmetic circuit complexity. In this model a…