[논문 리뷰] Approximating capacitated $k$-median with $(1+\epsilon)k$ open facilities

Shi Li|arXiv (Cornell University)|2014. 11. 20.

Facility Location and Emergency Management참고 문헌 28인용 수 5

한 줄 요약

이 논문은 기능 수 제약을 (1+ǫ) 요인으로만 위반하는 비균일 용량 제약 k-중심 문제에 대해 처음으로 상수 요인 근사 알고리즘을 제안한다. 제안된 구성형 선형계획법은 유한한 정수화 간격을 가지며, 소프트용량 k-중심 문제에 대해 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.

연구 동기 및 목표

• 기능 수 제약을 (1+ǫ) 요인으로만 위반하는 비균일 용량 제약 k-중심 문제에 대해 상수 요인 근사 알고리즘을 개발하는 것.
• 표준 선형계획법의 정수화 간격이 유한하지 않아, (2−ǫ)k 개의 시설을 허용할 때조차도 지속되는 문제를 해결하는 것.
• Li(2015)의 균일 용량에 대한 결과를 비균일 경우로 일반화하여 근사 비율을 지수적으로 향상시키는 것.
• 지역 시설 그룹의 타당한 해의 볼록 hull을 포괄하는 구성형 선형계획법을 설계하여, (1+ǫ)k 위반 조건 하에서도 유한한 정수화 간격을 확보하는 것.
• 소프트용량 k-중심 문제로 접근를 확장하여, 시설의 복수 복제를 允허하면서도 최소한의 기능 수 위반으로 상수 근사 비율을 유지하는 것.

제안 방법

• 지역 시설 집합의 정수 해의 볼록 hull을 모델링하기 위해, 부분집합 B 내 정확히 S 개의 시설이 개설되었음을 나타내는 변수 z_B^S 와 ℓ1 개 이상의 시설이 개설되었음을 나타내는 변수 z_B^⊥ 을 사용하는 새로운 구성형 선형계획법을 도입한다.
• 모든 부분집합 B ⊆ F 에 대해, z_B^⊥ = 0 일 경우 타당한 정수 구성이 강제되고, z_B^⊥ = 1 일 경우 분수 해가 허용되는 제약 조건을 포함한다.
• 분수 해가 주어졌을 때, 좋은 정수 해를 찾거나 위반된 제약 조건을 식별하는 라운딩 절차를 사용하며, 이는 엘립소이드 방법의 적용을 가능하게 한다.
• 계층적 클러스터링과 트리 분해 기법을 사용하여 시설과 고객을 그룹화하고, 최소 스패닝 트리(MST)를 통해 거리와 비용 전파를 통제한다.
• 각 분해된 트리에 대해, 사전 개설된 시설에서 새로운 시설로 수요를 재할당하는 국소 선형계획법을 풀어 이동 비용을 최소화하면서 용량 및 시설 수 제약을 준수한다.
• 매개변수 ℓ = ⌈5/ǫ⌉ 을 사용하여 클러스터당 시설 수를 제어하고 총 개설 시설 수를 (1+5/ℓ)k ≤ (1+ǫ)k 로 제한함으로써 원하는 기능 수 위반 수준을 달성한다.

실험 결과

연구 질문

• RQ1 비균일 용량 제약 k-중심 문제에 대해, 개설 시설 수에 (1+ǫ) 위반만 허용하는 상수 요인 근사가 가능할 수 있는가?
• RQ2 표준 선형계획법의 정수화 간격이 무한한 문제를 (1+ǫ)k 시설 위반 조건 하에서도 극복할 수 있는 새로운 구성형 선형계획법이 존재하는가?
• 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 개의 시설을 허용할 때조차도 유한하지 않지만, 제안된 구성형 선형계획법은 국소 볼록 hull 모델링을 통해 이를 극복한다.
• 알고리즘은 n^O(1/ǫ) 시간 내에 실행되며, 구성형 선형계획법의 복잡성으로 인해 이는 1/ǫ 에 대해 지수적일 수밖에 없다.
• 계층적 클러스터링과 트리 분해를 통해 이동 비용을 통제함으로써 총 비용이 최적값의 O(1/ǫ² log(1/ǫ)) 이내로 유지됨을 보장한다.
• 사전 개설 및 재할당 단계의 기술적 제약으로 인해 동일한 시설을 최대 두 개까지 개설할 수 있으며, 이는 하드용량 k-중심 문제로의 직접 확장을 제한한다.