This paper provides a study on the rendezvous problem in which two anonymous mobile entities referred to as robots rA and rB are asked to meet at an arbitrary node of a graph G = (V,E). As opposed to more standard assumptions robots may not be able to visit the entire graph G. Namely, each robot has its own map which is a connected subgraph of G. Such mobility restrictions may be dictated by the topological properties combined with the intrinsic characteristics of robots preventing them from visiting certain edges in E. We consider four different variants of the rendezvous problem introduced in [Farrugia et al. SOFSEM’15] which reflect on restricted maneuverability and navigation ability of rA and rB in G. In the latter, the focus is on models in which robots’ actions are synchronised. The authors prove that one of the maps must be a subgraph of the other. I.e., without this assumption (or some extra knowledge) the rendezvous problem does not have a feasible solution. In this paper, while we keep the containment assumption, we focus on asynchronous robots and the relevant bounds in the four considered variants. We provide some impossibility results and almost tight lower and upper bounds when the solutions are possible.
Asynchronous rendezvous with different maps
Navarra A.
2019
Abstract
This paper provides a study on the rendezvous problem in which two anonymous mobile entities referred to as robots rA and rB are asked to meet at an arbitrary node of a graph G = (V,E). As opposed to more standard assumptions robots may not be able to visit the entire graph G. Namely, each robot has its own map which is a connected subgraph of G. Such mobility restrictions may be dictated by the topological properties combined with the intrinsic characteristics of robots preventing them from visiting certain edges in E. We consider four different variants of the rendezvous problem introduced in [Farrugia et al. SOFSEM’15] which reflect on restricted maneuverability and navigation ability of rA and rB in G. In the latter, the focus is on models in which robots’ actions are synchronised. The authors prove that one of the maps must be a subgraph of the other. I.e., without this assumption (or some extra knowledge) the rendezvous problem does not have a feasible solution. In this paper, while we keep the containment assumption, we focus on asynchronous robots and the relevant bounds in the four considered variants. We provide some impossibility results and almost tight lower and upper bounds when the solutions are possible.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.