Abstract
A.C. Yao proved that in the decision-tree model the average complexity of the best deterministic algorithm is a lower bound on the complexity of randomized algorithms that solve the same problem. Here it is shown that a similar result does not always hold in the common model of distributed computation, the model in which all the processors run the same program (that may depend on the processors' input).
We, therefore, construct a new technique, that together with Yao's method, enables us to show that in many cases a similar relationship does hold in the distributed model. This relationship enables us to carry over known lower bounds on the complexity of deterministic computations to the realm of randomized computations, thus obtaining new results.
The new technique can also be used for obtaining results concerning algorithms with bounded error.
Part of this work was conducted while the last two authors visited AT&T Bell Laboratories, Murray Hill, New Jersey.
Preview
Unable to display preview. Download preview PDF.
References
Abrahamson K.: On Achieving Consensus Using a Shared Memory. The ACM Symposium on Principles of Distributed Computing, Toronto 1988, 291–302.
Angluin D.: Local and global properties in networks of processes. 12th Annual ACM Symp. on Theory of Computing, Los Angeles, California, 82–93 (April 1980)
Attia C., Snir M.: Better Computing on the Anonymous Ring. IBM RC 13657 (1988)
Attia C., Snir M., Warmuth M.: Computing on the Anonymous Ring. The 4th Annual ACM Symposium on Principles of Distributed Computing (1985) 196–203
Bodlaender H.L.: New Lower Bound Techniques for Distributed Leader Finding and Other Problems on Rings of Processors. Theoretical Computer Science, 81 (1991) 237–256
Burns J.E.: A Formal Model for Message Passing Systems. Technical Report TR-91, Indiana University, (Sept. 1980)
Dolev S., Israeli A., Moran S.: Uniform Dynamic Self-Stabilizing Leader Election. WDAG Delphi, Greece, (Oct. 1991)
Duris, P., Z. Galil: Two Lower Bounds in Asynchronous Distribute Computation. 28th FOCS (1987) 326–330
Dolev, S., M. Klawe, M. Rodeh: An Ω(n log n) Unidirectional Distributed Algorithm for Extreme Finding in a Circle. J. Algorithms 3 (1982) 245–260
Fredrickson, G.N., Lynch, N.A.: Electing a Leader in a Synchronous Ring, J. ACM, 34 (1987) 98–115
Fich, F.E., F. Meyer auf der Heide, P. Ragde, A. Wigderson: One, Two, Three ... Infinity: Lower Bounds for Parallel Computation, 17 STOC, (1985) 48–58
Gill, J.: Computational Complexity of Probabilistic Turing Machines. 6th STOC (1974) 91–95. Revised Feb. 1977.
Itai, A., M. Rodeh, Probabilistic Methods for Breaking Symmetry in Distributed Networks. Information and Computation, 88 (1990) 60–87
Knuth, D., The Art of Computer Programming. Vol 3, Addison-Wesley (1973)
Korach, E., S. Kutten, S. Moran: A Modular Technique for the Design of Efficient Distributed Leader Finding Algorithms. ASM Trans. on Programming Languages and Systems 12 (1990) 84–101
Pachl, J., E. Korach, D. Rotem: Lower Bounds for Distributed Maximum-finding Algorithms. J. ACM 31 (1984) 905–918
Pachl, J., A Lower Bound for Probabilistic Distributed Algorithms. J. Alg. 8 (1987) 53–65
Peterson, G. L., An O(n log n) Unidirectional Algorithm for the Circular Extrema Problem. ACM Trans. on Prog. Languages and Systems 4 (1982) 758–762
Rabin, M., “Probabilistic Algorithms”, in Algorithms and Complexity. J. Traub (ed.) Academic Press (1976) 21–40
Von Neumann, Zur Theorie der Gesellsschaftsspiele, Math. Annalen 100 (1974) 295–320
Yao, A.C.: Probabilistic Computations: Towards a Unified Measure of Complexity. 18th FOCS (1977) 222–227
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Allenberg-Navony, N., Itai, A., Moran, S. (1994). Average and randomized complexity of distributed problems. In: Tel, G., Vitányi, P. (eds) Distributed Algorithms. WDAG 1994. Lecture Notes in Computer Science, vol 857. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020442
Download citation
DOI: https://doi.org/10.1007/BFb0020442
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58449-0
Online ISBN: 978-3-540-48799-9
eBook Packages: Springer Book Archive