[論文レビュー] Connecting a Set of Circles with Minimum Sum of Radii

Erin Wolf Chambers, Sándor P. Fekete+6 more|arXiv (Cornell University)|May 4, 2011

Computational Geometry and Mesh Generation参考文献 21被引用数 14

ひとこと要約

本稿は、平面に配置された点の集合に対して半径を割り当て、合計半径を最小化すると同時に、対応する円の共通部分グラフが連結になるようにする「連結範囲割当（CRA）」問題を研究する。半径に上限がある場合、問題がNP困難であることを証明し、半径に上限がない場合に多項式時間近似スキーム（PTAS）を提供する。また、使用する円の数が有限である解に対しては定数倍近似の保証を提示し、タイトな下界とヒューリスティックの性能に関する実験的検証も行う。

ABSTRACT

We consider the problem of assigning radii to a given set of points in the plane, such that the resulting set of circles is connected, and the sum of radii is minimized. We show that the problem is polynomially solvable if a connectivity tree is given. If the connectivity tree is unknown, the problem is NP-hard if there are upper bounds on the radii and open otherwise. We give approximation guarantees for a variety of polynomial-time algorithms, describe upper and lower bounds (which are matching in some of the cases), provide polynomial-time approximation schemes, and conclude with experimental results and open problems.

研究の動機と目的

• 点の集合に割り当てた半径の合計を最小化し、その結果得られるディスクの共通部分グラフが連結になるようにすること。
• 特に半径に上限がある場合とない場合を含めた制約下での問題の計算複雑性を特定すること。
• 使用するディスク数が有限である場合に、性能保証が得られる近似アルゴリズムの開発。
• 1ディスクまたは2ディスクの構成といったヒューリスティック解の有効性を、実験的分析を通じて評価すること。
• 理論的・実験的証拠に基づき、半径に上限がない場合に問題が多項式時間で解けるかどうかを検討すること。

提案手法

• 半径に上界がある場合のCRA問題が、既知のNP困難問題への還元を用いて、平面加重グラフ上でもNP困難であることを証明する。
• 半径に上限がない場合の問題に対して、幾何学的およびグラフ理論的技術を活用した多項式時間近似スキーム（PTAS）を構築する。
• 特に2ディスク構成に対して最適解のタイトな下界を求めるために、線形計画法に基づくアプローチを導入する。
• 小規模なインスタンスに対して最適解を計算し、ヒューリスティックとの比較を可能にするために、スパニングツリー列挙法を用いる。
• 2次元の円形領域内に一様に分布する点集合を対象に実験的評価を実施し、最適解と1ディスク・2ディスクのヒューリスティックを比較する。
• 計算幾何学およびグラフ連結性の技術を応用して、妥当な解の構造をモデル化・分析する。

実験結果

リサーチクエスチョン

• RQ1 半径に上限がない場合の連結範囲割当問題は、NP困難か、それとも多項式時間で解けるか？
• RQ2 使用するディスク数が有限である解に対して、定数倍近似が達成可能か。また、最もタイトな近似比は何か？
• RQ3 1ディスク解はヒューリスティックとしてどれほど有効か。点の数が増加してもその性能は安定するか？
• RQ4 半径に上限がある場合に、PTASを拡張することは可能か。そのような拡張にはどのような仮定が必要か？
• RQ5 kディスク解の最悪ケース近似比は、kを大きくするにつれて1に収束するか。これは、漸近的最適性を示唆するか？

主な発見

• 半径に上界がある場合、平面加重グラフ上でもCRA問題はNP困難である。
• 半径に上限がない場合、最適な合計半径に限りなく近い近似解を提供する多項式時間近似スキーム（PTAS）が存在する。
• 2つのディスク以下で構成される解に対しては、一般には4/3-近似が保証され、直線上では5/4-近似が保証され、下界とも一致する。
• 実際の応用では1ディスク解が非常に優れた性能を示し、点の数が変化しても最適解に対するコスト比はほぼ一定に保たれる。
• 線形計画法を用いてタイトな下界を導出し、特に2ディスク構成において理論的近似保証の妥当性を確認した。
• 実験結果から、小規模なインスタンスでは最適解が効率的に計算可能であり、1ディスクヒューリスティックは最悪ケースでも常に最適解に近く、一貫性がある。