[논문 리뷰] Constructing a Distance Sensitivity Oracle in O(n^2.5794 M) Time

Yong Gu, Hanlin Ren|arXiv (Cornell University)|2021. 01. 01.

Complexity and Algorithms in Graphs인용 수 1

한 줄 요약

이 논문은 간선 가중치가 {1, 2, ..., M}인 방향 그래프에 대한 새로운 거리 민감도 오라클(DSO)을 제안하며, 전처리 시간이 O(n^2.5794 M)이고 쿼리 시간이 상수인 성능을 달성한다. 이 방법은 x^r 모듈로에서 차수 d 다항식 행렬의 역행렬을 계산하는 새로운 알고리즘에 기반하며, 더 빠른 직사각형 행렬 곱셈을 활용해 가속화된다. 이를 통해 고유한 최단경로 계산 시간을 O(n^2.5286 M)로 개선할 수 있다.

ABSTRACT

We continue the study of distance sensitivity oracles (DSOs). Given a directed graph G with n vertices and edge weights in {1, 2, … , M}, we want to build a data structure such that given any source vertex u, any target vertex v, and any failure f (which is either a vertex or an edge), it outputs the length of the shortest path from u to v not going through f. Our main result is a DSO with preprocessing time O(n^2.5794 M) and constant query time. Previously, the best preprocessing time of DSOs for directed graphs is O(n^2.7233 M), and even in the easier case of undirected graphs, the best preprocessing time is O(n^2.6865 M) [Ren, ESA 2020]. One drawback of our DSOs, though, is that it only supports distance queries but not path queries. Our main technical ingredient is an algorithm that computes the inverse of a degree-d polynomial matrix (i.e. a matrix whose entries are degree-d univariate polynomials) modulo x^r. The algorithm is adapted from [Zhou, Labahn and Storjohann, Journal of Complexity, 2015], and we replace some of its intermediate steps with faster rectangular matrix multiplication algorithms. We also show how to compute unique shortest paths in a directed graph with edge weights in {1, 2, … , M}, in O(n^2.5286 M) time. This algorithm is crucial in the preprocessing algorithm of our DSO. Our solution improves the O(n^2.6865 M) time bound in [Ren, ESA 2020], and matches the current best time bound for computing all-pairs shortest paths.

연구 동기 및 목표

• 유한 정수 간선 가중치를 갖는 방향 그래프에서 거리 민감도 오라클(DSO)에 대한 더 빠른 전처리 알고리즘을 설계하는 것.
• 기존 방향 그래프의 O(n^2.7233 M) 및 무방향 그래프의 O(n^2.6865 M) 이론적 상한 이하의 전처리 시간을 달성하는 것.
• O(n^2.5286 M) 시간 내에 고유 최단경로를 효율적으로 계산하는 알고리즘을 개발하여 DSO 구축을 지원하는 것.
• 최단경로 계산의 맥락에서 더 빠른 행렬 연산을 달성하기 위해 다항식 행렬 역행렬 기법을 최적화하는 것.

제안 방법

• 핵심 방법은 Zhou 등(2015)의 수정된 알고리즘을 활용해 x^r 모듈로에서 차수 d 다항식 행렬의 역행렬을 계산하는 것이다.
• 일부 중간 단계를 더 빠른 직사각형 행렬 곱셈 알고리즘으로 대체하여 점근적 복잡도를 향상시킨다.
• DSO는 이 행렬 역행렬 기법을 활용해 정점 또는 간선 장애 발생 시에도 상수 시간 내에 거리 쿼리를 지원하도록 구성된다.
• 최단경로 계산은 고유 최단경로를 O(n^2.5286 M) 시간 내에 계산하는 새로운 알고리즘에 기반하며, DSO 전처리 과정에서 사용된다.
• 장애 발생 시 대체 경로를 효율적으로 인코딩하고 쿼리하기 위해 다항식에 기반한 대수적 구조를 활용한다.

실험 결과

연구 질문

• RQ1 방향 그래프에 대한 거리 민감도 오라클의 전처리 시간을 O(n^2.7233 M) 이하로 개선할 수 있는가?
• RQ2 작은 정수 간선 가중치를 갖는 방향 그래프에서 고유 최단경로를 계산하는 데 더 빠른 알고리즘이 가능한가?
• RQ3 고급 직사각형 행렬 곱셈 기법을 활용해 다항식 행렬 역행렬을 최적화할 수 있는가?
• RQ4 새로운 행렬 역행렬 방법은 상수 쿼리 시간을 유지하면서도 더 빠른 DSO 구축을 가능하게 하는가?

주요 결과

• 논문은 상수 쿼리 시간을 갖는 DSO를 구축하기 위해 O(n^2.5794 M)의 전처리 시간을 달성하였으며, 이는 기존의 O(n^2.7233 M) 이론적 상한을 초월한다.
• 고유 최단경로 계산 알고리즘은 O(n^2.5286 M) 시간 내에 수행되며, 이는 현재까지의 모든 쌍 최단경로 문제에 대한 최고 성능과 일치한다.
• 다항식 행렬 역행렬 과정에 직사각형 행렬 곱셈을 적용함으로써 전처리 단계에서 상당한 점근적 개선이 이루어졌다.
• DSO 구축은 거리 쿼리만 지원하며 경로 재구성은 불가능하여, 현재 접근법의 한계로 남아 있다.