[논문 리뷰] Efficient implementations of minimum-cost flow algorithms

Zoltán Király, Péter Kovács|arXiv (Cornell University)|2012. 07. 26.

Complexity and Algorithms in Graphs참고 문헌 49인용 수 51

한 줄 요약

이 논문은 LEMON C++ 라이브러리 내에서 최소비용류(최소비용류) 알고리즘의 고도로 효율적인 오픈소스 구현을 제시하며, 골드버그의 부분 보정-재조정 방법을 비용 스케일링 알고리즘 내에서 새로운 응용으로 도입한다. 비용 스케일링 및 네트워크 심플렉스 구현은 LEDA 및 MCFZIB와 같은 기존 솔버들을 능가하며, 특히 대규모 네트워크에서 매우 효과적이다.

ABSTRACT

This paper presents efficient implementations of several algorithms for solving the minimum-cost network flow problem. Various practical heuristics and other important implementation aspects are also discussed. A novel result of this work is the application of Goldberg's recent partial augment-relabel method in the cost-scaling algorithm. The presented implementations are available as part of the LEMON open source C++ optimization library (\url{http://lemon.cs.elte.hu/}). The performance of these codes is compared to well-known and efficient minimum-cost flow solvers, namely CS2, RelaxIV, MCF, and the corresponding method of the LEDA library. According to thorough experimental analysis, the presented cost-scaling and network simplex implementations turned out to be more efficient than LEDA and MCF. Furthermore, the cost-scaling implementation is competitive with CS2. The RelaxIV algorithm is often much slower than the other codes, although it is quite efficient on particular problem instances.

연구 동기 및 목표

• 실제 구현에 적합한 다수의 최소비용류 알고리즘에 대한 고도로 효율적이고 견고한 오픈소스 구현을 개발하기 위해.
• 합성 및 실제 문제를 포함한 다양한 대규모 네트워크 인스턴스에서 이러한 구현의 성능을 평가하기 위해.
• CS2, LEDA, MCFZIB, RelaxIV와 같은 잘 알려진 솔버들과의 비교를 통해 성능 기준을 수립하기 위해.
• 특히 골드버그의 부분 보정-재조정 방법을 비용 스케일링 알고리즘 내에 통합하는 등의 새로운 구현 기법을 탐색하기 위해.
• 네트워크 크기, 조밀도, 문제 특성에 따라 가장 적합한 MCF 알고리즘을 선택하는 데 실용적인 지침을 제공하기 위해.

제안 방법

• SCC, MMCC, CAT, SSP, CAS, COS(세 가지 변형 포함), NS 및 다섯 가지 피벗 전략을 포함한 네트워크 심플렉스를 포함한 포괄적인 MCF 알고리즘 세트를 구현하였다.
• 골드버그의 부분 보정-재조정 방법을 비용 스케일링 알고리즘에 통합하였으며, 이는 유일한 응용으로 흐름 보정을 가속화하여 성능을 향상시킨다.
• 효율적인 스패닝 트리 표현 및 동적 트리 구조를 포함한 고급 데이터 구조 및 히우리스틱을 활용하여 네트워크 심플렉스 및 비용 스케일링의 성능을 최적화하였다.
• LEMON C++ 템플릿 라이브러리의 일부로 구현하여 다른 그래프 및 최적화 알고리즘과의 모듈러 통합을 가능하게 하였다.
• NETGEN 및 GOTO 생성기, 그리고 실제 문제 인스턴스를 사용하여 대규모 네트워크(수백만 개의 노드/에지까지)에서 광범위한 벤치마킹을 수행하였다.
• 공개된 솔버(CS2, LEDA, MCFZIB, RelaxIV)를 동일한 실험 조건 하에서 표준화된 비교를 통해 공정성과 재현 가능성을 확보하였다.

실험 결과

연구 질문

• RQ1 골드버그의 부분 보정-재조정 방법 통합이 최소비용류 문제에서 비용 스케일링 알고리즘의 성능에 어떻게 기여하는가?
• RQ2 다양한 네트워크 크기와 조밀도에서 비용 스케일링과 네트워크 심플렉스 중 어느 알고리즘이 더 우수한 성능을 보이는가?
• RQ3 실제로 제안된 LEMON 구현은 CS2, LEDA, MCFZIB, RelaxIV와 같은 기존 솔버들과 비교해 어떻게 성능을 발휘하는가?
• RQ4 사이클 취소 및 증가 경로 알고리즘의 성능 특성은 다양한 문제 인스턴스에서 어떻게 나타나는가?
• RQ5 RelaxIV는 어떤 조건에서 다른 솔버들보다 우수하거나 열등한 성능을 보이며, 그 이유는 무엇인가?

주요 결과

• 부분 보정-재조정 기반 비용 스케일링 구현은 CS2와 경쟁 가능하며, LEDA 라이브러리의 구현보다는 훨씬 빠르다.
• 네트워크 심플렉스 구현은 MCFZIB를 상당한 격차로 앞서며, 소형에서 중형 네트워크(수천 개의 노드 이내)에서는 가장 빠른 성능을 보인다.
• 대규모 네트워크(수백만 개의 노드 및 아크 포함)에서는 비용 스케일링 알고리즘이 더 나은 점근적 복잡도 덕분에 네트워크 심플렉스를 항상 앞선다.
• RelaxIV는 매우 변동성이 큰 성능을 보이며, 특정 인스턴스(예: NETGEN 문제)에서는 매우 빠르지만 다른 인스턴스에서는 수 개의 주기 만큼 느려지므로 낮은 견고성을 보인다.
• 사이클 취소 및 증가 경로 알고리즘은 일반적으로 비용 스케일링 및 네트워크 심플렉스에 열등하지만, 흐름 분할이 최소일 경우에는 우월할 수 있다.
• 제안된 LEMON 내 구현은 독립형 도구가 아니라 더 큰 오픈소스 라이브러리의 일부이므로, 복잡한 최적화 파이프라인에 원활하게 통합될 수 있다.