A Sub-4 Approximation for Fair $k$-Means

2026-09-07

AI Summary

本文提出一种结合线性规划松弛与几何变换的近似算法，解决了带公平约束的k-均值聚类问题，将先前5+O(ε)的近似比改进至低于4。

Abstract

Fairness in clustering has attracted sustained research interest, motivated by the need to ensure equitable representation of protected groups in machine learning applications. We study fair $k$-means clustering in Euclidean space, where the proportion of each protected group in every cluster must lie within specified lower and upper bounds. These constraints make it challenging to determine both cluster centers and point assignments. We propose an approximation algorithm that combines a linear programming relaxation with geometric transformations of the input to construct candidate center sets. Given a $\rho$-approximate algorithm for weighted $k$-means and any $\epsilon>0$, our algorithm returns a fractional solution whose cost is at most $1+(3-1/\Gamma)\rho+O(\epsilon)$ times the optimal integral fair cost, where $\Gamma\approx6.357$ is an upper bound on the integrality gap of the standard Euclidean $k$-means LP. With a PTAS as the subroutine, the approximation ratio becomes $3.8427+O(\epsilon)$, improving the previous factor of $5+O(\epsilon)$ to below $4$. The solution satisfies all fairness constraints exactly and can be rounded to an integral assignment with a bounded additive violation of fairness and no increase in cost. The same approximation guarantee extends to the $k$-sparse Wasserstein barycenter problem.

Problem

• fair k-means
• Euclidean space
• protected groups
• cluster centers
• point assignments

Innovation

• Fair k-means Clustering
• Linear Programming Relaxation
• Geometric Transformations
• Approximation Algorithm
• Integrality Gap