[論文レビュー] Geometry based heuristics for unit disk graphs

Madhav Marathe, Heinz Breu+3 more|arXiv (Cornell University)|Sep 21, 1994

Computational Geometry and Mesh Generation参考文献 16被引用数 3

ひとこと要約

本稿では、ユニットディスクグラフにおけるNP困難な最適化問題（最大独立集合、最小頂点被覆、最小彩色など）を、明示的な幾何的表現を必要とせずに解く幾何的ヒューリスティクスを提示する。著者は幾何的洞察を用いて、証明可能に良い近似比を達成しており、オンライン彩色ヒューリスティクスでは競合比6を達成している。この手法は、より広範な交差グラフクラスへと拡張可能である。

ABSTRACT

Unit disk graphs are intersection graphs of circles of unit radius in the plane. We present simple and provably good heuristics for a number of classical NP-hard optimization problems on unit disk graphs. The problems considered include maximum independent set, minimum vertex cover, minimum coloring and minimum dominating set. We also present an on-line coloring heuristic which achieves a competitive ratio of 6 for unit disk graphs. Our heuristics do not need a geometric representation of unit disk graphs. Geometric representations are used only in establishing the performance guarantees of the heuristics. Several of our approximation algorithms can be extended to intersection graphs of circles of arbitrary radii in the plane, intersection graphs of regular polygons, and to intersection graphs of higher dimensional regular objects.

研究の動機と目的

• ユニットディスクグラフにおける古典的NP困難最適化問題のための、効率的で性能保証付きのヒューリスティクスの開発。
• 明示的な幾何的入力表現に依存せずに、幾何的性質を活用する近似アルゴリズムの設計。
• 円の半径が任意の値であるものや高次元の正多面体を含む、より広いクラスの交差グラフへのアプローチの拡張。
• 入力が抽象的にグラフとして与えられた場合でも、幾何的推論を用いて理論的性能保証を確立すること。
• ユニットディスクグラフにおけるオンライン彩色ヒューリスティクスを提示し、競合比6を達成すること。

提案手法

• ユニットディスクグラフの幾何的性質（平面性、局所的密度など）に基づくヒューリスティクスが、幾何的埋め込みが提供されない場合でも導出可能である。
• 幾何的近接性に基づく頂点順序付け（次数や空間的分布の順序付けなど）を用いたグリーディ戦略が採用される。
• パッケージングと被覆の性質を用いた幾何的議論により、性能の上限が証明される。
• 円の半径が任意の値である交差グラフや正多角形への応用では、幾何的推論を適応して拡張される。
• オンライン彩色では、単位距離内に既に彩色済みの隣接頂点数に基づくルールに基づく戦略が採用され、競合比が有界に保たれる。
• 組合せ的および幾何的解析により理論的保証が確立され、彩色数や独立数の上限が示される。

実験結果

リサーチクエスチョン

• RQ1 明示的な幾何的入力を必要とせず、幾何的直感を用いてユニットディスクグラフにおけるNP困難問題の性能保証付き近似ヒューリスティクスを設計できるか？
• RQ2 ユニットディスクグラフにおけるオンライン彩色アルゴリズムで達成可能な最良の競合比は何か？
• RQ3 ディスクパッケージングや交差パターンといった幾何的性質をどのように活用して、効率的な近似アルゴリズムを設計できるか？
• RQ4 これらのヒューリスティクスを、非ユニットの円、正多角形、あるいは高次元の物体の交差グラフへどの程度一般化できるか？
• RQ5 幾何的ヒューリスティクスを用いた場合、ユニットディスクグラフにおける最大独立集合、最小頂点被覆、最小支配集合の理論的性能上限は何か？

主な発見

• 本稿では、ユニットディスクグラフにおける6-競合比のオンライン彩色ヒューリスティクスを提示し、従来の境界を著しく改善している。
• 最大独立集合問題に対しては、定数倍近似比を達成するヒューリスティクスが提案されているが、抽象概要では正確な比は示されていない。
• 最小頂点被覆および最小支配集合問題に対しては、幾何的推論を用いた性能保証付きの近似比を達成するヒューリスティクスが提示されている。
• 本アプローチは、半径が任意の値の円、正多角形、高次元の正多面体の交差グラフへと拡張可能であり、理論的性能保証を維持している。
• ヒューリスティクスは、入力グラフの幾何的表現を必要とせず、幾何的制約から導かれるグラフ理論的性質に依存している。
• パッケージングや被覆の議論といった幾何的解析により、明示的な埋め込みが存在しない場合でも性能保証が確立されている。