Abstract
Two identical (anonymous) mobile agents start from arbitrary nodes of an unknown tree and move along its edges with the goal of meeting at some node. Agents move in synchronous rounds: in each round an agent can either stay at the current node or move to one of its neighbors. We study optimal time of completing this rendezvous task. For deterministic rendezvous we seek algorithms that achieve rendezvous whenever possible, while for randomized rendezvous we seek almost safe algorithms, which achieve rendezvous with probability at least 1 − 1/n in n-node trees, for sufficiently large n.
We construct a deterministic algorithm that achieves rendezvous in time O(n) in n-node trees, whenever rendezvous is feasible, and we show that this time cannot be improved in general, even when agents start at distance 1 in bounded degree trees. We also show an almost safe algorithm that achieves rendezvous in time O(n) for arbitrary starting positions in any n-node tree. We then analyze when randomization can help to speed up rendezvous. For n-node trees of known constant maximum degree and for a known constant upper bound on the initial distance between the agents, we show an almost safe algorithm achieving rendezvous in time O(logn). By contrast, we show that for some trees, every almost safe algorithm must use time Ω(n), even for initial distance 1. This shows an exponential gap between randomized rendezvous time in trees of bounded degree and in arbitrary trees. Such a gap does not occur for deterministic rendezvous.
All our upper bounds hold when agents start with an arbitrary delay, controlled by the adversary, and all our lower bounds hold even when agents start simultaneously.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alpern, S., Gal, S.: The theory of search games and rendezvous. Int. Series in Operations research and Management Science. Kluwer Academic Publisher (2002)
Anderson, E., Fekete, S.: Two-dimensional rendezvous search. Operations Research 49, 107–118 (2001)
Baba, D., Izumi, T., Ooshita, F., Kakugawa, H., Masuzawa, T.: Space-Optimal Rendezvous of Mobile Agents in Asynchronous Trees. In: Patt-Shamir, B., Ekim, T. (eds.) SIROCCO 2010. LNCS, vol. 6058, pp. 86–100. Springer, Heidelberg (2010)
Bampas, E., Czyzowicz, J., Gąsieniec, L., Ilcinkas, D., Labourel, A.: Almost Optimal Asynchronous Rendezvous in Infinite Multidimensional Grids. In: Lynch, N.A., Shvartsman, A.A. (eds.) DISC 2010. LNCS, vol. 6343, pp. 297–311. Springer, Heidelberg (2010)
Baston, V., Gal, S.: Rendezvous search when marks are left at the starting points. Naval Reaserch Logistics 48, 722–731 (2001)
Cieliebak, M., Flocchini, P., Prencipe, G., Santoro, N.: Solving the Robots Gathering Problem. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) ICALP 2003. LNCS, vol. 2719, pp. 1181–1196. Springer, Heidelberg (2003)
Czyzowicz, J., Kosowski, A., Pelc, A.: How to meet when you forget: Log-space rendezvous in arbitrary graphs. In: Proc. 29th Annual ACM Symposium on Principles of Distributed Computing (PODC 2010), pp. 450–459 (2010)
Czyzowicz, J., Labourel, A., Pelc, A.: How to meet asynchronously (almost) everywhere. In: Proc. 21st Ann. ACM Symp. on Discr. Algorithms (SODA 2010), pp. 22–30 (2010)
Degener, B., Kempkes, B., Meyer auf der Heide, F.: A local O(n2) gathering algorithm. In: Proc. 22nd Ann. ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2010), pp. 217–223 (2010)
Dessmark, A., Fraigniaud, P., Kowalski, D., Pelc, A.: Deterministic rendezvous in graphs. Algorithmica 46, 69–96 (2006)
Flocchini, P., Prencipe, G., Santoro, N., Widmayer, P.: Gathering of Asynchronous Oblivious Robots with Limited Visibility. In: Ferreira, A., Reichel, H. (eds.) STACS 2001. LNCS, vol. 2010, pp. 247–258. Springer, Heidelberg (2001)
Fraigniaud, P., Pelc, A.: Deterministic Rendezvous in Trees with Little Memory. In: Taubenfeld, G. (ed.) DISC 2008. LNCS, vol. 5218, pp. 242–256. Springer, Heidelberg (2008)
Fraigniaud, P., Pelc, A.: Delays induce an exponential memory gap for rendezvous in trees. ArXiv: 1102.0467v1 (2011)
Gal, S.: Rendezvous search on the line. Operations Research 47, 974–976 (1999)
Kranakis, E., Krizanc, D., Morin, P.: Randomized Rendez-Vous with Limited Memory. In: Laber, E.S., Bornstein, C., Nogueira, L.T., Faria, L. (eds.) LATIN 2008. LNCS, vol. 4957, pp. 605–616. Springer, Heidelberg (2008)
Kranakis, E., Krizanc, D., Santoro, N., Sawchuk, C.: Mobile agent rendezvous in a ring. In: Proc. 23rd Int. Conf. on Distr. Computing Systems (ICDCS 2003), pp. 592–599 (2003)
Ta-Shma, A., Zwick, U.: Deterministic rendezvous, treasure hunts and strongly universal exploration sequences. In: Proc. 18th ACM-SIAM Symposium on Discrete Algorithms (SODA 2007), pp. 599–608 (2007)
Yao, A.C.-C.: Probabilistic computations: Towards a unified measure of complexity. In: Proc. 18th Annual IEEE Conference on Foundations of Computer Science (FOCS 1977), pp. 222–227 (1977)
Yu, X., Yung, M.: Agent Rendezvous: A Dynamic Symmetry-Breaking Problem. In: Meyer auf der Heide, F., Monien, B. (eds.) ICALP 1996. LNCS, vol. 1099, pp. 610–621. Springer, Heidelberg (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Elouasbi, S., Pelc, A. (2012). Time of Anonymous Rendezvous in Trees: Determinism vs. Randomization. In: Even, G., Halldórsson, M.M. (eds) Structural Information and Communication Complexity. SIROCCO 2012. Lecture Notes in Computer Science, vol 7355. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31104-8_25
Download citation
DOI: https://doi.org/10.1007/978-3-642-31104-8_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31103-1
Online ISBN: 978-3-642-31104-8
eBook Packages: Computer ScienceComputer Science (R0)