[論文レビュー] A QPTAS for Facility Location on Unit Disk Graphs

James R. Lee, Rezapour, Mohsen+2 more|arXiv (Cornell University)|Aug 4, 2016

Advanced Graph Theory Research被引用数 7

ひとこと要約

本稿は、平面内の連続する弧の交差グラフとして定義されるストリンググラフが、辺数 m に対して O(√m) のサイズのバランス型セパレータを持つことを示すことで、ユニットディスクグラフ上の施設配置問題に対する準多項式時間近似スキーム（QPTAS）を確立した。この結果は、Fox と Pach（2010）の予想を裏付け、スペクトル分割法とコンformal計量を用いて、固定されたマイナーを除外するグラフのより広いクラスにまで平面セパレータ定理を一般化した。

ABSTRACT

For undirected graphs G=(V,E) and G_0=(V_0,E_0), say that G is a region intersection graph over G_0 if there is a family of connected subsets {R_u \subseteq V_0 : u \in V} of G_0 such that {u,v} \in E \iff R_u \cap R_v eq \emptyset. We show if G_0 excludes the complete graph K_h as a minor for some h \geq 1, then every region intersection graph G over G_0 with m edges has a balanced separator with at most c_h \sqrt{m} nodes, where c_h is a constant depending only on h. If G additionally has uniformly bounded vertex degrees, then such a separator is found by spectral partitioning. A string graph is the intersection graph of continuous arcs in the plane. String graphs are precisely region intersection graphs over planar graphs. Thus the preceding result implies that every string graph with m edges has a balanced separator of size O(\sqrt{m}). This bound is optimal, as it generalizes the planar separator theorem. It confirms a conjecture of Fox and Pach (2010), and improves over the O(\sqrt{m} \log m) bound of Matousek (2013).

研究の動機と目的

• Fox と Pach（2010）の予想を解決すること：m 辺をもつストリンググラフは O(√m) のバランス型セパレータをもつ。
• 固定マイナー Kh を除外するグラフのクラスにまで、平面セパレータ定理を一般化すること。
• 線形計画法とスペクトル手法を用いて、このようなセパレータを構成的かつ多項式時間で計算するアルゴリズムを開発すること。
• 除外マイナーに依存するパラメータに関する固有値と極値スプレッドのタイトな境界を確立し、メトリック埋め込みやフロー理論への応用を可能とすること。

提案手法

• 基本グラフ G0 上の領域交差グラフ（rigs）の概念を用い、頂点が G0 の連結部分集合に対応するものとする。
• コンformalグラフ計量とパッド付き分割を適用し、確率的セパレータ構成における歪みを制御する。
• コンformal計量とマルチフローの双対性を活用し、混雑度をバウンドし、セパレータのサイズを導出する。
• 有界次数のグラフにおけるセパレータの探索にスペクトル分割法を用いる。
• 構造的複雑性を管理するため、'注意深く選ばれたマイナー' と 'チョッピングツリー' を導入する。
• 重み付き L2 ノルムと固有値バウンドを用いて、セパレータサイズに関する定量的推定を導出する。

実験結果

リサーチクエスチョン

• RQ1 m 辺をもつストリンググラフは、O(√m) のサイズのバランス型セパレータをもつか？
• RQ2 平面セパレータ定理は、固定マイナー Kh を除外するグラフに一般化可能か？
• RQ3 セパレータサイズがマイナー除外パラメータ h に依存する最適な依存関係は何か？
• RQ4 スペクトル手法を用いて、有界次数の rigs においてセパレータを効率的に構成可能か？
• RQ5 このようなグラフ族において、双リプシッツ埋め込みとマルチフロー最小カット定理にどのような意味があるか？

主な発見

• 本稿は、任意の m 辺をもつストリンググラフが、2/3 バランス型セパレータを O(√m) のサイズでもつことを証明し、Fox と Pach（2010）の予想を裏付けた。
• G0 が Kh をマイナーとして除外する任意の rig G に対して、バランス型セパレータのサイズは ch√m でバウンドされ、ch ≤ O(h³√log h) が成り立つ。
• 頂点の次数が一様に有界な場合、スペクトル分割法によりこのようなセパレータが得られ、構成的アルゴリズムが得られる。
• この結果は、Matoušek の O(√m log m) のバウンドよりも定量的に改善され、最適な O(√m) のサイズが達成されたことを示す。
• 固有値バウンド λk(G) ≤ O(d²_max h⁶ log h / k) · |V_G| が確立され、スペクトル的性質とセパレータ構造の関連が示された。
• 任意の頂点上の確率測度 µ に対して、サイズ O(ch√m / n) の重み付きセパレータが存在することが示され、ch ≤ O(h³ log h) が成り立つ。