[논문 리뷰] Efficient Data Structures for Incremental Exact and Approximate Maximum Flow

Gramoz Goranci, Monika Henzinger|arXiv (Cornell University)|2022. 11. 17.

Complexity and Algorithms in Graphs인용 수 1

한 줄 요약

이 논문은 간선 삽입에 대한 방향성 무게 없는 그래프에서 (1+ϵ)-근사 최대 s-t 유량을 유지하는 최초의 하향선형 시간 동적 알고리즘을 제안한다. 이 알고리즘은 m^{1/2+o(1)}ϵ^{-1/2}의 평균 갱신 시간을 달성한다. 이 방법은 점진적 단일 소스 간접성과 유량 제한 프레임워크를 결합하며, 최근의 근선형 정적 최대 유량 알고리즘을 활용하여 임의의 우수한 근사 보장을 가지는 하향선형 성능을 달성한다.

ABSTRACT

We show an (1+ε)-approximation algorithm for maintaining maximum s-t flow under m edge insertions in m^{1/2+o(1)} ε^{-1/2} amortized update time for directed, unweighted graphs. This constitutes the first sublinear dynamic maximum flow algorithm in general sparse graphs with arbitrarily good approximation guarantee. Furthermore we give an algorithm that maintains an exact maximum s-t flow under m edge insertions in an n-node graph in Õ(n^{5/2}) total update time. For sufficiently dense graphs, this gives to the first exact incremental algorithm with sub-linear amortized update time for maintaining maximum flows.

연구 동기 및 목표

• 방향성 무게 없는 그래프에서 간선 삽입에 대한 (1+ϵ)-근사 최대 s-t 유량을 하향선형 갱신 시간으로 유지하는 동적 알고리즘을 설계한다.
• δ>0에 대해 O(m^{1−δ}) 시간 내에 정확한 최대 유량 유지가 불가능한 것으로 알려진 조건부 하한을 극복한다.
• 동적 최대 유량 알고리즘의 적용 범위를 무방향 그래프를 초월하여 일반적인 희박한 그래프에서 하향선형 성능을 달성한다.
• 점진적 유량 제한 최대 유량와 정적 정확한 최대 유량 알고리즘을 조합하는 일반적인 프레임워크를 제공하여 효율적인 근사 동적 유량 유지 성능을 달성한다.

제안 방법

• 점진적 유량 제한 최대 유량 알고리즘(IncBMF)과 정적 정확한 최대 유량 알고리즘을 조합하여 (1+ϵ)-근사 동적 유량 유지 성능을 달성하는 일반적인 프레임워크를 제안한다.
• 각 간선 삽입 후 잔여 그래프에서 증강 경로를 탐지하기 위해 점진적 단일 소스 간접성(IncSSR) 데이터 구조를 사용한다.
• 잔여 그래프를 유지하고, IncSSR 구조를 사용하여 각 탐지된 증강 경로를 따라 한 단위의 유량을 순차적으로 전달함으로써 유량을 점진적으로 갱신한다.
• 유량 증강 단계의 수를 µ로 제한하는 유량 제한 메커니즘을 도입하여, 제한된 구성 요소에 대해 총 갱신 시간이 O(mµ)가 되도록 보장한다.
• 최근의 m^{1+o(1)}-시간 정적 최대 유량 알고리즘 [3]을 통합하여 근선형 정적 계산 시간을 달성한다.
• µ = m^{1/2+o(1)}ϵ^{-1/2}로 선택하여 제한된 유량 시간과 정적 유량 계산 시간 사이의 트레이드오프를 균형 잡아 최종적으로 하향선형 갱신 시간을 도출한다.

실험 결과

연구 질문

• RQ1 간선 삽입에 대한 방향성 무게 없는 그래프에서 (1+ϵ)-근사 최대 s-t 유량을 하향선형 평균 갱신 시간으로 유지할 수 있는가?
• RQ2 일반적인 희박한 그래프에서 임의로 우수한 근사 보장 수준을 가지는 동적 최대 유량에 대해 하향선형 갱신 시간을 달성할 수 있는가?
• RQ3 무방향 그래프를 초월하여 방향성 그래프에서 효율적인 갱신 시간을 가지는 동적 최대 유량 알고리즘을 확장할 수 있는가?
• RQ4 유량 제한 최대 유량 유지와 정적 정확한 최대 유량 계산 사이의 최적 트레이드오프는 무엇이며, 이를 통해 하향선형 동적 성능를 달성할 수 있는가?

주요 결과

• 논문은 m개의 간선 삽입에 대한 방향성 무게 없는 그래프에서 (1+ϵ)-근사 최대 s-t 유량을 유지하는 데 있어 평균 갱신 시간이 m^{1/2+o(1)}ϵ^{-1/2}임을 달성한다.
• 현재 유량 값에 대한 쿼리 시간이 O(1)으로 지원되어 효율적인 온라인 유량 값 보고가 가능하다.
• 이것은 일반적인 희박한 방향성 그래프에서 임의의 우수한 근사 요소를 가지는 하향선형 갱신 시간을 달성하는 최초의 동적 알고리즘이다.
• 이 프레임워크는 일반적이며, 임의의 점진적 유량 제한 최대 유량 알고리즘과 임의의 정적 정확한 최대 유량 알고리즘으로 구체화될 수 있다.
• 최근의 돌풍적인 성과 [3] 덕분에 근선형 정적 최대 유량 알고리즘이 존재한다는 가정에 기반한다.
• 이 방법은 향후 경쟁적인 근사 비율을 가지는 완전한 동적 최대 유량 알고리즘에 대한 기초를 제공한다.