Abstract:Given points from an arbitrary metric space and a sequence of point updates sent by an adversary, what is the minimum recourse per update (i.e., the minimum number of changes needed to the set of centers after an update), in order to maintain a constant-factor approximation to a $k$-clustering problem? This question has received attention in recent years under the name consistent clustering. Previous works by Lattanzi and Vassilvitskii [ICLM '17] and Fichtenberger, Lattanzi, Norouzi-Fard, and Svensson [SODA '21] studied $k$-clustering objectives, including the $k$-center and the $k$-median objectives, under only point insertions. In this paper we study the $k$-center objective in the fully dynamic setting, where the update is either a point insertion or a point deletion. Before our work, Łącki, Haeupler, Grunau, Rozhoň, and Jayaram [SODA '24] gave a deterministic fully dynamic constant-factor approximation algorithm for the $k$-center objective with worst-case recourse of $2$ per update. In this work, we prove that the $k$-center clustering problem admits optimal recourse bounds by developing a deterministic fully dynamic constant-factor approximation algorithm with worst-case recourse of $1$ per update. Moreover our algorithm performs simple choices based on light data structures, and thus is arguably more direct and faster than the previous one which uses a sophisticated combinatorial structure. Additionally, we develop a new deterministic decremental algorithm and a new deterministic incremental algorithm, both of which maintain a $6$-approximate $k$-center solution with worst-case recourse of $1$ per update. Our incremental algorithm improves over the $8$-approximation algorithm by Charikar, Chekuri, Feder, and Motwani [STOC '97]. Finally, we remark that since all three of our algorithms are deterministic, they work against an adaptive adversary.

Consistent K-Median: Simpler, Better and Robust

Constant Approximation for K-Median and K-Means with Outliers Via Iterative Rounding

Distributed k-Means with Outliers in General Metrics

A local search algorithm for k-means with outliers

Outliers Detection Is Not So Hard: Approximation Algorithms for Robust Clustering Problems Using Local Search Techniques

Distributed K-Clustering for Data with Heavy Noise

Clustering What Matters in Constrained Settings

Dynamic Consistent $k$-Center Clustering with Optimal Recourse

Fully Dynamic $k$-Median with Near-Optimal Update Time and Recourse

Fully Dynamic Consistent $k$-Center Clustering

Almost-linear Time Approximation Algorithm to Euclidean $k$-median and $k$-means

Near-optimal Coresets for Robust Clustering

Optimal Time Bounds for Approximate Clustering

Fully Dynamic $k$-Clustering with Fast Update Time and Small Recourse

Hybrid k-Clustering: Blending k-Median and k-Center

Improved Outlier Robust Seeding for k-means

A Scalable Algorithm for Individually Fair K-means Clustering

Is Simple Uniform Sampling Effective for Center-Based Clustering with Outliers: When and Why?

Approximation Algorithms for Clustering with Dynamic Points

FPT Approximations for Capacitated/Fair Clustering with Outliers

On Clustering with Discounts