[論文レビュー] An Optimal-Time Construction of Euclidean Sparse Spanners with Tiny Diameter

Shay Solomon|arXiv (Cornell University)|May 22, 2010

Computational Geometry and Mesh Generation参考文献 32被引用数 4

ひとこと要約

本稿では、非常に小さな径を持つユークリッドスパーススパナを最適時間で構築するアルゴリズムを提示する。任意の $k \geq 4$ に対して、径が最大 $k$ で $O(n\alpha_k(n))$ の辺をもつ $(1+\epsilon)$-スパナを $O(n\log n)$ 時間で構築する。この手法はスパarsityと径の間でタイトなトレードオフを達成し、従来の方法が $O(n^2)$ 時間を要するか、より密集したスパナを生成するのを改善することで、長年の未解決問題を解決する。

ABSTRACT

In STOC'95 \cite{ADMSS95} Arya et al.\ showed that for any set of $n$ points in $\mathbb R^d$, a $(1+ε)$-spanner with diameter at most 2 (respectively, 3) and $O(n \log n)$ edges (resp., $O(n \log \log n)$ edges) can be built in $O(n \log n)$ time. Moreover, it was shown in \cite{ADMSS95,NS07} that for any $k \ge 4$, one can build in $O(n (\log n) 2^k α_k(n))$ time a $(1+ε)$-spanner with diameter at most $2k$ and $O(n 2^k α_k(n))$ edges. The function $α_k$ is the inverse of a certain function at the $\lfloor k/2 floor$th level of the primitive recursive hierarchy, where $α_0(n) = \lceil n/2 ceil, α_1(n) = \left\lceil \sqrt{n} ight ceil, α_2(n) = \lceil \log{n} ceil, α_3(n) = \lceil \log\log{n} ceil, α_4(n) = \log^* n$, \ldots, etc. It is also known \cite{NS07} that if one allows quadratic time then these bounds can be improved. Specifically, for any $k \ge 4$, a $(1+ε)$-spanner with diameter at most $k$ and $O(n k α_k(n))$ edges can be constructed in $O(n^2)$ time \cite{NS07}. A major open problem in this area is whether one can construct within time $O(n \log n + n k α_k(n))$ a $(1+ε)$-spanner with diameter at most $k$ and $O(n k α_k(n))$ edges. In this paper we answer this question in the affirmative. Moreover, in fact, we provide a stronger result. Specifically, we show that for any $k \ge 4$, a $(1+ε)$-spanner with diameter at most $k$ and $O(n α_k(n))$ edges can be built in optimal time $O(n \log n)$. The tradeoff between the diameter and number of edges of our spanners is tight up to constant factors in the entire range of parameters.

研究の動機と目的

• 任意の $k \geq 4$ に対して、径が最大 $k$ で $O(nk\alpha_k(n))$ の辺をもつ $(1+\epsilon)$-スパナを $O(n\log n + nk\alpha_k(n))$ 時間で構築するという未解決問題を解決すること。
• 従来の構成法が $O(n^2)$ 時間を要するか、同じ径に対してより密集したスパナを生成するのを改善すること。
• すべてのパrameter範囲において、スパナの径と辺数の間のトレードオフが定数倍の範囲でタイトであることを達成すること。
• 新しい変換技術を用いて、非ステイナー型スパナの下界をステイナー型スパナに拡張すること。

提案手法

• 空間の再帰的分解に基づく階層的クラスタリング構造を設計し、$k$-レベルのクラスタリングを用いて経路長を制御する。
• スパナの性質を保ちながら辺数を削減する、新しい辺の削除と置換戦略を適用する。
• 任意のユークリッドスパナを、径が最大 $\Lambda^\prime \leq \Lambda$ で辺数が元の4倍以内の新しいスパナに変換する変換を用いる。
• 径とスパarsityのトレードオフをパrameter化するために、逆アッカーマン関数に類似した関数 $\alpha_k(n)$ を用いる。
• 分割統治アプローチを用いて、$O(n\alpha_k(n))$ の辺と径が最大 $k$ であるスパナを線形時間で構築する。
• ユークリッド空間の幾何的性質と三角不等式を活用し、変換過程での経路重みの増幅を制限する。

実験結果

リサーチクエスチョン

• RQ1 任意の $k \geq 4$ に対して、径が最大 $k$ で $O(nk\alpha_k(n))$ の辺をもつ $(1+\epsilon)$-スパナを $O(n\log n + nk\alpha_k(n))$ 時間で構築することは可能か？
• RQ2 径が最大 $k$ で $O(n\alpha_k(n))$ の辺をもつスパナを $O(n\log n)$ 時間で構築することは可能か？
• RQ3 ユークリッドスパナにおいて、径と辺数の間で達成可能な最もタイトなトレードオフは何か？ そして、それを効率的に達成できるか？
• RQ4 非ステイナー型スパナに成立する下界を、ユークリッド設定におけるステイナー型スパナに拡張することは可能か？

主な発見

• 本稿では、径が最大 $k$ で $O(n\alpha_k(n))$ の辺をもつ $(1+\epsilon)$-スパナを $O(n\log n)$ 時間で構築し、最適な構築時間を達成した。
• 径 $k$ と辺数 $O(n\alpha_k(n))$ の間のトレードオフは、すべてのパrameter範囲において定数倍の範囲でタイトである。
• 同様の径に対して $O(n^2)$ 時間を要するか、$O(nk\alpha_k(n))$ の辺を生成する従来の手法よりも、本手法は改善を図った。
• 本手法は、任意のスパナを、辺数が最大4倍で、径が $\Lambda^\prime \leq \Lambda$ となる新しいスパナに変換でき、$(1+\epsilon)$-スパナの性質を保つ。
• 任意のユークリッドステイナー $(1+\epsilon)$-スパナについて、辺数が $m$ 以下である場合、径に下界 $\Omega(\alpha(m,n))$ が存在することを確立した。これは、従来の非ステイナー型の下界を拡張したものである。
• この結果により、ナラシムハンとスミドの論説に提起された未解決問題が解決され、最小の辺数と小さな径を備えた最適時間でのスパナ構築が可能であることが確認された。