[논문 리뷰] Practical and theoretical improvements for bipartite matching using the pseudoflow algorithm

Bala Chandran, Dorit S. Hochbaum|arXiv (Cornell University)|2011. 05. 09.

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

한 줄 요약

이 논문은 이분 매칭을 위한 특수화된 버전인 매칭-퍼스플로우 알고리즘을 소개하고 평가한다. 이 알고리즘은 이론적 복잡도로 O(min{n₁κ, m} + √κ min{κ², m})를 달성하며, 전역 리레벨링과 층층 구조 네트워크 구성의 효율성 덕분에 특히 큰 크기와 조밀한 그래프에서 최신 푸시-레벨 및 디닉 기반 구현보다 뛰어난 성능을 보인다.

ABSTRACT

We show that the pseudoflow algorithm for maximum flow is particularly efficient for the bipartite matching problem both in theory and in practice. We develop several implementations of the pseudoflow algorithm for bipartite matching, and compare them over a wide set of benchmark instances to state-of-the-art implementations of push-relabel and augmenting path algorithms that are specifically designed to solve these problems. The experiments show that the pseudoflow variants are in most cases faster than the other algorithms. We also show that one particular implementation---the matching pseudoflow algorithm---is theoretically efficient. For a graph with $n$ nodes, $m$ arcs, $n_1$ the size of the smaller set in the bipartition, and the maximum matching value $κ\leq n_1$, the algorithm's complexity given input in the form of adjacency lists is $O(\min{n_1κ,m} + \sqrtκ\min{κ^2,m})$. Similar algorithmic ideas are shown to work for an adaptation of Hopcroft and Karp's bipartite matching algorithm with the same complexity. Using boolean operations on words of size $λ$, the complexity of the pseudoflow algorithm is further improved to $O(\min{n_1κ, \frac{n_1n_2}λ, m} + κ^2 + \frac{κ^{2.5}}λ)$. This run time is faster than for previous algorithms such as Cheriyan and Mehlhorn's algorithm of complexity $O(\frac{n^{2.5}}λ)$.

연구 동기 및 목표

• 이분 매칭을 위해 특화된 퍼스플로우 알고리즘의 효율적인 구현을 개발하고 평가하는 것.
• 매칭-퍼스플로우 변종이 이분 매칭에 대해 최고의 이론적 시간 복잡도를 달성함을 보여주는 것.
• 다양한 벤치마크 인스턴스에서 퍼스플로우 변종의 성능을 최신 푸시-레벨 및 디닉 기반 알고리즘과 비교하는 것.
• 전역 리레벨링과 레이블 선택 전략(최고 레이블 대비 최저 레이블)이 실용적 성능에 미치는 영향을 조사하는 것.

제안 방법

• 매칭-퍼스플로우 알고리즘은 단위 용량을 가진 이분 그래프에 특화된 일반 퍼스플로우 알고리즘의 변종으로 유도된다.
• 초과 유량이 있는 최저 레이블까지의 층층 네트워크만 구축하여 효율적인 차단 유량 계산을 가능하게 한다.
• 활성 노드의 계층적 구조를 유지하기 위해 전역 리레벨링과 동적 레이블 업데이트를 사용한다.
• 접근 방식은 인접 리스트 입력을 기반으로 이론적 복잡도를 분석하여 O(min{n₁κ, m} + √κ min{κ², m})의 시간 복잡도를 도출한다.
• λ비트 단위의 부울 연산을 사용할 경우, 복잡도는 O(min{m, n₁κ, n₁n₂/λ} + κ² + κ².⁵/λ)로 향상된다.
• 이 접근 방식은 호프크로프트-카르프 및 푸시-레벨 알고리즘에 확장되어 동일한 향상된 복잡도 한계를 달성한다.

실험 결과

연구 질문

• RQ1 퍼스플로우 알고리즘은 이분 매칭에 대해 효과적으로 특화시킬 수 있는가? 이는 기존 최신 알고리즘보다 실용적으로 뛰어난 성능을 내는가?
• RQ2 제안된 매칭-퍼스플로우 알고리즘의 이론적 시간 복잡도는 무엇인가?
• RQ3 전역 리레벨링과 레이블 선택 전략(최고 vs. 최저)의 사용이 실용적 성능에 미치는 영향은 어떠한가?
• RQ4 매칭-퍼스플로우 알고리즘의 통찰은 기존 알고리즘(예: 호프크로프트-카르프 또는 푸시-레벨)의 성능 향상에 응용될 수 있는가?
• RQ5 매칭-퍼스플로우에서 이론적으로 효율적인 전역 리레벨링 절차는 실용적 성능 향상에도 기여하는가?

주요 결과

• 매칭-퍼스플로우 알고리즘은 이분 매칭에 대해 최고의 이론적 시간 복잡도인 O(min{n₁κ, m} + √κ min{κ², m})를 달성한다.
• 벤치마크 인스턴스에서 매칭-퍼스플로우 알고리즘은 디닉 알고리즘보다 빠르며, 두 개의 인스턴스 유형에서는 거의 최고 성능을 기록한다.
• 퍼스플로우-프리 변종이 전체적으로 가장 빠르며, 치어카스키 등이 제시한 푸시-레벨 구현보다 일곱 개의 인스턴스 유형 중 여섯 개에서 뛰어난 성능을 보였다.
• 매칭-퍼스플로우 알고리즘은 디닉 알고리즘보다 훨씬 더 많은 전역 리레벨링 연산을 수행하며, 이는 성능 향상의 핵심 요인이다.
• 단위 워드 수준의 부울 연산을 사용함으로써 복잡도는 O(min{m, n₁κ, n₁n₂/λ} + κ² + κ².⁵/λ)로 감소하였으며, 케리안과 메헬론의 O(n².⁵/λ) 한계를 초월한다.
• 결과적으로, 정교하게 구현된 디닉 기반 알고리즘(매칭-퍼스플로우)은 실용적으로 매우 효율적임을 보여주며, 이는 이전에 디닉 알고리즘이 실용적이지 않다는 가정을 뒤집는다.