← 研踪 PaperTrailarXiv:2610.40625 · v1
Uniform Capacitated Clustering with Few Extra Centers
首次提交 2026-10-30 01:56
版本更新 2026-10-30 01:56
雷达观测 2026-10-30 13:28
摘要
In uniform capacitated $(k,z)$-clustering, we open $k$ centers and assign every client to a center so that no center serves more than $U$ clients, minimizing the sum of the $z$-th powers of the assignment distances; $k$-median and $k$-means are the cases $z=1$ and $z=2$. We study algorithms that may open $k+\lfloor\varepsilon k\rfloor$ centers for a fixed $\varepsilon\in(0,1]$ and must respect the capacities exactly. In low dimensions, we give deterministic algorithms that are, except for $k$-median in the plane, the first polynomial-time algorithms with $(1+\varepsilon)k$ centers whose ratio is bounded independently of $\varepsilon$. In Euclidean space of any dimension, with clients of bounded doubling dimension, the ratio is $\mathcal{B}_z-(\mathcal{B}_z-1)\varepsilon+δ$ for every fixed $δ>0$, where $\mathcal{B}_z<3^z$ for $z>1$; this is $3-2\varepsilon+δ$ for $k$-median and $5-4\varepsilon+δ$ for $k$-means. In doubling metrics, the ratio is $3^z-(3^z-1)\varepsilon+δ$ when centers may share a location, and a constant otherwise, such as $\min\{7-4\varepsilon,\,3+2\ln(1/\varepsilon)\}+δ$ for $k$-median. In general metrics, deleting centers greedily gives ratio $3+2\ln(1/\varepsilon)+δ$ for $k$-median when centers may share a location and $7+2\ln(1/\varepsilon)+δ$ otherwise, improving the previous $O(\varepsilon^{-2}\log(1/\varepsilon))$. Our main tool is a rescue lemma. Splitting a near-optimal uncapacitated solution gives at most $2k-1$ blocks of at most $U$ clients, and giving a block a private center saves its share of the extra cost of following an optimal solution. Since a center of the optimal solution can be closed once all its blocks are rescued, $\lfloor\varepsilon k\rfloor$ extra centers save almost an $\varepsilon$-fraction of this extra cost instead of an $\varepsilon/2$-fraction.
观测到的版本
相邻记录可能跳过中间版本；首次发现 v2 及以上也会标为版本更新。
v1 · 2026-10-30 01:56 · 最新观测版本
Uniform Capacitated Clustering with Few Extra Centers
In uniform capacitated $(k,z)$-clustering, we open $k$ centers and assign every client to a center so that no center serves more than $U$ clients, minimizing the sum of the $z$-th powers of the assignment distances; $k$-median and $k$-means are the cases $z=1$ and $z=2$. We study algorithms that may open $k+\lfloor\varepsilon k\rfloor$ centers for a fixed $\varepsilon\in(0,1]$ and must respect the capacities exactly. In low dimensions, we give deterministic algorithms that are, except for $k$-median in the plane, the first polynomial-time algorithms with $(1+\varepsilon)k$ centers whose ratio is bounded independently of $\varepsilon$. In Euclidean space of any dimension, with clients of bounded doubling dimension, the ratio is $\mathcal{B}_z-(\mathcal{B}_z-1)\varepsilon+δ$ for every fixed $δ>0$, where $\mathcal{B}_z<3^z$ for $z>1$; this is $3-2\varepsilon+δ$ for $k$-median and $5-4\varepsilon+δ$ for $k$-means. In doubling metrics, the ratio is $3^z-(3^z-1)\varepsilon+δ$ when centers may share a location, and a constant otherwise, such as $\min\{7-4\varepsilon,\,3+2\ln(1/\varepsilon)\}+δ$ for $k$-median. In general metrics, deleting centers greedily gives ratio $3+2\ln(1/\varepsilon)+δ$ for $k$-median when centers may share a location and $7+2\ln(1/\varepsilon)+δ$ otherwise, improving the previous $O(\varepsilon^{-2}\log(1/\varepsilon))$. Our main tool is a rescue lemma. Splitting a near-optimal uncapacitated solution gives at most $2k-1$ blocks of at most $U$ clients, and giving a block a private center saves its share of the extra cost of following an optimal solution. Since a center of the optimal solution can be closed once all its blocks are rescued, $\lfloor\varepsilon k\rfloor$ extra centers save almost an $\varepsilon$-fraction of this extra cost instead of an $\varepsilon/2$-fraction.
查看此版本解读 →查看此版本原文 ↗