[논문 리뷰] Constant-approximation algorithms for highly connected multi-dominating sets in unit disk graphs

Takuro Fukunaga|arXiv (Cornell University)|2015. 11. 30.

Mobile Ad Hoc Networks참고 문헌 28인용 수 6

한 줄 요약

이 논문은 $k \leq m$ 인 단위 원판 그래프에서 $k$-연결 $m$-지배 집합($(k,m)$-CDS) 문제에 대해 두 개의 상수 근사 알고리즘을 제시한다. 첫 번째 알고리즘은 비가중치 케이스에 대해 $O(k^5)$-근사 비율을 가지는 단순한 알고리즘이며, 두 번째 알고리즘은 가중치 케이스에 대해 $O(k^2 \log k)$-근사 비율을 가지는 원시-쌍대 알고리즘이다. 두 알고리즘 모두 $k$ 가 상수일 경우 상수 요인을 확보한다.

ABSTRACT

Given an undirected graph on a node set $V$ and positive integers $k$ and $m$, a $k$-connected $m$-dominating set ($(k,m)$-CDS) is defined as a subset $S$ of $V$ such that each node in $V \setminus S$ has at least $m$ neighbors in $S$, and a $k$-connected subgraph is induced by $S$. The weighted $(k,m)$-CDS problem is to find a minimum weight $(k,m)$-CDS in a given node-weighted graph. The problem is called the unweighted $(k,m)$-CDS problem if the objective is to minimize the cardinality of a $(k,m)$-CDS. These problems have been actively studied for unit disk graphs, motivated by the application of constructing a virtual backbone in a wireless ad hoc network. However, constant-approximation algorithms are known only for $k \leq 3$ in the unweighted $(k,m)$-CDS problem, and for $(k,m)=(1,1)$ in the weighted $(k,m)$-CDS problem. In this paper, we consider the case in which $m \geq k$, and we present a simple $O(5^k k!)$-approximation algorithm for the unweighted $(k,m)$-CDS problem, and a primal-dual $O(k^2 \log k)$-approximation algorithm for the weighted $(k,m)$-CDS problem. Both algorithms achieve constant approximation factors when $k$ is a fixed constant.

연구 동기 및 목표

• 단위 원판 그래프에서 $k \leq m$ 인 비가중치 및 가중치 $k$-연결 $m$-지배 집합($(k,m)$-CDS) 문제에 대해 상수 근사 알고리즘을 개발하는 것.
• $(k,m) \neq (1,1)$ 인 경우 가중치 $(k,m)$-CDS 문제에 대해 알려진 근사 알고리즘이 부족한 점을 보완하고, $k \geq 4$ 인 비가중치 케이스에 대해서도 보완하는 것.
• 비가중치 $(k,m)$-CDS에 대해 단순하고 일반적인 목적의 알고리즘을 제공하여 분석이 명확하며, 단위 원판 그래프를 초월한 응용에 적용 가능하도록 하는 것.
• 이전 작업을 향상시키기 위해, $m \leq k+1$ 인 경우 타원체 방법에 의존하지 않고 더 나은 근사 비율을 확보하는 원시-쌍대 접근법을 제공하는 것.

제안 방법

• 비가중치 알고리즘은 반복적으로 $m$-지배성과 $k$-연결성을 확보하기 위해 노드를 선택하는 근사적 구성 방식을 사용하며, 분석을 통해 $O(k^5)$-근사 비율을 도출한다.
• 가중치 알고리즘은 증강 문제를 해결하기 위해 원시-쌍대 프레임워크를 활용하며, $k$개의 $k'$-연결성 증강 문제를 풀어 $1$에서부터 $k$로 점진적으로 연결성을 높인다.
• 초기에는 근사 알고리즘을 사용해 $m$-지배 집합을 계산한 후, 연결성을 $k$로 높이기 위해 증강 절차를 적용한다.
• 근사 비율은 선형 프로그래밍 이론의 타당한 해를 사용해 각 증강 단계의 비용을 바ounds하여 유도되며, 총 비용은 최적 가중치의 $O(k^2 \log k)$ 배 이내로 제한된다.
• 증강 문제에 대해 알고리즘은 $k$-루트 접근법을 사용한다: 각각의 $k$개의 루트에 대해, 모든 스티너 $T$-컷을 $k-1$ 개의 간선으로 커버하는 해를 계산함으로써 $k$-연결성을 확보한다.
• 분석은 각 수요 컷이 최적 해에서 최소 $k - k' + 1$ 개의 노드에 의해 커버된다는 사실을 활용하여, $k$ 단계에 걸쳐 조화 수열의 상한을 구한다.

실험 결과

연구 질문

• RQ1 비가중치 $(k,m)$-CDS 문제에 대해 $k \geq 4$ 이고 $k \leq m$ 인 경우 상수 근사 알고리즘을 설계할 수 있는가?
• RQ2 $(k,m) \neq (1,1)$ 이고 $k \leq m$ 인 경우 가중치 $(k,m)$-CDS 문제에 대해 상수 근사 알고리즘이 존재하는가?
• RQ3 원시-쌍대 접근법을 통해 이전의 근사 한계를 초월할 수 있는가?
• RQ4 가중치 케이스에서 $m > k+1$ 인 경우 타원체 방법에 의존하지 않고 $m$-지배 집합을 효율적으로 계산할 수 있는가?

주요 결과

• 논문은 $k \leq m$ 인 단위 원판 그래프에서 비가중치 $(k,m)$-CDS 문제에 대해 $O(k^5)$-근사 알고리즘을 제시한다. 이는 임의의 상수 $k$ 에 대해 유효하다.
• 동일한 조건 하에서 가중치 $(k,m)$-CDS 문제에 대해 원시-쌍대 접근법을 사용해 $O(k^2 \log k)$-근사 비율을 달성한다.
• 가중치 케이스의 근사 비율은 비가중치 알고리즘보다 우수하며, 일반적인 노드 가중치 그래프에 적용 가능하다.
• 비가중치 알고리즘의 분석은 이전 알고리즘이 $k \in \{2,3\}$ 인 경우에도 상수 근사 비율을 확보한다는 것을 명확하게 증명하며, 그들의 구조를 일반화함으로써 이를 도출한다.
• 원시-쌍대 알고리즘은 $m \leq k+1$ 인 경우 타원체 방법을 피함으로써, 타원체 방법에 의존하는 다른 방법보다 실용성이 높다.
• 해는 먼저 $m$-지배 집합을 계산한 후, 각 단계에서 비용이 최적값에 대해 유한하게 제한된 $k$ 단계의 증강 절차를 통해 점진적으로 연결성을 높임으로써 구성된다.