A Faster Algorithm for Minimum-Cost Bipartite Matching in Minor-Free Graphs

From MaRDI portal



Abstract: We give an ildeO(n7/5log(nC))-time algorithm to compute a minimum-cost maximum cardinality matching (optimal matching) in Kh-minor free graphs with h=O(1) and integer edge weights having magnitude at most C. This improves upon the ildeO(n10/7logC) algorithm of Cohen et al. [SODA 2017] and the O(n3/2log(nC)) algorithm of Gabow and Tarjan [SIAM J. Comput. 1989]. For a graph with m edges and n vertices, the well-known Hungarian Algorithm computes a shortest augmenting path in each phase in O(m) time, yielding an optimal matching in O(mn) time. The Hopcroft-Karp [SIAM J. Comput. 1973], and Gabow-Tarjan [SIAM J. Comput. 1989] algorithms compute, in each phase, a maximal set of vertex-disjoint shortest augmenting paths (for appropriately defined costs) in O(m) time. This reduces the number of phases from n to O(sqrtn) and the total execution time to O(msqrtn). In order to obtain our speed-up, we relax the conditions on the augmenting paths and iteratively compute, in each phase, a set of carefully selected augmenting paths that are not restricted to be shortest or vertex-disjoint. As a result, our algorithm computes substantially more augmenting paths in each phase, reducing the number of phases from O(sqrtn) to O(n2/5). By using small vertex separators, the execution of each phase takes ildeO(m) time on average. For planar graphs, we combine our algorithm with efficient shortest path data structures to obtain a minimum-cost perfect matching in ildeO(n6/5log(nC)) time. This improves upon the recent ildeO(n4/3log(nC)) time algorithm by Asathulla et al. [SODA 2018].












This page was built for publication: A Faster Algorithm for Minimum-Cost Bipartite Matching in Minor-Free Graphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5236217)