Abstract
An extension of a result by Grigoryev is used to derive a lower bound on the space-time product required for integer multiplication when realized by straight-line algorithms. If S is the number of temporary storage locations used by a straight-line algorithm on a random-access machine and T is the number of computation steps, then we show that (S+1)T ⩾ Ω(n2) for binary integer multiplication when the basis for the straight-line algorithm is a set of Boolean functions.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
INDEX TERMS: space-time tradeoffs, pebble game, integer multiplication, straight-line algorithm.
This work was supported in part by the National Science Foundation under Grant MCS 76-20023.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Paterson, M. S. and C. E. Hewitt, "Comparative Schematology," Proj. MAC Conf. on Concurrent Systems and Parallel Computation, Woods Hole, Massachusetts, pp. 119–127, June 2–5, 1970.
Hopcroft, J. E., W. J. Paul, and L. G. Valiant, "On Time Versus Space," JACM, Vol. 24, No. 2, pp. 332–337, 1977.
Paul, W. J., R. E. Tarjan, and J. R. Celoni, "Space Bounds for a Game on Graphs," Eighth Ann. Symp. on Theory of Computing, Hershey, Pennsylvania, pp. 149–160, May 3–5, 1976.
Savage, J. E., "Computational Work and Time on Finite Machines," JACM, Vol. 19, No. 4, pp. 660–674, 1972.
Savage, J. E. and S. Swamy, "Space-Time Tradeoffs on the FFT Algorithm," IEEE Transactions on Information Theory, Vol. IT-24, No. 5, pp. 563–568, Sept. 1978.
Tompa, M., "Time-Space Tradeoffs for Computing Functions Using Connectivity Properties of their Circuits," Proceedings of the Tenth Annual ACM Symp. on Theory of Computing, pp. 196–204, May 1–3, 1978.
Valiant, L. G., "Graph-Theoretic Properties in Computational Complexity," Journal of Computer and System Sciences, Vol. 13, pp. 278–285, 1976.
Pippenger, N., "A Time-Space Tradeoff," IBM preprint, May 1977, to appear in JACM.
Swamy, S. and J. E. Savage, "Space-Time Tradeoffs for Linear Recursion," Brown University, Computer Science Technical Report No. CS-36, June 1978.
Chandra, A. K., "Efficient Compilation of Linear Recursive Programs," IBM Research Report RC4517, 10 pp., August 29, 1973, 14th SWAT Conference.
Paul, W. J. and R. E. Tarjan, "Time-Space Tradeoffs in a Pebble Game," Stanford University Technical Report STAN-CS-77-619, July 1977, Fourth Colloq. on Auto. Langs. and Progr., Turku, Finland.
Grigoryev, D. Yu., "An Application of Separability and Independence Notions for Proving Lower Bounds on Circuit Complexity," Notes of Scientific Seminars, Steklov Math. Inst., Leningrad, Vol. 60, 1976.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1979 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Savage, J.E., Swamy, S. (1979). Space-time tradeoffs for oblivious integer multiplication. In: Maurer, H.A. (eds) Automata, Languages and Programming. ICALP 1979. Lecture Notes in Computer Science, vol 71. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-09510-1_40
Download citation
DOI: https://doi.org/10.1007/3-540-09510-1_40
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09510-1
Online ISBN: 978-3-540-35168-9
eBook Packages: Springer Book Archive