[논문 리뷰] The Sparsest Additive Spanner via Multiple Weighted BFS Trees

Keren Censor-Hillel, Ami Paz외 1명|arXiv (Cornell University)|2019. 01. 01.

Complexity and Algorithms in Graphs인용 수 2

한 줄 요약

이 논문은 다수의 가중치가 부여된 BFS 트리를 사용하여 Õ(n⁴/³) 개의 간선을 가진 (+6)-additive spanner를 구성하는 새로운 순차적 알고리즘을 제안한다. 이는 다항식 인수를 제외한 최소한의 밀도를 가지며, CONGEST 모델에서 분산 구현된 알고리즘을 통해 |S| + D − 1 라운드 내에 이러한 트리를 구성함으로써, 최적의 (+6)-spanner에 대한 첫 번째 효율적인 분산 구축을 가능하게 한다.

ABSTRACT

Spanners are fundamental graph structures that sparsify graphs at the cost of small stretch. In particular, in recent years, many sequential algorithms constructing additive all-pairs spanners were designed, providing very sparse small-stretch subgraphs. Remarkably, it was then shown that the known (+6)-spanner constructions are essentially the sparsest possible, that is, larger additive stretch cannot guarantee a sparser spanner, which brought the stretch-sparsity trade-off to its limit. Distributed constructions of spanners are also abundant. However, for additive spanners, while there were algorithms constructing (+2) and (+4)-all-pairs spanners, the sparsest case of (+6)-spanners remained elusive. We remedy this by designing a new sequential algorithm for constructing a (+6)-spanner with the essentially-optimal sparsity of O~(n^{4/3}) edges. We then show a distributed implementation of our algorithm, answering an open problem in [Keren Censor{-}Hillel et al., 2016]. A main ingredient in our distributed algorithm is an efficient construction of multiple weighted BFS trees. A weighted BFS tree is a BFS tree in a weighted graph, that consists of the lightest among all shortest paths from the root to each node. We present a distributed algorithm in the CONGEST model, that constructs multiple weighted BFS trees in |S|+D-1 rounds, where S is the set of sources and D is the diameter of the network graph.

연구 동기 및 목표

• 가장 흐린 가능한 추가적 spanner, 특히 (+6)-spanner를 구축하기 위한 분산 알고리즘의 격차를 메우기.
• (-6)-spanner에 대해 이론적으로 최적의 흐린 밀도 Õ(n⁴/³) 간선을 달성하는 분산 알고리즘을 개발하기.
• CONGEST 모델에서 추가적인 라운드 오버헤드 없이 다수의 가중치가 부여된 BFS 트리를 효율적으로 구성하는 열린 문제를 해결하기.
• 무작위로 간선에 가중치를 할당하고 가장 가벼운 최단 경로를 사용하여 무작위 가중치를 통해 비가중치 그래프에서 일관된 최단 경로 선택을 가능하게 하기.

제안 방법

• 클러스터링 및 경로 구매 단계를 포함한 새로운 순차적 알고리즘을 제안하여 Õ(n⁴/³) 간선을 가진 (+6)-spanner를 구성한다.
• 집합 S에서 출발하는 다수의 가중치가 부여된 BFS(WBFS) 트리의 분산 구축을 제안하며, 각 트리는 소스에서 각 정점까지의 모든 최단 경로 중 가장 가벼운 경로를 포함한다.
• 간선에 가중치를 할당하여 원하는 간선을 식별하고, 고유한 가장 가벼운 최단 경로를 높은 확률로 보장하기 위해 다항식 무작위 가중치를 할당한다.
• 확률 c/(n¹/³ log¹/³ n)로 클러스터 중심이 되는 정점들을 선택하는 클러스터링 단계를 수행한 후, WBFS 트리를 사용하여 누락된 간선을 최소화하는 경로 구매 단계를 수행한다.
• 충돌을 방지하기 위해 메시지가 WBFS 트리의 역순으로 전파되는 방식으로 '구매' 단계를 실행하며, 이로 인해 O(|S| + D)의 라운드 복잡도를 확보한다.
• 각 클러스터 중심이 독립적으로 누락된 간선 수를 기반으로 다른 중심으로의 경로를 '구매'할지 결정하는 무작위 전략을 사용하여, 밀도와 스트레치 보장을 동시에 확보한다.

실험 결과

연구 질문

• RQ1 CONGEST 모델에서 Õ(n⁴/³) 간선의 거의 최적의 밀도를 가지는 분산 알고리즘이 (+6)-spanner를 구성할 수 있는가?
• RQ2 가중치가 부여된 간선으로 인한 추가 오버헤드 없이 O(|S| + D) 라운드 내에 다수의 가중치가 부여된 BFS 트리를 구성할 수 있는가?
• RQ3 무작위로 가중치가 부여된 BFS 트리를 사용하여 비가중치 그래프에서 높은 확률로 일관된 최단 경로를 계산할 수 있는가?
• RQ4 통신을 최소화한 분산 환경에서 최적의 (+6)-spanner를 구성하는 데 필요한 라운드 복잡도는 무엇인가?
• RQ5 가중치가 부여된 BFS 트리를 통해 가장 가벼운 최단 경로를 구성하는 방식이 더 넓은 분산 그래프 문제 해결에 활용될 수 있는가?

주요 결과

• 논문은 Õ(n⁴/³) 간선을 가지며, 기존 순차적 알고리즘의 하한과 일치하는 최초의 분산 구축된 (+6)-spanner를 달성한다.
• 분산 WBFS 트리 구축은 |S| + D − 1 라운드 내에 완료되며, 이는 점근적으로 최적이며 가중치로 인한 추가 오버헤드가 없다.
• 높은 확률로 클러스터 중심의 수는 O(n²/³ / log¹/³ n) 이하이며, 이는 spanner가 여전히 흐린 상태를 유지함을 보장한다.
• 경로 구매 단계는 스트레치가 최대 +6이 되도록 보장하면서도 간선 추가 수를 최소화하는 무작위 선택 전략을 사용한다.
• 알고리즘은 최종 spanner가 O(n⁴/³) 간선을 가지며 높은 확률로 유지되며, 전체 구축 과정은 O(n²/³ / log¹/³ n + D) 라운드 내에 수행된다.
• 무작위 다항식 가중치를 할당하고 가장 가벼운 최단 경로를 사용함으로써 비가중치 그래프에서 일관된 최단 경로를 계산할 수 있도록 하며, 이 기법은 spanner 구축 이외의 응용에도 유용할 수 있다.