ABSTRACT
A team of anonymous mobile agents represented by points freely moving in the plane have to gather at a single point and stop. Agents start at different points of the plane and at possibly different times chosen by the adversary. They are equipped with compasses, a common unit of distance and clocks. They execute the same deterministic algorithm. When moving, agents travel at the same speed normalized to 1. When agents are at distance at most ϵ, for some positive constant ϵ unknown to them, they see each other and can exchange all information known to date.
Due to the anonymity of the agents and the symmetry of the plane, gathering is impossible, e.g., if agents start simultaneously at distances larger than ϵ. However, if some agents start with a delay with respect to others, gathering may become possible. In which situations can such latecomers enable gathering? How can delays be used to make it possible? To answer these questions we consider initial configurations formalized as sets of pairs {(p1, t1), (p2, t2),..., (pn, tn)}, for n ≥ 2, where pi is the starting point of the i-th agent and ti is its starting time. An initial configuration is gatherable if agents starting at it can be gathered by some algorithm, even dedicated to this particular configuration. Our first result is a characterization of all gatherable initial configurations. It is then natural to ask if there is a universal deterministic algorithm that can gather all gatherable configurations of a given size. It turns out that the answer to this question is negative. Indeed, we show that all gatherable configurations can be partitioned into two sets: bad configurations and good configurations. We show that bad gatherable configurations (even of size 2) cannot be gathered by a common gathering algorithm. On the other hand, we prove that there is a universal algorithm that gathers all good configurations of a given size.
Then we ask the question of whether the exact knowledge of the number of agents is necessary to gather all good configurations. It turns out that the answer is no, and we prove a necessary and sufficient condition on the knowledge concerning the number of agents that an algorithm gathering all good configurations must have.
- N. Agmon and D. Peleg, Fault-tolerant gathering algorithms for autonomous mobile robots, SIAM J. Comput. 36 (2006), 56--82.Google ScholarDigital Library
- S. Alpern, The rendezvous search problem, SIAM J. on Control and Optimization 33 (1995), 673--683.Google ScholarDigital Library
- S. Alpern, Rendezvous search on labelled networks, Naval Reaserch Logistics 49 (2002), 256--274.Google ScholarCross Ref
- S. Alpern and S. Gal, The theory of search games and rendezvous. Int. Series in Operations research and Management Science, Kluwer Academic Publisher, 2002.Google Scholar
- J. Alpern, V. Baston, and S. Essegaier, Rendezvous search on a graph, Journal of Applied Probability 36 (1999), 223--231.Google ScholarCross Ref
- E. Anderson and R. Weber, The rendezvous problem on discrete locations, Journal of Applied Probability 28 (1990), 839--851.Google ScholarCross Ref
- H. Attiya, M. Snir, M. Warmuth, Computing on an anonymous ring, Journal of the ACM 35 (1988), 845--875.Google ScholarDigital Library
- D. Angluin, Local and global properties in networks of processors. Proc. 12th Symposium on the Theory of Computing (STOC 1980), 82--93.Google Scholar
- E. Bampas, J. Czyzowicz, L. Gasieniec, D. Ilcinkas, A. Labourel, Almost optimal asynchronous rendezvous in infinite multidimensional grids. Proc. 24th International Symposium on Distributed Computing (DISC 2010), 297--311.Google ScholarDigital Library
- P. Boldi, S. Vigna, Computing anonymously with arbitrary knowledge, Proc. 18th ACM Symp. on Principles of Distributed Computing (PODC 1999), 181--188.Google ScholarDigital Library
- S. Bouchard, Y. Dieudonné, B. Ducourthial, Byzantine gathering in networks. Distributed Computing 29 (2016), 435--457.Google ScholarDigital Library
- S. Bouchard, M. Bournat, Y. Dieudonné, S. Dubois, F. Petit, Asynchronous Approach in the Plane: A Deterministic Polynomial Algorithm, Proc. 31th International Symposium on Distributed Computing (DISC 2017), 8:1--8:16.Google Scholar
- J. Chalopin, S. Das, A. Kosowski, Constructing a map of an anonymous graph: Applications of universal sequences, Proc. 14th International Conference on Principles of Distributed Systems (OPODIS 2010), 119--134.Google ScholarDigital Library
- M. Cieliebak, P. Flocchini, G. Prencipe, N. Santoro, Distributed Computing by Mobile Robots: Gathering, SIAM J. Comput. 41 (2012), 829--879.Google ScholarDigital Library
- R. Cohen and D. Peleg, Convergence properties of the gravitational algorithm in asynchronous robot systems, SIAM J. Comput. 34 (2005), 1516--1528.Google ScholarDigital Library
- R. Cohen and D. Peleg, Convergence of autonomous mobile robots with inaccurate sensors and movements, SIAM J. Comput. 38 (2008), 276--302.Google ScholarDigital Library
- J. Czyzowicz, L. Gasieniec, R. Killick, E. Kranakis, Symmetry Breaking in the Plane: Rendezvous by Robots with Unknown Attributes, Proc. 38th ACM Symp. on Principles of Distributed Computing (PODC 2019) 4--13.Google Scholar
- J. Czyzowicz, A. Kosowski, A. Pelc, How to meet when you forget: Log-space rendezvous in arbitrary graphs, Distributed Computing 25 (2012), 165--178.Google ScholarCross Ref
- J. Czyzowicz, A. Labourel, A. Pelc, How to meet asynchronously (almost) everywhere, ACM Transactions on Algorithms 8 (2012), 37:1--37:14.Google ScholarDigital Library
- G. D'Angelo, A. Navarra, N. Nisse, A unified approach for gathering and exclusive searching on rings under weak assumptions, Distributed Computing 30 (2017), 17--48.Google ScholarDigital Library
- G. De Marco, L. Gargano, E. Kranakis, D. Krizanc, A. Pelc, U. Vaccaro, Asynchronous deterministic rendezvous in graphs, Theoretical Computer Science 355 (2006), 315--326.Google ScholarDigital Library
- A. Dessmark, P. Fraigniaud, D. Kowalski, A. Pelc. Deterministic rendezvous in graphs. Algorithmica 46 (2006), 69--96.Google ScholarCross Ref
- Y. Dieudonné, A. Pelc, Anonymous meeting in networks, Algorithmica 74 (2016), 908--946.Google ScholarDigital Library
- Y. Dieudonné, A. Pelc, D. Peleg, Gathering despite mischief, ACM Transactions on Algorithms 11 (2014), 1:1--1:28.Google ScholarDigital Library
- Y. Dieudonné, A. Pelc, V. Villain, How to meet asynchronously at polynomial cost, SIAM Journal on Computing 44 (2015), 844--867.Google ScholarDigital Library
- P. Flocchini, G. Prencipe, N. Santoro, P. Widmayer, Gathering of asynchronous oblivious robots with limited visibility, Theor. Comput. Sci. 337 (2005), 147--168.Google ScholarDigital Library
- P. Fraigniaud, A. Pelc, Delays induce an exponential memory gap for rendezvous in trees, ACM Transactions on Algorithms 9 (2013), 17:1--17:24.Google ScholarDigital Library
- S. Guilbault, A. Pelc, Asynchronous rendezvous of anonymous agents in arbitrary graphs, Proc. 15th International Conference on Principles of Distributed Systems (OPODIS 2011), 162--173.Google ScholarDigital Library
- M. Koucký, Universal traversal sequences with backtracking, J. Comput. Syst. Sci. 65 (2002), 717--726.Google ScholarDigital Library
- D. Kowalski, A. Malinowski, Howto meet in anonymous network, Theor. Comput. Sci. 399 (2008), 141--156.Google ScholarDigital Library
- E. Kranakis, D. Krizanc, and P. Morin, Randomized Rendez-Vous with Limited Memory, Proc. 8th Latin American Theoretical Informatics (LATIN 2008), Springer LNCS 4957, 605--616.Google ScholarDigital Library
- E. Kranakis, D. Krizanc, N. Santoro and C. Sawchuk, Mobile agent rendezvous in a ring, Proc. 23rd Int. Conference on Distributed Computing Systems (ICDCS 2003), IEEE, 592--599.Google ScholarDigital Library
- E. Kranakis, D. Krizanc, J. van der Berg, Computing Boolean functions on anonymous networks, Information and Computation 114, (1994), 214--236.Google ScholarDigital Library
- N.L. Lynch, Distributed algorithms, Morgan Kaufmann Publ. Inc., San Francisco, USA, 1996.Google Scholar
- A. Pelc, Deterministic rendezvous in networks: A comprehensive survey, Networks 59 (2012), 331--347.Google ScholarDigital Library
- A. Pelc, R.N. Yadav, Using Time to Break Symmetry: Universal Deterministic Anonymous Rendezvous, Proc. 31st ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2019).Google Scholar
- A. Ta-Shma, U. Zwick. Deterministic rendezvous, treasure hunts and strongly universal exploration sequences. ACM Trans. Algorithms 10 (2014): 12:1--12:15.Google ScholarDigital Library
- X. Yu and M. Yung, Agent rendezvous: a dynamic symmetry-breaking problem, Proc. International Colloquium on Automata, Languages, and Programming (ICALP 1996), Springer LNCS 1099, 610--621.Google ScholarDigital Library
Index Terms
- Latecomers Help to Meet: Deterministic Anonymous Gathering in the Plane
Recommendations
Gathering asynchronous oblivious agents with local vision in regular bipartite graphs
We consider the problem of gathering identical, memoryless, mobile agents in one node of an anonymous graph. Agents start from different nodes of the graph. They operate in Look-Compute-Move cycles and have to end up in the same node. In one cycle, an ...
Using Time to Break Symmetry: Universal Deterministic Anonymous Rendezvous
SPAA '19: The 31st ACM Symposium on Parallelism in Algorithms and ArchitecturesTwo anonymous mobile agents navigate synchronously in an anonymous graph and have to meet at a node, using a deterministic algorithm. This is a symmetry breaking task called rendezvous, equivalent to the fundamental task of leader election between the ...
Gathering asynchronous oblivious agents with local vision in regular bipartite graphs
SIROCCO'11: Proceedings of the 18th international conference on Structural information and communication complexityWe consider the problem of gathering identical, memoryless, mobile agents in one node of an anonymous graph. Agents start from different nodes of the graph. They operate in Look-Compute-Move cycles and have to end up in the same node. In one cycle, an ...
Comments