图姆-库克算法(英語: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[编辑]
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[编辑]
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[编辑]
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[编辑]
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.
外部链接[编辑]