Practical and theoretical improvements for bipartite matching using the pseudoflow algorithm, CoRR abs/1105.1569

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 theoret-ically efficient. For a graph with n nodes, m arcs, n1 the size of the smaller set in the bipartition, and the maximum matching value κ ≤ n1, the algorithm’s complexity given input in the form of ad-jacency lists is O min{n1κ,m}+√κ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{n1κ, n1n2λ,m}+ κ2 +