[논문 리뷰] Graph Spanners in the Message-Passing Model

Manuel Fernández, David P. Woodruff외 1명|arXiv (Cornell University)|2019. 11. 14.

Advanced Graph Theory Research인용 수 2

한 줄 요약

이 논문은 다수의 사이트에 분할된 간선을 가진 분산 메시지 전달 모델에서 그래프 스펜서를 계산하기 위한 최초의 통신 효율적인 알고리즘을 제안한다. 추가적 및 곱셈적 스펜서에 대해 통신 복잡도의 날카로운 하한을 확립하며, 간선 중복 허용 여부에 따른 모델 간의 분리 효과를 보이며, 통신 비용과 스펜서 품질 간의 거의 최적의 트레이드오프를 제공한다.

ABSTRACT

Graph spanners are sparse subgraphs which approximately preserve all pairwise shortest-path distances in an input graph. The notion of approximation can be additive, multiplicative, or both, and many variants of this problem have been extensively studied. We study the problem of computing a graph spanner when the edges of the input graph are distributed across two or more sites in an arbitrary, possibly worst-case partition, and the goal is for the sites to minimize the communication used to output a spanner. We assume the message-passing model of communication, for which there is a point-to-point link between all pairs of sites as well as a coordinator who is responsible for producing the output. We stress that the subset of edges that each site has is not related to the network topology, which is fixed to be point-to-point. While this model has been extensively studied for related problems such as graph connectivity, it has not been systematically studied for graph spanners. We present the first tradeoffs for total communication versus the quality of the spanners computed, for two or more sites, as well as for additive and multiplicative notions of distortion. We show separations in the communication complexity when edges are allowed to occur on multiple sites, versus when each edge occurs on at most one site. We obtain nearly tight bounds (up to polylog factors) for the communication of additive $2$-spanners in both the with and without duplication models, multiplicative $(2k-1)$-spanners in the with duplication model, and multiplicative $3$ and $5$-spanners in the without duplication model. Our lower bound for multiplicative $3$-spanners employs biregular bipartite graphs rather than the usual Erd\H{o}s girth conjecture graphs and may be of wider interest.

연구 동기 및 목표

• 다중 사이트 메시지 전달 시스템에서 분산 그래프 스펜서 계산의 통신 복잡도 이해 부족을 메우기.
• 간선이 사이트 간에 어떻게 분포되어 있는지가 고정된 왜곡을 가진 스펜서를 계산할 때 통신 비용에 어떤 영향을 미치는지 조사하기.
• 간선 중복 허용 및 비허용 모델 모두에서 통신 오버헤드와 스펜서 품질(추가적 또는 곱셈적 왜곡) 간의 트레이드오프 확립하기.
• 추가적 2-스펜서 및 곱셈적 (2k−1)-스펜서를 포함한 다양한 스펜서 유형에 대해 통신 복잡도의 거의 날카로운 하한 및 상한 제공하기.
• 기존의 기수 기반 구성 방식을 초월한 새로운 통찰을 제공하는 이중 정규 이분 그래프를 기반으로 한 새로운 하한 기법 개발하기.

제안 방법

• 입력 그래프의 일부 간선을 소유한 협의자와 다수의 사이트를 가진 메시지 전달 환경에서 문제 모델링하기.
• 협의자와 사이트 간 최소한의 통신으로 스펜서를 계산하는 분산 알고리즘 설계하며, 추가적 및 곱셈적 왜곡 보장을 중점적으로 한다.
• 모든 데이터를 중앙집중화하지 않고도 공동으로 스펜서를 구성할 수 있도록, 사이트 간 포인트 투 포인트 링크를 통한 메시지 교환을 기반으로 한 협력 모델 사용하기.
• 곱셈적 3-스펜서에 대한 통신 복잡도 한계를 증명하기 위해 이중 정규 이분 그래프를 기반으로 한 새로운 하한 기법 도입하기.
• 간선 중복 허용(다수의 사이트에 저장) 및 유일한 간선 저장을 요구하는 두 모델에서 통신 복잡도 분석하기.
• 스펜서의 구조적 성질과 그래프 흐문성의 특성을 활용하여 다항로그 요소를 제외한 날카로운 하한 도출하기.

실험 결과

연구 질문

• RQ1 메시지 전달 모델에서 다수의 사이트에 분산된 간선을 가진 그래프 스펜서를 계산하기 위해 필요한 최소 통신량은 얼마인가?
• RQ2 사이트 간에 중복된 간선이 존재할 경우, 추가적 또는 곱셈적 왜곡을 가진 스펜서를 계산할 때 통신 복잡도에 어떤 영향을 미치는가?
• RQ3 추가적 2-스펜서 및 곱셈적 (2k−1)-스펜서와 같은 특정 스펜서 유형에 대해 거의 날카로운 통신 복잡도 하한을 확립할 수 있는가?
• RQ4 스펜서 계산의 통신 복잡도 한계를 규명하기 위해 어떤 새로운 하한 기법을 개발할 수 있는가?
• RQ5 다양한 스펜서 유형에 대해 간선 중복 허용 및 비허용 모델 간의 통신 요구사항은 어떻게 다를까?

주요 결과

• 논문은 간선 중복 허용 및 비허용 모델 모두에서 추가적 2-스펜서 계산에 대해 거의 날카로운 통신 복잡도 하한(다항로그 요소를 제외한)을 확립한다.
• 간선 중복 허용 모델에서 곱셈적 (2k−1)-스펜서에 대해 거의 최적의 통신 복잡도 하한을 제공한다.
• 간선 중복 비허용 모델에서는 곱셈적 3-스펜서 및 5-스펜서에 대해 거의 날카로운 하한을 달성한다.
• 기존의 에르되시 기수 추측에 의존하는 접근 방식을 초월하여 더 강력하고 일반적인 결과를 도출하는 이중 정규 이분 그래프를 기반으로 한 새로운 하한 기법을 도입한다.
• 이 연구는 특히 곱셈적 스펜서에 대해 간선 중복 허용 및 비허용 모델 간의 통신 복잡도에 엄격한 분리 효과를 드러낸다.
• 결과적으로, 특히 작은 곱셈적 왜곡을 가진 스펜서의 경우, 간선 중복 비허용 모델에서 통신 비용이 상당히 높아지는 것으로 나타났다.