[논문 리뷰] Multiple-Source Shortest Paths in Embedded Graphs

Sergio Cabello, Erin Wolf Chambers외 1명|arXiv (Cornell University)|2012. 02. 01.

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

한 줄 요약

이 논문은 방향성 있는 가중치가 부여된 그래프를 종수 g인 표면에 매bed한 경우, 임의의 면 경계 상의 정점에서 다른 어떤 정점으로까지의 최단경로 거리 질의를 O(log n) 시간에 수행할 수 있도록 하는 랜덤화된 O(gn log n) 시간 알고리즘을 제안한다. 이 방법은 운동학적 데이터 구조와 동적 트리를 사용하여 클라인의 평면 다중원천 최단경로 알고리즘을 고종수 표면으로 일반화한 것으로, O(g²n log²n) 시간에 최단 비수축성 및 비분리성 사이클을 계산하는 데의 적용을 포함한다.

ABSTRACT

Let G be a directed graph with n vertices and non-negative weights in its directed edges, embedded on a surface of genus g, and let f be an arbitrary face of G. We describe a randomized algorithm to preprocess the graph in O(gn log n) time with high probability, so that the shortest-path distance from any vertex on the boundary of f to any other vertex in G can be retrieved in O(log n) time. Our result directly generalizes the O(n log n)-time algorithm of Klein [SODA 2005] for multiple-source shortest paths in planar graphs. Intuitively, our preprocessing algorithm maintains a shortest-path tree as its source point moves continuously around the boundary of f. As an application of our algorithm, we describe algorithms to compute a shortest non-contractible or non-separating cycle in embedded, undirected graphs in O(g^2 n log n) time with high probability. Our high-probability time bounds hold in the worst-case for generic edge weights, or with an additional O(log n) factor for arbitrary edge weights.

연구 동기 및 목표

• 평면 그래프에 대한 클라인의 O(n log n) 다중원천 최단경로 알고리즘을 종수 g인 표면에 매bed된 그래프로 일반화하기 위해.
• 지정된 면의 경계 상의 임의의 정점에서 그래프 내의 다른 어떤 정점으로까지의 효율적인 최단경로 거리 및 경로 질의를 지원하기 위해.
• 핵심 응용으로서, 매bed된 무방향 그래프에서 최단 비수축성 및 비분리성 사이클을 계산하기 위해.
• 랜덤화된 편향을 사용하고 동적 데이터 구조를 활용하여 임의의 간선 가중치를 고려하여 높은 확률로 처리하기 위해.
• g = o(n)일 때, 특히 저종수 표면에 대해 모든 정점 쌍 최단경로보다 향상된 시간 복잡도를 달성하기 위해.

제안 방법

• 원천 정점이 지정된 면 f의 경계를 연속적으로 이동함에 따라 최단경로 트리를 유지하기 위해 운동학적 데이터 구조 접근법을 사용한다.
• 동적 트리(특히 splay 트리 또는 link-cut 트리)를 사용하여 원본 최단경로 트리와 그 이중 산림을 표현함으로써 효율적인 피벗 연산을 가능하게 한다.
• 거리 및 슬랙 비교에서의 갈림길을 제거하기 위해 사전순 편향 기법을 사용하여 유일한 결과를 보장하고, 최소 공통 조상(LCA) 질의를 통해 효율적인 비교를 가능하게 한다.
• 이동하는 원천 경로를 따라 슬랙 값의 변화를 추적하여 최단경로 트리에 들어오거나 나가는 간선이 바뀌는 임계 사건을 식별한다.
• ‘초록’ 서브트리의 우선순위 큐를 사용하고, SMALLERLEXSLACK 및 SMALLERLEXDISTANCE 비교를 통해 O(log n)의 분할된 시간 복잡도로 각 연산에서 갈림길을 해결한다.
• 전체 면 경계를 순회하는 동안 피벗 연산의 총 수는 O(gn)으로 제한되며, 이는 고려 확률로 총 O(gn log n) 전처리 시간을 이끌어낸다.

실험 결과

연구 질문

• RQ1 평면 그래프에 대한 다중원천 최단경로 알고리즘이 고종수 표면에 매bed된 그래프로 일반화될 수 있는가?
• RQ2 종수 g인 표면에서 원천이 면 경계를 따라 이동할 때 최단경로 트리를 유지하는 데 필요한 점근적 복잡도는 무엇인가?
• RQ3 동적 데이터 구조는 고종수 그래프에서 스패닝 트리의 이중성 부재를 어떻게 다룰 수 있는가?
• RQ4 간선 가중치의 편향이 원천 이동 중 피벗 연산의 수에 어떤 영향을 미치는가?
• RQ5 제안된 전처리 구조를 사용하여 최단 비수축성 및 비분리성 사이클을 효율적으로 계산할 수 있는가?

주요 결과

• 전처리 단계는 고려 확률로 O(gn log n) 시간에 수행되며, g = o(n)일 때 밀도가 높은 그래프의 O(n²)에 비해 크게 향상된다.
• 면의 경계 상의 임의의 정점에서 다른 어떤 정점으로까지의 거리 질의는 암시적 데이터 구조를 사용해 O(log n) 시간에 응답한다.
• 최단경로 보고는 k가 경로의 간선 수이고 Δ가 최대 차수일 때 O(log n + k log Δ) 시간에 지원된다.
• 임의의 간선 가중치를 고려할 때 최단 비분리성 사이클은 최악의 경우 O(g²n log²n) 시간에 계산된다.
• 최단 비수축성 사이클은 b가 경계 성분의 수일 때 O((g² + b)n log²n) 시간에 계산된다.
• 면 경계를 순회하는 동안 피벗 연산의 수는 O(gn)으로 제한되며, 각 피벗은 O(g)개의 동적 트리를 사용해 O(g log n) 시간에 처리된다.