[논문 리뷰] Approximate Undirected Maximum Flows in O(m polylog(n)) Time

Richard Peng|arXiv (Cornell University)|2014. 11. 27.

Complexity and Algorithms in Graphs인용 수 8

한 줄 요약

이 논문은 초희박화 기법과 무차별 라우팅 체계를 반복적으로 활용하여, 무방향 그래프에서 최대 유량을 근사하는 데 있어 처음으로 $O(m\text{polylog}(n))$ 시간 알고리즘을 제안한다. 흐름 근사화 과정에서 발생하는 닭과 계란 문제를 크기 감소 기법을 통해 재귀적 비용을 제한함으로써 해결하며, 다항로그 수준의 근사 품질을 확보하면서 거의 선형 시간 복잡도를 달성한다.

ABSTRACT

We give the first O(m polylog(n)) time algorithms for approximating maximum flows in undirected graphs and constructing polylog(n) -quality cut-approximating hierarchical tree decompositions. Our algorithm invokes existing algorithms for these two problems recursively while gradually incorporating size reductions. These size reductions are in turn obtained via ultra-sparsifiers, which are key tools in solvers for symmetric diagonally dominant (SDD) linear systems.

연구 동기 및 목표

• 무방향 그래프에서의 근사 최대 유량에 대한 $O(m^{1+o(1)})$ 실행 시간 장벽을 돌파하기 위해.
• 재귀적 최대 유량 호출을 통해 다항로그 수준의 품질을 갖는 무차별 라우팅 체계를 구성하는 데 발생하는 닭과 계란 문제를 해결하기 위해.
• 모든 재귀적 흐름 인스턴스의 누적 크기를 제한함으로써 총 실행 시간을 $O(m\text{polylog}(n))$로 유지하기 위해.
• 다항로그 수준의 품질을 갖는 컷 근사 히에라르키컬 트리 분해를 효율적으로 구성하기 위해.
• 기존의 혼잡도 근사기법과 비율 컷 근사 기법에 기반한 방법들을 통합하고 개선하기 위해.

제안 방법

• 초희박화 기법을 통해 점점 더 작은 그래프로의 근사 최대 유량 알고리즘의 재귀적 호출.
• 초희박화 기법을 사용하여 그래프 크기를 $\text{polylog}(n)$ 배수로 감소시켜 총 재귀 비용이 $O(m)$를 초과하지 않도록 보장.
• 초희박화된 부분 그래프에서의 재귀 호출을 통해 원래 그래프에 대한 $\text{polylog}(n)$-혼잡도 근사기법을 구성.
• 행렬-벡터 곱 연산을 통해 초희박화된 그래프에서의 근사기법을 원래 그래프로 변환하며, 비용이 제한된 채로 수행.
• Räcke 등이 제안한 무차별 라우팅 체계 구축 방법을 블랙박스 근사기법으로 활용하여 다항로그 수준의 품질을 확보.
• 고확률 성공 보장을 갖는 몬테카를로 무작위 루틴을 사용하며, 재귀 호출에 걸쳐 실패 확률을 유니언 바운드를 통해 제한.

실험 결과

연구 질문

• RQ1 무방향 그래프에서의 근사 최대 유량은 $O(m\text{polylog}(n))$ 시간 내에 계산될 수 있는가?
• RQ2 흐름 근사화와 무차별 라우팅 체계 구축 간의 재귀적 의존성을 해결하여 거의 선형 시간 복잡도를 달성할 수 있는가?
• RQ3 초희박화 기법을 사용하여 모든 재귀적 흐름 계산의 총 크기를 $O(m)$ 이내로 제한할 수 있는가?
• RQ4 시간 복잡도 $O(m\text{polylog}(n))$ 내에서 구성 가능한 다항로그 수준의 품질을 갖는 무차별 라우팅 체계가 존재하는가?
• RQ5 근사 품질의 $\epsilon^{-3}$ 의존성을 유지하면서도 거의 선형 총 실행 시간을 확보할 수 있는가?

주요 결과

• 알고리즘은 $O(m\log^{41}n\log^{2}\log{n}\max\{\log^{9}n,\epsilon^{-3}\})$ 시간 내에 $(1+\epsilon)$-근사 최대 유량 해를 달성한다.
• 초희박화 기법에 의한 크기 감소 덕분에 모든 재귀적 최대 유량 호출의 총 비용이 $O(m\text{polylog}(n))$ 이내로 제한된다.
• 다항로그 수준의 품질을 갖는 무차별 라우팅 체계는 $O(m\log^{45}n\log^{2}\log{n}})$ 시간 내에 구성될 수 있다.
• 재귀 호출이 더 작은 그래프에서 이루어지더라도 전체 비용이 $O(m\text{polylog}(n))$ 이내로 유지되도록 보장함으로써 닭과 계란 문제를 해결한다.
• 초희박화 기법을 통해 모든 재귀적 흐름 인스턴스의 총 크기가 최대 $m/2$ 이내로 유지되어 재귀적 비용의 기하급수 감소를 가능하게 한다.
• 재귀적 희박화와 블랙박스 무차별 라우팅, 혼잡도 근사기법 루틴을 조합함으로써 $O(m\text{polylog}(n))$ 실행 시간을 달성한다.