Abstract
Traditionally, computational complexity theory deals with sequential computations. In the computational models the underlying physics is hardly accounted for. This attitude has persisted in common models for parallel computations. Wrongly, as we shall argue, since the laws of physics intrude forcefully when we want to obtain realistic estimates of the performance of parallel or distributed algorithms. First, we shall explain why it is reasonable to abstract away from the physical details in sequential computations. Second, we show why certain common approaches in the theory of parallel complexity do not give useful information about the actual complexity of the parallel computation. Third, we give some examples of the interplay between physical considerations and actual complexity of distributed computations.
This work was supported in part by the Office of Naval Research under Contract N00014-85-K-0168, by the Office of Army Research under Contract DAAG29-84-K-0058, by the National Science Foundation under Grant DCR-83-02091, and by the Defense Advanced Research Projects Agency (DARPA) under Grant N00014-83-K-0125.
Preview
Unable to display preview. Download preview PDF.
References
Burks, A.W., H.H. Goldstine, and J. von Neumann, “Preliminary discussion of the logical design of an electronic computing instrument,” Report, Princeton Institute for Advanced Study, June, 1946. (Second Edition, September 1947)
Goldstine, H.H., The Computer: from Pascal to von Neumann, Princeton University Press, Princeton, N.J., 1972.
Lamport, L., “Time, clocks, and the ordering of events in a distributed system,” Communications of the Assoc. Comp. Mach., vol. 21, pp. 558–565, 1978.
Mead, C. and L. Conway, Introduction to VLSI Systems, Addisson-Wesley, Reading, Mass., 1980.
Mullender, S.J. and P.M.B. Vitányi, “Distributed match-making for processes in computer networks,” in Proceedings 4th Annual ACM Symposium on Principles of Distributed Computing, pp. 261–271, 1985.
Neumann, J. von, “First draft of a report on the EDVAC,” Draft Report, Moore School of Electrical Engineering, University of Pennsylvania, Philadelphia, May, 1945.
Turing, A.M., “On computable numbers with an application to the Entscheidungsproblem,” Proc. London Math. Soc., vol. 42, pp. 230–265, 1936. Correction, Ibid, 43 pp. 544–546 (1937).
Vitányi, P.M.B., “Distributed elections in an Archimedean ring of processors,” in Proceedings 16th Annual ACM Symposium on Theory of Computing, pp. 542–547, 1984.
Vitányi, P.M.B., “Time-driven algorithms for distributed control,” Report CS-R8510, Centre for Mathematics and Computer Science, Amsterdam, April, 1985.
Vitányi, P.M.B., “Area penalty for sublinear signal propagation delay on chip,” in Proceedings 26th Annual IEEE Symposium on Foundations of Computer Science, 1985.
Mead, C. and M. Rem, “Minimum propagation delays in VLSI,” IEEE J. on Solid State Circuits, vol. SC-17, pp. 773–775, 1982. Correction: Ibid, SC-19 (1984) 162.
Ullman, J.D., Computational Aspects of VLSI, Computer Science Press, Rockville, Maryland, 1984.
Donat, W.E., “Wire length distribution for placement of computer logic,” IBM J. Res. Develop., vol. 25, pp. 152–155, 1981.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Vitángi, P.M.B. (1986). Nonsequential computation and laws of nature. In: Makedon, F., Mehlhorn, K., Papatheodorou, T., Spirakis, P. (eds) VLSI Algorithms and Architectures. AWOC 1986. Lecture Notes in Computer Science, vol 227. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16766-8_10
Download citation
DOI: https://doi.org/10.1007/3-540-16766-8_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16766-2
Online ISBN: 978-3-540-38746-6
eBook Packages: Springer Book Archive