[논문 리뷰] Minimum Cycle Basis and All-Pairs Min Cut of a Planar Graph in Subquadratic Time

Christian Wulff‐Nilsen|ArXiv.org|2009. 12. 07.

Advanced Graph Theory Research참고 문헌 23인용 수 5

한 줄 요약

이 논문은 비음수 간선 가중치를 가진 평면 그래프의 최소 사이클 기저(MCB)를 계산하기 위한 $O(n^{3/2}"\log n)$ 시간 및 $O(n^{3/2})$ 공간 알고리즘을 제시한다. 기저를 암시적으로 표현하여 이차 이하 성능를 달성한다. 주요 기여는 이 접근 방식이 $C$가 기저 내 사이클의 총 크기일 때 $O(n^{3/2}"\log n + C)$ 시간 및 $O(n^{3/2} + C)$ 공간으로 MCB를 출력에 민감하게 계산할 수 있도록 해주며, 평면 그래프에서 전쌍 최소 컷 문제, 가중치 벡터 계산, Gomory-Hu 트리 구축을 효율적으로 확장할 수 있다는 점이다.

ABSTRACT

A minimum cycle basis of a weighted undirected graph $G$ is a basis of the cycle space of $G$ such that the total weight of the cycles in this basis is minimized. If $G$ is a planar graph with non-negative edge weights, such a basis can be found in $O(n^2)$ time and space, where $n$ is the size of $G$. We show that this is optimal if an explicit representation of the basis is required. We then present an $O(n^{3/2}\log n)$ time and $O(n^{3/2})$ space algorithm that computes a minimum cycle basis \emph{implicitly}. From this result, we obtain an output-sensitive algorithm that explicitly computes a minimum cycle basis in $O(n^{3/2}\log n + C)$ time and $O(n^{3/2} + C)$ space, where $C$ is the total size (number of edges and vertices) of the cycles in the basis. These bounds reduce to $O(n^{3/2}\log n)$ and $O(n^{3/2})$, respectively, when $G$ is unweighted. We get similar results for the all-pairs min cut problem since it is dual equivalent to the minimum cycle basis problem for planar graphs. We also obtain $O(n^{3/2}\log n)$ time and $O(n^{3/2})$ space algorithms for finding, respectively, the weight vector and a Gomory-Hu tree of $G$. The previous best time and space bound for these two problems was quadratic. From our Gomory-Hu tree algorithm, we obtain the following result: with $O(n^{3/2}\log n)$ time and $O(n^{3/2})$ space for preprocessing, the weight of a min cut between any two given vertices of $G$ can be reported in constant time. Previously, such an oracle required quadratic time and space for preprocessing. The oracle can also be extended to report the actual cut in time proportional to its size.

연구 동기 및 목표

• 비음수 간선 가중치를 가진 평면 그래프에서 최소 사이클 기저(MCB)를 계산하기 위한 이차 이하 알고리즘을 개발하는 것.
• 기저를 암시적으로 표현하여 최종적으로 전체 사이클 크기에 비례하는 시간에 기저를 명시적으로 구성함으로써 출력에 민감한 MCB 계산을 달성하는 것.
• MCB 이중성에 기반하여 평면 그래프에서 전쌍 최소 컷 문제(APMCP)를 이차 이하 시간에 해결하기 위해 MCB 알고리즘을 확장하는 것.
• 평면 그래프의 가중치 벡터와 Gomory-Hu 트리를 $O(n^{3/2}"\log n)$ 시간 및 $O(n^{3/2})$ 공간으로 계산하여 이전의 이차 상한선을 개선하는 것.
• 전처리 시간과 공간이 이차 이하인 평면 그래프용 최소 컷 오라클을 구축하는 것. 전처리 시간은 $O(n^{3/2}"\log n)$, 공간은 $O(n^{3/2})$이며, 질의에 대해 상수 시간에 최소 컷 무게를 보고하고, 크기 $k$의 실제 컷을 $O(k)$ 시간에 보고할 수 있다.

제안 방법

• 알고리즘은 평면 그래프의 구조적 성질을 이용하여 문제 크기를 재귀적으로 줄이는 분할정복 접근 방식을 사용한다.
• 모든 사이클을 명시적으로 저장하지 않고도 기저를 암시적으로 계산하기 위해 압축된 표현을 유지한다.
• 이중성에 기반하여 평면 그래프에서 최단 경로 계산을 수행하기 위해 이진 상승 기법과 정점 인덱스 비교를 통해 각 전행자 업데이트에 $O("\log n)$ 시간이 소요되는 lex-최단 경로 트리 데이터 구조를 활용한다.
• 경로 상의 가장 낮은 공통 조상 및 최소 정점 인덱스 질의를 $O(\log n)$ 시간에 지원하기 위해 계층적 조상 데이터 구조를 사용하며, $p_i[u]$ 및 $m_i[u]$ 포인터를 활용한다.
• 최단 경로 트리와 사이클 공간 기저 추출을 결합하여 MCB를 계산하며, 평면 그래프에서 MCB와 전쌍 최소 컷 간의 이중성에 기반한다.
• Gomory-Hu 트리 구축을 위해 암시적 MCB 표현을 활용하여 $O(n^{3/2}"\log n)$ 시간 내에 모든 최소 컷 정보를 압축된 형태로 담은 트리를 구축한다.

실험 결과

연구 질문

• RQ1 비음수 간선 가중치를 가진 평면 그래프의 최소 사이클 기저는 이차 이하 시간 및 공간으로 계산될 수 있는가?
• RQ2 기저를 암시적으로 계산한 후 출력 크기에 비례하는 시간에 명시적으로 구성하는 것이 가능한가?
• RQ3 MCB 이중성에 기반하여 평면 그래프에서 전쌍 최소 컷 문제를 이차 이하 시간에 해결할 수 있는가?
• RQ4 평면 그래프의 가중치 벡터와 Gomory-Hu 트리는 $O(n^{3/2}"\log n)$ 시간 및 $O(n^{3/2})$ 공간으로 계산될 수 있는가?
• RQ5 전처리 시간과 공간이 이차 이하인 평면 그래프용 최소 컷 오라클을 구축할 수 있는가?

주요 결과

• 논문은 어떤 알고리즘이 평면 그래프의 MCB를 명시적으로 출력하는 데에도 $\Omega(n^2)$ 시간이 필요하다고 증명하며, 이는 명시적 표현에 대해 이전의 $O(n^2)$ 상한선이 최적임을 시사한다.
• 암시적 MCB 계산은 $O(n^{3/2}"\log n)$ 시간 및 $O(n^{3/2})$ 공간으로 수행되며, 이는 이차 이하이면서 암시적 출력을 가정할 경우 최적이다.
• 출력에 민감한 알고리즘은 $C$가 기저 내 사이클의 총 크기일 때 $O(n^{3/2}"\log n + C)$ 시간 및 $O(n^{3/2} + C)$ 공간으로 명시적 MCB를 계산한다.
• 무게가 동일한 평면 그래프의 경우, 암시적 및 명시적 MCB 계산 모두 $O(n^{3/2}"\log n)$ 시간 및 $O(n^{3/2})$ 공간으로 단순화된다.
• 알고리즘은 평면 그래프의 Gomory-Hu 트리 및 가중치 벡터를 $O(n^{3/2}"\log n)$ 시간 및 $O(n^{3/2})$ 공간으로 구성할 수 있으며, 이는 이전의 $O(n^2)$ 상한선을 개선한다.
• 전처리 시간 $O(n^{3/2}"\log n)$ 및 공간 $O(n^{3/2})$로 최소 컷 오라클을 구성하였으며, 이는 최소 컷 무게 질의에 대해 상수 시간에 응답하고, 크기 $k$의 실제 컷을 $O(k)$ 시간에 보고할 수 있다.