[논문 리뷰] Preserving Distances in Very Faulty Graphs

Greg Bodwin, Fabrizio Grandoni외 2명|arXiv (Cornell University)|2017. 03. 30.

Complexity and Algorithms in Graphs참고 문헌 36인용 수 4

한 줄 요약

이 논문은 임의의 고정된 수의 간선 장애가 있는 경우, 비가중치 그래프에서 처음으로 진정으로 비제곱 크기의 단일 쌍 거리 유지자(距離 preserving)를 제안한다. $f \geq 1$에 대해 $O(n^{2-g(f)})$ 크기의 유지자를 얻으며, $g(f)$는 양의 감소 함수이다. 하한을 통해 비제곱 크기의 유지자가 오직 $\Omega(\varepsilon f)$의 덧셈 오차를 수반할 수 있음을 보이며, 가중치가 있는 그래프에 대해서는 상한과 하한이 일치함을 보여 $f \geq 2$일 경우 $\Theta(n^2)$ 크기, $f=1$일 경우 $\Theta(n)$ 크기를 갖는다. 이는 비방향 그래프에서 성립한다.

ABSTRACT

Preservers and additive spanners are sparse (hence cheap to store) subgraphs that preserve the distances between given pairs of nodes exactly or with some small additive error, respectively. Since real-world networks are prone to failures, it makes sense to study fault-tolerant versions of the above structures. This turns out to be a surprisingly difficult task. For every small but arbitrary set of edge or vertex failures, the preservers and spanners need to contain {\em replacement paths} around the faulted set. In this paper we make substantial progress on fault tolerant preservers and additive spanners: (1) We present the first truly sub-quadratic size single-pair preservers in unweighted (possibly directed) graphs for \emph{any} fixed number $f$ of faults. Our result indeed generalizes to the single-source case, and can be used to build new fault-tolerant additive spanners (for all pairs). (2) The size of the above single-pair preservers is $O(n^{2-g(f)})$ for some positive function $g$, and grows to $O(n^2)$ for increasing $f$. We show that this is necessary even in undirected unweighted graphs, and even if you allow for a small additive error: If you aim at size $O(n^{2-ε})$ for $ε>0$, then the additive error has to be $Ω(\eps f)$. This surprisingly matches known upper bounds in the literature. (3) For weighted graphs, we provide matching upper and lower bounds for the single pair case. Namely, the size of the preserver is $Θ(n^2)$ for $f\geq 2$ in both directed and undirected graphs, while for $f=1$ the size is $Θ(n)$ in undirected graphs. For directed graphs, we have a superlinear upper bound and a matching lower bound. Most of our lower bounds extend to the distance oracle setting, where rather than a subgraph we ask for any compact data structure.

연구 동기 및 목표

• f \geq 3인 간선 장애 상황에서 단일 쌍 거리 유지자의 최악의 경우 크기 문제를 해결하기 위해.
• f > 2인 경우에 대해 이전에 비트리비얼한 하한이 없었던 장애 내성 스파너와 유지자에 대한 이해의 격차를 메우기 위해.
• 비가중치 및 가중치가 있는 그래프에 대해 날카로운 하한과 상한을 확립하기 위해, 특히 f \geq 3에 대해 처음으로 비트리비얼한 비제곱 크기의 구성이 가능함을 보여주기 위해.
• 비제곱 크기의 유지자가 오직 비트리비얼한 덧셈 오차를 수반할 수 있음을 보이며, 이 오차가 $O(n^{2-\varepsilon})$ 크기일 경우 $\Omega(\varepsilon f)$로 엄밀하게 경계됨을 보여주기 위해.

제안 방법

• 장애가 있는 간선 주변의 대체 경로를 활용하여, 수정된 그래프에서 $f$-장애 내성 $n$-쌍 유지자 문제로 $f$-장애 내성 단일 쌍 유지자 문제를 감소시킨다.
• 모듈러 구조를 사용하여, 소스 $s$에서 타겟 $t$로 향하는 경로 $Y$를 구성하고, 중간 노드들이 기저 그래프 $K$에 연결되며, 이 $K$는 $n$-쌍 거리 유지자 문제를 인코딩한다.
• 하한을 증명하기 위해, 임의의 $1$-장애 내성 $s$-$t$ 유지자가 $K$ 내의 모든 최단 경로를 유지해야 하므로 $\Omega(\texttt{DP}(n))$ 개의 간선이 필요하다는 것을 보인다.
• f \geq 2인 경우, 비방향 비가중치 그래프에서 임의의 $f$-FT $s$-$t$ 유지자의 크기는 $\Omega(n^{2-\varepsilon})$여야 하며, 이는 $\varepsilon > 0$에 대해 성립하며, 덧셈 오차가 $\Omega(f)$가 아닐 경우 성립하지 않는다.
• 새로운 구성 방법을 통해 상한을 유도하며, 이는 $O(fmn)$ 시간 내에 $f$-FT 유지자를 계산할 수 있도록 하며, 단일 소스 및 모든 쌍 설정으로 일반화된다.
• f 장애에 대한 대체 경로는 $f$-장애를 피하는 구조를 통해 회피하는 경로를 유지해야 하며, 이 경로의 수를 조합론적 추론을 통해 경계한다.

실험 결과

연구 질문

• RQ1 비가중치 그래프에서 $f \geq 3$ 간선 장애 상황에서 단일 쌍 거리 유지자의 최악의 경우 크기는 얼마인가?
• RQ2 f \geq 3에 대해 비제곱 크기의 $f$-장애 내성 유지자가 존재할 수 있으며, 만약 존재한다면 덧셈 오차와의 교환 관계는 무엇인가?
• RQ3 특히 $f=1$과 $f \geq 2$인 경우에 대해, 가중치가 있는 그래프에서 $f$-장애 내성 거리 유지자의 날카로운 하한은 무엇인가?
• RQ4 f \geq 2인 경우 비가중치 그래프에서 $f$-FT 덧셈 스파너에 대해 초선형 하한이 존재하는가, 조그만 덧셈 오차가 존재하더라도?
• RQ5 f \geq 3에 대해 $f$-FT 단일 소스 유지자의 크기가 $\Omega(n^{2-1/(f+1)})$로 아래에서 경계될 수 있는가, 이는 추측된 바이다.

주요 결과

• 비가중치 그래프에서, 논문은 임의의 고정된 $f \geq 1$에 대해 $O(n^{2-g(f)})$ 크기의 $f$-장애 내성 단일 쌍 유지자를 구성한다. 여기서 $g(f)$는 양의 감소 함수이다.
• 비가중치 그래프에서, $O(n^{2-\varepsilon})$ 크기의 $f$-FT $s$-$t$ 유지자는 반드시 $\Omega(\varepsilon f)$의 덧셈 오차를 가져야 하며, 이 경계는 날카로운 것이다.
• 가중치가 있는 그래프에서, 비방향 그래프에서 $1$-FT $s$-$t$ 유지자의 크기는 $\Theta(n)$이며, 방향 그래프에서는 $\Theta(\texttt{DP}(n))$이다. 여기서 $\texttt{DP}(n)$은 $n$-쌍 유지자 문제의 희박성(sparseriness)을 나타낸다.
• f \geq 2인 경우, 가중치가 있는 그래프에서 $f$-FT $s$-$t$ 유지자의 크기는 비방향 그래프에서도 $\Theta(n^2)$이며, 이는 $f=1$에서의 급격한 전환점임을 보여준다.
• 논문은 $\Omega(n^{2-\varepsilon})$ 크기의 유지자가 $\Omega(\varepsilon f)$의 덧셈 오차를 가져야 하며, 이는 문헌에서 알려진 상한과 정확히 일치함을 증명한다.
• 하한은 거리 오라클까지 확장되며, $f$-FT 거리에 대한 압축된 데이터 구조는 오차가 $o(f)$일 경우 $\Omega(n^{2-\varepsilon})$ 크기를 가져야 함을 보여준다.