[論文レビュー] Efficient implementations of minimum-cost flow algorithms

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

Complexity and Algorithms in Graphs参考文献 49被引用数 51

ひとこと要約

本稿では、LEMON C++ ライブラリにおける最小費用流（MCF）アルゴリズムの高効率なオープンソース実装を提示し、Goldbergの部分増分再帰法をコストスケーリングアルゴリズム内に新規に応用した。コストスケーリングおよびネットワークシンプレックス実装は、LEDA や MCFZIB といった既存のソルバーよりも優れており、特に大規模ネットワークにおいては CS2 と競合する性能を示す。

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 といった代表的なソルバーよりも性能を比較し、パフォーマンスのベンチマークを確立すること。
• 特に、Goldbergの部分増分再帰法のコストスケーリングアルゴリズム内への統合を含む、新たな実装技術の探求。
• ネットワークのサイズ、密度、問題の特性に基づいて、最も適切な MCF アルゴリズムを選択するための実用的ガイドラインの提供。

提案手法

• SCC、MMCC、CAT、SSP、CAS、COS（3つのバリエーション）、および5つのピボット戦略を備えた NS を含む、包括的な MCF アルゴリズムの実装。
• Goldbergの部分増分再帰法をコストスケーリングアルゴリズムに統合し、流体増強を加速することで性能を向上させる、新規な応用。
• 効率的なスパニングツリー表現およびダイナミックツリー構造を含む、高度なデータ構造とヒューリスティクスを活用し、ネットワークシンプレックスおよびコストスケーリングの性能最適化。
• LEMON C++ テンプレートライブラリの一部として実装を設計し、他のグラフおよび最適化アルゴリズムとモジュラーに統合可能に。
• NETGEN および GOTO ジェネレータ、および実世界のインスタンスを用いた、大規模ネットワーク（数百万ノード／エッジまで）における広範なベンチマーク実験。
• 一貫した実験条件のもとで、公開済みのソルバーセット（CS2、LEDA、MCFZIB、RelaxIV）を用いた標準化された比較により、公平性と再現可能性を確保。

実験結果

リサーチクエスチョン

• RQ1 Goldbergの部分増分再帰法の統合は、最小費用流問題におけるコストスケーリングアルゴリズムの性能をどのように向上させるか？
• RQ2 ネットワークのサイズや密度に応じて、コストスケーリングとネットワークシンプレックスのどちらがより優れた性能を示すか？
• RQ3 提案された LEMON 実装は、CS2、LEDA、MCFZIB、RelaxIV といった既存のソルバーよりも実際の性能で優れているか？
• RQ4 サイクルキャンセリングおよび増強パスアルゴリズムは、さまざまな問題インスタンスにおいてどのような性能特性を示すか？
• RQ5 RelaxIV はどのような条件下で他のソルバーよりも優れているか、あるいは劣っているか？その性能の不一致の理由は何か？

主な発見

• 部分増分再帰法を統合したコストスケーリング実装は、CS2 と競合し、LEDA ライブラリ実装よりも顕著に高速である。
• ネットワークシンプレックス実装は、MCFZIB よりも大幅に優れており、小規模から中規模のネットワーク（数千年ノードまで）では最も高速である。
• 大規模ネットワーク（数百万ノードおよびアーク）では、コストスケーリングアルゴリズムが、より優れた漸近的計算量のおかげで、ネットワークシンプレックスを一貫して上回る。
• RelaxIV は性能が著しく変動する。特定のインスタンス（例：NETGEN 問題）では非常に高速だが、他のインスタンスでは桁違いに遅く、頑健性に欠ける。
• サイクルキャンセリングおよび増強パスアルゴリズムは、一般にコストスケーリングおよびネットワークシンプレックスに劣るが、流れの分割が最小限の場合は優れることがある。
• LEMON に実装された提案手法は、単体のツールではなく、より大きなオープンソースライブラリの一部として提供されており、複雑な最適化パイプラインへのシームレスな統合を可能にしている。