This paper focuses on the resolution of the capacitated minimum cost flow problem on a network comprising n nodes and m arcs. We present a method that counts imperviousness to degeneracy among its strengths, namely the minimum mean cycle-canceling algorithm (MMCC). At each iteration, primal feasibility is maintained and the objective function strictly improves. The goal is to write a uniform and hopefully more accessible paper which centralizes the ideas presented in the seminal work of Goldberg and Tarjan (1989) as well as the additional paper of Radzik and Goldberg (1994) where the complexity analysis is refined. Important properties are proven using linear programming rather than constructive arguments.
We also retrieve Cancel-and-Tighten from the former paper, where each so-called phase which can be seen as a group of iterations requires O(m log n) time. MMCC turns out to be a strongly polynomial algorithm which runs in O(mn) phases, hence in O(m2n log n) time. This new complexity result is obtained with a combined analysis of the results in both papers along with original contributions which allows us to enlist Cancel-and-Tighten as an acceleration strategy.
Paru en septembre 2013 , 28 pages
Ce cahier a été révisé en juillet 2014