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