[論文レビュー] Constant-approximation algorithms for highly connected multi-dominating sets in unit disk graphs

Takuro Fukunaga|arXiv (Cornell University)|Nov 30, 2015

Mobile Ad Hoc Networks参考文献 28被引用数 6

ひとこと要約

本稿では、$k \leq m$ である単位円グラフにおける $k$-連結 $m$-支配集合（$k,m$)-CDS 問題に対して、2つの定数近似アルゴリズムを提示する。最初のアルゴリズムは未重み付きケースにおける $O(k^5)$-近似アルゴリズムであり、単純である。2番目のアルゴリズムは重み付きケースにおけるプライマル・デュアル $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)$-近似比が示される。
• 重み付きアルゴリズムは、プライマル・デュアルフレームワークを用いて補完問題を解く。連結性を $1$ から $k$ まで段階的に増加させ、$k$ 個の $k'$-連結性補完問題を解く。
• 初期に近似アルゴリズムを用いて $m$-支配集合を計算し、その後連結性を $k$ に高める補完手順を適用する。
• 近似因子は、線形計画緩和の妥当解を用いて各補完ステップのコストを抑え、合計コストが最適重みの $O(k^2 \log k)$ 倍以内であることを示す。
• 補完問題に対しては $k$-ルートアプローチを用いる：$k$ 個のルートそれぞれについて、すべてのスティーナー $T$-カットを $k-1$ 条の辺でカバーする解を計算し、$k$-連結性を保証する。
• 解析では、各需要カットが最適解で少なくとも $k - k' + 1$ 個のノードによってカバーされることを活用し、$k$ ステージにわたる調和級数のバインドを実現する。

実験結果

リサーチクエスチョン

• RQ1 $k \geq 4$ かつ $k \leq m$ のとき、未重み付き $(k,m)$-CDS 問題に対して定数近似アルゴリズムを設計できるか？
• 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$ に対して有効である。
• 同じ条件下で重み付き $(k,m)$-CDS 問題に対して、プライマル・デュアルアプローチを用いて $O(k^2 \log k)$-近似を達成する。
• 重み付きケースの近似因子は未重み付きアルゴリズムのそれよりも良く、一般のノード重み付きグラフに適用可能である。
• 未重み付きアルゴリズムの解析により、$k \in \{2,3\}$ の場合の既存のアルゴリズムが定数近似を達成することを、構造を一般化することで明確に示す証明が得られる。
• プライマル・デュアルアルゴリズムは $m \leq k+1$ の場合、楕円体法に依存しないため、代替手法に比べてより実用的である。
• 解は、まず $m$-支配集合を計算し、その後 $k$ ステージにわたる補完により連結性を段階的に増加させることで構築される。各ステージのコストは最適解に対して有界である。