[논문 리뷰] A Local Algorithm for the Sparse Spanning Graph Problem

Christoph Lenzen, Reut Levi|arXiv (Cornell University)|2017. 03. 15.

Complexity and Algorithms in Graphs참고 문헌 11인용 수 3

한 줄 요약

이 논문은 임의의 유계 차수 그래프에서 스트레치 보장을 갖는 희박한 스패닝 서브그래프를 구성하기 위한 최초의 중심화된 국소 알고리즘을 제시한다. 보로노이 분할과 무작위 표본 추출, BFS 기반 클러스터 재구성 기법을 융합함으로써, 쿼리 복잡도를 $\tilde{O}(\text{poly}(\Delta/\varepsilon)n^{2/3})$로 줄이고, 출력에서 선택되지 않은 간선들이 $O(\log n \cdot (\Delta + \log n)/\varepsilon)$개의 홉을 가지는 경로를 갖도록 보장하여 근사 거리를 유지한다.

ABSTRACT

Constructing a sparse spanning subgraph is a fundamental primitive in graph theory. In this paper, we study this problem in the Centralized Local model, where the goal is to decide whether an edge is part of the spanning subgraph by examining only a small part of the input; yet, answers must be globally consistent and independent of prior queries. Unfortunately, maximally sparse spanning subgraphs, i.e., spanning trees, cannot be constructed efficiently in this model. Therefore, we settle for a spanning subgraph containing at most $(1+\varepsilon)n$ edges (where $n$ is the number of vertices and $\varepsilon$ is a given approximation/sparsity parameter). We achieve query complexity of $ ilde{O}(poly(Δ/\varepsilon)n^{2/3})$, ($ ilde{O}$-notation hides polylogarithmic factors in $n$). where $Δ$ is the maximum degree of the input graph. Our algorithm is the first to do so on arbitrary bounded degree graphs. Moreover, we achieve the additional property that our algorithm outputs a spanner, i.e., distances are approximately preserved. With high probability, for each deleted edge there is a path of $O(poly(Δ/\varepsilon)\log^2 n)$ hops in the output that connects its endpoints.

연구 동기 및 목표

• 전체 그래프에 대한 액세스가 불가능한 상황에서도 최대 $(1+\varepsilon)n$개의 간선을 갖는 희박한 스패닝 서브그래프를 구성할 수 있는 중심화된 국소 알고리즘을 설계하는 것.
• 지난 쿼리에 의존하지 않고 전역 일관성과 독립성을 확보하면서 국소 쿼리 복잡도를 최소화하는 것.
• 선택되지 않은 간선들이 출력 서브그래프 내에서 짧은 대체 경로를 갖도록 스펜서(스패너)를 구성함으로써 거리 보존 보장을 제공하는 것.
• 일반적인 유계 차수 그래프에서 하향선형 쿼리 복잡도를 달성하여 이전 방법들이 일반 그래프에서 실패한 한계를 극복하는 것.

제안 방법

• 정점의 양 끝점이 $O(\log n)$ 홉 이내에 $\Omega(n^{1/3})$개의 정점을 포함하는 간선을 확장하는 간선으로 분류함으로써, 효율적인 국소 처리를 가능하게 한다.
• 무작위로 $n^{2/3}$개의 중심을 선택하고, 각 정점이 가장 가까운 중심으로부터 $O(\left(\log n\right)$ 홉 이내에 있을 확률이 높아지도록 노드를 보로노이 셀로 분할한다.
• 각 보로노이 셀 내에서 중심을 루트로 하는 BFS를 사용해 스패닝 트리를 구성하며, 가장 가까운 중심을 찾는 데 $\tilde{O}(n^{1/3})$의 쿼리 복잡도를 갖는다.
• BFS와 부모/자식 관계를 활용해, $\tilde{O}(n^{1/3})$개 이상의 정점을 포함하는 부분트리를 반복적으로 식별함으로써 보로노이 셀을 크기가 $\tilde{O}(n^{1/3})$인 클러스터로 정제한다.
• 무작위 마킹 기법을 사용해 분산 스펜서 알고리즘을 시뮬레이션하며, $\tilde{O}(n^{1/3})$-wise 독립성 덕분에 $\tilde{O}(n^{2/3})$개의 무작위 비트로도 충분하다.
• 임의의 쿼리된 간선 $\{u,v\}$에 대해, 클러스터 소속, 중심과의 거리, 인접 간선들 내 상대 순위를 확인함으로써 출력 서브그래프에 속하는지 여부를 결정하며, 일관성과 낮은 쿼리 비용을 보장한다.

실험 결과

연구 질문

• RQ1 임의의 유계 차수 그래프에서 하향선형 쿼리 복잡도를 갖는 중심화된 국소 알고리즘이 $O((1+\varepsilon)n)$개의 간선을 갖는 희박한 스패닝 서브그래프를 구성할 수 있는가?
• RQ2 이러한 알고리즘이 선택되지 않은 간선들이 출력에서 짧은 대체 경로를 갖도록 보장할 수 있는가, 이를 통해 근사 거리를 유지할 수 있는가?
• RQ3 공유 메모리나 조율 없이도, 국소 쿼리와 공유 무작위성에 의존하여 간선 선택의 전역 일관성을 확보할 수 있는가?
• RQ4 쿼리 복잡도를 $\tilde{O}(\text{poly}(\Delta/\varepsilon)n^{2/3})$로 제한하면서도 스트레치 보장을 유지할 수 있는가?

주요 결과

• 알고리즘은 중심화된 국소 모델에서 임의의 유계 차수 그래프에 대해 처음으로 $\tilde{O}(\text{poly}(\Delta/\varepsilon)n^{2/3})$의 쿼리 복잡도를 달성하며, 이는 간선당 복잡도로 측정된다.
• 출력 서브그래프는 스트레치 $O(\log n \cdot (\Delta + \log n)/\varepsilon)$를 갖는 스펜서이며, 선택되지 않은 간선마다 해당 길이의 경로가 출력 내에 존재함을 보장한다.
• 알고리즘은 간선 선택의 전역 일관성을 보장한다: 쿼리에 대한 응답은 이전 쿼리에 영향을 받지 않으며, 유일하고 고정된 출력 서브그래프와 일관된다.
• 노드의 $n^{2/3}$개의 중심을 기반으로 한 보로노이 분할과 클러스터 정제를 통해, 클러스터 및 부모 관계의 효율적 국소 재구성이 가능해진다.
• $\tilde{O}(n^{1/3})$-wise 독립성 덕분에 각 쿼리가 소규모 국소 이웃에만 의존하므로, $\tilde{O}(n^{2/3})$개의 무작위 비트로도 충분하다.
• 알고리즘은 높은 확률로 $(1+\varepsilon)n$개 이내의 간선을 갖는 서브그래프를 성공적으로 구성하며, 느슨한 스패닝 트리 요구 조건을 충족하면서도 거리 근사 보존을 유지한다.