[论文解读] A constant factor approximation algorithm for fault-tolerant k-median

MohammadTaghi Hajiaghayi, Wei Hu+3 more|arXiv (Cornell University)|Jan 5, 2014

Facility Location and Emergency Management参考文献 42被引用 4

一句话总结

本文提出了首个针对故障容错k-中位问题的常数因子近似算法，其中每个客户必须连接到至少 rj 个设施，且开放设施的总数受 k 限制。该方法通过一种新颖的基于线性规划（LP）的策略实现，并证明了在路径和HST（分层星型树）上，该LP具有整数最优解，从而在这些情况下实现了多项式时间的精确解。

ABSTRACT

In this paper, we consider the fault-tolerant k-median problem and give the first constant factor approximation algorithm for it. In the fault-tolerant generalization of classical k-median problem, each client j needs to be assigned to at least rj ≥ 1 distinct open facilities. The service cost of j is the sum of its distances to the rj facilities, and the k-median constraint restricts the number of open facilities to at most k. Previously, a constant factor was known only for the special case when all rjs are the same, and a logarithmic approximation ratio was known for the general case. In addition, we present the first polynomial time algorithm for the fault-tolerant k-median problem on a path or a HST by showing that the corresponding LP always has an integral optimal solution.We also consider the fault-tolerant facility location problem, where the service cost of j can be a weighted sum of its distance to the rj facilities. We give a simple constant factor approximation algorithm, generalizing several previous results which only work for nonincreasing weight vectors.

研究动机与目标

• 解决故障容错k-中位问题，其中每个客户需要连接到 rj ≥ 1 个设施，从而推广经典k-中位问题。
• 克服以往在 rj 值各异的一般情况下仅能获得对数级近似比的局限性。
• 通过证明LP整数性，为路径和分层星型树（HST）上的故障容错k-中位问题提供多项式时间算法。
• 将该框架扩展至具有加权服务成本的故障容错设施位置问题，推广先前仅适用于非递增权向量的结果。

提出的方法

• 将故障容错k-中位问题建模为整数线性规划（ILP），然后将其松弛为线性规划（LP）以实现近似。
• 提出一种新颖的舍入技术，通过利用LP结构和客户需求约束，确保获得常数近似比。
• 证明当底层度量空间为路径或HST时，故障容错k-中位问题的LP松弛具有整数最优解，从而实现多项式时间精确解。
• 采用原始-对偶方法处理故障容错设施位置问题中的加权服务成本变体，推广了先前的算法。
• 应用聚类和设施开放策略，同时满足k-设施预算和 rj 覆盖需求。
• 将分析推广至处理任意非负权向量的服务成本，不限于非递增序列。

实验结果

研究问题

• RQ1 当不同客户之间的 rj 值不同时，能否为故障容错k-中位问题获得常数因子近似？
• RQ2 在路径和HST上，故障容错k-中位问题的LP松弛是否总是产生整数最优解？
• RQ3 该框架能否扩展至处理具有任意权向量的故障容错设施位置问题中的加权服务成本？
• RQ4 与仅适用于统一 rj 或非递增权向量的先前方法相比，所提出的算法在近似比上表现如何？
• RQ5 路径和HST的何种结构特性使得在此设置下LP具有整数性？

主要发现

• 本文首次为具有任意 rj 值的一般故障容错k-中位问题提出了常数因子近似算法。
• 证明了在路径和HST上，故障容错k-中位问题的LP松弛总是具有整数最优解，从而在这些情况下可实现多项式时间精确算法。
• 该算法实现了常数近似比，优于此前一般情况下已知的对数近似比。
• 对于具有加权服务成本的故障容错设施位置问题，该方法推广了先前结果，使其适用于任意非负权向量。
• 分析表明，在路径和HST设置下，LP整数性间隙被常数有界，这是关键的技术贡献。
• 该方法通过在一个统一框架中同时处理非均匀客户需求和一般权向量，统一并扩展了多项先前结果。