Abstract:The Orthogonal Polygon Covering with Squares (OPCS) problem takes as input an orthogonal polygon $P$ without holes with $n$ vertices, where vertices have integral coordinates. The aim is to find a minimum number of axis-parallel, possibly overlapping squares which lie completely inside $P$, such that their union covers the entire region inside $P$. Aupperle et. al~\cite{aupperle1988covering} provide an $\mathcal O(N^{1.5})$-time algorithm to solve OPCS for orthogonal polygons without holes, where $N$ is the number of integral lattice points lying in the interior or on the boundary of $P$. Designing algorithms for OPCS with a running time polynomial in $n$ (the number of vertices of $P$) was discussed as an open question in \cite{aupperle1988covering}, since $N$ can be exponentially larger than $n$. In this paper we design a polynomial-time exact algorithm for OPCS with a running time of $\mathcal O(n^{14})$. We also consider the following structural parameterized version of the problem. A knob in an orthogonal polygon is a polygon edge whose both endpoints are convex polygon vertices. Given an input orthogonal polygon with $n$ vertices and $k$ knobs, we design an algorithm for OPCS with running time $\mathcal O(n^2 + k^{14} \cdot n)$. In \cite{aupperle1988covering}, the Orthogonal Polygon with Holes Covering with Squares (OPCSH) problem is also studied where orthogonal polygon could have holes, and the objective is to find a minimum square covering of the input polygon. This is shown to be NP-complete. We think there is an error in the existing proof in \cite{aupperle1988covering}, where a reduction from Planar 3-CNF is shown. We fix this error in the proof with an alternate construction of one of the gadgets used in the reduction, hence completing the proof of NP-completeness of OPCSH.

On Minimal Orthographic View Covers for Polyhedra.

Computing global visibility maps for regions on the boundaries of polyhedra using Minkowski sums

Covering Simple Orthogonal Polygons with Rectangles

Computing an Exact Spherical Visibility Map for Meshed Polyhedra

Minimum Covering with Travel Cost

PL P: Point-Line Minimal Problems under Partial Visibility in Three Views

PLMP -- Point-Line Minimal Problems in Complete Multi-View Visibility

PL${}_{1}$P -- Point-line Minimal Problems under Partial Visibility in Three Views

Full-View Area Coverage in Camera Sensor Networks: Dimension Reduction and Near-Optimal Solutions

Minimum Scan Cover and Variants -- Theory and Experiments

Efficient Exact Algorithms for Minimum Covering of Orthogonal Polygons with Squares

On Hadwiger's covering problem in small dimensions

Bounding minimal solid angles of polytopes

An Overview of Minimum Convex Cover and Maximum Hidden Set

Differentiable Convex Polyhedra Optimization from Multi-view Images

Approximating Robot Configuration Spaces with few Convex Sets using Clique Covers of Visibility Graphs

Optimizing Visibility-based Search in Polygonal Domains

Computing the Minimal Perimeter Polygon for Sets of Rectangular Tiles based on Visibility Cones

Minimal Perspective Autocalibration

Area Minimization for Grid Visibility Representation of Hierarchically Planar Graphs.

Visual Coverage Path Planning for Urban Environments