[논문 리뷰] Matroid and Knapsack Center Problems

Danny Z. Chen, Jian Li외 2명|arXiv (Cornell University)|2013. 01. 04.

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

한 줄 요약

이 논문은 매트로이드 중심 문제와 캐리어 중심 문제를 다루며, 고전적인 k-센터 문제의 두 일반화를 제안한다. 일반 거리공간에서 매트로이드 중심 문제에 대해 3-근사 알고리즘을 제안하고, 이의 아웃라이어 변형에 대해서는 7-근사 알고리즘을 제시한다. 캐리어 중심 문제에 대해서는, 한 개의 캐리어 제약 조건은 엄격히 준수하고, 나머지 제약 조건은 $1+\epsilon$의 요율로 위반될 수 있도록 허용할 경우 3-근사 알고리즘을 제시하며, 이는 아웃라이어 변형으로 확장되어 유사한 보장을 갖는다.

ABSTRACT

In the classic $k$-center problem, we are given a metric graph, and the objective is to open $k$ nodes as centers such that the maximum distance from any vertex to its closest center is minimized. In this paper, we consider two important generalizations of $k$-center, the matroid center problem and the knapsack center problem. Both problems are motivated by recent content distribution network applications. Our contributions can be summarized as follows: 1. We consider the matroid center problem in which the centers are required to form an independent set of a given matroid. We show this problem is NP-hard even on a line. We present a 3-approximation algorithm for the problem on general metrics. We also consider the outlier version of the problem where a given number of vertices can be excluded as the outliers from the solution. We present a 7-approximation for the outlier version. 2. We consider the (multi-)knapsack center problem in which the centers are required to satisfy one (or more) knapsack constraint(s). It is known that the knapsack center problem with a single knapsack constraint admits a 3-approximation. However, when there are at least two knapsack constraints, we show this problem is not approximable at all. To complement the hardness result, we present a polynomial time algorithm that gives a 3-approximate solution such that one knapsack constraint is satisfied and the others may be violated by at most a factor of $1+ε$. We also obtain a 3-approximation for the outlier version that may violate the knapsack constraint by $1+ε$.

연구 동기 및 목표

• 주어진 매트로이드에서 중심이 독립 집합을 이루어야 하는 매트로이드 중심 문제를 다루고, 근사 알고리즘을 제안한다.
• 한 개 이상의 캐리어 제약 조건이 있는 캐리어 중심 문제를 연구하며, 콘텐츠 배포 네트워크에서 예산이 제한된 서버 배치를 모델링한다.
• 두 문제의 강건한 변형을 조사하여 아웃라이어를 제외하고 제약 조건의 유한한 위반을 처리할 수 있도록 한다.
• 이러한 일반화된 시설 위치 문제의 알려진 근사 불가능성 경계와 달성 가능한 근사 비율 사이의 격차를 메운다.

제안 방법

• 기본-쌍대 접근법과 매트로이드 독립성 오라클 접근을 사용하여 매트로이드 중심 문제에 대해 3-근사 알고리즘을 제안한다.
• 캐리어 중심 문제에서 무거운 항목(무게가 $\epsilon \cdot \mathcal{B}$ 이상인 항목)을 다루기 위해 부분적 순열 기법을 도입한다.
• 그리디 클러스터링 전략과 반복적 반올림을 조합하여, $1+\epsilon$ 이내의 위반 비율로 캐리어 제약 조건을 만족하는 해를 구성한다.
• 충당 분석과 구조적 분석을 활용하여 근사 비율을 제한하며, 특히 강건한 캐리어 중심 문제 설정에서 효과적으로 작용한다.
• 콘텐츠 배포 네트워크에서 예산 제약 조건을 모델링하기 위해 파artition 매트로이드 구조를 활용한다.
• 제약 조건이 약간 위반되더라도 최적 해와의 비용을 연결할 수 있는 새로운 분석 프레임워크를 도입한다.

실험 결과

연구 질문

• RQ1 일반 매트로이드 제약 조건이 있는 매트로이드 중심 문제에 대해 상수 요율 근사가 달성 가능한가?
• RQ2 여러 개의 캐리어 제약 조건이 존재할 경우 캐리어 중심 문제의 근사 가능성은 어떠한가?
• RQ3 제약 조건의 위반을 허용하는 강건한(아웃라이어 포함) 캐리어 중심 문제에 대해 상수 요율 근사가 존재하는가?
• RQ4 기존의 2-근사 불가능성 하한을 고려할 때, 매트로이드 중심 문제의 근사 비율을 3 이상으로 향상시킬 수 있는가?
• RQ5 다중 제약 조건이 있는 캐리어 중심 문제에서 제약 위반과 근사 비율 사이의 상호 교환 관계는 어떠한가?

주요 결과

• 일반 거리공간에서 매트로이드 중심 문제는 3-근사 알고리즘을 갖는다. 이는 직선 위에서도 NP-난이도임에도 불구하고 성립한다.
• 매트로이드 중심 문제의 아웃라이어 변형은 7-근사 비율을 달성하여 기본 문제의 비율을 향상시킨다.
• 단일 캐리어 제약 조건이 있는 캐리어 중심 문제에 대해 3-근사 알고리즘이 존재하며, 이는 이전 결과를 확인한다.
• 두 개 이상의 캐리어 제약 조건이 존재할 경우, 문제는 P=NP가 아닐 한 근사가 불가능하며, 강력한 난이도 결과를 도출한다.
• 한 개의 캐리어 제약 조건은 정확히 만족하고 나머지 제약 조건은 최대 $1+\epsilon$ 비율로 위반되는 강건한 캐리어 중심 문제에 대해 3-근사 알고리즘을 제시한다.
• 유사하게, 동일한 위반 보장을 갖는 강건한 캐리어 중심 문제의 아웃라이어 변형에 대해서도 3-근사 알고리즘이 달성된다.