[논문 리뷰] Dynamic Shortest Path and Transitive Closure Algorithms: A Survey

Daniel P. Martin|arXiv (Cornell University)|2017. 09. 02.

Complexity and Algorithms in Graphs참고 문헌 61인용 수 3

한 줄 요약

이 종합적 서베이는 완전 동적 및 부분 동적 그래프에 대한 동적 최단 경로 및 전이 폐쇄 알고리즘에 대해 기초적이고 최신의 접근법을 포괄적으로 개괄하며, 업데이트 시간과 쿼리 시간 사이의 트레이드오프에 중점을 두고 있다. Even-Shiloach 및 Roddity-Zwick 기반의 핵심 알고리즘을 제시하고, OMv 및 BMM 추측에서 유도된 조건부 하한과의 연결을 수립한다.

ABSTRACT

Algorithms which compute properties over graphs have always been of interest in computer science, with some of the fundamental algorithms, such as Dijkstra's algorithm, dating back to the 50s. Since the 70s there as been interest in computing over graphs which are constantly changing, in a way which is more efficient than simple recomputing after each time the graph changes. In this paper we provide a survey of both the foundational, and the state of the art, algorithms which solve either shortest path or transitive closure problems in either fully or partially dynamic graphs. We balance this with the known conditional lowerbounds.

연구 동기 및 목표

• 완전 동적 및 부분 동적 그래프에서의 동적 최단 경로 및 전이 폐쇄를 위한 기초적이고 최신의 알고리즘을 서베이하는 것.
• 특히 완전 동적 및 감소 설정의 맥락에서 동적 그래프 알고리즘에서 업데이트 시간과 쿼리 시간 사이의 트레이드오프를 분석하는 것.
• 다양한 그래프 유형과 제약 조건에서 동적 연결성, 최단 경로, 전이 폐쇄 문제에 대한 알려진 상한을 제시하고 비교하는 것.
• OMv 및 BMM 추측에 기반한 조건부 하한을 검토하고, 알고리즘 효율성에 대한 그 영향을 평가하는 것.
• 디랜덤화, 결정적 알고리즘과 랜덤화 알고리즘 간의 분리, 증가 설정과 감소 설정 간의 하한을 강화하는 것과 같은 열린 문제를 식별하는 것.

제안 방법

• Even와 Shiloach의 감소 동적 연결성 알고리즘 및 그 변종을 포함한 광범위한 동적 그래프 알고리즘 서베이.
• 균형 잡힌 시간 복잡도와 최악의 경우 시간 복잡도를 분석하며, 특히 (1+ε)-근사치를 사용한 완전 동적 전쌍 최단 경로에 중점을 둔다.
• Roddity-Zwick 알고리즘에서 매개변수 t를 사용한 트레이드오프 메커니즘을 제시하며, 여기서 업데이트 시간은 O(mn/t)이고 쿼리 시간은 O(t)이다.
• 동적 모델(증가, 감소, 완전 동적), 그래프 유형(유방향/무방향), 가중치 제약 조건(양의 정수, 실수)에 따라 알고리즘을 분류하는 것.
• 온라인 행렬-벡터 곱셈(OMv) 및 부울 행렬 곱셈(BMM) 추측에서 유도된 조건부 하한을 사용하여 기존 알고리즘의 최적성 평가.
• 단일 소스, s-t, 전쌍 설정을 포함한 다양한 문제 변형에서 알고리즘 성능을 비교하며, 근사치 유무에 관계없이 분석.

실험 결과

연구 질문

• RQ1 동적 전쌍 최단 경로 및 전이 폐쇄에 대해 알려진 가장 효율적인 알고리즘은 무엇이며, 업데이트 시간과 쿼리 시간 사이에서 어떤 트레이드오프를 달성하는가?
• RQ2 OMv 및 BMM 추측에서 유도된 조건부 하한은 동적 그래프 알고리즘의 성능에 어떻게 제약을 가하는가?
• RQ3 증가 설정과 감소 설정 간의 성능 격차를 이론적으로 설명하거나 좁힐 수 있는가?
• RQ4 디랜덤화는 동적 그래프 알고리즘에 어떤 영향을 미치며, 특히 결정적 및 랜덤화된 상한의 맥락에서 어떤 의미를 갖는가?
• RQ5 기존의 동적 알고리즘이 조건부 하한에 도달하거나 이를 근접하도록 얼마나 향상시킬 수 있는가?

주요 결과

• 감소 동적 연결성에 대한 Even-Shiloach 알고리즘은 총 업데이트 시간 O(mn)과 쿼리 시간 O(1)을 달성하여 후속 동적 알고리즘의 기초가 된다.
• Roddity와 Zwick의 전완전 동적 (1+ε)-근사치 알고리즘은 업데이트 시간 O(mn/t)와 쿼리 시간 O(t)를 달성하여 조정 가능한 트레이드오프를 가능하게 한다.
• 감소 동적 단일 소스 최단 경로의 경우, 총 업데이트 시간 O(n²)과 쿼리 시간 O(1)을 달성하는 알고리즘이 존재하여 난이도 높은 재계산 방법보다 향상된다.
• 조건부 하한은 동적 전쌍 최단 경로 문제를 O((mn)^{1−ε}) 이하의 업데이트 시간으로 해결할 수 없다는 것을 시사하며, 이는 OMv 추측이 참이 아닐 경우에 한해 성립한다.
• 강한 연결 성분에 대한 최고의 알려진 감소 동적 알고리즘은 O(m log n) 시간에 수행되며, 난이도 높은 재계산 방법보다 크게 향상된다.
• 이 서베이에서는 정확한 거리 값을 갖는 완전 동적 전쌍 최단 경로 알고리즘의 현재 성능가 조건부 하한에 의해 제한되어 있음을 강조하며, 효율성을 확보하기 위해 근사치 또는 평균화된 상한이 필요하다고 시사한다.