[논문 리뷰] Improved Minimum Cuts and Maximum Flows in Undirected Planar Graphs

Giuseppe F. Italiano, Piotr Sankowski|arXiv (Cornell University)|2010. 11. 12.

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

한 줄 요약

이 논문은 무방향 평면 그래프에서 최소 컷과 최대 유량 문제에 대해 $O(n\log n)$ 장벽을 뛰어넘는 최초의 알고리즘을 제시한다. 이는 이중 그래프에 대한 새로운 클러스터 기반 분할 정복 기법을 통해 $O(n\log\log n)$ 시간에 달성된다. 또한 $O(n^{2/3}\log^3 n)$의 평균 시간 복잡도를 가지는 완전 동적 알고리즘을 도입하여 간선 갱신 및 최소 컷/최대 유량 쿼리에 대응하며, 새로운 동적 최단경로 기법에 의해 구동된다.

ABSTRACT

In this paper we study minimum cut and maximum flow problems on planar graphs, both in static and in dynamic settings. First, we present an algorithm that given an undirected planar graph computes the minimum cut between any two given vertices in O(n log log n) time. Second, we show how to achieve the same O(n log log n) bound for the problem of computing maximum flows in undirected planar graphs. To the best of our knowledge, these are the first algorithms for those two problems that break the O(n log n) barrier, which has been standing for more than 25 years. Third, we present a fully dynamic algorithm that is able to maintain information about minimum cuts and maximum flows in a plane graph (i.e., a planar graph with a fixed embedding): our algorithm is able to insert edges, delete edges and answer min-cut and max-flow queries between any pair of vertices in O(n^(2/3) log^3 n) time per operation. This result is based on a new dynamic shortest path algorithm for planar graphs which may be of independent interest. We remark that this is the first known non-trivial algorithm for min-cut and max-flow problems in a dynamic setting.

연구 동기 및 목표

• 무방향 평면 그래프에서 최소 컷과 최대 유량 문제에 대해 오랫동안 유지되어 온 $O(n\\log n)$ 시간 복잡도의 한계를 극복하기 위해.
• 간선 삽입, 삭제 및 최소 컷/최대 유량 쿼리가 가능한 완전 동적 알고리즘을 개발하여 평면 그래프에서 더 나은 평균 시간 복잡도를 달성하기 위해.
• 간선 갱신과 임베딩 변경을 지원하는 새로운 동적 최단경로 알고리즘을 제안하여 동적 유량 및 컷 알고리즘을 가능하게 하기 위해.

제안 방법

• 무방향 평면 그래프의 이중 그래프를 활용하여, 최소 $s$-$t$ 컷 문제를 경로 $\pi$ 에 따라 잘라낸 수정된 그래프 $G_\pi$ 에서의 최단경로 문제로 변환한다.
• 평면 그래프의 클러스터 분해를 사용하여 이중 그래프에서 유연한 경로 선택 $\pi$ 를 가능하게 하여, $O(n\log\log n)$ 총 시간에 빠른 분할 정복을 실현한다.
• Fakcharoenphol-Rao 최단경로 알고리즘을 사용하여 수정된 이중 그래프 $G_\pi$ 에서 최단경로를 계산하며, 평면 그래프에서의 $O(n\log\log n)$ 성능를 활용한다.
• 이중 그래프에서 정점의 사이클 표현을 유지하여, 원본 그래프의 간선 삽입 및 삭제 시 정점 분할 및 결합을 효율적으로 지원한다.
• 클러스터와 홀을 위해 조밀한 거리 그래프를 구성하여, 동적 환경에서 최소 컷과 최단경로를 효율적으로 계산한다.
• 전체 재건 기법을 적용하여 평균 성능에 맞는 최악의 경우 시간 복잡도를 확보함으로써, 임의의 갱신 시퀀스에서도 안정성을 확보한다.

실험 결과

연구 질문

• RQ1 이중 그래프에서의 새로운 구조적 통찰을 통해, 무방향 평면 그래프에서 최소 컷의 $O(n\log n)$ 시간 복잡도를 뛰어넘을 수 있는가?
• RQ2 최소 컷 알고리즘의 오버헤드에 영향을 받지 않고, 무방향 평면 그래프에서 최대 유량을 $O(n\log\log n)$ 시간에 계산할 수 있는가?
• RQ3 간선 삽입, 삭제 및 임베딩 변경 조건 하에서도, 최소 컷과 최대 유량 정보를 부분선형 갱신 시간으로 유지할 수 있는 완전 동적 알고리즘이 가능한가?
• RQ4 간선 갱신과 임베딩 수정 조건 하에서도 효율적인 최단경로 쿼리를 가능하게 하는 동적 데이터 구조와 기법은 무엇인가?
• RQ5 동적 유량 및 컷 계산을 지원하기 위해 이중 그래프의 정점 분할 및 결합을 효율적으로 모델링할 수 있는가?

주요 결과

• 논문은 무방향 평면 그래프에서 최소 $s$-$t$ 컷을 계산하는 데 $O(n\log\log n)$ 시간 알고리즘을 달성하여, 최초로 $O(n\log n)$ 장벽을 돌파한다.
• 무방향 평면 그래프에서 최대 유량을 계산하는 데 $O(n\log\log n)$ 시간 알고리즘을 개발하여, 최소 컷 알고리즘의 향상된 복잡도와 일치시킨다.
• 간선 삽입, 삭제 및 최소 컷/최대 유량 쿼리를 $O(n^{2/3}\log^3 n)$ 평균 시간 복잡도로 처리하는 완전 동적 알고리즘을 제시하였으며, 이러한 문제들에 대해 최초로 비트리비얼한 동적 알고리즘을 제공한다.
• 동적 알고리즘은 간선 삽입, 삭제 및 임베딩 변경을 지원하는 새로운 동적 최단경로 기법에 기반하며, 운영당 $O(n^{2/3}\log^2 n)$ 평균 시간 복잡도를 가진다.
• 이중 정점에 대한 사이클 표현의 사용은 원본 간선 갱신 시 정점 분할 및 결합을 효율적으로 처리하여 정확성과 효율성을 유지한다.
• 클러스터 분해, 이중 그래프 조작, 효율적인 최단경로 계산의 조합을 통해 결과를 달성하였으며, 전체 재건 기법을 통해 최악의 경우 복잡도도 확보할 수 있다.