Abstract:We study the time complexity of the discrete $k$-center problem and related (exact) geometric set cover problems when $k$ or the size of the cover is small. We obtain a plethora of new results: - We give the first subquadratic algorithm for rectilinear discrete 3-center in 2D, running in $\widetilde{O}(n^{3/2})$ time. - We prove a lower bound of $\Omega(n^{4/3-\delta})$ for rectilinear discrete 3-center in 4D, for any constant $\delta>0$, under a standard hypothesis about triangle detection in sparse graphs. - Given $n$ points and $n$ weighted axis-aligned unit squares in 2D, we give the first subquadratic algorithm for finding a minimum-weight cover of the points by 3 unit squares, running in $\widetilde{O}(n^{8/5})$ time. We also prove a lower bound of $\Omega(n^{3/2-\delta})$ for the same problem in 2D, under the well-known APSP Hypothesis. For arbitrary axis-aligned rectangles in 2D, our upper bound is $\widetilde{O}(n^{7/4})$. - We prove a lower bound of $\Omega(n^{2-\delta})$ for Euclidean discrete 2-center in 13D, under the Hyperclique Hypothesis. This lower bound nearly matches the straightforward upper bound of $\widetilde{O}(n^\omega)$, if the matrix multiplication exponent $\omega$ is equal to 2. - We similarly prove an $\Omega(n^{k-\delta})$ lower bound for Euclidean discrete $k$-center in $O(k)$ dimensions for any constant $k\ge 3$, under the Hyperclique Hypothesis. This lower bound again nearly matches known upper bounds if $\omega=2$. - We also prove an $\Omega(n^{2-\delta})$ lower bound for the problem of finding 2 boxes to cover the largest number of points, given $n$ points and $n$ boxes in 12D. This matches the straightforward near-quadratic upper bound.

Minimum-Link Covering Trails for any Hypercubic Lattice

Shortest polygonal chains covering each planar square grid

On Covering Points with Minimum Turns

On line arrangements in the hyperbolic plane

On the Approximability of Covering Points by Lines and Related Problems

Transversals in Uniform Linear Hypergraphs

Addendum to “on Line Arrangements in the Hyperbolic Plane” [european J. Combin. 23 (2002) 549–557]

Essential covers of the hypercube require many hyperplanes

Minimum degree of 3-graphs without long linear paths

Minimum-Link Paths Revisited

Short simplex paths in lattice polytopes

Minimizing Crossings in Constrained Two-Sided Circular Graph Layouts

Covering grids with multiplicity

The Covering Canadian Traveller Problem Revisited

COVERING CONVEX RECTILINEAR POLYGONS IN LINEAR TIME

General uncrossing covering paths inside the axis-aligned bounding box

Sparse graphs with local covering conditions on edges

On the Fine-Grained Complexity of Small-Size Geometric Set Cover and Discrete $k$-Center for Small $k$

Solving the $106$ years old $3^k$ points problem with the clockwise-algorithm

Packing and covering a given directed graph in a directed graph

An algorithmic version of the Hajnal--Szemerédi theorem