TY - JOUR
T1 - Even faster integer multiplication
AU - Harvey, David
AU - van der Hoeven, Joris
AU - Lecerf, Grégoire
N1 - Publisher Copyright:
© 2016 Elsevier Inc.
PY - 2016/10/1
Y1 - 2016/10/1
N2 - 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(nlognKlog∗n), where K=8 and log∗n=min{k∈N:log…k×logn⩽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 Fürer, who proved the existence of a complexity bound of the above form for some finite K. We show that an optimised variant of Fürer's algorithm achieves only K=16, suggesting that our new algorithm is faster than Fürer's by a factor of 2log∗n.
AB - 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(nlognKlog∗n), where K=8 and log∗n=min{k∈N:log…k×logn⩽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 Fürer, who proved the existence of a complexity bound of the above form for some finite K. We show that an optimised variant of Fürer's algorithm achieves only K=16, suggesting that our new algorithm is faster than Fürer's by a factor of 2log∗n.
KW - Algorithm
KW - Complexity bound
KW - FFT
KW - Integer multiplication
U2 - 10.1016/j.jco.2016.03.001
DO - 10.1016/j.jco.2016.03.001
M3 - Article
AN - SCOPUS:84962073995
SN - 0885-064X
VL - 36
SP - 1
EP - 30
JO - Journal of Complexity
JF - Journal of Complexity
ER -