ABSTRACT
Almost asymptotically tight lower bounds are derived for the Input/Output (I/O) complexity IOA(n, M) of a general class of hybrid algorithms computing the product of two integers, each represented with n digits in a given base s, in a two-level storage hierarchy with M words of fast memory, with different digits stored in different memory words. The considered hybrid algorithms combine the Toom-Cook-k (or Toom-k) fast integer multiplication approach with computational complexity Θ(cknlogk (2k-1)), and "standard" integer multiplication algorithms which compute Ω(n2) digit multiplications. We present an Ω((n/max(M,n0))logk (2k-1) (max(1,n_0/M))2M) lower bound for the I/O complexity of a class of "uniform, non-stationary" hybrid algorithms, where n0 denotes the threshold size of sub-problems which are computed using standard algorithms with algebraic complexity Ω(n2). As a special case, our result yields an asymptotically tight Ω(n2/M) lower bound for the I/O complexity of any standard integer multiplication algorithm. As some sequential hybrid algorithms from this class exhibit I/O cost within a O(k2) multiplicative term of the corresponding lower bounds, the proposed lower bounds are almost asymptotically tight and indeed tight for constant values of k. By extending these results to a distributed memory model with P processors, we obtain both memory-dependent and memory-independent I/O lower bounds for parallel versions of hybrid integer multiplication algorithms. All the lower bounds are derived for the more general class of "non-uniform, non-stationary" hybrid algorithms that allow recursive calls to have a different structure, even when computing sub-problems with the same input size, and to use different versions of Toom-k.
- Gianfranco Bilardi and Lorenzo De Stefani. 2019. The I/O Complexity of Toom-Cook Integer Multiplication. In Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms (San Diego, California) (SODA '19). Society for Industrial and Applied Mathematics, USA, 2034--2052.Google ScholarDigital Library
- Gianfranco Bilardi and Franco P. Preparata. 1995. Horizons of Parallel Computation. J. Parallel Distrib. Comput. 27, 2 (jun 1995), 172--182. https://doi.org/10.1006/jpdc.1995.1080Google ScholarDigital Library
- Stephen A. Cook and Stal O. Aanderaa. 1969. On the Minimum Computation Time of Functions. Trans. Amer. Math. Soc. 142 (1969), 291--314. http://www.jstor.org/stable/1995359Google ScholarCross Ref
- Svyatoslav Covanov and Emmanuel Thomé. 2019. Fast integer multiplication using\goodbreak generalized Fermat primes. Math. Comp. 88, 317 (2019), 1449--1477.Google ScholarCross Ref
- Lorenzo De Stefani. 2019. On the I/O complexity of hybrid algorithms for Integer Multiplication. https://arxiv.org/abs/1912.08045 (2019). arXiv:1912.08045 [cs.CC]Google Scholar
- Lorenzo De Stefani. 2019. The I/O Complexity of Hybrid Algorithms for Square Matrix Multiplication. In 30th International Symposium on Algorithms and Computation (ISAAC 2019), Vol. 149. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 33:1--33:16. https://doi.org/10.4230/LIPIcs.ISAAC.2019.33Google Scholar
- Lorenzo De Stefani. 2020. Communication-Optimal Parallel Standard and Karatsuba Integer Multiplication in the Distributed Memory Model. https://arxiv.org/abs/2009.14590 (2020). arXiv:2009.14590 [cs.DC]Google Scholar
- Martin Fürer. 2009. Faster Integer Multiplication. SIAM J. Comput. 39, 3 (sep 2009), 979--1005. https://doi.org/10.1137/070711761Google ScholarDigital Library
- L Garcia. 2005. Can Schönhage multiplication speed up the RSA encryption or decryption? University of Technology, Darmstadt (2005).Google Scholar
- David Harvey and Joris van der Hoeven. 2019. Faster integer multiplication using short lattice vectors. The Open Book Series 2, 1 (2019), 293--310.Google Scholar
- David Harvey and Joris van der Hoeven. 2021. Integer multiplication in time O(n log n). Annals of Mathematics (2021).Google Scholar
- David Harvey, Joris Van Der Hoeven, and Grégoire Lecerf. 2016. Even faster integer multiplication. Journal of Complexity 36 (2016), 1--30.Google ScholarDigital Library
- Hong Jia-Wei and H. T. Kung. 1981. I/O Complexity: The Red-Blue Pebble Game. In Proceedings of the Thirteenth Annual ACM Symposium on Theory of Computing (Milwaukee, Wisconsin, USA) (STOC '81). Association for Computing Machinery, New York, NY, USA, 326--333. https://doi.org/10.1145/800076.802486Google ScholarDigital Library
- Anatolii Karatsuba and Yuri Ofman. 1962. Multiplication of many-digital numbers by automatic computers. In Doklady Akad. Nauk SSSR, Vol. 145. 85.Google Scholar
- C. A. Patterson, M. Snir, and S. L. Graham. 2005. Getting Up to Speed:: The Future of Supercomputing. National Academies Press.Google Scholar
- J. E. Savage. 1997. Models of Computation: Exploring the Power of Computing (1st ed.). Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA.Google Scholar
- Arnold Schönhage and Volker Strassen. 1971. Schnelle multiplikation grosser zahlen. Computing 7, 3--4 (1971), 281--292.Google ScholarCross Ref
- Andrei L Toom. 1963. The complexity of a scheme of functional elements realizing the multiplication of integers. In Soviet Mathematics Doklady, Vol. 3. 714--716.Google Scholar
- C. Yang and B. P. Miller. 1988. Critical path analysis for the execution of parallel and distributed programs. In Distributed Computing Systems, 1988., 8th International Conference on. IEEE, 366--373.Google Scholar
Index Terms
- Brief Announcement: On the I/O Complexity of Sequential and Parallel Hybrid Integer Multiplication Algorithms
Recommendations
Faster Integer Multiplication
For more than 35 years, the fastest known method for integer multiplication has been the Schönhage-Strassen algorithm running in time $O(n\log n\log\log n)$. Under certain restrictive conditions, there is a corresponding $\Omega(n\log n)$ lower bound. ...
Brief Announcement: An Exponential Separation Between Randomized and Deterministic Complexity in the LOCAL Model
PODC '16: Proceedings of the 2016 ACM Symposium on Principles of Distributed ComputingOver the past 30 years numerous algorithms have been designed for symmetry breaking problems in the LOCAL model, such as maximal matching, MIS, vertex coloring, and edge-coloring. For most problems the best randomized algorithm is at least exponentially ...
Larger lower bounds on the OBDD complexity of integer multiplication
Integer multiplication as one of the basic arithmetic functions has been in the focus of several complexity theoretical investigations and ordered binary decision diagrams (OBDDs) are one of the most common dynamic data structures for Boolean functions. ...
Comments