[논문 리뷰] Near Optimal Algorithm for the Directed Single Source Replacement Paths Problem

Shiri Chechik, Ofer Magen|arXiv (Cornell University)|2020. 04. 28.

Recycling and Waste Management Techniques인용 수 5

한 줄 요약

이 논문은 간선 수가 m이고 정점 수가 n인 무방향 방향성 그래프에서 단일 소스 교체 경로(SSRP) 문제를 위한 랜덤화된 조합 알고리즘을 제시한다. 이 알고리즘은 Õ(m√n + n²) 시간에 작동하며, 조건부 조합 하한선을 만족함으로써 거의 최적성을 확보한다. 이는 조합적 환경에서 SSRP의 복잡도를 해결하고, 작은 유리수 가중치로 확장되며, 강화된 난이도 결과를 제공한다.

ABSTRACT

In the Single Source Replacement Paths (SSRP) problem we are given a graph $G = (V, E)$, and a shortest paths tree $\\widehat{K}$ rooted at a node $s$, and the goal is to output for every node $t \\in V$ and for every edge $e$ in $\\widehat{K}$ the length of the shortest path from $s$ to $t$ avoiding $e$. We present an $\ ilde{O}(m\\sqrt{n} + n^2)$ time randomized combinatorial algorithm for unweighted directed graphs. Previously such a bound was known in the directed case only for the seemingly easier problem of replacement path where both the source and the target nodes are fixed. Our new upper bound for this problem matches the existing conditional combinatorial lower bounds. Hence, (assuming these conditional lower bounds) our result is essentially optimal and completes the picture of the SSRP problem in the combinatorial setting. Our algorithm extends to the case of small, rational edge weights. We strengthen the existing conditional lower bounds in this case by showing that any $O(mn^{1/2-\\epsilon})$ time (combinatorial or algebraic) algorithm for some fixed $\\epsilon >0$ yields a truly subcubic algorithm for the weighted All Pairs Shortest Paths problem (previously such a bound was known only for the combinatorial setting).

연구 동기 및 목표

• 단일 소스 교체 경로(SSRP) 문제의 복잡도 격차를 좁히기 위해, 무방향 방향성 그래프에서 near-optimal 시간 복잡도를 달성하는 것.
• 알고리즘을 작은 유리수 간선 가중치로 확장하고, 가중치가 있는 경우에 대해 더 강력한 조건부 하한선을 설정하는 것.
• SSRP에 대해 O(mn^{1/2−ε}) 시간 알고리즘이 존재할 경우, 가중치가 있는 모든 정점 간 최단경로(APSP) 문제에 대해 진정으로 삼차 이하의 알고리즘이 존재하게 된다는 것을 보여주며, 이는 이전의 난이도 결과를 강화하는 것.
• 가중치가 있는 경우에 SSRP가 APSP만큼 어려운지 여부에 대한 열린 질문을 해결하기 위해, 동일한 가정 하에 문제의 조건부 난이도를 입증하는 것.

제안 방법

• 주어진 최단경로 트리의 각 간선을 제거한 상황에서, 소스에서 모든 정점으로의 교체 경로 거리를 계산하는 랜덤화된 조합 알고리즘을 설계한다.
• 행렬 곱셈을 교체 경로 질의를 통해 시뮬레이션하기 위해, 경로 길이를 신중하게 조절한 보조 그래프의 새로운 구성 기법을 사용한다.
• 무방향 그래프에서 최단경로의 구조를 활용하여, 경로 분해와 정점 레이블링을 통해 간선 장애 발생 시 거리를 효율적으로 계산한다.
• 행렬 곱셈(MP)에서 가중치가 [1,2)인 그래프에서 SSRP로의 감소를 적용하며, 행렬 이동을 시뮬레이션하기 위해 긴 경로를 통해 소스 정점과 연결한다.
• MP에서 SSRP로의 감소와 SSRP에서 APSP로의 감소를 조합하여, SSRP 문제의 조건부 하한선을 확립한다.
• 경로 비교 모델과 알려진 난이도 가정을 활용하여, 알고리즘의 실행 시간이 현재 복잡도 이론적 추측 하에 거의 최적임을 입증한다.

실험 결과

연구 질문

• RQ1 무방향 방향성 그래프에서 방향성 SSRP 문제에 대해 near-optimal 조합 알고리즘을 설계할 수 있는가?
• RQ2 동일한 가정 하에, 방향성 경우의 SSRP 문제는 All-Pairs Shortest Paths(APSP)만큼 조건부로 어려운가?
• RQ3 SSRP에 대해 진정으로 삼차 이하의 알고리즘이 존재할 경우, 가중치가 있는 APSP에 대해서도 진정으로 삼차 이하의 알고리즘이 존재하게 되는가?
• RQ4 알고리즘은 근사적으로 최적성을 유지하면서도 작은 유리수 간선 가중치로 확장될 수 있는가?
• RQ5 가중치가 있는 경우, SSRP 문제와 더 단순한 교체 경로(RP) 문제 사이에 복잡도 격차가 존재하는가?

주요 결과

• 논문은 무방향 방향성 그래프에서 방향성 SSRP 문제에 대해 Õ(m√n + n²) 시간에 작동하는 랜덤화된 조합 알고리즘을 제시하며, 이는 현재 알려진 최고의 조건부 조합 하한선과 정확히 일치한다.
• 알고리즘은 작은 유리수 간선 가중치로 확장되며, SSRP에 대해 O(mn^{1/2−ε}) 시간 알고리즘이 존재할 경우, 가중치가 있는 APSP에 대해 진정으로 삼차 이하의 알고리즘이 존재하게 되어, 이는 이전의 조건부 하한선을 강화한다.
• 가중치가 [1,2)인 그래프에서 행렬 곱셈(MP)에서 SSRP로의 감소를 구성하여, SSRP를 효율적으로 해결할 수 있다면 MP도 효율적으로 해결할 수 있음을 보여준다.
• 이 결과는 표준 복잡도 가정 하에, 조합적 모델에서 SSRP 복잡도의 그림을 완성하며, 알고리즘이 본질적으로 최적임을 입증한다.
• 논문은 방향성 그래프에서 SSRP 문제의 난이도가 APSP와 동일한 가정 하에 동일하게 어려운 것으로 확인하여, 오랫동안 열려있던 문제의 복잡도에 대한 장기적인 열린 질문을 해결한다.
• 가중치가 있는 경우, SSRP에 대한 조건부 하한선이 단지 조합적 알고리즘 뿐 아니라, 대수적 알고리즘까지도 적용 가능하도록 강화되어, 이는 이전 결과를 초월한다.