Even faster integer multiplication

被引:52
作者
Harvey, David [1 ]
van der Hoeven, Joris [2 ]
Lecerf, Gregoire [2 ]
机构
[1] Univ New South Wales, Sch Math & Stat, Sydney, NSW 2052, Australia
[2] Ecole Polytech, CNRS, Lab Informat, F-91128 Palaiseau, France
关键词
Integer multiplication; Algorithm; Complexity bound; FFT; TRANSFORMS; PRIMES; NUMBER;
D O I
10.1016/j.jco.2016.03.001
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We give a new algorithm for the multiplication of n-bit integers in the bit complexity model, which is asymptotically faster than all previously known algorithms. More precisely, we prove that two n-bit integers can be multiplied in time O(n log n K-log*(n)), where K = 8 and log* n = min {k is an element of...(kx) log <= 1}. Assuming standard conjectures about the distribution of Mersenne primes, we give yet another algorithm that achieves K = 4. The fastest previously known algorithm was due to Ftirer, who proved the existence of a complexity bound of the above form for some finite K. We show that an optimised variant of Hirer's algorithm achieves only K = 16, suggesting that our new algorithm is faster than Hirer's by a factor of 2(log)* (n). (C) 2016 Elsevier Inc. All rights reserved.
引用
收藏
页码:1 / 30
页数:30
相关论文
共 54 条
[1]   PRIMES is in P [J].
Agrawal, M ;
Kayal, N ;
Saxena, N .
ANNALS OF MATHEMATICS, 2004, 160 (02) :781-793
[2]  
Aho Alfred V., 1974, The Design and Analysis of Computer Algorithms
[3]  
[Anonymous], 1944, REC MATH
[4]  
[Anonymous], 2013, MODERN COMPUTER ALGE
[5]  
[Anonymous], 2010, Modern Computer Arithmetic, DOI DOI 10.1017/CBO9780511921698
[6]  
[Anonymous], 2006, Handbook of Elliptic and Hyperelliptic Curve Cryptography
[7]  
[Anonymous], 1969, Seminumerical Algorithms, DOI 10.2307/2283757
[8]  
B├a┬╝rgisser P., 1997, ALGEBRAIC COMPLEXITY
[9]   LINEAR FILTERING APPROACH TO COMPUTATION OF DISCRETE FOURIER TRANSFORM [J].
BLUESTEIN, LI .
IEEE TRANSACTIONS ON AUDIO AND ELECTROACOUSTICS, 1970, AU18 (04) :451-+
[10]   Linear recurrences with polynomial coefficients and application to integer factorization and Cartier-Manin operator [J].
Bostan, Alin ;
Gaudry, Pierrick ;
Schost, Eric .
SIAM JOURNAL ON COMPUTING, 2007, 36 (06) :1777-1806