[논문 리뷰] Approximation Algorithms for Dominating Set in Disk Graphs

Matt Gibson, Imran A. Pirwani|arXiv (Cornell University)|2010. 04. 19.

Advanced Graph Theory Research참고 문헌 19인용 수 10

한 줄 요약

이 논문은 가중치 없는 디스크 그래프에서 최소 지배 집합 문제에 대해 다항 시간 근사 알고리즘(PTAS)을 제안하며, 가중치가 있는 가중 Vorono이 다이어그램의 이중을 기반으로 하는 국소 검색 알고리즘을 사용하고, Varadarajan의 프레임워크와 가중 Vorono이 다이어그램을 활용하여 가중치 있는 경우에 대해 랜덤화된 $2^{O(\log^* n)}$-근사 알고리즘을 제시하여 이전의 $O(\log n)$ bound를 크게 향상시킨다.

ABSTRACT

We consider the problem of finding a lowest cost dominating set in a given disk graph containing $n$ disks. The problem has been extensively studied on subclasses of disk graphs, yet the best known approximation for disk graphs has remained $O(\log n)$ -- a bound that is asymptotically no better than the general case. We improve the status quo in two ways: for the unweighted case, we show how to obtain a PTAS using the framework recently proposed (independently)by Mustafa and Ray [SoCG 09] and by Chan and Har-Peled [SoCG 09]; for the weighted case where each input disk has an associated rational weight with the objective of finding a minimum cost dominating set, we give a randomized algorithm that obtains a dominating set whose weight is within a factor $2^{O(\log^* n)}$ of a minimum cost solution, with high probability -- the technique follows the framework proposed recently by Varadarajan [STOC 10].

연구 동기 및 목표

• 최근 관련 기하 그래프 클래스에서의 진전에도 불구하고 여전히 향상되지 않은 $O(\log n)$ 근사 한계를 극복하기 위해, 디스크 그래프에서 지배 집합 문제에 대한 $O(\log n)$ 근사 장벽을 넘는 것.
• 가중 Vorono이 다이어그램의 이중을 통해 국소성 조건을 확립하여, 가중치 없는 디스크 그래프에 대한 PTAS를 개발하는 것.
• 디스크 그래프에서의 가중치 있는 지배 집합 문제에 대해 하위 로그 근사 알고리즘을 설계하고, $2^{O(\log^* n)}$ 근사 요소를 달 đạt하는 것.
• Mustafa & Ray 및 Varadarajan의 최근 기하 근사 프레임워크를 비균일 디스크 그래프에서의 지배 집합 문제에까지 적용 가능하게 확장하는 것.
• 가중 Vorono이 다이어그램이 기하 집합 커버 및 지배 집합 문제에서 국소성 조건과 해의 품질을 깔끔하게 특성화할 수 있음을 보여주는 것.

제안 방법

• 가중치 없는 PTAS는 국소성 조건를 만족하는 평면 그래프를 구성하는 데 기반한 국소 검색 알고리즘을 사용하며, 이 그래프의 정점은 국소 검색 및 최적 해에서 유래하고, 간선은 커버리지 관계를 반영한다.
• 국소성 조건는 디스크 중심과 반경으로 구성된 가중 Vorono이 다이어그램의 이중을 통해 확립되며, 이는 가중치 없는 경우에 사용된 데라운레이 삼각분할의 일반화이다.
• 가중치 있는 경우, 알고리즘은 가중 기하 집합 커버를 위한 Varadarajan의 프레임워크를 적용하여, 디스크를 점들과 반공간으로 변환함으로써 $\mathbb{R}^4$ 상의 히팅 세트 인스턴스로 지배 집합 문제를 환원한다.
• 준균일 샘플링을 사용하는 재귀적 샘플링 절차를 통해 기댓값이 최적값의 $2^{O(\log^* n)}$ 이내인 지배 집합을 구성하며, 농도 경계와 마르코프 부등식을 활용한다.
• 현재 해에서 동일한 이웃 구조를 가진 디스크의 동치 클래스를 사용하여 국소 검색 중 개선 가능한 교환을 효율적으로 찾는다.
• 재귀 깊이 $O(\log^* n)$ 와 $O(\log n)$ 개의 독립적 시도를 통해 성공 확률을 높임으로써, 실행 시간이 $n$ 에 대해 다항식으로 유 bounds 된다.

실험 결과

연구 질문

• RQ1 기존 기법들이 $O(\log n)$ 근사만을 제공한 바에 비해, 일반 디스크 그래프에서 최소 지배 집합 문제에 대해 PTAS를 달성할 수 있는가?
• RQ2 디스크 반경이 비균일할 경우, 국소 검색 PTAS에 필요한 국소성 조건이 디스크 그래프에서 성립하는가? 만약 성립한다면, 어떻게 구성할 수 있는가?
• RQ3 Varadarajan의 가중 기하 집합 커버 프레임워크를 변형하여, 디스크 그래프에서의 가중치 있는 지배 집합 문제에 대해 하위 로그 근사 알고리즘을 도출할 수 있는가?
• RQ4 $2^{O(\log^* n)}$ 근사 요소가 최적인지, 아니면 상수 요소로 향상시킬 수 있는가?
• RQ5 국소 검색 PTAS의 실행 시간을 $n^{O(1/\varepsilon^2)}$ 에서 $n^{O(1/\varepsilon)}$ 로 향상시킬 수 있는가?

주요 결과

• 논문은 가중 Vorono이 다이어그램의 이중에서 유도된 평면 국소성 그래프의 존재를 증명하여, 디스크 그래프에서의 가중치 없는 지배 집합 문제에 대해 PTAS를 달성한다.
• 가중치 있는 경우, 논문은 높은 확률로 최소 비용 지배 집합에 대해 $2^{O(\log^* n)}$-근사값을 달성하는 랜덤화된 알고리즘을 제시한다.
• 분석 결과, 근사 요소 $2^{O(\log^* n)}$ 는 하위 로그이며 이전의 $O(\log n)$ bound 보다 크게 향상됨을 보여준다.
• 알고리즘의 실행 시간은 $n$ 에 대해 다항식이며, 재귀 깊이가 $O(\log^* n)$ 이내이고, 높은 성공 확률을 확보하기 위해 $O(\log n)$ 개의 독립적 시도를 수행한다.
• 핵심 통찰은 가중 Vorono이 다이어그램이 국소성 조건과 해의 품질을 깔끔하게 특성화할 수 있으며, 이는 이전 결과들이 가중치 없는 Vorono이 다이어그램이나 데라운레이 삼각분할에 의존한 것을 일반화하는 것이다.
• 논문은 가중치 있는 경우의 정수성 갭이 여전히 열려 있음을 보여주며, 이는 상수 요소 근사가 가능할 수 있음을 시사하지만 아직 증명되지 않았다.