Clustering with Neighborhoods

TL;DR

This paper introduces the clustering with neighborhoods problem, extending the classic $k$-center problem to convex objects, providing approximation algorithms, hardness results, and exact solutions for special cases.

Contribution

It presents a PTAS for approximating the number of centers, establishes hardness of radius approximation, and offers algorithms for disks and one-dimensional cases.

Findings

PTAS for approximating the number of centers within a factor of (1+ε)

Radius approximation is NP-hard even for line segments

Exact solution for 1D clustering problem in O(n log n) time

Abstract

In the standard planar $k$-center clustering problem, one is given a set $P$ of $n$ points in the plane, and the goal is to select $k$ center points, so as to minimize the maximum distance over points in $P$ to their nearest center. Here we initiate the systematic study of the clustering with neighborhoods problem, which generalizes the $k$-center problem to allow the covered objects to be a set of general disjoint convex objects $\mathscr{C}$ rather than just a point set $P$. For this problem we first show that there is a PTAS for approximating the number of centers. Specifically, if $r_{opt}$ is the optimal radius for $k$ centers, then in $n^{O(1/\varepsilon^2)}$ time we can produce a set of $(1+\varepsilon)k$ centers with radius $\leq r_{opt}$. If instead one considers the standard goal of approximating the optimal clustering radius, while keeping $k$ as a hard constraint, we show that the radius cannot be approximated within any factor in polynomial time unless $\mathsf{P=NP}$, even when $\mathscr{C}$ is a set of line segments. When $\mathscr{C}$ is a set of unit disks we show the problem is hard to approximate within a factor of $\frac{\sqrt{13}-\sqrt{3}}{2-\sqrt{3}}\approx 6.99$. This hardness result complements our main result, where we show that when the objects are disks, of possibly differing radii, there is a $(5+2\sqrt{3})\approx 8.46$ approximation algorithm. Additionally, for unit disks we give an $O(n\log k)+(k/\varepsilon)^{O(k)}$ time $(1+\varepsilon)$-approximation to the optimal radius, that is, an FPTAS for constant $k$ whose running time depends only linearly on $n$. Finally, we show that the one dimensional version of the problem, even when intersections are allowed, can be solved exactly in $O(n\log n)$ time.