Covering Points with Rectangular Boundaries

2026-07-09

AI Summary

This work presents the first systematic study of the axis-aligned rectangular boundary cover problem, distinguishing between discrete (selecting rectangles from a given family) and continuous (freely placing rectangles) settings. Through parameterized complexity analysis and structural decomposition techniques, it establishes that the discrete variant is W[1]-hard with respect to the parameter k, whereas the continuous variant is fixed-parameter tractable, admitting an FPT algorithm with running time $2^{O(k \log k)} \cdot n^{O(1)}$. Furthermore, the continuous problem is reduced to an instance of the ddmtcsp (discrete distance metric temporal constraint satisfaction problem), which is solvable in polynomial time, and the NP-completeness of L-shaped boundary covering is also established.

Abstract

Geometric covering problems ask for a small family of geometric objects whose union covers a given point set. We study the more restrictive \emph{boundary covering} variant, where every point must lie on the boundary of a chosen object. Motivated by the framework of Langerman and Morin\,[Discret.\ Comput.\ Geom., 2005] for hyperspheres, we initiate the study of boundary covering by axis-parallel rectangles. We first consider the \emph{discrete} setting, where rectangles must be selected from a given family. We define \bcdaprfull\ (\bcdaprshort): given a point set \(P\subseteq\mathbb{R}^2\), a family \(\mathcal{R}\) of axis-parallel rectangles, and an integer \(k\), decide whether \(P\) can be covered by the boundaries of at most \(k\) rectangles from \(\mathcal{R}\). We prove that \bcdaprshort\ is \(\mathrm{W}[1]\)-hard parameterized by \(k\). We then study the \emph{continuous} variant, \prbcfull\ (\prbcshort), where rectangles may be placed freely. Given \(P\subseteq\mathbb{R}^2\) and \(k\), the goal is to decide whether \(P\) can be covered by the boundaries of at most \(k\) axis-parallel rectangles. In contrast to the discrete case, we show that \prbcshort\ is fixed-parameter tractable, with running time \(2^{\cO(k\log k)}\cdot n^{\cO(1)}\), where \(n=|P|\). Our algorithm relies on a structural analysis of how \(k\) rectangles interact with the point set, reducing \prbcshort\ to at most \(2^{\cO(k\log k)}\) instances of \ddmtcsp, each solvable in polynomial time. On the hardness side, we prove NP-completeness for boundary covering by axis-aligned \(L\)-shapes and use this reduction to establish NP-completeness of \prbcshort.

Problem

• boundary covering
• axis-parallel rectangles
• geometric covering
• point set
• computational geometry

Innovation

• boundary covering
• axis-parallel rectangles
• fixed-parameter tractability
• W[1]-hardness
• geometric covering