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

Ervin Győri, Tamás Róbert Mezei

We prove that every simply connected orthogonal polygon of $n$ vertices can be partitioned into $\lfloor \frac{3n+4}{16}\rfloor$ (simply connected) orthogonal polygons…