Abstract:In metric $k$-clustering, we are given as input a set of $n$ points in a general metric space, and we have to pick $k$ centers and cluster the input points around these chosen centers, so as to minimize an appropriate objective function. In recent years, significant effort has been devoted to the study of metric $k$-clustering problems in a dynamic setting, where the input keeps changing via updates (point insertions/deletions), and we have to maintain a good clustering throughout these updates. The performance of such a dynamic algorithm is measured in terms of three parameters: (i) Approximation ratio, which signifies the quality of the maintained solution, (ii) Recourse, which signifies how stable the maintained solution is, and (iii) Update time, which signifies the efficiency of the algorithm. We consider the metric $k$-median problem, where the objective is the sum of the distances of the points to their nearest centers. We design the first dynamic algorithm for this problem with near-optimal guarantees across all three performance measures (up to a constant factor in approximation ratio, and polylogarithmic factors in recourse and update time). Specifically, we obtain a $O(1)$-approximation algorithm for dynamic metric $k$-median with $\tilde{O}(1)$ recourse and $\tilde{O}(k)$ update time. Prior to our work, the state-of-the-art here was the recent result of [Bhattacharya et al., FOCS'24], who obtained $O(\epsilon^{-1})$-approximation ratio with $\tilde{O}(k^{\epsilon})$ recourse and $\tilde{O}(k^{1+\epsilon})$ update time. We achieve our results by carefully synthesizing the concept of robust centers introduced in [Fichtenberger et al., SODA'21] along with the randomized local search subroutine from [Bhattacharya et al., FOCS'24], in addition to several key technical insights of our own.

On a generalization of median graphs: $k$-median graphs

The median function of a block graph: Axiomatic characterizations

Nonmedian Direct Products of Graphs with Loops

ABC(T)-graphs: an axiomatic characterization of the median procedure in graphs with connected and G$^2$-connected medians

The Median of Sierpinski Triangle Graphs

Counting Vertices and Cubes in Median Graphs of Circular Split Systems

ON GENERALIZED K-Diameter OF K-Regular K-Connected GRAPHS

The Traveling k-Median Problem: Approximating Optimal Network Coverage

The minimum positive uniform Turán density in uniformly dense $k$-uniform hypergraphs

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

On Generalization Bounds for Projective Clustering

Finding Connected Dense $k$-Subgraphs

Some special minimum k-geodetically connected graphs

Separating $k$-Median from the Supplier Version

Quasilinear-time eccentricities computation, and more, on median graphs

On Ratio- k -Cuts of Graphs

Approximating Median Points in a Convex Polygon

The $k$-distance mutual-visibility problem in graphs

The $k$-representation number of the random graph

$k$-Center Clustering in Distributed Models

Monochromatic $k$-connection of graphs