Abstract:The maximum bipartite matching problem is among the most fundamental and well-studied problems in combinatorial optimization. A beautiful and celebrated combinatorial algorithm of Hopcroft and Karp (1973) shows that maximum bipartite matching can be solved in $O(m \sqrt{n})$ time on a graph with $n$ vertices and $m$ edges. For the case of very dense graphs, a fast matrix multiplication based approach gives a running time of $O(n^{2.371})$. These results represented the fastest known algorithms for the problem until 2013, when Madry introduced a new approach based on continuous techniques achieving much faster runtime in sparse graphs. This line of research has culminated in a spectacular recent breakthrough due to Chen et al. (2022) that gives an $m^{1+o(1)}$ time algorithm for maximum bipartite matching (and more generally, for min cost flows). This raises a natural question: are continuous techniques essential to obtaining fast algorithms for the bipartite matching problem? Our work makes progress on this question by presenting a new, purely combinatorial algorithm for bipartite matching, that runs in $\tilde{O}(m^{1/3}n^{5/3})$ time, and hence outperforms both Hopcroft-Karp and the fast matrix multiplication based algorithms on moderately dense graphs. Using a standard reduction, we also obtain an $\tilde{O}(m^{1/3}n^{5/3})$ time deterministic algorithm for maximum vertex-capacitated $s$-$t$ flow in directed graphs when all vertex capacities are identical.

Maximum Matching in General Graphs Without Explicit Consideration of Blossoms Revisited

A DFS Algorithm for Maximum Matchings in General Graphs

Shared-Memory Parallel Edmonds Blossom Algorithm for Maximum Cardinality Matching in General Graphs

THE BLOSSOM ALGORITHM OF MAXIMUM b MATCHING

Minimum Weight Perfect Matching via Blossom Belief Propagation

A Theory of Alternating Paths and Blossoms from the Perspective of Minimum Length

Data Structures for Weighted Matching and Extensions to $b$-matching and $f$-factors

Extending Stable and Popular Matching Algorithms from Bipartite to Arbitrary Instances

A Nearly Linear-Time Distributed Algorithm for Exact Maximum Matching

Maximum Cardinality $f$-Matching in Time $O(n^{2/3}m)$

A Formal Correctness Proof of Edmonds' Blossom Shrinking Algorithm

A Query-Efficient Quantum Algorithm for Maximum Matching on General Graphs

Gabow's Cardinality Matching Algorithm in General Graphs: Implementation and Experiments

Reachability and Matching in Single Crossing Minor Free Graphs

An ADD-based Algorithm for Maximum Weight Matching in Bipartite Graphs

A distributed blossom algorithm for minimum-weight perfect matching

An analysis of alternative strategies for implementing matching algorithms

Scaling algorithms for approximate and exact maximum weight matching

Engineering Hypergraph $b$-Matching Algorithms

A Faster Combinatorial Algorithm for Maximum Bipartite Matching

Data Reduction for Maximum Matching on Real-World Graphs