Sweeping simple polygons with a chain of guards

We consider the problem of locating a continuously-moving target using a group of guards moving inside a simple polygon. Our guards always form a simple polygonal chain within the polygon such that consecutive guards along the chain are mutually visible. We develop algorithms that sweep such a chain of guards through a polygon to locate the target. Our two main results are the following: 1. an algorithm to compute the minimum number r∗ of guards needed to sweep an n-vertex polygon that runs in O(n) time and uses O(n) working space, and 2. a faster algorithm, using O(n log n) time and O(n) space, to compute an integer r such that max(r − 16, 2) ≤ r∗ ≤ r and P can be swept with a chain of r guards. We develop two other techniques to approximate r∗. Using O(n) time and space, we show how to sweep the polygon using at most r∗ +2 guards. We also show that any polygon can be swept by a number of guards equal to two more than the link radius of the polygon. As a key component of our exact algorithm, we introduce the notion of the link diagram of a polygon, which encodes the link distance between all pairs of points on the boundary of the polygon. We prove that the link diagram has size Θ(n) and can be constructed in Θ(n) time. We also show link diagram provides a data structure for optimal two-point link-distance queries, matching an earlier result of Arkin et al. As a key component of our O(n log n)-time approximation algorithm, we introduce the notion of the “link width” of a polygon, which may have independent interest, as it captures important structural properties of simple polygons. Computer Science Dept., Stanford University, 353 Serra Mall, Stanford CA 94305. Email: alon@cs.stanford.edu. Supported by a Rothschild Fellowship and by NSF research grant CCR-96-23851. Computer Science Dept., Stanford University, 353 Serra Mall, Stanford CA 94305. Email: guibas@cs.stanford.edu. Partially supported by DARPA grant DAAE07-98-C-L027 and by ARO MURI grant DAAH04-96-1-007. School of Mathematical Sciences, Tel Aviv University, Tel Aviv 69978, Israel. Email: sariel@math.tau.ac.il. Computer Science Dept., Stanford University, 353 Serra Mall, Stanford CA 94305. Email: dlin@cs.stanford.edu. Supported by DARPA grant DAAE07-98-C-L027 and by ARO MURI grant DAAH04-96-1-007. Dept. Applied Math, University at Stony Brook, Stony Brook, NY 11794-3600. Email: jsbm@ams.sunysb.edu. Partially supported by NSF (CCR-9732220), and grants from Hughes Research Labs, ISX Corporation, Seagull Technologies, NASA, and Sun Microsystems. Computer Science Dept., Stanford University, 353 Serra Mall, Stanford CA 94305. Email: murali@cs.stanford.edu. Supported by DARPA grant DAAE07-98-C-L027.

[1]  Svante Carlsson,et al.  Computing a Shortest Watchman Path in a Simple Polygon in Polynomial-Time , 1995, WADS.

[2]  Rolf Klein,et al.  Moving Along a Street , 1991, Workshop on Computational Geometry.

[3]  J. O'Rourke Art gallery theorems and algorithms , 1987 .

[4]  Masafumi Yamashita,et al.  Searching for a mobile intruder in a corridor: the open edge variant of the polygon search problem , 1995, Int. J. Comput. Geom. Appl..

[5]  Frank Hoffmann,et al.  The art gallery theorem for polygons with holes , 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.

[6]  Mark de Berg,et al.  Efficient algorithms for ray shooting and hidden surface removal , 1992 .

[7]  Micha Sharir,et al.  Arrangements and their applications in robotics: recent developments , 1995 .

[8]  Gert Vegter,et al.  In handbook of discrete and computational geometry , 1997 .

[9]  Subhash Suri,et al.  On some link distance problems in a simple polygon , 1990, IEEE Trans. Robotics Autom..

[10]  Jirí Matousek,et al.  Ray shooting and parametric search , 1992, STOC '92.

[11]  Masafumi Yamashita,et al.  Searching for a Mobile Intruder in a Polygonal Region , 1992, SIAM J. Comput..

[12]  Alok Aggarwal,et al.  Finding minimal convex nested polygons , 1985, SCG '85.

[13]  Esther M. Arkin,et al.  Logarithmic-time link path queries in a simple polygon , 1995, Int. J. Comput. Geom. Appl..

[14]  Yan Ke,et al.  An efficient algorithm for link-distance problems , 1989, SCG '89.

[15]  Wei-Pand Chin,et al.  Shortest watchman routes in simple polygons , 1990, Discret. Comput. Geom..

[16]  S. Suri Minimum link paths in polygons and related problems , 1987 .

[17]  Leonidas J. Guibas,et al.  Visibility-Based Pursuit-Evasion in a Polygonal Environment , 1997, WADS.

[18]  Xuehou Tan Searching a Simple Polygon by a k-Searcher , 2000, ISAAC.

[19]  Andrzej Lingas,et al.  AnO(n logn) algorithm for computing the link center of a simple polygon , 1992, Discret. Comput. Geom..

[20]  Jorge Urrutia,et al.  Art Gallery and Illumination Problems , 2000, Handbook of Computational Geometry.

[21]  Leonidas J. Guibas,et al.  Finding an unpredictable target in a workspace with obstacles , 1997, Proceedings of International Conference on Robotics and Automation.

[22]  T. D. Parsons,et al.  Pursuit-evasion in a graph , 1978 .

[23]  Yan Ke Polygon visibility algorithms for weak visibility and link distance problems , 1990 .

[24]  Christos H. Papadimitriou,et al.  The complexity of searching a graph , 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).

[25]  Rolf Klein,et al.  The two guards problem , 1991, SCG '91.

[26]  Jörg-Rüdiger Sack,et al.  An O(n log n) Algorithm for Computing a Link Center in a Simple Polygon , 1989, STACS.

[27]  Paul J. Heffernan,et al.  An optimal algorithm for the two-guard problem , 1993, SCG '93.

[28]  D. T. Lee,et al.  Two-Guard Walkability of Simple Polygons , 1998, Int. J. Comput. Geom. Appl..