[논문 리뷰] Reliable Hubs for Partially-Dynamic All-Pairs Shortest Paths in Directed Graphs

Adam Karczmarz, Jakub Łącki|arXiv (Cornell University)|2019. 01. 01.

Complexity and Algorithms in Graphs참고 문헌 27인용 수 6

한 줄 요약

이 논문은 간선 가중치가 [1,W]에 속하는 가중치가 있는 방향 그래프에서, 하이퍼 허브 세트를 활용하여 (1+ǫ)-근사 거리 유지 기능을 갖춘, 부분 동적 전쌍 최단경로에 대한 첫 번째 결정적 알고리즘을 제시한다. 하이퍼 허브 세트를 이용한 신뢰할 수 있는 허브 유지 프레임워크를 도입하여, 증가 및 감소 설정에서 각각 결정적 알고리즘과 라스 베가스 알고리즘을 사용함으로써, 근사 최단경로 트리와 차단 집합 기법을 활용하여 더 빠르고 오류가 없는 동적 APSP 계산을 가능하게 한다.

ABSTRACT

We give new partially-dynamic algorithms for the all-pairs shortest paths problem in weighted directed graphs. Most importantly, we give a new deterministic incremental algorithm for the problem that handles updates in $\widetilde{O}(mn^{4/3}\log{W}/ε)$ total time (where the edge weights are from $[1,W]$) and explicitly maintains a $(1+ε)$-approximate distance matrix. For a fixed $ε>0$, this is the first deterministic partially dynamic algorithm for all-pairs shortest paths in directed graphs, whose update time is $o(n^2)$ regardless of the number of edges. Furthermore, we also show how to improve the state-of-the-art partially dynamic randomized algorithms for all-pairs shortest paths [Baswana et al. STOC'02, Bernstein STOC'13] from Monte Carlo randomized to Las Vegas randomized without increasing the running time bounds (with respect to the $\widetilde{O}(\cdot)$ notation). Our results are obtained by giving new algorithms for the problem of dynamically maintaining hubs, that is a set of $\widetilde{O}(n/d)$ vertices which hit a shortest path between each pair of vertices, provided it has hop-length $Ω(d)$. We give new subquadratic deterministic and Las Vegas algorithms for maintenance of hubs under either edge insertions or deletions.

연구 동기 및 목표

• 특히 몬테카를로 오류와 무작위적 적대자에 대한 의존성으로 인해 제한되는 랜덤화된 동적 알고리즘의 문제점을 해결하기 위해.
• 가중치가 있는 방향 그래프에서 (1+ǫ)-근사 전쌍 최단경로를 유지하기 위한 결정적 증가 알고리즘을 설계하고, 총 업데이트 시간이 부분 제곱 이하가 되도록 하기 위해.
• 기존의 감소적 랜덤화된 알고리즘을 몬테카를로에서 라스 베가스로 향상시키되, 점근적 업데이트 시간 경계를 증가시키지 않기 위해.
• 경로 길이가 간선 수가 아닌 간선 가중치에 따라 달라지는 가중치가 있는 방향 그래프로 허브 유지 기법을 확장하기 위해, (1+ǫ)-근사 최단경로를 기반으로 허브를 재정의하기 위해.
• 적응적 적대자 조건 하에서도 정확성이 보장되는, 신뢰할 수 있는 결정적 허브 유지 기능을 제공하기 위해.

제안 방법

• 길이 ≥d+1 간선인 (1+ǫ)-근사 최단경로를 모두 가로지르는 집합으로 허브를 새로운 정의한다.
• 각 정점에서 깊이 d까지의 (1+ǫ)-근사 최단경로 트리에 킹의 차단 집합 알고리즘을 적용하여 안정적인 허브 세트를 계산한다.
• 반복적으로 후보 허브 세트를 샘플링하고 유효한 차단 집합이 발견될 때까지 검증하는 샘플링 및 검증 전략을 사용하며, 이는 라스 베가스 보장을 제공한다.
• 검증 비용을 줄이기 위해, 히트 수준이 지수적으로 증가하는 허브 세트 계층 H1, H6, H6², ..., H6ᵏ을 유지한다.
• 간선 삭제 상황에서 최단경로 트리를 유지하고, 다항로그 시간 오버헤드로 차단 집합을 효율적으로 검증하기 위해 동적 트리 자료구조를 활용한다.
• 경로 분해 및 연결 기법을 활용하여 근사 거리 정보를 허브 세트를 통해 전파하면서 (1+ǫ)-근사 성질을 유지한다.

실험 결과

연구 질문

• RQ1 가중치가 있는 방향 그래프에서 (1+ǫ)-근사 전쌍 최단경로를 유지하기 위한 결정적 증가 알고리즘을 설계할 수 있는가? 이 알고리즘의 총 업데이트 시간이 부분 제곱 이하가 되는가?
• RQ2 기존의 몬테카를로 랜덤화된 감소적 APSP 알고리즘을 점근적 업데이트 시간 경계를 증가시키지 않고 라스 베가스로 업그레이드할 수 있는가?
• RQ3 경로 길이가 간선 수가 아닌 간선 가중치에 따라 달라지는 가중치가 있는 방향 그래프에서, 허브 세트를 어떻게 안정적으로 유지할 수 있는가?
• RQ4 동적 업데이트 상황에서 허브 유효성을 유지하기 위해 필요한 최소한의 오버헤드는 무엇이며, 이는 고확률 또는 결정적으로 정확성을 보장할 수 있는가?
• RQ5 히트 유지 프레임워크를 증가 및 감소 업데이트 모두를 지원하도록 확장할 수 있으며, 다항로그 시간 오버헤드를 갖출 수 있는가?

주요 결과

• 논문은 총 업데이트 시간이 eO(mn⁴⁄³ log W / ǫ)인 결정적 증가 알고리즘을 제시하며, 간선 수에 관계없이 부분 제곱 이하 성능을 달성한다.
• 이 연구는 방향 그래프에서 o(n²)의 업데이트 시간을 갖는 첫 번째 결정적 부분 동적 APSP 알고리즘을 제안하여 제곱 시간 장벽을 돌파한다.
• 무작위적 적대자 가정 하에, 기존의 감소적 랜덤화된 APSP 알고리즘을 몬테카를로에서 라스 베가스로 향상시켰으며, 점근적 업데이트 시간 경계는 증가하지 않았다.
• (1+ǫ)-근사 최단경로를 기반으로 한 새로운 허브 정의는 기존의 히트 기반 허브 모델의 한계를 극복하고, 가중치가 있는 그래프에서의 안정적인 유지 기능을 가능하게 한다.
• 계층적 허브 세트 H1, H6, H6², ..., H6ᵏ의 사용은 검증 비용을 감소시키며, 동적 허브 유지에 대해 총 업데이트 시간이 eO(nm)이 되도록 한다.
• 이 프레임워크는 기존의 APSP 데이터 구조를 안정적인 허브 세트로 교체할 수 있도록 하며, 매개변수 조정을 통해 가능하다: h를 다항로그 인자로 증가시키고 ǫ′을 다항로그 인자로 감소시킴으로써.