Abstract:We consider the problem of monitoring an art gallery modeled as a polygon, the edges of which are arcs of curves, with edge or mobile guards. Our focus is on piecewise-convex polygons, i.e., polygons that are locally convex, except possibly at the vertices, and their edges are convex arcs. We transform the problem of monitoring a piecewise-convex polygon to the problem of 2-dominating a properly defined triangulation graph with edges or diagonals, where 2-dominance requires that every triangle in the triangulation graph has at least two of its vertices in its 2-dominating set. We show that $\lfloor\frac{n+1}{3}\rfloor$ diagonal guards or $\lfloor\frac{2n+1}{5}\rfloor$ edge guards are always sufficient and sometimes necessary, in order to 2-dominate a triangulation graph. Furthermore, we show how to compute: a diagonal 2-dominating set of size $\lfloor\frac{n+1}{3}\rfloor$ in linear time, an edge 2-dominating set of size $\lfloor\frac{2n+1}{5}\rfloor$ in $O(n^2)$ time, and an edge 2-dominating set of size $\lfloor\frac{3n}{7}\rfloor$ in O(n) time. Based on the above-mentioned results, we prove that, for piecewise-convex polygons, we can compute: a mobile guard set of size $\lfloor\frac{n+1}{3}\rfloor$ in $O(n\log{}n)$ time, an edge guard set of size $\lfloor\frac{2n+1}{5}\rfloor$ in $O(n^2)$ time, and an edge guard set of size $\lfloor\frac{3n}{7}\rfloor$ in $O(n\log{}n)$ time. Finally, we show that $\lfloor\frac{n}{3}\rfloor$ mobile or $\lceil\frac{n}{3}\rceil$ edge guards are sometimes necessary. When restricting our attention to monotone piecewise-convex polygons, the bounds mentioned above drop: $\lceil\frac{n+1}{4}\rceil$ edge or mobile guards are always sufficient and sometimes necessary; such an edge or mobile guard set, of size at most $\lceil\frac{n+1}{4}\rceil$, can be computed in O(n) time.

Lower Bound for Sculpture Garden Problem

Guarding curvilinear art galleries with vertex or point guards

Face-Guarding Polyhedra

Irrational Guards are Sometimes Needed

Sometimes Two Irrational Guards are Needed

Constant Approximation Algorithms for Guarding Simple Polygons using Vertex Guards

On the Complexity of Half-Guarding Monotone Polygons

The smallest art gallery not guarded by every third vertex

Almost Tight Bounds for Conflict-Free Chromatic Guarding of Orthogonal Galleries

Super Guarding and Dark Rays in Art Galleries

Lower bounds on the obstacle number of graphs

Guarding and Searching Polyhedra

Dispersive Vertex Guarding for Simple and Non-Simple Polygons

Hidden Mobile Guards in Simple Polygons

Max/Min Puzzles in Geometry

Guarding curvilinear art galleries with edge or mobile guards via 2-dominance of triangulation graphs

Bounding and Computing Obstacle Numbers of Graphs

The Complexity of Guarding Terrains

A Lower Bound for Essential Covers of the Cube

Minimum Star Partitions of Simple Polygons in Polynomial Time

One-sided terrain guarding and chordal graphs