x]中的多项式。它一般被认为是计算多项式最自然的计算模型，并可以看作是存储多项式的数据结构。而证明某些多项式如积和式在算术电路下需要操作步骤的下界问题是计算复杂性理论中的重要的未解决的问题。
定义.算术电路是一个有向无环图，除拓扑排序为极大的元素的出度为0外，其它结点出度均为1。所有的结点入度为0或者2。入度为0的结点称为叶结点，入度为2出度为1的结点称为中间结点，入度为2出度为0的结点为输入结点（输入结点不一定唯一）。叶结点被一个不定元或一个域中的元素标记，而中间结点和输出结点被