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

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.