Universal Algorithms for Clustering Problems

TL;DR

This paper introduces universal algorithms for clustering problems that provide strong approximation guarantees across all possible client subsets within a metric space, using LP relaxations.

Contribution

The paper develops the first universal algorithms achieving constant-factor approximations for $k$-median, $k$-means, and $k$-center clustering problems, with a novel LP-based framework.

Findings

Achieved $(O(1), O(1))$-approximations for standard clustering objectives.

Extended results to $ ext{ell}_p$-objectives and fixed client subsets.

Proved NP-hardness of better-than-constant approximations in Euclidean spaces.

Abstract

This paper presents universal algorithms for clustering problems, including the widely studied $k$-median, $k$-means, and $k$-center objectives. The input is a metric space containing all potential client locations. The algorithm must select $k$ cluster centers such that they are a good solution for any subset of clients that actually realize. Specifically, we aim for low regret, defined as the maximum over all subsets of the difference between the cost of the algorithm's solution and that of an optimal solution. A universal algorithm's solution $SOL$ for a clustering problem is said to be an $(\alpha, \beta)$-approximation if for all subsets of clients $C'$, it satisfies $SOL(C') \leq \alpha \cdot OPT(C') + \beta \cdot MR$, where $OPT(C')$ is the cost of the optimal solution for clients $C'$ and $MR$ is the minimum regret achievable by any solution. Our main results are universal algorithms for the standard clustering objectives of $k$-median, $k$-means, and $k$-center that achieve $(O(1), O(1))$-approximations. These results are obtained via a novel framework for universal algorithms using linear programming (LP) relaxations. These results generalize to other $\ell_p$-objectives and the setting where some subset of the clients are fixed. We also give hardness results showing that $(\alpha, \beta)$-approximation is NP-hard if $\alpha$ or $\beta$ is at most a certain constant, even for the widely studied special case of Euclidean metric spaces. This shows that in some sense, $(O(1), O(1))$-approximation is the strongest type of guarantee obtainable for universal clustering.