Partitioning orthogonal polygons into ≤ 8-vertex pieces, with application to an art gallery theorem

Győri, Ervin and Mezei, Tamás (2016) Partitioning orthogonal polygons into ≤ 8-vertex pieces, with application to an art gallery theorem. COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS, 59. pp. 13-25. ISSN 0925-7721

Preview

Text Partitioning_polyominoes_into_polyominoes_of_at_mo.pdf Download (494kB) | Preview

Abstract

We prove that every simply connected orthogonal polygon of n vertices can be partitioned into ⌊3n+416⌋ (simply connected) orthogonal polygons of at most 8 vertices. It yields a new and shorter proof of the theorem of A. Aggarwal that ⌊3n+416⌋ mobile guards are sufficient to control the interior of an n-vertex orthogonal polygon. Moreover, we strengthen this result by requiring combinatorial guards (visibility is only needed at the endpoints of patrols) and prohibiting intersecting patrols. This yields positive answers to two questions of O'Rourke [7, Section 3.4]. Our result is also a further example of the “metatheorem” that (orthogonal) art gallery theorems are based on partition theorems. © 2016 Elsevier B.V.

Actions (login required)

Edit Item