Art Gallery Problems for Convex Nested Polygons

In this article, we study a class of Art Gallery problems that are defined on a pair of convex nested polygons. Polynomial time algorithms are presented for all these problems, by reducing them to the Circle Covering problem, or by relating them to the Minimal Nested Polygon problem. Then it is shown that these problems can also be solved in polynomial time by formulating them as Integer Programs with the Circular Ones property. Finally the paper discusses how these algorithms can be efficiently implemented in parallel.

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

[2]  Joseph JáJá,et al.  An Introduction to Parallel Algorithms , 1992 .

[3]  James B. Orlin,et al.  A faster strongly polynomial minimum cost flow algorithm , 1993, STOC '88.

[4]  Alok Aggarwal,et al.  Finding Minimal Convex Nested Polygons , 1989, Inf. Comput..

[5]  T. Shermer Recent Results in Art Galleries , 1992 .

[6]  V. Chvátal A combinatorial theorem in plane geometry , 1975 .

[7]  D. R. Fulkerson,et al.  Incidence matrices and interval graphs , 1965 .

[8]  Shivakumar Viswanathan The Edge Guard Problem for Spiral Polygons , 1993, CCCG.

[9]  V. T. Rajan,et al.  NC-Algorithms for Minimum Link Path and Related Problems , 1995, J. Algorithms.

[10]  D. T. Lee,et al.  Computational complexity of art gallery problems , 1986, IEEE Trans. Inf. Theory.

[11]  Mikhail J. Atallah,et al.  Efficient Parallel Solutions to Some Geometric Problems , 1986, J. Parallel Distributed Comput..

[12]  Ramaswamy Chandrasekaran,et al.  Finding the Set of All Minimal Nested Convex Polygons , 1996, CCCG.

[13]  James B. Orlin,et al.  Cyclic Scheduling via Integer Programs with Circular Ones , 1980, Oper. Res..

[14]  Hazel Everett,et al.  Recognizing Visibility Graphs of Spiral Polygons , 1990, J. Algorithms.

[15]  Richard C. T. Lee,et al.  The Minimum Cooperative Guards Problem on K-spiral Polygons , 1993, CCCG.

[16]  Joseph O'Rourke,et al.  Some NP-hard polygon decomposition problems , 1983, IEEE Trans. Inf. Theory.

[17]  Richard Cole,et al.  Parallel merge sort , 1988, 27th Annual Symposium on Foundations of Computer Science (sfcs 1986).

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

[19]  D. T. Lee,et al.  On a Circle-Cover Minimization Problem , 1984, Inf. Process. Lett..

[20]  Michael Ian Shamos,et al.  Computational geometry: an introduction , 1985 .