在計算複雜度理論中,算術電路被視為計算多項式的標準模型。基本來說,算術電路的功能是接收變數或數字作為輸入,然後可進行加法或乘法運算。這種模型提供了一種正式的方法來理解計算多項式的複雜度。那麼,如何有效地計算一個給定的多項式呢?這成為了研究的核心問題之一。
算術電路是一種有向無環圖,每個輸入閘的入度為零,並標記為變數或場元素。其他閘則標記為加法閘或乘法閘。每個電路都有兩種複雜性度量:大小和深度。電路的大小是指其中的閘數,而電路的深度則是指其中的最長有向路徑的長度。
算術電路通過自然的方式計算多項式,輸入閘計算其標記的多項式,而加法閘計算其子節點的多項式之和,乘法閘則計算子節點多項式的乘積。
在多項式計算複雜度的研究中,已經發現一些巧妙的電路和算法。一個著名的例子是 Strassen 的矩陣乘法算法。通常計算兩個 n × n 矩陣的乘積需要大小約 n³ 的電路,但 Strassen 證明可以使用大約 n².807 大小的電路來進行計算。
計算 n × n 矩陣的行列式同樣是一個有趣的故事。純粹的方法需要大小約 n! 的電路,但我們知道可以用多項式大小的電路來計算行列式,這些電路的深度則是線性的。但 Berkowitz 提出了一種改進,使得電路的大小仍為多項式,但深度卻限制在 O(log²(n))。
然而,對於一個 n × n 矩陣的永久,最好的已知電路大小約為 2^n,這是 Ryser 定理所提供的深度三電路。
有關證明下界的知識非常有限,尤其是對於小度數的多項式。舉例來說,計算非常高程度的多項式需要大電路,而我們的主要目標是對小度數的多項式證明下界。一個主要的開放問題是找出一個多項式度數小但需要超多項式大小電路的明確例子。
儘管計數論證告訴我們一些小度數的多項式也可能需要超多項式大小的電路,但是這些結果通常無法加深我們對計算過程的理解。
例如,目前為止的下界僅能達到 Ω(n log d) 的規模,這主要體現在了 Strassen 及 Baur 和 Strassen 的工作中。
在計算複雜度理論中最引人關注的開放問題是 P vs. NP 問題。而 Valiant 提出的代數類比問題 VP vs. VNP 就是其中之一。VP 是多項式度數原理的類比,而 VNP 則可以被視為一種類似於 NP 的問題。Valiant 證明了永久多項式是 VNP 類的完備性多項式,因此若想證明 VP 不等於 VNP,則需証明永久多項式並不存在多項式大小的電路。
在我們理解多項式計算的過程中,Valiant 和其他學者的研究提供了重要的參考。他們表明,如果一個多項式有大小為 s 的電路,那麼其深度也可以縮減到 O(log(r) log(s)),這為其他類似問題的解決提供了參考性指導。
這一結果不僅擴展了 Berkowitz 的電路方法,還有助於我們更好地理解多項式的計算。
在這個快速變化的時代,我們是否能找到新的方法來深入了解電路計算的結構和複雜性,以應對未來計算需求的挑戰呢?