积木结构计算复杂性理论.pdfVIP

積木結構的計算複雜性理論 王則柯 1981 年的 《美國數學會通報》 (Bull. 階複係數多項式, 這裡 n 是 自然數, z 是複變 AMS) 上, 發表了伯克利加州大學教授斯梅 量, C , . . . , C 都是複常數, 並且 C = 0。 0 n n 爾 (S. Smale) 的論文 「代數基本定理與計 如果一個複數 ξ 使得用 z = ξ 代入這個多 算複雜性理論」, 討論用牛頓方法計算多項式 項式後多項式的值為 0, 即 f (ξ ) = 0, 就說 零點的計算複雜性問題。 斯梅爾的結果可以 z = ξ 是多項 f (z) 的一個零點, 或一個根。 有條件地簡述為: 用牛頓方法為任一 n 階複 在尋求零點或計算零點的時後, 我們可 係數多項式找到一個零點的成本 (以牛頓疊 以先用 Cn = 0 除整個多項式, 所得的多項 代次數衡量), 隨著多項式階數 n 的增長而 式 g (z) = z + (C /C )zn−1 + . . . + n n−1 n 9 7 增長的速率不超過 n / , 這裡 是允許論 (C /C )z + (C /C ) 的零點與原來多項式 1 n 0 n 斷失敗的概率, 0 1。 f (z) 的零點一致。 因此, 今後我們只討論形 兩年以後, 1983年 4 月, 筆者應斯梅爾 如 教授的邀請, 在伯克利加州大學報告了下述 結果: 用庫恩 (Kuhn) 方法算出任一 n 階 f (z) = z + a zn−1 + . . . + a z + a n n−1 1 0 複係數多項式一個零點的成本 (以多項式計 值次數衡量), 隨著多項式階數 n 的增長而 的所謂首一多項式 (monic polynomial), 其 2 中 z 是複變量, a , . . . , a 都是複常數。 自 增長的速率不超過 n log(n/ε), 這裡 ε 0 0 n−1 是零點數值計算的精度要求。 然數 n 仍是多項式的階。 數值計算方法的計算複雜性問題, 是應 代數基本定理說, 任一 n 階複係數多 用數學當今令人矚 目的發展。 本文以斯梅爾 項式必有一個複零點。 或者採用更強的形式: 的論文和我們的 n2 log(n/ε) 的工作為主, 任一 n 階複係數多項式, 正好有 n 個複零 介紹計算複雜性討論的若干進展。 點。 數學史上有一些經典的論題, 它們雖然已 經被解決, 卻仍然一再喚起人們的熱情, 去從 代數基本定理與計算複雜性問題 事溫故而創新的工作