[論文レビュー] Approximation Algorithms for Dominating Set in Disk Graphs

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

Advanced Graph Theory Research参考文献 19被引用数 10

ひとこと要約

本稿では、重みなしディスクグラフにおける最小支配集合問題の多項式時間近似スキーム（PTAS）を、重み付きボロノイ図の双対に基づく局所探索アルゴリズムを用いて提示する。また、Varadarajanの枠組みと重み付きボロノイ図を用いた、重み付きケースにおける確率的$2^{O(\log^* n)}$-近似アルゴリズムを提案し、従来の$O(\log n)$の境界を著しく改善する。

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)$近似の壁を打ち破ること。これは、関連する幾何グラフクラスにおける進展にもかかわらず、未だ改善されていなかった。
• 重み付きボロノイ図の双対を用いて局所性条件を確立することで、重みなしディスクグラフに対するPTASを構築すること。
• 非一様なディスクグラフにおける重み付き支配集合問題に対して、$2^{O(\log^* n)}$近似因子を達成する、部分対数的近似を設計すること。
• Mustafa & Ray や Varadarajan による最近の幾何近似枠組み（例えば）を、非一様ディスクグラフにおける支配集合問題への適用可能性を拡張すること。
• 重み付きボロノイ図が、幾何集合被覆および支配集合問題における局所性条件と解の品質の明確な特徴付けを可能にすることを示すこと。

提案手法

• 重みなしPTASは、局所探索アルゴリズムを用いる。その解析は、局所探索解と最適解の頂点からなる平面グラフを構築し、その辺が被覆関係を反映するようにする。
• 局所性条件は、ディスクの中心と半径からなる重み付きボロノイ図の双対を用いて確立される。これは、重みなしケースで用いられるデローランの三角形分割を一般化する。
• 重み付きケースでは、Varadarajanの重み付き幾何集合被覆の枠組みを適用し、ディスクを点と半空間に変換することで、$\mathbb{R}^4$におけるヒッティングセットインスタンスに支配集合問題を還元する。
• 準一様サンプリングを用いた再帰的サンプリング手順により、期待される重みが最適解の$2^{O(\log^* n)}$倍以内の支配集合を構築する。集中不等式とマルコフの不等式を活用する。
• 現在の解における隣接構造が同一のディスクの同値類を用いて、局所探索中の改善可能な交換を効率的に特定する。
• ナイーブな実装により、$n$に関して多項式時間で実行時間を制限し、再帰の深さを$O(\log^* n)$、独立した試行回数を$O\left(\log n\right)$回として成功確率を高める。

実験結果

リサーチクエスチョン

• RQ1 一般のディスクグラフにおける最小支配集合問題に対して、PTASを達成可能か。これは、従来の技術が$O(\log n)$近似に留まったことと対照的である。
• RQ2 ディスク半径が非一様な場合に、局所探索PTASに必要な局所性条件がディスクグラフで成立するか。その場合、どのように構築できるか。
• RQ3 Varadarajanの重み付き幾何集合被覆の枠組みを、非一様ディスクグラフにおける重み付き支配集合問題に適応し、部分対数的近似を得られるか。
• RQ4 $2^{O(\log^* n)}$近似因子はタイトか。それとも定数因子近似に改善可能か。
• RQ5 局所探索PTASの実行時間を$n^{O(1/\varepsilon^2)}$から$n^{O(1/\varepsilon)}$に改善可能か。

主な発見

• 本稿では、重み付きボロノイ図の双対から導かれる平面的局所性グラフの存在を証明することにより、ディスクグラフにおける重みなし支配集合問題に対するPTASを達成した。
• 重み付きケースでは、高確率で最小コスト支配集合の$2^{O(\log^* n)}$-近似を達成する確率的アルゴリズムを提示した。
• 解析により、近似因子$2^{O(\log^* n)}$が部分対数的であり、従来の$O(\log n)$の境界よりも著しく優れていることが示された。
• アルゴリズムの実行時間は$n$に関して多項式的であり、再帰の深さは$O(\log^* n)$で抑えられ、成功確率を高めるために$O(\log n)$回の独立した試行が行われた。
• 主な洞察は、重み付きボロノイ図が、局所性条件と解の品質の明確な特徴付けを可能にし、従来の重みなしボロノイ図やデローラン三角形分割に依存する先行研究を一般化することである。
• 本稿では、重み付きケースにおける整数計画のギャップが未解決のままであることを示し、定数因子近似が可能である可能性を示唆しているが、まだ証明されていない。