[論文レビュー] Approximation Algorithms for Polynomial-Expansion and Low-Density Graphs

Har-Peled, Sariel, Quanrud, Kent|arXiv (Cornell University)|Jan 4, 2015

Advanced Graph Theory Research被引用数 7

ひとこと要約

本稿では、多項式的拡張性と低密度の幾何的対象を含むℝᵈにおける独立集合、支配集合、集合被覆問題について、(1+ε)-近似アルゴリズムを提示する。小さな分割集合と低い二重次元性を活用することで、著者たちは効率的なPTAS結果を達成するとともに、ETHのもとでタイトな下界を示し、浅いものでない脂肪三角形に対してはPTASが不可能であることを示している。

ABSTRACT

We study the family of intersection graphs of low density objects in low dimensional Euclidean space. This family is quite general, and includes planar graphs. We prove that such graphs have small separators. Next, we present efficient $(1+\\varepsilon)$-approximation algorithms for these graphs, for Independent Set, Set Cover, and Dominating Set problems, among others. We also prove corresponding hardness of approximation for some of these optimization problems, providing a characterization of their intractability in terms of density.

研究の動機と目的

• 低密度および多項式的拡張性を持つグラフ上での基本的なNP困難問題に対する効率的な(1+ε)-近似アルゴリズムの開発。
• 物体の深さと密度に基づいて、幾何的集合被覆問題とヒットングセット問題の計算複雑性を特定すること。
• 幾何的インスタンスにおける近似のタイトな下界を、指数時間仮説（ETH）のもとで確立すること。
• グラフの拡張性と分割集合の性質に基づく一般枠組みを導入することで、既存の幾何的問題のPTAS結果を統合・拡張すること。

提案手法

• 著者たちは、密度が有界であり、かつ大きな物体と多く交差しないようなℝᵈ内の幾何的対象の積集合グラフとして低密度グラフを定義する。
• 低密度グラフが多項式的拡張性を持つグラフの部分クラスであることを証明し、分割定理を用いた近似スキームの設計を可能にする。
• 鍵となる技術として、小さな分割集合を用いて再帰的にグラフを分解し、動的計画法や局所探索を適用することで(1+ε)-近似を達成する。
• この枠組みを独立集合、支配集合、集合被覆に適用し、密度ρと次元dに依存する実行時間n^{O(ρ^{(d+1)/d}/ε^d)}が得られ、PTASが実現される。
• 指数時間仮説（ETH）のもとで3-SATへの帰着を用いて下界を導出し、密度がpolylog nを超えるとPTASが不可能であることを示す。
• 著者たちは、ある定数c''に対して、ETHのもとで(1+ε)-近似がn^{ρ^{c''}/ε^{O(1)}}時間で実行可能でないことを証明することで、タイトな境界を確立する。

実験結果

リサーチクエスチョン

• RQ1 低密度および多項式的拡張性を持つグラフ上での独立集合および集合被覆問題に対して、(1+ε)-近似アルゴリズムを設計可能か？
• RQ2 深さと密度が、例えば脂肪三角形による点被覆問題の tractability（取り扱いやすさ）に果たす役割は何か？
• RQ3 点を脂肪三角形で被覆する問題に対してPTASは可能か？どのような幾何的制約が必要か？
• RQ4 指数時間仮説（ETH）のもとで、幾何的集合被覆およびヒットングセット問題の近似の限界は何か？
• RQ5 低密度グラフは、有界な genus または平面グラフといった他のスパースグラフクラスとどのように関係しているか？

主な発見

• 本稿では、多項式的拡張性を持つグラフ上での独立集合、支配集合、集合被覆問題に対して、密度ρがℝᵈ内にある場合の実行時間n^{O(ρ^{(d+1)/d}/ε^d)}を有するPTASを提示する。
• 脂肪三角形による点被覆問題に対しては、三角形が浅い場合にのみPTASが達成可能であり、そうでない場合にはP = NPでない限りPTASは存在しない。
• 指数時間仮説（ETH）のもとで、脂肪三角形を用いた幾何的集合被覆問題に対して、(1+ε)-近似アルゴリズムがn^{ρ^{c''}/ε^{O(1)}}時間で実行可能でないことが示されている（ある定数c'' > 0）。
• 著者たちは、密度ρ = Ω(log^c n)である脂肪三角形を用いた幾何的集合被覆問題が、十分に大きなcに対して、ETHのもとで多項式時間内に(1+ε)-近似可能でないことを証明する。
• 本稿では、低密度グラフが多項式的拡張性を持つグラフの部分クラスであり、小さな分割集合が効率的な近似の鍵であることを確立する。
• 下界結果により、脂肪三角形の問題は、浅い場合（取り扱い可能）から深い場合（近似不能）へと遷移し、PTASの可能性の閾値が特定される。