Art Gallery Theorems and Algorithms

Last updated

Art Gallery Theorems and Algorithms is a mathematical monograph on topics related to the art gallery problem, on finding positions for guards within a polygonal museum floorplan so that all points of the museum are visible to at least one guard, and on related problems in computational geometry concerning polygons. It was written by Joseph O'Rourke, and published in 1987 in the International Series of Monographs on Computer Science of the Oxford University Press. [1] [2] [3] [4] [5] Only 1000 copies were produced before the book went out of print, so to keep this material accessible O'Rourke has made a pdf version of the book available online. [6]

Contents

Topics

The art gallery problem, posed by Victor Klee in 1973, asks for the number of points at which to place guards inside a polygon (representing the floor plan of a museum) so that each point within the polygon is visible to at least one guard. Václav Chvátal provided the first proof that the answer is at most for a polygon with corners, but a simplified proof by Steve Fisk based on graph coloring and polygon triangulation is more widely known. This is the opening material of the book, [3] which goes on to covers topics including visibility, decompositions of polygons, coverings of polygons, triangulations and triangulation algorithms, and higher-dimensional generalizations, [1] including the result that some polyhedra such as the Schönhardt polyhedron do not have triangulations without additional vertices. [1] [4] More generally, the book has as a theme "the interplay between discrete and computational geometry". [3]

It has 10 chapters, whose topics include the original art gallery theorem and Fisk's triangulation-based proof; rectilinear polygons; guards that can patrol a line segment rather than a single point; special classes of polygons including star-shaped polygons, spiral polygons, and monotone polygons; non-simple polygons; prison yard problems, in which the guards must view the exterior, or both the interior and exterior, of a polygon; visibility graphs; visibility algorithms; the computational complexity of minimizing the number of guards; and three-dimensional generalizations. [2] [3]

Audience and reception

The book only requires an undergraduate-level knowledge of graph theory and algorithms. [2] However, it lacks exercises, and is organized more as a monograph than as a textbook. [5] Despite warning that it omits some details that would be important to implementors of the algorithms that it describes, and does not describe algorithms that perform well on random inputs despite poor worst-case complexity, reviewer Wm. Randolph Franklin recommends it "for the library of every geometer". [4]

Reviewer Herbert Edelsbrunner writes that "This book is the most comprehensive collection of results on polygons currently available and thus earns its place as a standard text in computational geometry. It is very well written and a pleasure to read." [1] However, reviewer Patrick J. Ryan complains that some of the book's proofs are inelegant, [5] and reviewer David Avis, writing in 1990, noted that already by that time there were "many new developments" making the book outdated. Nevertheless, Avis writes that "the book succeeds on a number of levels", as an introductory text for undergraduates or for researchers in other areas, and as an invitation to solve the "many unsolved questions" remaining in this area. [3]

Related Research Articles

Convex hull The smallest convex set containing a given set

In geometry, the convex hull or convex envelope or convex closure of a shape is the smallest convex set that contains it. The convex hull may be defined either as the intersection of all convex sets containing a given subset of a Euclidean space, or equivalently as the set of all convex combinations of points in the subset. For a bounded subset of the plane, the convex hull may be visualized as the shape enclosed by a rubber band stretched around the subset.

Combinatorics is a branch of mathematics concerning the study of finite or countable discrete structures.

Outerplanar graph

In graph theory, an outerplanar graph is a graph that has a planar drawing for which all vertices belong to the outer face of the drawing.

Discrete geometry Branch of geometry that studies combinatorial properties and constructive methods

Discrete geometry and combinatorial geometry are branches of geometry that study combinatorial properties and constructive methods of discrete geometric objects. Most questions in discrete geometry involve finite or discrete sets of basic geometric objects, such as points, lines, planes, circles, spheres, polygons, and so forth. The subject focuses on the combinatorial properties of these objects, such as how they intersect one another, or how they may be arranged to cover a larger object.

Polygon triangulation

In computational geometry, polygon triangulation is the decomposition of a polygonal area P into a set of triangles, i.e., finding a set of triangles with pairwise non-intersecting interiors whose union is P.

Arrangement of lines

In geometry an arrangement of lines is the subdivision of the plane formed by a collection of lines. Bounds on the complexity of arrangements have been studied in discrete geometry, and computational geometers have found algorithms for the efficient construction of arrangements.

Point-set triangulation

A triangulation of a set of points in the Euclidean space is a simplicial complex that covers the convex hull of , and whose vertices belong to . In the plane, triangulations are made up of triangles, together with their edges and vertices. Some authors require that all the points of are vertices of its triangulations. In this case, a triangulation of a set of points in the plane can alternatively be defined as a maximal set of non-crossing edges between points of . In the plane, triangulations are special cases of planar straight-line graphs.

The art gallery problem or museum problem is a well-studied visibility problem in computational geometry. It originates from a real-world problem of guarding an art gallery with the minimum number of guards who together can observe the whole gallery. In the geometric version of the problem, the layout of the art gallery is represented by a simple polygon and each guard is represented by a point in the polygon. A set of points is said to guard a polygon if, for every point in the polygon, there is some such that the line segment between and does not leave the polygon.

Visibility in geometry is a mathematical abstraction of the real-life notion of visibility.

Pseudotriangle

In Euclidean plane geometry, a pseudotriangle (pseudo-triangle) is the simply connected subset of the plane that lies between any three mutually tangent convex sets. A pseudotriangulation (pseudo-triangulations) is a partition of a region of the plane into pseudotriangles, and a pointed pseudotriangulation is a pseudotriangulation in which at each vertex the incident edges span an angle of less than π.

Polygonal chain

In geometry, a polygonal chain is a connected series of line segments. More formally, a polygonal chain P is a curve specified by a sequence of points called its vertices. The curve itself consists of the line segments connecting the consecutive vertices.

Godfried Toussaint

Godfried Theodore Patrick Toussaint was a Canadian Computer Scientist, a Professor of Computer Science, and the Head of the Computer Science Program at New York University Abu Dhabi (NYUAD) in Abu Dhabi, United Arab Emirates. He is considered to be the father of computational geometry in Canada. He did research on various aspects of computational geometry, discrete geometry, and their applications: pattern recognition, motion planning, visualization, knot theory, linkage (mechanical) reconfiguration, the art gallery problem, polygon triangulation, the largest empty circle problem, unimodality, and others. Other interests included meander (art), compass and straightedge constructions, instance-based learning, music information retrieval, and computational music theory.

Joseph O'Rourke is the Spencer T. and Ann W. Olin Professor of Computer Science at Smith College and the founding chair of the Smith computer science department. His main research interest is computational geometry.

Herbert Edelsbrunner

Herbert Edelsbrunner is a computer scientist working in the field of computational geometry, the Arts & Science Professor of Computer Science and Mathematics at Duke University, Professor at the Institute of Science and Technology Austria, and the co-founder of Geomagic, Inc. He was the first of only three computer scientists to win the National Science Foundation's Alan T. Waterman Award.

In geometry, the moment curve is an algebraic curve in d-dimensional Euclidean space given by the set of points with Cartesian coordinates of the form

Two ears theorem Every simple polygon with more than three vertices has at least two ears

In geometry, the two ears theorem states that every simple polygon with more than three vertices has at least two ears, vertices that can be removed from the polygon without introducing any crossings. The two ears theorem is equivalent to the existence of polygon triangulations. It is frequently attributed to Gary H. Meisters, but was proved earlier by Max Dehn.

Geometric Folding Algorithms: Linkages, Origami, Polyhedra is a monograph on the mathematics and computational geometry of mechanical linkages, paper folding, and polyhedral nets, by Erik Demaine and Joseph O'Rourke. It was published in 2007 by Cambridge University Press (ISBN 978-0-521-85757-4). A Japanese-language translation by Ryuhei Uehara was published in 2009 by the Modern Science Company (ISBN 978-4-7649-0377-7).

Combinatorial Geometry in the Plane is a book in discrete geometry. It was translated from a German-language book, Kombinatorische Geometrie in der Ebene, which its authors Hugo Hadwiger and Hans Debrunner published through the University of Geneva in 1960, expanding a 1955 survey paper that Hadwiger had published in L'Enseignement mathématique. Victor Klee translated it into English, and added a chapter of new material. It was published in 1964 by Holt, Rinehart and Winston, and republished in 1966 by Dover Publications. A Russian-language edition, Комбинаторная геометрия плоскости, translated by I. M. Jaglom and including a summary of the new material by Klee, was published by Nauka in 1965. The Basic Library List Committee of the Mathematical Association of America has recommended its inclusion in undergraduate mathematics libraries.

References

  1. 1 2 3 4 Edelsbrunner, Herbert (1989), "Review of Art Gallery Theorems and Algorithms", Mathematical Reviews, MR   0921437
  2. 1 2 3 Vlach, M., "Review of Art Gallery Theorems and Algorithms", zbMATH, Zbl   0653.52001
  3. 1 2 3 4 5 Avis, David (1990), "Review of Art Gallery Theorems and Algorithms", American Mathematical Society, New Series, 23 (1): 230–234, doi: 10.1090/S0273-0979-1990-15939-7 , MR   1567872
  4. 1 2 3 Franklin, Wm. Randolph (June 1989), "Review of Art Gallery Theorems and Algorithms", SIAM Review, 31 (2): 342–343, doi:10.1137/1031076
  5. 1 2 3 Ryan, Patrick J., "Review of Art Gallery Theorems and Algorithms", ACM Computing Reviews
  6. O'Rourke, Joseph, Art Gallery Theorems and Algorithms, Smith College, retrieved 2020-02-20