[논문 리뷰] Generic Single Edge Fault Tolerant Exact Distance Oracle

Manoj Gupta, Aditi Singh|arXiv (Cornell University)|2018. 01. 01.

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

한 줄 요약

이 논문은 무방향 무가중치 그래프에 대해 σ개의 소스를 고려하는 일반적인 단일 간선 고장에 견디는 정확한 거리 오라클을 제안하며, 공간 복잡도 ˜O(σ¹/²n³/²)와 쿼리 시간 ˜O(1)을 달성한다. 이는 비상호배제적 대체 경로에 대해 새로운 경로 분리성 증명을 사용하고, BFS 트리와 범위 쿼리에 기반한 데이터 구조를 활용하여 경로의 철저한 분해와 간선 회피 탐지로 상수 시간 쿼리를 가능하게 한다.

ABSTRACT

Given an undirected unweighted graph G and a source set S of |S| = sigma sources, we want to build a data structure which can process the following query Q(s,t,e): find the shortest distance from s to t avoiding an edge e, where s in S and t in V. When sigma=n, Demetrescu, Thorup, Chowdhury and Ramachandran (SIAM Journal of Computing, 2008) designed an algorithm with O~(n^2) space and O(1) query time. A natural open question is to generalize this result to any number of sources. Recently, Bil{ò} et. al. (STACS 2018) designed a data-structure of size O~(sigma^{1/2}n^{3/2}) with the query time of O(sqrt{n sigma}) for the above problem. We improve their result by designing a data-structure of size O~(sigma^{1/2} n^{3/2}) that can answer queries in O~(1) time. In a related problem of finding fault tolerant subgraph, Parter and Peleg (ESA 2013) showed that if detours of replacement paths ending at a vertex t are disjoint, then the number of such paths is O(sqrt{n sigma}). This eventually gives a bound of O(n sqrt{n sigma}) = O(sigma^{1/2}n^{3/2}) for their problem. Disjointness of detours is a very crucial property used in the above result. We show a similar result for a subset of replacement path which may not be disjoint. This result is the crux of our paper and may be of independent interest.

연구 동기 및 목표

• . 논문은 단일 소스 고장 내성 거리 오라클을 다수의 소스로 일반화하고자 한다.
• 고장 내성 하위그래프의 공간 효율성과 거리 오라클의 쿼리 효율성 사이의 격차를 메우고자 한다.
• 다수의 소스, 단일 간선 고장 거리 쿼리에 대해 비제곱 공간 복잡도와 상수 시간 쿼리 시간을 달성하고자 한다.
• Parter와 Peleg의 고장 내성 하위그래프 구축 방식의 공간 복잡도에 거의 근접한 솔루션을 제공하고자 한다.

제안 방법

• . 각 정점 t를 루트로 하는 σ-BFS 트리를 사용해 대체 경로를 조직한다.
• 경로가 σ-BFS 트리와 첫 번째로 만날 정점을 효율적으로 찾기 위해 I1(t)와 I2(t)라는 두 가지 데이터 구조를 도입한다.
• 경로를 무거운 세그먼트와 가벼운 세그먼트로 분해하여 서로 다른 경로 유형을 별도로 처리한다.
• 범위 최소값 쿼리(RMQ)와 깊이 기반 인덱싱을 사용해 간선이 대체 경로의 회피 범위 내에 있는지 탐지한다.
• 도달점에서 멀리 떨어진 정점들에 대해서는 도로의 차수 2인 경로에서 교차점이 유지된다는 성질을 활용한다.
• 짧은 외도(Short detours)에 대한 R1의 결과와 긴 외도(Long detours)에 대한 R2의 결과를 결합하여 고장난 간선을 피하는 최소 거리를 계산한다.

실험 결과

연구 질문

• RQ1 . σ개의 소스에 대해 공간 복잡도가 ˜O(σ¹/²n³/²) 수준이고 쿼리 시간이 ˜O(1)인 단일 간선 고장 내성 정확한 거리 오라클을 구축할 수 있는가?
• RQ2 다수의 소스 환경에서 효율적인 색인과 쿼리가 가능한 대체 경로의 구조적 성질은 무엇인가?
• RQ3 서로 겹치지 않는 경우와 유사한 수치적 증명을 통해 비상호배제적 대체 경로의 수를 여전히 유한하게 제한할 수 있는가?
• RQ4 어떤 소스와 타겟에 대해서나 경로가 σ-BFS 트리와 교차하는 첫 번째 정점을 효율적으로 계산할 수 있는가?
• RQ5 다수의 소스 고장 내성 거리 오라클에서 near-optimal 공간 복잡도를 유지하면서도 상수 시간 쿼리를 달성할 수 있는가?

주요 결과

• . 논문은 다수의 소스, 단일 간선 고장 거리 쿼리에 대해 ˜O(σ¹/²n³/²) 공간 복잡도와 ˜O(1) 쿼리 시간을 갖는 거리 오라클을 구축한다.
• 공간 복잡도는 동일하게 유지하면서 Bilò 등이 제안한 ˜O(√nσ) 쿼리 시간에 비해 상당한 향상을 이룬다.
• 핵심 기여는 비상호배제적 대체 경로의 수가 수치적 증명을 통해 유한하게 제한될 수 있음을 보여주는 새로운 구조적 보조정리이다.
• I1(t)와 I2(t)로 구성된 이중 계층 데이터 구조를 통해 σ-BFS 트리와의 첫 교차 정점을 ˜O(1) 시간에 찾는다.
• 짧은 외도(R1)와 긴 외도(R2)의 두 경로 유형에 대한 결과를 결합함으로써 고장난 간선을 피하는 최단 경로를 정확히 식별한다.
• 모든 정점 t에 대해 총 공간 복잡도는 ˜O(σ¹/²n³/²)이며, 다항로그 인자 오차 범위 내에서 고장 내성 하위그래프에 알려진 하한값과 일치한다.