在計算複雜性理論中,算術電路被視為計算多項式的標準模型。這種模型的基本原理是,一個算術電路可以透過節點進行操作,這些節點可以是變數或是數字,並且允許進行加法和乘法計算。在這樣的框架下,我們可以更深入地了解計算多項式的複雜性。那麼,這種計算的最佳方式究竟是什麼呢?
算術電路的基本問題是「計算特定多項式的最有效方法是什麼?」
算術電路以有向無環圖 (DAG) 的形式存在。每個未被其他節點指向的節點被稱為「輸入閘」,它們被標記為變數或是域中的元素。其他的閘則依據其運算類型分為加法和乘法閘。算術公式是指每個閘的出度皆為 1 的電路,該圖形結構就成為一個有向樹。
算術電路的複雜性度量涉及到兩個基本指標:尺寸和深度。電路的尺寸是指其中閘的數目,而深度則是電路中最長的有向路徑。以一個具體的例子來看,假設有一條電路,尺寸為六,深度為兩。這樣的結構透過特定的流程計算輸入閘所標記的多項式,而分別經由加法閘及乘法閘運算,計算出結果。
算術電路的計算方式即是透過輸入閘計算其被標記的多項式,然後分別利用加法和乘法閘來進行更加複雜的運算。
在計算多項式的複雜性研究中,尋找合適的電路是至關重要的。這類工作的結果可分為上界與下界兩部分。上界是指找到一個能計算特定多項式的電路,這顯示了該多項式的計算複雜度上限;而下界則是需要證明沒有其他電路能比所提出的電路計算得更快,這常常是個更具挑戰性的任務。
例如,Strassen 演算法以大約 n².807 的大小進行矩陣乘法,這相較於傳統的 n³ 複雜度可謂大幅度的優化。其他例如 Berkowitz 也提出過以多項式大小的電路高效計算行列式和永久等多項式的方式,這些研究結果無疑對算術電路的設計與計算方法提供了更全面的視角。
在多項式計算的過程中,目前所知的下界證明仍然有限,主研究焦點則集中在探討小程度多項式的下界。
算術電路中的開放問題之一是 P 與 NP 問題,而所謂的 VP 與 VNP 問題則是其“代數類比”。其中,VP 代表具有多項式電路的多項式類別,而 VNP 則是含有相關多項式的類別,用於證明某些多項式存在有效計算的可能性。
這項存在的基本概念在於複雜度理論中的完全性,若一個多項式是某個類別的完全多項式,就意味著若該多項式存在小型電路,則這個類別中的其他多項式也同樣具備相同性質。目前,仍未找到能證明 VP 與 VNP 不相等的結論,而這正是未來研究的關鍵之一。
算術電路的研究不僅限於數學界,還涉及到廣泛的計算領域,挑戰著我們對計算複雜性的理解與認識。
在這不斷推進的領域中,算術電路提供了重要的數學工具,幫助我們理解多項式的計算複雜性。然而,究竟在未來的研究中,我們能否真正揭開這些數學運算背後深邃的秘密呢?