TY - GEN
T1 - Tell me where I am so I can meet you sooner
T2 - 37th International Colloquium on Automata, Languages and Programming, ICALP 2010
AU - Collins, Andrew
AU - Czyzowicz, Jurek
AU - Ga̧sieniec, Leszek
AU - Labourel, Arnaud
PY - 2010
Y1 - 2010
N2 - In this paper we study efficient rendezvous of two mobile agents moving asynchronously in the Euclidean 2d-space. Each agent has limited visibility, permitting it to see its neighborhood at unit range from its current location. Moreover, it is assumed that each agent knows its own initial position in the plane given by its coordinates. The agents, however, are not aware of each others position. The agents possess coherent compasses and the same unit of length, which permit them to consider their current positions within the same system of coordinates. The cost of the rendezvous algorithm is the sum of lengths of the trajectories of both agents. This cost is taken as the maximum over all possible asynchronous movements of the agents, controlled by the adversary. We propose an algorithm that allows the agents to meet in a local neighborhood of diameter O(d), where d is the original distance between the agents. This seems rather surprising since each agent is unaware of the possible location of the other agent. In fact, the cost of our algorithm is O(d 2+ε ), for any constant ε>0. This is almost optimal, since a lower bound of Ω(d 2) is straightforward. The only up to date paper [12] on asynchronous rendezvous of bounded-visibility agents in the plane provides the feasibility proof for rendezvous, proposing a solution exponential in the distance d and in the labels of the agents. In contrast, we show here that, when the identity of the agent is based solely on its original location, an almost optimal solution is possible. An integral component of our solution is the construction of a novel type of non-simple space-filling curves that preserve locality. An infinite curve of this type visits specific grid points in the plane and provides a route that can be adopted by the mobile agents in search for one another. This new concept may also appear counter-intuitive in view of the result from [22] stating that for any simple space-filling curve, there always exists a pair of close points in the plane, such that their distance along the space-filling curve is arbitrarily large.
AB - In this paper we study efficient rendezvous of two mobile agents moving asynchronously in the Euclidean 2d-space. Each agent has limited visibility, permitting it to see its neighborhood at unit range from its current location. Moreover, it is assumed that each agent knows its own initial position in the plane given by its coordinates. The agents, however, are not aware of each others position. The agents possess coherent compasses and the same unit of length, which permit them to consider their current positions within the same system of coordinates. The cost of the rendezvous algorithm is the sum of lengths of the trajectories of both agents. This cost is taken as the maximum over all possible asynchronous movements of the agents, controlled by the adversary. We propose an algorithm that allows the agents to meet in a local neighborhood of diameter O(d), where d is the original distance between the agents. This seems rather surprising since each agent is unaware of the possible location of the other agent. In fact, the cost of our algorithm is O(d 2+ε ), for any constant ε>0. This is almost optimal, since a lower bound of Ω(d 2) is straightforward. The only up to date paper [12] on asynchronous rendezvous of bounded-visibility agents in the plane provides the feasibility proof for rendezvous, proposing a solution exponential in the distance d and in the labels of the agents. In contrast, we show here that, when the identity of the agent is based solely on its original location, an almost optimal solution is possible. An integral component of our solution is the construction of a novel type of non-simple space-filling curves that preserve locality. An infinite curve of this type visits specific grid points in the plane and provides a route that can be adopted by the mobile agents in search for one another. This new concept may also appear counter-intuitive in view of the result from [22] stating that for any simple space-filling curve, there always exists a pair of close points in the plane, such that their distance along the space-filling curve is arbitrarily large.
UR - http://www.scopus.com/inward/record.url?scp=77955339337&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=77955339337&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-14162-1_42
DO - 10.1007/978-3-642-14162-1_42
M3 - Conference contribution
AN - SCOPUS:77955339337
SN - 3642141617
SN - 9783642141614
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 502
EP - 514
BT - Automata, Languages and Programming - 37th International Colloquium, ICALP 2010, Proceedings
Y2 - 6 July 2010 through 10 July 2010
ER -