在计算复杂度理论中,算术电路成为计算多项式的标准模型。这类电路的运作方式是利用变数或数字作为输入,然后进行加法或乘法运算,因此成为理解计算多项式复杂度的正式方式。然而,对于如何计算特定多项式最为高效的问题,依然值得深思。
算术电路是一种有向无环图,每个零入度的节点称为输入闸,标记为变数或字段元素。
算术电路的大小和深度是两个关键的复杂度度量。电路的大小是其闸的数量,而深度是从输入到输出的最长有向路径长度。举例来说,一个算术电路可通过输入闸来计算多项式,然后根据计算的子节点进行加法和乘法操作。
在探索计算多项式的复杂度时,我们可以向自己提出问题:如何找到计算某多项式的最佳方法?这涉及到首先构建一个能计算给定多项式的电路,这称为上界。接着展示没有其他电路能做得更好,这便是下界。
虽然上下界的两个任务在概念上紧密相连,但证明下界通常更具挑战性,因为需要同时分析所有可能的电路。
一个引人注目的案例是斯特拉森的算法,这项算法显示出能以大约 n2.807 的大小来计算两个 n×n 矩阵的乘积。这代表着相较于传统的 O(n3) 的方法有了显著的简化。斯特拉森的创新主要源于他对 2×2 矩阵的巧妙乘法方法,这为更高效的矩阵乘法奠定了基础。
尽管在寻找多项式的上界时找到了许多巧妙的电路,证明下界的任务却是极其困难的。特别是对于小度数的多项式,如果能证明某些多项式需要超多项式大小的电路,就能说明该问题的复杂性。然而,面对的主要难题是找出一个显式的多项式,证明其超过多项式大小的需求,这成为当前研究的关键焦点之一。
诸如x1d + ... + xnd 这类多项式的下界已经由斯特拉森等人证明为Ω(n log d)。
斯特拉森所展示的研究成果,除了引领我们对算术电路有更深入的理解,也成功将注意力聚焦到多项式所需的全局电路大小所引发的复杂性问题上。如果这样的结果能进一步应用到更广泛的多项式,就可望解决许多尚未解决的问题。
另一个值得关注的话题是代数的 P 与 NP 问题。在此问题中,是否能以一样的效率解决一个问题,正如确认给定问题之解是否存在一般一样?这是一个重要的理论挑战,因为它不仅与多项式计算有关,还涉及整个计算复杂度的核心问题。
Valiant 提出的 VP 与 VNP 问题就是一个精彩的代数化问题,涉及多项式的计算与表示能力。
对于VP和VNP问题的深入研究,可能会提供关于算术计算复杂度的独特洞见。随着研究的持续进行,我们期待未来能有更多突破,挑战传统计算理论的边界。
在这个快速变动的数学与计算世界中,随着理论的进展与实际应用的推广,对于演算过程中的复杂度至少应当引起我们的深思,未来的计算模型能否再进一步优化呢?