在计算复杂性理论中,算术电路被视为计算多项式的标准模型。这种模型的基本原理是,一个算术电路可以透过节点进行操作,这些节点可以是变数或是数字,并且允许进行加法和乘法计算。在这样的框架下,我们可以更深入地了解计算多项式的复杂性。那么,这种计算的最佳方式究竟是什么呢?
算术电路的基本问题是「计算特定多项式的最有效方法是什么?」
算术电路以有向无环图 (DAG) 的形式存在。每个未被其他节点指向的节点被称为「输入闸」,它们被标记为变数或是域中的元素。其他的闸则依据其运算类型分为加法和乘法闸。算术公式是指每个闸的出度皆为 1 的电路,该图形结构就成为一个有向树。
算术电路的复杂性度量涉及到两个基本指标:尺寸和深度。电路的尺寸是指其中闸的数目,而深度则是电路中最长的有向路径。以一个具体的例子来看,假设有一条电路,尺寸为六,深度为两。这样的结构透过特定的流程计算输入闸所标记的多项式,而分别经由加法闸及乘法闸运算,计算出结果。
算术电路的计算方式即是透过输入闸计算其被标记的多项式,然后分别利用加法和乘法闸来进行更加复杂的运算。
在计算多项式的复杂性研究中,寻找合适的电路是至关重要的。这类工作的结果可分为上界与下界两部分。上界是指找到一个能计算特定多项式的电路,这显示了该多项式的计算复杂度上限;而下界则是需要证明没有其他电路能比所提出的电路计算得更快,这常常是个更具挑战性的任务。
例如,Strassen 演算法以大约 n².807 的大小进行矩阵乘法,这相较于传统的 n³ 复杂度可谓大幅度的优化。其他例如 Berkowitz 也提出过以多项式大小的电路高效计算行列式和永久等多项式的方式,这些研究结果无疑对算术电路的设计与计算方法提供了更全面的视角。
在多项式计算的过程中,目前所知的下界证明仍然有限,主研究焦点则集中在探讨小程度多项式的下界。
算术电路中的开放问题之一是 P 与 NP 问题,而所谓的 VP 与 VNP 问题则是其“代数类比”。其中,VP 代表具有多项式电路的多项式类别,而 VNP 则是含有相关多项式的类别,用于证明某些多项式存在有效计算的可能性。
这项存在的基本概念在于复杂度理论中的完全性,若一个多项式是某个类别的完全多项式,就意味着若该多项式存在小型电路,则这个类别中的其他多项式也同样具备相同性质。目前,仍未找到能证明 VP 与 VNP 不相等的结论,而这正是未来研究的关键之一。
算术电路的研究不仅限于数学界,还涉及到广泛的计算领域,挑战着我们对计算复杂性的理解与认识。
在这不断推进的领域中,算术电路提供了重要的数学工具,帮助我们理解多项式的计算复杂性。然而,究竟在未来的研究中,我们能否真正揭开这些数学运算背后深邃的秘密呢?