[论文解读] Approximating capacitated $k$-median with $(1+\epsilon)k$ open facilities

Shi Li|arXiv (Cornell University)|Nov 20, 2014

Facility Location and Emergency Management参考文献 28被引用 5

一句话总结

该论文提出了首个针对非均匀容量限制的 k-中位问题的常数因子近似算法，仅在设施数量上违反基数约束 (1+ǫ) 倍。该工作引入了一种新型配置整数规划（LP），其整数规划间隙有界，从而在 n^O(1/ǫ) 时间内实现了 O(1/ǫ² log(1/ǫ)) 的近似比，显著优于此前的 exp(O(1/ǫ²)) 比例。

ABSTRACT

In the capacitated $k$-median (\CKM) problem, we are given a set $F$ of facilities, each facility $i \in F$ with a capacity $u_i$, a set $C$ of clients, a metric $d$ over $F \cup C$ and an integer $k$. The goal is to open $k$ facilities in $F$ and connect the clients $C$ to the open facilities such that each facility $i$ is connected by at most $u_i$ clients, so as to minimize the total connection cost. In this paper, we give the first constant approximation for \CKM, that only violates the cardinality constraint by a factor of $1+\epsilon$. This generalizes the result of [Li15], which only works for the uniform capacitated case. Moreover, the approximation ratio we obtain is $O\big(\frac{1}{\epsilon^2}\log\frac1\epsilon\big)$, which is an exponential improvement over the ratio of $\exp(O(1/\epsilon^2))$ in [Li15]. The natural LP relaxation for the problem, which almost all previous algorithms for \CKM are based on, has unbounded integrality gap even if $(2-\epsilon)k$ facilities can be opened. We introduce a novel configuration LP for the problem, that overcomes this integrality gap.

研究动机与目标

• 为非均匀容量限制的 k-中位问题设计一个常数因子近似算法，且仅在开放设施数量上违反 (1+ǫ) 倍。
• 克服标准 LP 松弛的无界整数规划间隙问题，即使允许最多 (2−ǫ)k 个设施，该问题依然存在。
• 将 Li (2015) 在均匀容量情况下的结果推广至非均匀容量情形，并将近似比从指数级改进为多项式级。
• 设计一种配置 LP，用于捕捉局部设施组可行解的凸包，从而在 (1+ǫ)k 的违反条件下实现有界的整数规划间隙。
• 将该方法扩展至软容量 k-中位问题，允许设施的多个副本存在，同时保持常数近似比并最小化基数违反。

提出的方法

• 引入一种新型配置 LP，通过变量 z_B^S 表示在子集 B 中恰好开放 S 个设施，z_B^⊥ 表示在子集 B 中开放超过 ℓ1 个设施，从而建模子集设施的整数解凸包。
• 对于每个子集 B ⊆ F，该配置 LP 包含约束条件：当 z_B^⊥ = 0 时强制实现有效的整数配置；当 z_B^⊥ = 1 时允许分数解。
• 采用一种舍入过程，给定一个分数解后，要么找到一个优良的整数解，要么识别出一个违反的约束，从而支持使用椭球法。
• 应用分层聚类与树分解技术对设施和客户进行分组，利用最小生成树（MST）控制距离并限制成本传播。
• 对分解中的每棵树，求解一个局部 LP，将需求从预开放设施重新分配至新设施，以最小化移动成本，同时遵守容量和设施数量约束。
• 使用参数 ℓ = ⌈5/ǫ⌉ 控制每簇的设施数量，将总开放设施数限制在 (1+5/ℓ)k ≤ (1+ǫ)k，从而实现所需的基数违反。

实验结果

研究问题

• RQ1 能否在仅违反 (1+ǫ) 倍开放设施数量的条件下，为非均匀容量限制的 k-中位问题实现常数因子近似？
• RQ2 是否存在一种新型配置 LP，能够在 (1+ǫ)k 设施违反条件下，克服标准 LP 松弛的无界整数规划间隙？
• RQ3 能否将先前工作中针对非均匀容量的 exp(O(1/ǫ²)) 近似比改进为 1/ǫ 的多项式形式？
• RQ4 能否将 (1+ǫ) 违反结果扩展至软容量 k-中位问题设置，并保持常数近似比？
• RQ5 能否将每处位置的设施副本数从 2 降低至 1，从而将结果推广至硬容量 k-中位问题？

主要发现

• 该论文在软容量 k-中位问题上实现了 (1+ǫ, O(1/ǫ² log(1/ǫ)))-近似，且开放设施数量被限制在 (1+ǫ)k 以内。
• 近似比为 O(1/ǫ² log(1/ǫ))，相较于此前针对同一问题的 exp(O(1/ǫ²)) 比例，实现了指数级改进。
• 即使允许 (2−ǫ)k 个设施，标准 LP 松弛的整数规划间隙仍为无界，而所提出的配置 LP 通过局部凸包建模克服了该问题。
• 该算法运行时间为 n^O(1/ǫ)，虽然在 1/ǫ 上为指数级，但这是由配置 LP 的复杂性所必需的。
• 该方法通过分层聚类与树分解控制移动成本，确保总成本保持在最优值的 O(1/ǫ² log(1/ǫ)) 以内。
• 由于预开放与重新分配阶段的技术限制，解可能开放同一设施的两个副本，这限制了其直接推广至硬容量 k-中位问题。