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.

The smallest art gallery not guarded by every third vertex

Guarding curvilinear art galleries with vertex or point guards

Sometimes Two Irrational Guards are Needed

Irrational Guards are Sometimes Needed

Super Guarding and Dark Rays in Art Galleries

Constant Approximation Algorithms for Guarding Simple Polygons using Vertex Guards

Face-Guarding Polyhedra

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

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

Lower Bound for Sculpture Garden Problem

On the Complexity of Half-Guarding Monotone Polygons

Guarding and Searching Polyhedra

Dispersive Vertex Guarding for Simple and Non-Simple Polygons

Guarding Polyominoes under $k$-Hop Visibility

Guarding in a Simple Polygon

Hidden Mobile Guards in Simple Polygons

Minimum Star Partitions of Simple Polygons in Polynomial Time

Finding the Shortest Boundary Guard of a Simple Polygon

APX-Hardness of the Minimum Vision Points Problem

The minimal genus problem for right angled Artin groups

Tracking Mobile Intruders in an Art Gallery: Guard Deployment Strategies, Fundamental Limitations, and Performance Guarantees