[논문 리뷰] More Compact Oracles for Approximate Distances in Planar Graphs

Christian Sommer|arXiv (Cornell University)|2011. 09. 12.

Complexity and Algorithms in Graphs참고 문헌 53인용 수 4

한 줄 요약

이 논문은 평면 그래프에 대한 새로운 $(1+\epsilon)$-근사 거리 오라클을 제안하며, 이전 작업에서 존재하던 $n$에 대한 상용 로그 의존성을 제거함으로써 공간-질의 시간 간의 무게 조정을 크게 향상시킨다. 이는 Fakcharoenphol-Rao Dijkstra 가속 기법을 사용하는 재귀적 분리자 기반 접근 방식을 통해 이루어지며, 중간 정도의 간선 가중치를 가진 그래프에서 $\tilde{O}(n\log\log n)$ 공간과 $\tilde{O}(\epsilon^{-1} + \log\log\log n)$ 질의 시간을 달성한다. 이는 $\epsilon$-의존성에서 거의 최적에 가까운 성능을 유지하면서도 $n$-의존성을 감소시킨다.

ABSTRACT

Distance oracles are data structures that provide fast (possibly approximate) answers to shortest-path and distance queries in graphs. The tradeoff between the space requirements and the query time of distance oracles is of particular interest and the main focus of this paper. In FOCS'01, Thorup introduced approximate distance oracles for planar graphs. He proved that, for any eps>0 and for any planar graph on n nodes, there exists a (1+eps)-approximate distance oracle using space O(n eps^{-1} log n) such that approximate distance queries can be answered in time O(1/eps). Ten years later, we give the first improvements on the space-querytime tradeoff for planar graphs. * We give the first oracle having a space-time product with subquadratic dependency on 1/eps. For space ~O(n log n) we obtain query time ~O(1/eps) (assuming polynomial edge weights). The space shows a doubly logarithmic dependency on 1/eps only. We believe that the dependency on eps may be almost optimal. * For the case of moderate edge weights (average bounded by polylog(n), which appears to be the case for many real-world road networks), we hit a "sweet spot," improving upon Thorup's oracle both in terms of eps and n. Our oracle uses space ~O(n log log n) and it has query time ~O(log log log n + 1/eps). (Asymptotic notation in this abstract hides low-degree polynomials in log(1/eps) and log*(n).)

연구 동기 및 목표

• Thorup (FOCS'01)의 최신 기술 수준을 초월하여 평면 그래프에서 $(1+\epsilon)$-근사 거리 오라클의 공간-질의 시간 무게 조정을 향상시키기 위해.
• 특히 분리자 기반 접근 방식에서 흔히 나타나는 $\log n$ 요소를 제거함으로써 공간과 질의 시간에서 $n$에 대한 의존성을 줄이기 위해.
• 반복적 $1/\epsilon$에 대한 제곱 이하의 공간-질의 시간 곱을 달성하여 $\epsilon$-의존성에서 최적에 가까운 성능에 도달하기 위해.
• 실제 도로 네트워크에서 잘 작동하는 오라클을 설계하기 위해. 이 경우 간선 가중치는 일반적으로 중간 정도이므로(예: 유럽 도로 네트워크에서 평균 $\approx 221$).
• 평면 그래프의 근사 거리 오라클에서 $n$에 대한 상용 로그 의존성이 완전히 제거될 수 있는지 탐색하기 위해.

제안 방법

• 각 수준에서 짧은 경로로 구성된 작은 분리자들을 사용해 그래프를 분할하는 재귀적 분리자 분해를 사용한다.
• 소스 노드에서 경계 경로상의 포털까지의 거리를 사전 계산하기 위해 사이클 MSSP (다중 소스 최단 경로) 데이터 구조를 활용한다.
• 몽게 성질을 이용해 Fakcharoenphol-Rao (FR-Dijkstra) 알고리즘을 적용하여 경계 경로상의 포털과 분리자 경로 사이의 거리를 효율적으로 계산한다.
• 각 질의 쌍 $(u,v)$에 대해, 각 수준에서 관련된 모든 분리자 경로를 재귀적으로 확인하고, FR-Dijkstra를 통해 $\min_{q} d(u,q) + d(q,v)$를 계산하여 근사 최단 경로를 찾는다.
• 가장 낮은 재귀 수준에서는 정확한 거리 오라클을 질의하여 기본 케이스의 정확성을 보장한다.
• 반복 로그 함수를 활용해 $O(\log^* n)$ 수준의 계층적 분해를 사용하여 재귀 깊이를 제한한다.

실험 결과

연구 질문

• RQ1 평면 그래프의 근사 거리 오라클의 공간-질의 시간 곱이 $1/\epsilon$에 대해 제곱 이하가 될 수 있는가?
• RQ2 평면 그래프에서 $(1+\epsilon)$-근사 거리 오라클의 공간과 질의 시간에서 $\log n$ 요소를 제거하는 것이 가능한가?
• RQ3 중간 정도의 간선 가중치(예: 평균 $\text{poly}(\log n)$)를 가정할 경우, Thorup의 오라클보다 더 나은 무게 조정이 가능할까?
• RQ4 반복 로그 $\tilde{O}(n\log n)$ 공간 상한을 $\tilde{O}(n\log\log n)$으로 줄일 수 있으며, 거의 최적의 질의 시간을 유지할 수 있는가?
• RQ5 평면 그래프의 근사 거리 오라클 구축에서 $n$에 대한 상용 로그 의존성이 완전히 제거될 수 있는가?

주요 결과

• 간선 가중치가 $\text{poly}(\log n)$로 유계인 그래프에 대해, 오라클은 $\tilde{O}(n\log\log n)$ 공간을 사용하고 $\tilde{O}(\epsilon^{-1} + \log\log\log n)$ 질의 시간을 달성한다. 이는 Thorup의 $O(n\epsilon^{-1}\log n)$ 공간과 $O\epsilon^{-1}$ 질의 시간보다 향상된 성능이다.
• 공간-질의 시간 곱이 $o(n\log n)$이 되어, $1/\epsilon$에 대한 제곱 이하의 의존성을 달성하며, 이는 이전 작업에 비해 상당한 향상이다.
• 질의 시간은 $\tilde{O}(\epsilon^{-1} + \log\log\log n)$이며, $\epsilon$이 상수일 경우 질의 시간은 $O(\log\log\log n)$로 거의 상수 수준이다.
• 정교한 재귀적 분해와 FR-Dijkstra 가속 기법을 통해 공간과 질의 시간에서 $\log n$ 요소를 회피함으로써, 이는 성능 향상을 달성한다.
• 다항식 간선 가중치를 가진 그래프에 대해, 오라클는 $\tilde{O}(n\log\log n)$ 공간과 $\tilde{O}(\epsilon^{-1})$ 질의 시간을 달성하며, $\epsilon$-의존성에서 최고 수준의 성능을 유지하면서도 $n$-의존성을 감소시킨다.
• 공간과 질의 시간에서 $n$에 대한 상용 로그 의존성이 완전히 제거되었으며, 이는 평면 그래프에 대해 선형 공간, 거의 상수 질의 시간 오라클로 향하는 길을 제시한다.