圖姆-庫克算法(英語:Toom–Cook),有時也被稱為Toom-3算法,由安德魯·圖姆命名,他提出了這種算法的基本原理,而史蒂芬·庫克則最先用簡潔的形式描述並改進了這種算法,將其作為大整數的乘法算法。
圖姆-庫克算法的原理是:對於給定的兩個大整數
和
,將
和
分成
個較小的部分,每個部分的長度為
,並對這些部分執行運算。隨著
的增長,可以組合許多乘法子運算,從而降低算法的整體複雜度,然後再次使用圖姆-庫克算法遞歸計算乘法子運算,依此類推。Toom-3和圖姆-庫克兩個術語有時會被錯誤的混用,但事實上Toom-3只是圖姆-庫克算法在
時的特例。
Toom-3將9次乘法降低至僅需5次,使其在
的時間裡運行。通常,Toom-
的時間複雜度為
,其中
。
是在乘法子運算上花費的時間,
則是花費在對小常數進行的加法和乘法運算上的時間[1]。著名的Karatsuba算法實際上是圖姆-庫克算法的特例,在Karatsuba算法中,原始乘數被拆分成兩個較小的數,而原本的4次乘法運算縮減為3次,使之在
的時間內完成運算。Toom-1等價於普通的長乘法,具有
的複雜度。
儘管可以通過增加
來使指數
任意接近1,但函數
增長速度非常快[1][2]。混合級別圖姆-庫克算法的增長率直到2005年仍然是一個廣為研究的開放性問題[3]。根據高德納所描述算法的一種實現,其複雜度可降低至
[4]。
由於工作時的開銷,當乘數包括較小的數時,圖姆-庫克算法會比長乘法更慢,因此它適用於中等規模的乘法。對於更大規模的數據,則有漸進更快的史恩哈格·施特拉森算法(複雜度為
)。
這一算法由安德魯·圖姆1963年首次描述,並在史蒂芬·庫克1966年的博士學位論文中得到漸進等效的改進[5]。
本節將討論對於任意給定
值, Toom-
究竟是如何運作的,這是馬可·波德拉托對圖姆-庫克多項式乘法的簡化描述[6]。這個算法包括五個主要步驟:
- 拆分
- 求值
- 點乘
- 插值
- 重組
在典型的大整數實現中,每個整數都表示為
進位的數字序列(
通常取較大的數)。在此示例中,
,因此每個數字序列對應一組十進位數字(在實踐中,
通常取
的冪)。設要相乘的兩個大整數
、
分別是:
![{\displaystyle m}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a07d98bb302f3856cbabc47b2b9016692e3f7bc) |
= |
![{\displaystyle 12}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a522d3aa5812a136a69f06e1b909d809e849be39) |
![{\displaystyle 3456}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1abe606d7a7557c02975f5783b39fbb79c1f58c) |
![{\displaystyle 7890}](https://wikimedia.org/api/rest_v1/media/math/render/svg/58a26455d3dbb643e47314a83cb060bc2543455b) |
![{\displaystyle 1234}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9f8b5d1dfac1edd1924af4fc1bba33a456a1b77) |
![{\displaystyle 5678}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac62206b3189447c69ad5951f9214ff58a1ebd2d) |
|
![{\displaystyle n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b) |
=
|
![{\displaystyle 9}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32d3d1e1f9dfe0254c628379e69a69711fe4eabd) |
![{\displaystyle 8765}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c5d8b79ca1c6d25a6d857c712a0b9c78b3296dd) |
![{\displaystyle 4321}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cdab8bdb45576ebfffa2c7b8699183f5dc674e10) |
![{\displaystyle 9876}](https://wikimedia.org/api/rest_v1/media/math/render/svg/58b88af07a6129fb2e9cfe5362fa65be365cfabd) |
![{\displaystyle 5432}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec54a495bfc4b58d2e0f725822eb197f901a5b52) |
|
這對乘數實際上比圖姆-庫克算法通常要處理的數據小很多,在此使用學校里學習的普通乘法可能會更快,但這個示例仍有助於說明圖姆-庫克算法的工作原理。
第一步是選擇基數
,使得兩個數字
和
可以分成
段大小不超過
的數字(例如在Toom-3算法中,拆分段數應至多為3)。
常常根據如下公式求得:
![{\displaystyle i=\max \left\{\left\lfloor {\frac {\left\lfloor \log _{b}m\right\rfloor }{k}}\right\rfloor ,\left\lfloor {\frac {\left\lfloor \log _{b}n\right\rfloor }{k}}\right\rfloor \right\}+1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/188e90eae0cfb0a716f0320ffdb5711335e7a66a)
我們的示例將演繹Toom-3算法的運算過程,因此確定
,接著把
和
拆分為3段,即
和
,則有:
![{\displaystyle {\begin{aligned}m_{2}&{}=123456\\m_{1}&{}=78901234\\m_{0}&{}=56789012\\n_{2}&{}=98765\\n_{1}&{}=43219876\\n_{0}&{}=54321098\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb7be352a3c981e57c3a7d3d206abbb38e0b94b5)
然後,我們把這些數作為
階多項式
和
的係數,with the property that
and
:
![{\displaystyle p(x)=m_{2}x^{2}+m_{1}x+m_{0}=123456x^{2}+78901234x+56789012\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/82ec54f3be8d087abac552f79757957d16f6f2aa)
![{\displaystyle q(x)=n_{2}x^{2}+n_{1}x+n_{0}=98765x^{2}+43219876x+54321098\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c39f787bfddb2e61e2ba55ec76366aebd56f314)
定義這些多項式的目的在於:如果計算出它們的乘積
,我們的答案就會是
。
如果乘數位數不同,對於
、
分別取不同的
值十分有用,我們將其稱為
和
。例如,算法「Toom-2.5」是指
且
時的圖姆-庫克算法。這時
中的
通常被確定為:
![{\displaystyle i=\max \left\{\left\lfloor {\frac {\left\lceil \log _{b}m\right\rceil }{k_{m}}}\right\rfloor ,\left\lfloor {\frac {\left\lceil \log _{b}n\right\rceil }{k_{n}}}\right\rfloor \right\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/663b5c5819436f62b4d7d38956bff6fe4f9bbcdd)
圖姆-庫克算法包含一種常用的方法,來計算多項式
、
的乘積。注意,次數為
的多項式可以通過
個空間中的點確定(例如一次多項式是一條直線,它由兩個點確定)。這個方法是在各個點上求值
和
,然後把這些點相乘以獲得多項式乘積上的點,最後進行插值以找到其係數。
由於
,我們將需要
個點來確定最終結果
。在Toom-3的情況下,
。無論選擇什麼點,該算法都可以工作(有一些小例外,請參閱插值中的矩陣可逆性約束),但為了簡化算法,最好選擇較小的整數值,例如
、
、
和
。
無窮大是一個常被使用的不尋常點,其記作
或
。求多項式
在無窮大時的值,實際上意味著令
的上限為
且趨向無窮大。因此,
總是其高階係數的值(
是上文中的係數)。
在我們的Toom-3示例中,我們將使用點
、
、
、
和
,這些選擇簡化了求值,如下式子:
![{\displaystyle {\begin{array}{lrlrl}p(0)&=&m_{0}+m_{1}(0)+m_{2}(0)^{2}&=&m_{0}\\p(1)&=&m_{0}+m_{1}(1)+m_{2}(1)^{2}&=&m_{0}+m_{1}+m_{2}\\p(-1)&=&m_{0}+m_{1}(-1)+m_{2}(-1)^{2}&=&m_{0}-m_{1}+m_{2}\\p(-2)&=&m_{0}+m_{1}(-2)+m_{2}(-2)^{2}&=&m_{0}-2m_{1}+4m_{2}\\p(\infty )&=&m_{2}&&\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/991ba1d8bccb06723868eebc4bda9e328e151248)
對於
也是如此。在示例中,我們得到的值是:
![{\displaystyle p(0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6d076cd2e950ff98d225d229dae5bd287aab105) |
= |
![{\displaystyle m_{0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a6ff51ee949104fe6fae553cfbdfba29d5fac1e) |
= |
![{\displaystyle 56789012}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4971f178a82664a919f1d1fe4d5f1cb2c2333b3) |
= |
|
![{\displaystyle p(1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1afc1ecf82b121cb3b0c55d4e45387dc03508431) |
= |
![{\displaystyle m_{0}+m_{1}+m_{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/09d8c87f4c13cd914e78812f9f73ea05650f7ea4) |
= |
![{\displaystyle 56789012+78901234+123456}](https://wikimedia.org/api/rest_v1/media/math/render/svg/25425d6916a5533ce9757e0d53ff195c29edde74) |
= |
|
![{\displaystyle p(-1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9e46710cbb301d2a087de82ee38a3d190ef287d) |
= |
![{\displaystyle m_{0}-m_{1}+m_{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/576aaed84a339e3d67d04a29fcbfb48744de7ea9) |
= |
![{\displaystyle 56789012-78901234+123456}](https://wikimedia.org/api/rest_v1/media/math/render/svg/60ad34a0b07db82342935edbbf09d120efce1923) |
= |
|
![{\displaystyle p(-2)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/778119f0a2a84ae35d3c0fdd86d76d347896b74d) |
= |
![{\displaystyle m_{0}-2m_{1}+4m_{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa02f755e68a976656a6bc05adbd9c0280184edc) |
= |
![{\displaystyle 56789012-2\times 78901234+4\times 123456}](https://wikimedia.org/api/rest_v1/media/math/render/svg/041b76ebb291170219090c1d4e4411ba178a044e) |
= |
|
![{\displaystyle p(\infty )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a457c2bb4229b38669a5ee8acdfa3f59aa860d5) |
= |
![{\displaystyle m_{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ecebe334d5cadc3ffcf245eb02919034d7a2ec8) |
= |
![{\displaystyle 123456}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0298fd6c81468b4f550581eb433e5e5191a87c0) |
= |
|
![{\displaystyle q(0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa430a57a7584348eaf6aedecdac91eb7b2814de) |
= |
![{\displaystyle n_{0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/63584d203ecb012a7bcb90f422408bbfe4018956) |
= |
![{\displaystyle 54321098}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe981dbd7fb94c32849be7edf57e56e2dee219f7) |
= |
|
![{\displaystyle q(1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ced0d4edc8ce5775ad0003065e67a1334b247f07) |
= |
![{\displaystyle n_{0}+n_{1}+n_{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2225a56316c31ecca6838fc352f23075928aeca4) |
= |
![{\displaystyle 54321098+43219876+98765}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b8b51811bffa3751defd31060498861057282e2) |
= |
|
![{\displaystyle q(-1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/63ea1b09414f05550552af9e28e9c40598ddebc2) |
= |
![{\displaystyle n_{0}-n_{1}+n_{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3cfec3ef3fb097cda2dd71304bcbe72a8cb26e24) |
= |
![{\displaystyle 54321098-43219876+98765}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a671e0fccd76f4c17a41df1a61de65a31f78dcb6) |
= |
|
![{\displaystyle q(-2)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/05189f6486ef743bba49e8361f667fa5262a2f00) |
= |
![{\displaystyle n_{0}-2n_{1}+4n_{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb8f077b6814387f8ee5ff9e7481db380ab03011) |
= |
![{\displaystyle 54321098-2\times 43219876+4\times 98765}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5cb5e56e63bb9b80f0bddb048955813a52c5d51) |
= |
|
![{\displaystyle q(\infty )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1f361501978f70772fc0257b97424b8d50ec7b4) |
= |
![{\displaystyle n_{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/840e456e3058bc0be28e5cf653b170cdbfcc3be4) |
= |
![{\displaystyle 98765}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a22ec6aad4b14d7061736820b8097ccfe34da1c) |
= |
.
|
如上所示,這些值可以包括負值。
為了下文的闡述,把這個求值過程視作矩陣向量乘法較為有用。其中,矩陣的每一行都包含求值點之一的冪,且向量包含多項式的係數:
![{\displaystyle \left({\begin{matrix}p(0)\\p(1)\\p(-1)\\p(-2)\\p(\infty )\end{matrix}}\right)=\left({\begin{matrix}0^{0}&0^{1}&0^{2}\\1^{0}&1^{1}&1^{2}\\(-1)^{0}&(-1)^{1}&(-1)^{2}\\(-2)^{0}&(-2)^{1}&(-2)^{2}\\0&0&1\end{matrix}}\right)\left({\begin{matrix}m_{0}\\m_{1}\\m_{2}\end{matrix}}\right)=\left({\begin{matrix}1&0&0\\1&1&1\\1&-1&1\\1&-2&4\\0&0&1\end{matrix}}\right)\left({\begin{matrix}m_{0}\\m_{1}\\m_{2}\end{matrix}}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed82d478fc27ad7283710684c86a0001a711d9a0)
The dimensions of the matrix are
by
for
and
by
for
。除最後一列的
以外,無窮大的行總是
。
與上述公式相比,多點求值可能會減少基本運算(加、減)的次數,更快獲得需要的結果。波德拉托[6] 為Toom-3給出的序列如下所示,它是在運行示例的第一個操作數(多項式
上進行的):
![{\displaystyle p_{0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b969ada68a88e2aeba9a2d2096abaf1fd53c21d) |
![{\displaystyle \leftarrow }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c0fb4bce772117bbaf55b7ca1539ceff9ae218c) |
![{\displaystyle m_{0}+m_{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2e665a0c109e020fe8988bee694131ee7721a21) |
= |
![{\displaystyle 56789012+123456}](https://wikimedia.org/api/rest_v1/media/math/render/svg/db989c6638e951269ecddb8a633c9a1ca6d05aa4) |
= |
|
![{\displaystyle p(0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6d076cd2e950ff98d225d229dae5bd287aab105) |
= |
![{\displaystyle m_{0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a6ff51ee949104fe6fae553cfbdfba29d5fac1e) |
= |
![{\displaystyle 56789012}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4971f178a82664a919f1d1fe4d5f1cb2c2333b3) |
= |
|
![{\displaystyle p(1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1afc1ecf82b121cb3b0c55d4e45387dc03508431) |
= |
![{\displaystyle p_{0}+m_{1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16c1e1e5b5d8c96c226ad5b45680872ce9ee9f0b) |
= |
![{\displaystyle 56912468+78901234}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4f4df6271ed9775d4ba145a6fe9d8aecbfc80958) |
= |
|
![{\displaystyle p(-1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9e46710cbb301d2a087de82ee38a3d190ef287d) |
= |
![{\displaystyle p_{0}-m_{1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/61c6e041c5719108d169e42a5fe7d34e44e835f7) |
= |
![{\displaystyle 56912468-78901234}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f40fdefc9fb4cd77c658dd72df0803449358afe) |
= |
|
![{\displaystyle p(-2)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/778119f0a2a84ae35d3c0fdd86d76d347896b74d) |
= |
![{\displaystyle (p(-1)+m_{2})\times 2-m_{0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b14223b552fe02a22400ca54f0faea487691dc44) |
= |
![{\displaystyle (-21988766+123456)\times 2-56789012}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e631e15c8b4471624b0c88a0c96465f149dcb78) |
= |
|
![{\displaystyle p(\infty )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a457c2bb4229b38669a5ee8acdfa3f59aa860d5) |
= |
![{\displaystyle m_{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ecebe334d5cadc3ffcf245eb02919034d7a2ec8) |
= |
![{\displaystyle 123456}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0298fd6c81468b4f550581eb433e5e5191a87c0) |
= |
|
此序列需要進行五次加/減運算,比簡單求值少一次,同時節省了在計算
時乘以
的開銷。
與對多項式
和
所進行的乘法不同,將
和
被求出的值相乘僅涉及整數相乘——這是原始問題的較小實例。我們遞歸調用我們的乘法過程來使每對已求值的點相乘。在實踐中,隨著乘數減小,算法將逐漸過渡為教科書長乘法。令
為多項式乘積,我們將得到:
![{\displaystyle r(0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e1837885ca1af4523af9a072cfb4e06bd210b6a) |
= |
![{\displaystyle p(0)q(0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd16127b9591ce1841cd1e0c1ee11705c5c36e9d) |
= |
![{\displaystyle 56789012\times 54321098}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ecee41c5013aa1d1fcf35d7926539bec48dd861) |
= |
|
![{\displaystyle r(1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/008d7ef922b561032038850953d0f234b06d7bca) |
= |
![{\displaystyle p(1)q(1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/36a377c50635a2e17116fab4c028679787d30e30) |
= |
![{\displaystyle 135813702\times 97639739}](https://wikimedia.org/api/rest_v1/media/math/render/svg/800cb392e0ab6ec015863266aa0c1aba0340461e) |
= |
|
![{\displaystyle r(-1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5fc19dd1a4f640d2e8a04008e15d591ab7b83440) |
= |
![{\displaystyle p(-1)q(-1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/20cad987264e8f8ac26fd6c23cb7758787a92e94) |
= |
![{\displaystyle -21988766\times 11199987}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e2f75f0e04a677014ce9760b6662621284d7ed9f) |
= |
|
![{\displaystyle r(-2)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c74a328131ba85b35503e5a1bb449d86b9de7fde) |
= |
![{\displaystyle p(-2)q(-2)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d39e84bb82e3c7dc39b7f48e8c378c8529e49086) |
= |
![{\displaystyle -100519632\times -31723594}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd521c90e7c3ce2cd1ef09106c368f38b1d6701e) |
= |
|
![{\displaystyle r(\infty )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/18724daf8f087d93dda29e37d65a1d5f212ddc25) |
= |
![{\displaystyle p(\infty )q(\infty )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8b79685c103f943078999deec13b465142b995d) |
= |
![{\displaystyle 123456\times 98765}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1503d34f70ffa4226e69315c699fae1d05752187) |
= |
|
如上所示,這些值也可以是負數。對於足夠大的數值,這裡是最昂貴的、唯一與
、
大小不成線性關係的步驟。
這一步最為複雜。與求值相反:給定多項式乘積
上的
點,我們需要確定其係數。換句話說,我們要在右側求解其向量的矩陣方程:
![{\displaystyle {\begin{aligned}\left({\begin{matrix}r(0)\\r(1)\\r(-1)\\r(-2)\\r(\infty )\end{matrix}}\right)&{}=\left({\begin{matrix}0^{0}&0^{1}&0^{2}&0^{3}&0^{4}\\1^{0}&1^{1}&1^{2}&1^{3}&1^{4}\\(-1)^{0}&(-1)^{1}&(-1)^{2}&(-1)^{3}&(-1)^{4}\\(-2)^{0}&(-2)^{1}&(-2)^{2}&(-2)^{3}&(-2)^{4}\\0&0&0&0&1\end{matrix}}\right)\left({\begin{matrix}r_{0}\\r_{1}\\r_{2}\\r_{3}\\r_{4}\end{matrix}}\right)\\&{}=\left({\begin{matrix}1&0&0&0&0\\1&1&1&1&1\\1&-1&1&-1&1\\1&-2&4&-8&16\\0&0&0&0&1\end{matrix}}\right)\left({\begin{matrix}r_{0}\\r_{1}\\r_{2}\\r_{3}\\r_{4}\end{matrix}}\right).\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3aafdf2837986fae24924607fd1fbc65ac8cee19)
此矩陣的構造與求值步驟中的矩陣相同,不過它是
的。我們可以用高斯消元法來求出方程的解,但這樣非常昂貴。根據以下事實:只要求值點的選擇合適,這個矩陣就是可逆的。因此我們有:
![{\displaystyle {\begin{aligned}\left({\begin{matrix}r_{0}\\r_{1}\\r_{2}\\r_{3}\\r_{4}\end{matrix}}\right)&{}=\left({\begin{matrix}1&0&0&0&0\\1&1&1&1&1\\1&-1&1&-1&1\\1&-2&4&-8&16\\0&0&0&0&1\end{matrix}}\right)^{-1}\left({\begin{matrix}r(0)\\r(1)\\r(-1)\\r(-2)\\r(\infty )\end{matrix}}\right)\\&{}=\left({\begin{matrix}1&0&0&0&0\\{\tfrac {1}{2}}&{\tfrac {1}{3}}&-1&{\tfrac {1}{6}}&-2\\-1&{\tfrac {1}{2}}&{\tfrac {1}{2}}&0&-1\\-{\tfrac {1}{2}}&{\tfrac {1}{6}}&{\tfrac {1}{2}}&-{\tfrac {1}{6}}&2\\0&0&0&0&1\end{matrix}}\right)\left({\begin{matrix}r(0)\\r(1)\\r(-1)\\r(-2)\\r(\infty )\end{matrix}}\right).\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92b6ed1a25c78d424079ff5075b1ce6233be8457)
接下來即要求得該矩陣的向量積。儘管矩陣中包含分數,但所得的係數卻是整數——因此所有這些都可以在整數算術中完成,僅僅是與小常數進行加減乘除。圖姆-庫克設計時面臨的一個困難挑戰就是找到有效的操作順序來計算該乘積。下面是波德拉托為Toom-3找到的一組順序,通過上面的示例演示:
![{\displaystyle r_{0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fb12fcfddb65e3d1e6a044215f6e833f0cd4337b) |
![{\displaystyle \leftarrow }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c0fb4bce772117bbaf55b7ca1539ceff9ae218c) |
![{\displaystyle r(0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e1837885ca1af4523af9a072cfb4e06bd210b6a) |
= |
|
![{\displaystyle r_{4}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4ff4fdbb4deb0617c2f0597ed2195e0b7b4479f) |
![{\displaystyle \leftarrow }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c0fb4bce772117bbaf55b7ca1539ceff9ae218c) |
![{\displaystyle r(\infty )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/18724daf8f087d93dda29e37d65a1d5f212ddc25) |
= |
|
![{\displaystyle r_{3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51fc5930cbb780220b209b444707ad9e2ba82c68) |
![{\displaystyle \leftarrow }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c0fb4bce772117bbaf55b7ca1539ceff9ae218c) |
![{\displaystyle (r(-2)-r(1))/3}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e52543252c337a08aaaebfa648a75a89b266602a) |
= |
|
|
|
|
= |
|
![{\displaystyle r_{1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea214f2b31fb3869344bb9311da41c5cc38a99e1) |
![{\displaystyle \leftarrow }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c0fb4bce772117bbaf55b7ca1539ceff9ae218c) |
![{\displaystyle (r(1)-r(-1))/2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/58506808fcd950e7959485920a1e85ce8a847baa) |
= |
|
|
|
|
= |
|
![{\displaystyle r_{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4cbe9b0b294fdd6fadbf9a7249813f016dcbc44f) |
![{\displaystyle \leftarrow }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c0fb4bce772117bbaf55b7ca1539ceff9ae218c) |
![{\displaystyle r(-1)-r(0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d560607c4d36a498ce28126d3bda6e86adba670) |
= |
|
|
|
|
= |
|
![{\displaystyle r_{3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51fc5930cbb780220b209b444707ad9e2ba82c68) |
![{\displaystyle \leftarrow }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c0fb4bce772117bbaf55b7ca1539ceff9ae218c) |
![{\displaystyle (r_{2}-r_{3})/2+2r(\infty )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d727cd026579aae9731ae05ea1785bf3422fc64b) |
= |
|
|
|
|
= |
|
![{\displaystyle r_{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4cbe9b0b294fdd6fadbf9a7249813f016dcbc44f) |
![{\displaystyle \leftarrow }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c0fb4bce772117bbaf55b7ca1539ceff9ae218c) |
![{\displaystyle r_{2}+r_{1}-r_{4}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/822c387577187c78212c1d0d7619514c3b10e18a) |
= |
|
|
|
|
= |
|
![{\displaystyle r_{1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea214f2b31fb3869344bb9311da41c5cc38a99e1) |
![{\displaystyle \leftarrow }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c0fb4bce772117bbaf55b7ca1539ceff9ae218c) |
![{\displaystyle r_{1}-r_{3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/377a2d9d266cf76c330a2514235b627c45491038) |
= |
|
|
|
|
= |
|
現在我們知道多項式乘積
:
![{\displaystyle {\begin{array}{rrr}r(x)=&{}&3084841486175176\\&+&6740415721237444x\\&+&3422416581971852x^{2}\\&+&13128433387466x^{3}\\&+&12193131840x^{4}\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d35502a7da2342b7933ad2988676b354aba4e95)
如果我們使用不同的
、
或求值點,矩陣和我們的插值將改變。但是它不依賴於輸入,因此可以對任何給定的參數集進行硬編碼。
最後,我們將求出
的值以獲得最終結果。很顯然,由於
是
的冪,因此對
的冪的乘法同樣也可以應用於所有以
為底數的數值。在這個示例中,
且
。
|
|
|
|
|
|
|
|
![{\displaystyle 3084}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de316817b3e79d9bde1eb3a34fd184445a5d92f7) |
![{\displaystyle 8414}](https://wikimedia.org/api/rest_v1/media/math/render/svg/008aadc8143ac9657eecada08a4de515afed6944) |
![{\displaystyle 8617}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9dc6aed4c372fd26724602a46919874f939dd28a) |
|
|
|
|
|
|
|
![{\displaystyle 6740}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28e9161ee054dd91d0410962b0f8a100f0ea5ffb) |
![{\displaystyle 4157}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e33052cbae8a88105794e7fcb187995b2bf00f65) |
![{\displaystyle 2123}](https://wikimedia.org/api/rest_v1/media/math/render/svg/628af8027d7ae66bdf3c2dbd4ae1d5107bfe12d6) |
![{\displaystyle 7444}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b346fd5dd89770873c7006cc9af25974e80e7416) |
|
|
|
|
|
|
![{\displaystyle 3422}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6be5cb38f2f9935a879a3d8889936fdc10f678e9) |
![{\displaystyle 4165}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f5ab20534b75e20a546f2d31c243e0963a1979a) |
![{\displaystyle 8197}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf44c775ad410efbd9dd190c72dddd8c44ee9a5e) |
![{\displaystyle 1852}](https://wikimedia.org/api/rest_v1/media/math/render/svg/689476a3029a646e76cb23106445e3d66aea8642) |
|
|
|
|
|
|
![{\displaystyle 13}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d478c234d544278fb494e9610b7b3310567302b0) |
![{\displaystyle 1284}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f714d05bb550fff086df6531b457640278b2671) |
![{\displaystyle 3338}](https://wikimedia.org/api/rest_v1/media/math/render/svg/978c883f459e7787e9d76662b8ba4e72ffee45bb) |
![{\displaystyle 7466}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ca402549a941850c0039dd613f9e1e44ed32a04) |
|
|
|
|
|
|
![{\displaystyle +}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe6ef363cd19902d1a7a71fb1c8b21e8ede52406) |
![{\displaystyle 121}](https://wikimedia.org/api/rest_v1/media/math/render/svg/db2be2316c301a88efd0339ab49cd8cb07cd8528) |
![{\displaystyle 9313}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4ecb356777c1dcdde8372d358fc047f84dde788) |
![{\displaystyle 1840}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e19986775da6e769a111ce30b36fc531cc8335d5) |
|
|
|
|
|
|
|
|
|
|
![{\displaystyle 121}](https://wikimedia.org/api/rest_v1/media/math/render/svg/db2be2316c301a88efd0339ab49cd8cb07cd8528) |
![{\displaystyle 9326}](https://wikimedia.org/api/rest_v1/media/math/render/svg/add72e7f2a8f7790ec075e9f646215b33c53b126) |
![{\displaystyle 3124}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c4dd79f127efff316f0fb9916348c873dc536d2) |
![{\displaystyle 6761}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d9f5bdd31521afd6d1dd85f5c57ccd4a529b3770) |
![{\displaystyle 1632}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c73698b67d8fd27673271a4810d5eda403bd2b32) |
![{\displaystyle 4937}](https://wikimedia.org/api/rest_v1/media/math/render/svg/428137228190efb38987ad3de31b568a50c1829c) |
![{\displaystyle 6009}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ffa6689e168bdff4ed7f22bbf492b74d362cc74) |
![{\displaystyle 5208}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a03c6c0f72b1e0e584108c5c44bee4bdf6fb1062) |
![{\displaystyle 5858}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f4dc8cd12b060113ef3c29e3ba40e0b93da3934) |
![{\displaystyle 8617}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9dc6aed4c372fd26724602a46919874f939dd28a) |
|
這實際上是
與
的乘積。
在其他取值時的插值矩陣
[編輯]
這裡我們給出了幾種
和
取常見較小值的插值矩陣。
Toom-1(
)需要一個求值點,這裡選擇
。它退化為長乘法,並且使用恆等矩陣的插值矩陣。
![{\displaystyle \left({\begin{matrix}1\end{matrix}}\right)^{-1}=\left({\begin{matrix}1\end{matrix}}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/847b7d1cc0a5b6e9c72b36aab8da2b702630c62a)
Toom-1.5(
)需要兩個求值點,這裡選擇
和
,且其插值矩陣就是恆等矩陣。
![{\displaystyle \left({\begin{matrix}1&0\\0&1\end{matrix}}\right)^{-1}=\left({\begin{matrix}1&0\\0&1\end{matrix}}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f8724771f1e77e49f31827ef15fde3498dbf6a4)
這裡亦退化為長乘法:一個因數的兩個係數都乘以另一個因數的兩個係數。
Toom-2(
)需要三個求值點,這裡選擇
、
和
。它與 Karatsuba 算法相同,其插值矩陣為:
![{\displaystyle \left({\begin{matrix}1&0&0\\1&1&1\\0&0&1\end{matrix}}\right)^{-1}=\left({\begin{matrix}1&0&0\\-1&1&-1\\0&0&1\end{matrix}}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b93ee0f7b0d80dd25f71b5318cc605000ef2104)
Toom-2.5(
)需要四個求值點,這裡選擇
、
、
和
。它的插值矩陣為:
![{\displaystyle \left({\begin{matrix}1&0&0&0\\1&1&1&1\\1&-1&1&-1\\0&0&0&1\end{matrix}}\right)^{-1}=\left({\begin{matrix}1&0&0&0\\0&{\tfrac {1}{2}}&-{\tfrac {1}{2}}&-1\\-1&{\tfrac {1}{2}}&{\tfrac {1}{2}}&0\\0&0&0&1\end{matrix}}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00aee9f6297350b9a0b82761d28db840ea166ea1)
- ^ 1.0 1.1 Knuth, p. 296
- ^ Crandall & Pomerance, p. 474
- ^ Crandall & Pomerance, p. 536
- ^ Knuth, p. 302
- ^ [http://cr.yp.to/bib/1966/cook.html Positive Results], chapter III of Stephen A. Cook: On the Minimum Computation Time of Functions.
- ^ 6.0 6.1 Marco Bodrato. Towards Optimal Toom-Cook Algorithms for Univariate and Multivariate Polynomials in Characteristic 2 and 0. In WAIFI'07 proceedings, volume 4547 of LNCS, pages 116–133. June 21–22, 2007. [http://bodrato.it/papers/#WAIFI2007 author website]
- D. Knuth. The Art of Computer Programming, Volume 2. Third Edition, Addison-Wesley, 1997. Section 4.3.3.A: Digital methods, pg.294.
- R. Crandall & C. Pomerance. Prime Numbers – A Computational Perspective. Second Edition, Springer, 2005. Section 9.5.1: Karatsuba and Toom–Cook methods, pg.473.
- M. Bodrato. Toward Optimal Toom-Cook (頁面存檔備份,存於網際網路檔案館). In WAIFI'07, Springer, 2007.