[논문 리뷰] APMF < APSP? Gomory-Hu Tree for Unweighted Graphs in Almost-Quadratic Time.

Amir Abboud, Robert Krauthgamer외 1명|arXiv (Cornell University)|2021. 06. 05.

Complexity and Algorithms in Graphs참고 문헌 59인용 수 8

한 줄 요약

이 논문은 비가중치 간선을 가진 단순 그래프에 대해 Gomory-Hu 트리를 $ n^{2+o(1)} $ 시간 내에 구성하는 랜덤화된 알고리즘을 제시한다. 이는 All-Pairs Maximum-Flow가 All-Pairs Shortest-Paths보다 빠르게 수행될 수 있는 첫 번째 비삼차 시간 알고리즘이며, 랜덤화된 피벗 선택을 대체하는 동적 피벗 기법이 핵심 혁신이다. 이 기법은 근사 제곱 시간 복잡도를 가능하게 하며, 비가중치 그래프에서 최대 유량의 복잡도에 대한 열린 문제를 해결한다.

ABSTRACT

We design an $n^{2+o(1)}$-time algorithm that constructs a cut-equivalent (Gomory-Hu) tree of a simple graph on $n$ nodes. This bound is almost-optimal in terms of $n$, and it improves on the recent $ ilde{O}(n^{2.5})$ bound by the authors (STOC 2021), which was the first to break the cubic barrier. Consequently, the All-Pairs Maximum-Flow (APMF) problem has time complexity $n^{2+o(1)}$, and for the first time in history, this problem can be solved faster than All-Pairs Shortest Paths (APSP). We further observe that an almost-linear time algorithm (in terms of the number of edges $m$) is not possible without first obtaining a subcubic algorithm for multigraphs. Finally, we derandomize our algorithm, obtaining the first subcubic deterministic algorithm for Gomory-Hu Tree in simple graphs, showing that randomness is not necessary for beating the $n-1$ times max-flow bound from 1961. The upper bound is $ ilde{O}(n^{2\frac{2}{3}})$ and it would improve to $n^{2+o(1)}$ if there is a deterministic single-pair maximum-flow algorithm that is almost-linear. The key novelty is in using a ``dynamic pivot'' technique instead of the randomized pivot selection that was central in recent works.

연구 동기 및 목표

• 비가중치 단순 그래프에서 All-Pairs Maximum-Flow(APMF)와 All-Pairs Shortest-Paths(APSP) 간의 복잡도 격차를 해소한다.
• 단순 비가중치 그래프에서 Gomory-Hu 트리를 근사 제곱 시간 복잡도로 구성하는 알고리즘을 달성한다.
• 서브세기 시간 내에 Gomory-Hu 트리를 구성하는 과정에서 무작위성을 제거하여, 단순 그래프에 대해 첫 번째 결정론적 서브세기 시간 알고리즘을 제공한다.
• 다중그래프로의 감소를 통해 장벽을 규명함으로써, 단순 그래프에서 Gomory-Hu 트리에 대해 $ m^{1+o(1)} $ 시간 알고리즘이 가능한지 여부를 규명한다.

제안 방법

• 이전 연구에서 사용된 랜덤화된 피벗 선택을 대체하기 위해 동적 피벗 기법을 도입하여 그래프 분해에 대한 더 나은 제어를 가능하게 한다.
• 저항도가 낮은 컷을 효율적으로 식별하고 트리 구성에 안내하기 위해, 정점 요구량을 갖는 확산자 분해를 핵심 원리로 활용한다.
• Gomory-Hu 트리 구성 문제를 $ n-1 $ 번의 최대 유량 계산이 아닌, $ \tilde{O}(1) $ 번의 최대 유량 계산으로 감소시킨다. 이는 $ n^{2+o(1)} $ 개의 간선을 갖는 그래프에서 수행된다.
• 간선 분할을 통한 다중그래프에서 단순 그래프로의 새로운 감소 기법을 사용하여 조건부 하한을 확립한다.
• 랜덤화된 피벗 선택을 결정론적 동적 피벗 전략으로 대체함으로써 알고리즘을 결정론화하고, 근사 최적의 시간 복잡도를 유지한다.
• 단순 그래프의 컷-동치 트리에 대한 정교한 구조적 통찰을 활용해 Gomory-Hu 프레임워크를 적용한다.

실험 결과

연구 질문

• RQ1 비가중치 단순 그래프에서 All-Pairs Maximum-Flow 문제를 $ n^{2+o(1)} $ 시간 내에 해결할 수 있는가?
• RQ2 단순 그래프에서 Gomory-Hu 트리를 $ m^{1+o(1)} $ 시간 내에 구성할 수 있는가, 아니면 근본적인 장벽이 존재하는가?
• RQ3 Gomory-Hu 트리 알고리즘에서 랜덤화된 피벗 선택을 효율성을 잃지 않고 완전히 결정론화할 수 있는가?
• RQ4 비가중치 다중그래프에서 서브세기 알고리즘이 존재한다면, 이는 단순 그래프에 대해서도 서브세기 알고리즘이 존재함을 의미하는가?
• RQ5 비가중치 그래프에서 All-Pairs Maximum-Flow의 복잡도는 All-Pairs Shortest-Paths보다 엄격히 낮을 수 있는가?

주요 결과

• 논문은 비가중치 그래프에서 Gomory-Hu 트리를 $ n^{2+o(1)} $ 시간 내에 구성하는 랜덤화된 알고리즘을 제시하며, 비가중치 그래프에서 APMF가 APSP보다 더 빠르게 해결될 수 있는지 여부에 대한 열린 문제를 해결한다.
• 동일한 저자들이 이전에 제시한 $ \tilde{O}(n^{2.5}) $ bound를 개선하여 근사 제곱 시간 복잡도를 달성한다.
• 단순 그래프에서 Gomory-Hu 트리에 대해 결정론적 서브세기 시간 알고리즘을 달성하여, $ n^3 $ 장벽을 뛰어넘기 위해 무작위성이 필수적인 것이 아님을 보여준다.
• 단일 쌍 최대 유량 알고리즘이 거의 선형 시간이면 알고리즘의 시간 복잡도는 $ \tilde{O}(n^{2.66}) $ 로 나타나며, 그러한 알고리즘이 존재한다면 복잡도는 $ n^{2+o(1)} $ 로 향상된다.
• 다중그래프에 대해 $ n^{3-o(1)} $ 하한이 추측된다는 가정 하에, 단순 그래프에서 $ O(n) $ 개 간선을 갖는 Gomory-Hu 트리 구성에 대해 조건부 $ \Omega(n^{1.5}) $ 하한을 확립한다.
• 결과적으로, 단순 그래프에서 $ m^{1+o(1)} $ 시간 알고리즘이 가능하려면 비가중치 다중그래프에 대해 서브세기 알고리즘이 존재해야 한다는 것을 의미한다.