[논문 리뷰] An Optimal-Time Construction of Euclidean Sparse Spanners with Tiny Diameter

Shay Solomon|arXiv (Cornell University)|2010. 05. 22.

Computational Geometry and Mesh Generation참고 문헌 32인용 수 4

한 줄 요약

이 논문은 매우 작은 지름을 가진 유클리드 희소 스팬너를 최적 시간에 구성하는 알고리즘을 제안한다: $k \geq 4$ 인 모든 $k$에 대해, 지름이 최대 $k$이고 $O(n\alpha_k(n))$ 개의 간선을 가지며 $O(n\log n)$ 시간에 구성할 수 있다. 이 방법은 희소성과 지름 사이의 날카로운 트레이드오프를 달성하여, 이전에 제안된 방법들이 이차 시간을 요구하거나 더 두꺼운 스팬너를 생성했던 장기적인 열린 문제를 해결한다.

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$이고 $O(nk\alpha_k(n))$ 개의 간선을 가지며 $O(n\log n + nk\alpha_k(n))$ 시간에 $(1+\epsilon)$-스패너를 구성하는 열린 문제를 해결하기 위해.
• 지정된 지름에 대해 이전 방법들보다 더 두꺼운 스팬너를 생성하거나 이차 시간이 요구되는 방법들을 개선하기 위해.
• 모든 매개변수 범위에서 지름과 간선 수 사이의 트레이드오프가 상수 요인 이내로 날카로운지 확보하기 위해.
• 새로운 변환 기법을 사용하여 비스테이너 스팬너의 하한을 스테이너 스팬너로 확장하기 위해.

제안 방법

• 공간의 재귀적 분해를 기반으로 하는 계층적 클러스터링 구조를 설계하여, $k$-레벨 클러스터링을 사용해 경로 길이를 제어한다.
• 스패너 성질을 유지하면서 간선 수를 줄이는 데 사용되는 새로운 간선 제거 및 교체 전략을 적용한다.
• 모든 유클리드 스팬너를 새로운 스팬너로 변환하는 변환 기법을 사용하여 지름을 감소시키고 간선 수를 최대 4배로 늘린다.
• 지름과 희소성 사이의 트레이드오프를 매개변수화하기 위해 역Ackermann 유사 함수 $\alpha_k(n)$를 사용한다.
• 분할정복 접근법을 통해 $O(n\alpha_k(n))$ 개의 간선과 지름이 최대 $k$인 스팬너를 선형 시간에 구성한다.
• 유클리드 공간의 기하적 성질과 삼각부등식을 활용하여 변환 과정에서 경로 무게의 과도한 증가를 제한한다.

실험 결과

연구 질문

• RQ1 지름이 최대 $k$이고 $O(nk\alpha_k(n))$ 개의 간선을 가지며 $O(n\log n + nk\alpha_k(n))$ 시간에 $(1+\epsilon)$-스패너를 구성할 수 있는가?
• RQ2 지름이 최대 $k$이고 $O(n\alpha_k(n))$ 개의 간선을 가지며 $O(n\log n)$ 시간에 스팬너를 구성하는 것이 가능한가?
• RQ3 유클리드 스팬너에 대해 지름과 간선 수 사이의 가장 날카로운 트레이드오프는 무엇이며, 이를 효율적으로 달성할 수 있는가?
• RQ4 비스테이너 스팬너에 대한 하한을 유클리드 환경에서 스테이너 스팬너로 확장할 수 있는가?

주요 결과

• 논문은 지름이 최대 $k$이고 $O(n\alpha_k(n))$ 개의 간선을 가지며 $O(n\log n)$ 시간에 $(1+\epsilon)$-스패너를 구성함으로써 최적의 구성 시간을 달성한다.
• 지름 $k$와 간선 수 $O(n\alpha_k(n))$ 사이의 트레이드오프는 모든 매개변수 범위에서 상수 요인 이내로 날카롭다.
• 이전 방법들이 $O(n^2)$ 시간이 필요하거나 동일한 지름에 대해 $O(nk\alpha_k(n))$ 개의 간선을 생성했던 것에 비해 이 방법은 개선된다.
• 이 방법은 임의의 스팬너를 최대 4배의 간선 수와 지름 $\Lambda^\prime \leq \Lambda$를 가지는 새로운 스팬너로 변환하며, $(1+\epsilon)$-스패너 성질을 유지한다.
• 최대 $m$개의 간선을 가지는 모든 유클리드 스테이너 $(1+\epsilon)$-스패너에 대해 지름에 대한 하한 $\Omega(\alpha(m,n))$ 이론을 확립하여 이전의 비스테이너 하한을 확장한다.
• 이 결과는 나라시마한과 스미드의 저술에서 제기된 열린 문제를 해결하여, 최소한의 간선 수와 작은 지름을 가지는 최적 시간의 구성이 가능하다는 것을 확인한다.