Mathematical systems theory

, Volume 16, Issue 1, pp 9–27 | Cite as

Space-time tradeoffs for linear recursion

  • Sowmitri Swamy
  • John E. Savage
Article

Abstract

A linear recursive procedure is one each of whose executions activates at most one invocation of itself. When linear recursion cannot be replaced by iteration, it is usually implemented with a stack of size proportional to the depth of recursion. In this paper we analyze implementations of linear recursion which permit large reductions in storage space at the expense of a small increase in computation time. For example, if the depth of recursion isn, storage space can be reduced to\(\sqrt n \) at the cost of a constant factor increase in running time. The problem is treated by abstracting any implementation of linear recursion as the pebbling of a simple graph, and for this abstraction we exhibit the optimal space-time tradeoffs.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Paterson, M. S. and C. E. Hewitt. “Comparative Schematology,”Proceedings of Proj. MAC Conf. on Concurrent Systems and Parallel Computation, Woods Hole, Massachussets, pp. 119–127, June 2–5 (1970).Google Scholar
  2. 2.
    Chandra, A. K. “Efficient Compilation of Linear Recursive Programs”, IBM Research Rept RC4517, 10 pp. August 29, 1973, and theProceedings of the Fourteenth Annual IEEE Symposium on Switching and Automata Theory, pp. 16–25, October 15–17, 1973.Google Scholar
  3. 3.
    Hopcroft, J. E., W. J. Paul, and L. G. Valiant. “On Time Versus Space”,JACM, vol. 24, no. 2, pp. 332–337, 1977.Google Scholar
  4. 4.
    Paul, W. J., R. E. Tarjan, and J. R. Celoni. “Space Bounds for a Game on Graphs,”Math. Systems Theory, vol. 10, pp. 239–251, 1977.Google Scholar
  5. 5.
    Pippenger, N. “A Time-Space Tradeoff”,JACM, vol. 25, no. 3, pp. 509–515 (July 1978).Google Scholar
  6. 6.
    Paul, W. J. and R. E. Tarjan. “Time-Space Tradeoffs in a Pebble Game”,Acta Informatica, vol. 10, pp. 111–115, 1978.Google Scholar
  7. 7.
    A. Lingus. “A PSPACE-complete Problem Related to a Pebble Game”, pp. 300–321 inAutomata Languages and Programming, (ed. C. Boehm), Lecture Notes in Computer Science. Springer-Verlag, no. 62 (1978).Google Scholar
  8. 8.
    P. van Emde Boas and J. van Leeuwen. “Move Rules and Trade-Offs in the Pebble Game”, Report RUU-CS-78–4, Vakgroep Informatica, U. Utrecht, Utrecht, Netherlands (April/August 1978).Google Scholar
  9. 9.
    Reischuk, R. “Improved Bounds on the Problem of Time-Space Tradeoff in the Pebble Game”,JACM, vol. 27, no. 4, pp. 839–849 (October 1980).Google Scholar
  10. 10.
    Lengauer, T. and Tarjan, R. E. “Upper and Lower Bounds on Time-Space Tradeoffs”,Proc. Eleventh Ann. ACM Symp. on Th. Comp., pp. 262–277 (April 1979).Google Scholar
  11. 11.
    D. Carlson and J. E. Savage. “Graph Pebbling with Many Free Pebbles Can be Difficult”,Proc. 12th Ann. ACM Symp. on Th. Computing, pp. 326–332, April 28–30, 1980.Google Scholar
  12. 12.
    Savage, J. E. and S. Swamy. “Space-Time Tradeoffs on the FFT Algorithm”,IEEE Transactions on Information Theory, vol. 24, pp. 563–568 (September 1978).Google Scholar
  13. 13.
    Grigoryev, D. Yu. “An Application of Separability and Independence Notions for Proving Lower Bounds of Circuit Complexity”,Notes of Scientific Seminars, Steklov Math. Inst., Leningrad Branch, vol. 60, pp. 35–48 (1976).Google Scholar
  14. 14.
    Tompa, M. “Time-Space Tradeoffs for Computing Functions, Using Connectivity Properties of Their Circuits”,Proceedings of the Tenth Annual ACM Symposium on Theory of Computing, pp. 196–204, May 1–3, 1978.Google Scholar
  15. 15.
    J. E. Savage and S. Swamy. “Space-Time Tradeoffs for Oblivious Integer Multiplication”, pp. 498–504 inLecture Notes in Computer Science (ed. H. A. Maurer), Springer-Verlag, vol. 71 (1979).Google Scholar
  16. 16.
    Gallager, R. G.Information Theory and Reliable Communications. New York: John Wiley and Sons, 1968.Google Scholar

Copyright information

© Springer-Verlag New York Inc. 1983

Authors and Affiliations

  • Sowmitri Swamy
    • 1
  • John E. Savage
    • 2
  1. 1.Coordinated Science LaboratoryUniversity of Illinois at Urbana-ChampaignUrbanaUSA
  2. 2.Department of Computer ScienceBrown UniversityProvidenceUSA

Personalised recommendations