TY - JOUR

T1 - Mapping Simple Polygons

T2 - The Power of Telling Convex from Reflex

AU - Chalopin, Jérémie

AU - Das, Shantanu

AU - Disser, Yann

AU - Mihalák, Matús

AU - Widmayer, Peter

PY - 2015

Y1 - 2015

N2 - We consider the exploration of a simple polygon P by a robot that moves from vertex to vertex along edges of the visibility graph of P. The visibility graph has a vertex for every vertex of P and an edge between two vertices if they see each other-that is, if the line segment connecting them lies inside P entirely. While located at a vertex, the robot is capable of ordering the vertices it sees in counterclockwise order as they appear on the boundary, and for every two such vertices, it can distinguish whether the angle between them is convex (<=pi) or reflex (>pi). Other than that, distant vertices are indistinguishable to the robot. We assume that an upper bound on the number of vertices is known.We obtain the general result that a robot exploring any locally oriented, arc-labeled graph G can always determine the base graph of G. Roughly speaking, this is the smallest graph that cannot be distinguished by a robot from G by its observations alone, no matter how it moves. Combining this result with various other techniques allows the ability to show that a robot exploring a polygon P with the preceding capabilities is always capable of reconstructing the visibility graph of P. We also show that multiple identical, indistinguishable, and deterministic robots of this kind can always solve the weak rendezvous problem in which they need to position themselves such that they mutually see each other-for instance, such that they form a clique in the visibility graph.

AB - We consider the exploration of a simple polygon P by a robot that moves from vertex to vertex along edges of the visibility graph of P. The visibility graph has a vertex for every vertex of P and an edge between two vertices if they see each other-that is, if the line segment connecting them lies inside P entirely. While located at a vertex, the robot is capable of ordering the vertices it sees in counterclockwise order as they appear on the boundary, and for every two such vertices, it can distinguish whether the angle between them is convex (<=pi) or reflex (>pi). Other than that, distant vertices are indistinguishable to the robot. We assume that an upper bound on the number of vertices is known.We obtain the general result that a robot exploring any locally oriented, arc-labeled graph G can always determine the base graph of G. Roughly speaking, this is the smallest graph that cannot be distinguished by a robot from G by its observations alone, no matter how it moves. Combining this result with various other techniques allows the ability to show that a robot exploring a polygon P with the preceding capabilities is always capable of reconstructing the visibility graph of P. We also show that multiple identical, indistinguishable, and deterministic robots of this kind can always solve the weak rendezvous problem in which they need to position themselves such that they mutually see each other-for instance, such that they form a clique in the visibility graph.

U2 - 10.1145/2700223

DO - 10.1145/2700223

M3 - Article

SN - 1549-6333

VL - 11

SP - 33.1-33.16

JO - ACM Transactions on Algorithms

JF - ACM Transactions on Algorithms

IS - 4

ER -