[논문 리뷰] Constructing Light Spanners Deterministically in Near-Linear Time

Stephen Alstrup, Søren Dahlgaard외 3명|arXiv (Cornell University)|2019. 01. 01.

Optical Polarization and Ellipsometry인용 수 11

한 줄 요약

이 논문은 (2k−1)(1+ε)-스패너를 near-optimal lightness와 sparsity로 구성하는 최초의 결정적 near-linear time 알고리즘을 제시한다. 새로운 결정적 인크리멘탈 근사 거리 오라클을 도입함으로써, 이전의 결정적 방법보다 지수적으로 빠른 Oε(m + n log n) 시간 복잡도를 달성하면서도 스트레치, 크기, 라이트니의 최신 기준을 충족시킨다. k = log n인 경우, O(m + n^{1+ε}) 시간에 O(log n)-스패너를 구성하며, O(n)개의 간선과 O(1)의 라이트니를 확보한다. 이는 점근적으로 최적이다.

ABSTRACT

Graph spanners are well-studied and widely used both in theory and practice. In a recent breakthrough, Chechik and Wulff-Nilsen [Shiri Chechik and Christian Wulff-Nilsen, 2018] improved the state-of-the-art for light spanners by constructing a (2k-1)(1+epsilon)-spanner with O(n^(1+1/k)) edges and O_epsilon(n^(1/k)) lightness. Soon after, Filtser and Solomon [Arnold Filtser and Shay Solomon, 2016] showed that the classic greedy spanner construction achieves the same bounds. The major drawback of the greedy spanner is its running time of O(mn^(1+1/k)) (which is faster than [Shiri Chechik and Christian Wulff-Nilsen, 2018]). This makes the construction impractical even for graphs of moderate size. Much faster spanner constructions do exist but they only achieve lightness Omega_epsilon(kn^(1/k)), even when randomization is used. The contribution of this paper is deterministic spanner constructions that are fast, and achieve similar bounds as the state-of-the-art slower constructions. Our first result is an O_epsilon(n^(2+1/k+epsilon')) time spanner construction which achieves the state-of-the-art bounds. Our second result is an O_epsilon(m + n log n) time construction of a spanner with (2k-1)(1+epsilon) stretch, O(log k * n^(1+1/k) edges and O_epsilon(log k * n^(1/k)) lightness. This is an exponential improvement in the dependence on k compared to the previous result with such running time. Finally, for the important special case where k=log n, for every constant epsilon>0, we provide an O(m+n^(1+epsilon)) time construction that produces an O(log n)-spanner with O(n) edges and O(1) lightness which is asymptotically optimal. This is the first known sub-quadratic construction of such a spanner for any k = omega(1). To achieve our constructions, we show a novel deterministic incremental approximate distance oracle. Our new oracle is crucial in our construction, as known randomized dynamic oracles require the assumption of a non-adaptive adversary. This is a strong assumption, which has seen recent attention in prolific venues. Our new oracle allows the order of the edge insertions to not be fixed in advance, which is critical as our spanner algorithm chooses which edges to insert based on the answers to distance queries. We believe our new oracle is of independent interest.

연구 동기 및 목표

• 그리디 스패너의 이론적 최적성과 실제 구현이 어려운 O(mn^{1+1/k})의 구축 시간 사이의 격차를 메우기 위해.
• 가장 빠른 랜덤화 또는 느린 결정적 방법과 동일한 near-optimal한 스트레치, 크기, 라이트니를 확보하면서도 빠른 결정적 스패너 알고리즘을 개발하기 위해.
• 대규모 그래프에서 경량 스패너의 실용적 구현을 가능하게 하기 위해 near-linear 시간 복잡도를 달성하기 위해.
• 랜덤화된 동적 거리 오라클의 한계를 극복하기 위해, 적응형 스패너 구축 과정에서 비적응형 적대자 가정이 성립하지 않는 문제를 해결하기 위해.

제안 방법

• 고정된 삽입 순서가 필요 없이 동적 간선 삽입과 거리 질의를 지원하는 새로운 결정적 인크리멘탈 근사 거리 오라클을 설계한다.
• 거리 오라클을 수정된 그리디 스패너 알고리즘의 핵심 서브루틴으로 사용하며, 간선 삽입 결정이 실시간 거리 질의에 의존하도록 한다.
• 클러스터 지름과 간선 가중치를 기반으로 한 계층적 클러스터링 프레임워크를 도입하여 라이트니와 스트레치를 제한하고, 진전을 추적하기 위해 잠재 함수를 사용한다.
• 스패니어의 스파arsity와 실행 시간을 향상시키기 위해 차수 기반 정점 선택을 통한 개선된 Halperin-Zwick 스패너를 서브루틴으로 사용한다.
• 스패너 구축 과정 중 연결성 유지와 효율적 업데이트를 지원하기 위해 프로프에트 유니온-파인드 데이터 구조를 활용한다.
• 모든 수준에서 추가된 간선의 총 무게를 유한하게 제한하기 위해 잠재 함수 분석을 활용한다.

실험 결과

연구 질문

• RQ1 결정적 스패너 구축 방법이, 가장 빠른 랜덤화 또는 느린 결정적 방법과 동일한 near-optimal한 스트레치, 크기, 라이트니를 확보하면서도 near-linear 시간 내에 수행될 수 있는가?
• RQ2 적응형 간선 삽입을 지원하면서도 비적응형 적대자 가정이 필요 없는 결정적 동적 거리 오라클을 설계할 수 있는가?
• RQ3 결정적 스패너 알고리즘의 구축 시간, 스트레치, 크기, 라이트니 간 최적의 트레이드오프는 무엇인가?
• RQ4 특히 k = log n일 경우, k = ω(1)에 대해 sub-quadratic 시간으로 구축이 가능할 수 있는가? 이때 최적의 라이트니와 스파arsity를 확보할 수 있는가?
• RQ5 계층적 클러스터링과 잠재 함수 분석은 결정적 스패너 구축 과정에서 추가된 간선의 총 무게를 어떻게 제한하는 데 사용될 수 있는가?

주요 결과

• 논문은 (2k−1)(1+ε)-스패너를 Oε(m + n log n) 시간 내에 구성하는 결정적 알고리즘을 제시하며, O(log k · n^{1+1/k})개의 간선과 Oε(log k · n^{1/k})의 라이트니를 확보한다. 이는 이전 near-linear 시간 방법 대비 k에 대한 의존도에서 지수적 향상을 이룬다.
• 특수 케이스인 k = log n에 대해선, O(m + n^{1+ε})-시간 내에 O(log n)-스패너를 구성하며, O(n)개의 간선과 O(1)의 라이트니를 확보한다. 이는 점근적으로 최적이며, k = ω(1)에 대해 알려진 최초의 sub-quadratic 구축법이다.
• 논문은 적응형 간선 삽입 순서를 허용하는 새로운 결정적 인크리멘탈 근사 거리 오라클을 도입하여, 이전의 랜덤화 오라클이 요구하는 비적응형 적대자 가정을 극복한다.
• 거리 오라클은 스트레치, 스파arsity, 라이트니에 대한 증명 가능한 상한을 갖는 그레디 유사 스패너 알고리즘의 효율적 구현을 가능하게 한다.
• 스패너의 총 라이트니는 Oε(n^{1/k} · log k)로 제한되며, 이는 랜덤화 구축 방법에서 확보된 최고 수준의 상한과 일치한다.
• 이 방법은 스트레치, 크기, 라이트니, 실행 시간 모두에서 near-optimal한 트레이드오프를 달성하며, 완전히 결정적이면서도 대규모 그래프에 대한 실용성도 확보한다.