[논문 리뷰] A Local Algorithm for Constructing Spanners in Minor-Free Graphs

Reut Levi, Dana Ron외 1명|arXiv (Cornell University)|2016. 04. 24.

Complexity and Algorithms in Graphs참고 문헌 8인용 수 5

한 줄 요약

이 논문은 $H$-minor-free 그래프에서 스트레치 $\tilde{O}(h\log d/\epsilon)$를 갖는 스팸너를 구성하는 국소 알고리즘을 제시한다. 이 알고리즘은 각 쿼리당 $\mathrm{poly}(d, 1/\epsilon, h)$의 프로브 복잡도만을 사용하며, 성공 확률이 $1 - 1/ olimits\Omega(n)$에 도달하여 이전의 작업에 비해 효율성과 신뢰성 면에서 크게 향상된다.

ABSTRACT

Constructing a spanning tree of a graph is one of the most basic tasks in graph theory. We consider this problem in the setting of local algorithms: one wants to quickly determine whether a given edge $e$ is in a specific spanning tree, without computing the whole spanning tree, but rather by inspecting the local neighborhood of $e$. The challenge is to maintain consistency. That is, to answer queries about different edges according to the same spanning tree. Since it is known that this problem cannot be solved without essentially viewing all the graph, we consider the relaxed version of finding a spanning subgraph with $(1+ε)n$ edges (where $n$ is the number of vertices and $ε$ is a given sparsity parameter). It is known that this relaxed problem requires inspecting $Ω(\sqrt{n})$ edges in general graphs, which motivates the study of natural restricted families of graphs. One such family is the family of graphs with an excluded minor. For this family there is an algorithm that achieves constant success probability, and inspects $(d/ε)^{poly(h)\log(1/ε)}$ edges (for each edge it is queried on), where $d$ is the maximum degree in the graph and $h$ is the size of the excluded minor. The distances between pairs of vertices in the spanning subgraph $G'$ are at most a factor of $poly(d, 1/ε, h)$ larger than in $G$. In this work, we show that for an input graph that is $H$-minor free for any $H$ of size $h$, this task can be performed by inspecting only $poly(d, 1/ε, h)$ edges. The distances between pairs of vertices in the spanning subgraph $G'$ are at most a factor of $ ilde{O}(h\log(d)/ε)$ larger than in $G$. Furthermore, the error probability of the new algorithm is significantly improved to $Θ(1/n)$. This algorithm can also be easily adapted to yield an efficient algorithm for the distributed setting.

연구 동기 및 목표

• 미노르-프리 그래프의 희박한 스패닝 서브그래프에서 엣지 소속 쿼리를 해결하기 위해 하위선형이고 국소적인 프로브를 사용하는 국소 알고리즘을 설계한다.
• H-미노르-프리 그래프에서 $h$에 대해 지수적일 수밖에 없던 프로브 복잡도를 $h$, $d$, $1/\epsilon$에 대해 다항식으로 줄인다.
• 대규모 그래프에서 높은 신뢰성을 확보하기 위해 국소 스팸너 구축의 성공 확률을 상수에서 $1 - 1/\Omega(n)$으로 향상시킨다.
• 쿼리 간 국소 일관성을 유지하면서도, 스팸너에서 낮은 스트레치 $\tilde{O}(h\log d/\epsilon)$를 달성한다.
• 국소 계산을 통해 분산 메시지 전달 모델로의 효율적 적응을 가능하게 한다.

제안 방법

• 알고리즘은 $\gamma = \epsilon / (2c(h))$의 밀도를 갖는 무작위로 샘플된 정점 집합 $W$를 기반으로 한 랜덤화된 전역 분할 기반의 방법을 사용한다.
• 각 정점은 BFS를 통해 $W$ 내의 가장 가까운 정점에 할당되어 분할 $\mathcal{P}$의 부분집합을 형성하며, 중심은 국소적인 BFS 기반 절차로 결정된다.
• 간선은 랭킹 체계에 따라 선택된다: 각 부분집합 내에서는 BFS 트리의 간선을 포함하고, 부분집합 간에는 두 부분집합을 연결하는 최소 랭크 간선을 선택한다.
• 프로브 복잡도는 $O(kd^3)$ 이하로 제한되며, 여기서 $k = \Theta((\log^2(1/\gamma) + \log d)/\gamma)$로, 하위선형 쿼리 시간을 보장한다.
• 알고리즘은 체비셰프 부등식과 상호독립성을 사용하여 $W$와 $R$의 크기를 제한하고 측도의 집중을 보장한다.
• 최종 스팸너 $G'$는 국소 BFS 트리와 파art 간 간선을 조합하여 구성되며, 각 부분집합의 지름의 2배에 해당하는 스트레치로 제한된다.

실험 결과

연구 질문

• RQ1 프로브 복잡도가 $n$에 의존하지 않는 국소 알고리즘이 미노르-프리 그래프에서 희박한 스팸너를 구성할 수 있는가?
• RQ2 미노르-프리 그래프에서 다항로그 프로브 복잡도를 갖는 국소 알고리즘이 도달할 수 있는 최소 스트레치는 무엇인가?
• RQ3 미노르-프리 그래프에서 국소 스팸너 구축의 성공 확률을 이전의 상수 성공 확률에서 $1 - 1/\Omega(n)$으로 향상시킬 수 있는가?
• RQ4 최대 차수 $d$와 제거된 미노르 크기 $h$는 국소 스팸너 구축의 효율성과 스트레치에 어떤 영향을 미치는가?
• RQ5 국소 알고리즘은 분산 메시지 전달 모델로 효율적으로 적응할 수 있는가?

주요 결과

• 알고리즘의 프로브 복잡도는 $\mathrm{poly}(d, 1/\epsilon, h)$이며, 이는 이전의 $(d/\epsilon)^{\mathrm{poly}(h)\log(1/\epsilon)}$의 복잡도에 비해 상당한 향상이다.
• 스팸너의 스트레치는 $\tilde{O}(h\log d/\epsilon)$이며, 이는 $d$에 대해 지수적일 수 없고 이전 결과보다 훨씬 우수하다.
• 성공 확률은 $1 - 1/\Omega(n)$으로, 이전 연구에서의 상수 성공 확률에 비해 향상되었다.
• 알고리즘은 높은 확률로 최대 $(1 + \epsilon)n$개의 간선을 갖는 스팸너를 생성하여 느슨한 희박성 요구 조건을 충족시킨다.
• 프로브 복잡도는 $O(kd^3)$이며, 실행 시간은 $O(k^2d^3)$이며, $k = \Theta((\log^2(1/\gamma) + \log d)/\gamma)$로, 차수 제한이 있는 그래프에서 효율성을 보장한다.
• 유사한 복잡도로 분산 모델로의 적응이 가능하여 확장 가능한 구현이 가능하다.