[논문 리뷰] LP Rounding for k-Centers with Non-uniform Hard Capacities

Marek Cygan, MohammadTaghi Hajiaghayi외 1명|arXiv (Cornell University)|2012. 08. 15.

Facility Location and Emergency Management참고 문헌 26인용 수 11

한 줄 요약

이 논문은 비균일 경량 제약 조건을 갖는 k-center 문제에 대해 처음으로 상수 요인 근사 알고리즘을 제안하며, 새로운 선형계획법(LP) 절단 기반 접근법을 사용한다. 상수 근사 비율을 달성하지만 정확한 값은 명시적으로 계산되지 않았고, 비균일 경량 제약 조건에 대해 7/5의 적통 간격 하한을 확립하며, (3−ϵ)-근사가 존재할 경우 P=NP를 암시함으로써 이 변종에 대해 강력한 근사 불가능성을 입증한다.

ABSTRACT

In this paper we consider a generalization of the classical k-center problem with capacities. Our goal is to select k centers in a graph, and assign each node to a nearby center, so that we respect the capacity constraints on centers. The objective is to minimize the maximum distance a node has to travel to get to its assigned center. This problem is NP-hard, even when centers have no capacity restrictions and optimal factor 2 approximation algorithms are known. With capacities, when all centers have identical capacities, a 6 approximation is known with no better lower bounds than for the infinite capacity version. While many generalizations and variations of this problem have been studied extensively, no progress was made on the capacitated version for a general capacity function. We develop the first constant factor approximation algorithm for this problem. Our algorithm uses an LP rounding approach to solve this problem, and works for the case of non-uniform hard capacities, when multiple copies of a node may not be chosen and can be extended to the case when there is a hard bound on the number of copies of a node that may be selected. In addition we establish a lower bound on the integrality gap of 7(5) for non-uniform (uniform) hard capacities. In addition we prove that if there is a (3-eps)-factor approximation for this problem then P=NP. Finally, for non-uniform soft capacities we present a much simpler 11-approximation algorithm, which we find as one more evidence that hard capacities are much harder to deal with.

연구 동기 및 목표

• 비균일 경량 제약 조건이 있는 k-center 문제에 대해 첫 상수 요인 근사 알고리즘을 개발하기 위해.
• 15년이 넘도록 진전이 없었던 비균일 경량 제약 조건에 대해 상수 근사가 가능할지에 대한 오랜 동안의 열린 문제를 해결하기 위해.
• P=NP를 암시할 정도로 강력한 근사 불가능성을 입증하기 위해 (3−ϵ)-근사가 존재할 경우를 가정함으로써 날카로운 근사 불가능성 하한을 설정하기 위해.
• 비균일 및 균일 경량 제약 조건 하에서 표준 LP 공식화의 적통 간격을 분석하기 위해.
• 경량 제약 조건의 하드 및 소프트 모델을 모두 다룰 수 있도록 접근법을 확장하여, 이 둘 사이의 근사 가능성 측면에서 상당한 복잡도 격차를 드러내기 위해.

제안 방법

• 각 정점은 최대 한 번만 선택될 수 있는 비균일 경량 제약 조건이 있는 k-center 문제에 특화된 새로운 LP 절단 프레임워크를 제안한다.
• 경량 제약 조건을 존중하면서도 최대 할당 거리를 최소화하는 데 중점을 둔 새로운 절단 기법을 사용한다.
• 문제를 표준 LP 공식화로 환원하고, 조합적 구성 기반으로 그 적통 간격을 분석한다.
• 모든 (3−ϵ)-근사가 존재할 경우 P=NP를 암시함을 보이기 위해 정확한 커버리지 3집합 문제에서의 직접적 감소를 활용한다.
• k-center 문제의 거리 ≤2인 해가 존재할 경우 정확한 커버리지 인스턴스의 해를 제공하는 그래프 기반 감소를 구성한다.
• 절단 과정을 단순화하여 소프트 경량 제약 조건을 다루기 위해 방법을 확장하여 11-근사 알고리즘을 도출한다.

실험 결과

연구 질문

• RQ1 비균일 경량 제약 조건이 있는 k-center 문제에 대해, 각 중심이 다른 용량을 가지며 정점의 복제본을 한 번만 선택할 수 있을 때 상수 요인 근사가 달성될 수 있는가?
• RQ2 이 문제에 대해 달성 가능한 최고의 근사 비율은 무엇이며, 이는 균일 경량 제약 조건의 경우와 어떻게 비교되는가?
• RQ3 비균일 경량 제약 조건에 대해 표준 LP 공식화의 적통 간격에 비현실적인 하한이 존재하는가?
• RQ4 이 문제에 대해 (3−ϵ)-근사 알고리즘이 존재할 경우 P=NP가 되는가?
• RQ5 근사 가능성 측면에서 하드 경량 제약 조건 모델과 소프트 경량 제약 조건 모델 간의 복잡도는 어떻게 비교되는가?

주요 결과

• 논문은 비균일 경량 제약 조건이 있는 k-center 문제에 대해 처음으로 LP 절단 기반 상수 요인 근사 알고리즘을 제시하며, 오랫동안 열려있던 문제를 해결한다.
• 비균일 경량 제약 조건에 대해 적어도 7/5의 적통 간격이 확립되었으며, 이는 비제약 조건이 있는 경우보다 문제의 난이도가 높다는 것을 시사한다.
• 균일 경량 제약 조건의 경우 적통 간격은 5 또는 6으로 밝혀졌으며, 더 날카로운 하한이 존재할 가능성 있음을 시사한다.
• 논문은 비균일 경량 제약 조건에 대해 (3−ϵ)-근사 알고리즘이 존재할 경우 P=NP를 암시함을 입증하여 강력한 근사 불가능성을 확립한다.
• 비균일 소프트 경량 제약 조건의 경우 더 단순한 11-근사 알고리즘을 제시하며, 하드 경량 제약 조건이 더 높은 난이도를 가짐을 강조한다.
• 정확한 커버리지 3집합 문제에서 비균일 경량 제약 조건이 있는 k-center 문제로의 감소는 이전 결과보다 더 직접적이고 단순한 (3−ϵ)-근사 불가능성 증명을 제공한다.