[論文レビュー] A light metric spanner

Lee-Ad Gottlieb|arXiv (Cornell University)|May 14, 2015

Computational Geometry and Mesh Generation参考文献 39被引用数 8

ひとこと要約

この論文は、二重次元空間における$(1+\varepsilon)$-ストレッチ・スパンナを、軽さ$(\mathrm{ddim}/\varepsilon)^{O(\mathrm{ddim})}$で構築することで、長年の未解決問題を解決した。この構成は、スパarsな部分グラフへの階層的分解を用い、各部分グラフに軽量スパンナ構成法を適用することで達成される。この結果により、二重次元空間における巡回セールスマン問題の多項式時間近似スキームが著しく高速化可能である。

ABSTRACT

It has long been known that $d$-dimensional Euclidean point sets admit $(1+ε)$-stretch spanners with lightness $W_E = ε^{-O(d)}$, that is total edge weight at most $W_E$ times the weight of the minimum spaning tree of the set [DHN93]. Whether or not a similar result holds for metric spaces with low doubling dimension has remained an important open problem, and has resisted numerous attempts at resolution. In this paper, we resolve the question in the affirmative, and show that doubling spaces admit $(1+ε)$-stretch spanners with lightness $W_D = (ddim/ε)^{O(ddim)}$. Important in its own right, our result also implies a much faster polynomial-time approximation scheme for the traveling salesman problemin doubling metric spaces, improving upon the bound presented in [BGK-12].

研究の動機と目的

• 二重次元空間における$(1+\varepsilon)$-ストレッチ・スパンナが軽量であるかどうかという未解決問題を解消すること。これは、ユークリッド空間で知られている結果に類似している。
• ユークリッド空間と二重次元空間の間でスパンナの軽さのギャップを埋めること。ユークリッド空間では$\varepsilon^{-O(d)}$の軽さが達成可能であるが、二重次元空間では以前は$\Omega(\log n)$の境界しか得られていなかった。
• 軽量スパンナを活用することで、二重次元空間における巡回セールスマン問題の多項式時間近似スキームの実行時間を改善すること。
• スパarsityと重さを制御できる部分グラフへの階層的分割技術を開発すること。

提案手法

• 二重次元次元を制御するために、ネットに準拠する辺を用いて、メトリック空間の完全な階層的分解を構築する。
• 図形を部分グラフ$\mathcal{D}$に分割するセグメンテーション手順（定理4.2）を適用し、各部分グラフに$c^{O(\mathrm{ddim})}f$-スパースな最小全域木を保証する。
• 階層内のすべての$c$-近傍ペアが、少なくとも1つの部分グラフ$D_i$に同じ位置にあることを保証することで、近接性を確保する。
• 各点が高々$c^{O(\mathrm{ddim})}\log\Delta$個の集合に現れるように制御し、合計重さと構築時間の両方を制御する。
• 各スパース部分グラフ上で$(1+\varepsilon/12)$-ストレッチ・スパンナを、軽量スパンナ構成法（定理3.4）を用いて構築し、それらを統合してグローバルスパンナを生成する。
• 階層構造とスパarsityを活用して、最終スパンナの合計重さがMSTに対する比を抑え、軽さ$(\mathrm{ddim}/\varepsilon)^{O(\mathrm{ddim})}$を達成する。

実験結果

リサーチクエスチョン

• RQ1 二重次元メトリック空間は、$\mathrm{ddim}/\varepsilon$に関して多項式的な軽さを持つ$(1+\varepsilon)$-ストレッチ・スパンナをサポートできるか？　これはユークリッド空間の結果に一致する。
• RQ2 二重次元空間ではジャンプフロッグ性が欠如しているが、これにより軽量スパンナ構成が不可能になるのか、それとも代替的な構造的性質を活用できるか？
• RQ3 より一般な構造を持つ二重次元空間において、軽量スパンナ構成法を効率的に適用できるように変更できるか？
• RQ4 このような軽量スパンナが、二重次元メトリック空間におけるNP困難問題（例：TSP）の近似アルゴリズムの実行時間に与える影響は何か？

主な発見

• この論文は、二重次元メトリック空間が$(1+\varepsilon)$-ストレッチ・スパンナを、軽さ$W_D = (\mathrm{ddim}/\varepsilon)^{O(\mathrm{ddim})}$で持つことを確立し、長年の未解決問題を解決した。
• 構築時間は$(\mathrm{ddim}/\varepsilon)^{O(\mathrm{ddim})}n\log^2 n$であり、$\mathrm{ddim}$と$\varepsilon$が固定されている場合には効率的である。
• 軽量スパンナ構成法により、二重次元空間における巡回セールスマン問題の多項式時間近似スキームの実行時間が高速化可能であり、実行時間は$2^{(\mathrm{ddim}/\varepsilon)^{O(\mathrm{ddim}^2)}}n + (\mathrm{ddim}/\varepsilon)^{O(\mathrm{ddim})}n\log^2 n$である。
• 階層的セグメンテーション技術により、各点が高々$c^{O(\mathrm{ddim})}\log\Delta$個の部分グラフに現れることが保証され、合計重さと構築コストが制御される。
• スパンナの合計重さは$W_D \cdot w(\mathrm{MST}(G))$で抑えられ、$W_D = (\mathrm{ddim}/\varepsilon)^{O(\mathrm{ddim})}$であるため、二重次元次元パラメータに基づく軽さが証明された。
• 結果として、グリーディな階層的スパンナだけでは軽量スパンナが得られないが、洗練された分解とステッチングアプローチにより達成可能である。