Abstract:We present an $ ilde{O}(m+n^{1.5})$-time randomized algorithm for maximum cardinality bipartite matching and related problems (e.g. transshipment, negative-weight shortest paths, and optimal transport) on m-edge, n-node graphs. For maximum cardinality bipartite matching on moderately dense graphs, i.e. $m=Omega(n^{1.5})$, our algorithm runs in time nearly linear in the input size and constitutes the first improvement over the classic $O(msqrt{n})$-time [Dinic 1970; Hopcroft-Karp 1971; Karzanov 1973] and $widetilde{O}(n^{omega})$-time algorithms [Ibarra-Moran 1981] (where currently $omegaapprox 2.373$). On sparser graphs, i.e. when $m=n^{9/8+delta}$ for any constant $delta > 0$, our result improves upon the recent advances of [Madry 2013] and [Liu-Sidford 2020b, 2020a] which achieve an $widetilde{O}(m^{4/3+o(1)})$ runtime. We obtain these results by combining and advancing recent lines of research in interior point methods (IPMs) and dynamic graph algorithms. First, we simplify and improve the IPM of [v.d.Brand-Lee-Sidford-Song 2020], providing a general primal-dual IPM framework and new sampling-based techniques for handling infeasibility induced by approximate linear system solvers. Second, we provide a simple sublinear-time algorithm for detecting and sampling high-energy edges in electric flows on expanders and show that when combined with recent advances in dynamic expander decompositions, this yields efficient data structures for maintaining the iterates of both [v.d.Brand et al.] and our new IPMs. Combining this general machinery yields a simpler $widetilde{O}(nsqrt{m})$ time algorithm for matching based on the logarithmic barrier function, and our state-of-the-art $widetilde{O}(m+n^{1.5})$ time algorithm for matching based on the [Lee-Sidford 2014] barrier (as regularized in [v.d.Brand et al.]).

The Symbolic OBDD Algorithm for Finding Optimal Semi-matching in Bipartite Graphs

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

Optimal Partial Graph Matching

A Unified Model for Bi-objective Online Stochastic Bipartite Matching with Two-sided Limited Patience

Optimal Algorithms for Online b-Matching with Variable Vertex Capacities

Maximizing a Nonnegative, Monotone, Submodular Function Constrained to Matchings

Balancing Relevance and Diversity in Online Bipartite Matching via Submodularity

Efficient Kernelization Algorithm for Bipartite Graph Matching

A Faster Combinatorial Algorithm for Maximum Bipartite Matching

Extending Stable and Popular Matching Algorithms from Bipartite to Arbitrary Instances

Matchings in Geometric Graphs

Semi-streaming Algorithms for Submodular Function Maximization Under b-Matching, Matroid, and Matchoid Constraints

Sublinear Time Algorithm for Online Weighted Bipartite Matching

Nonlinear Bipartite Matching

First Steps in Combinatorial Optimization on Graphons: Matchings.

Bipartite Matching in Nearly-linear Time on Moderately Dense Graphs

Graph Matching Via the Lens of Supermodularity

An Improved Space Semi-Streaming Algorithm for Submodular Maximization under b-Matching Constraint

The Application of Bipartite Matching in Assignment Problem

A Fully-dynamic Approximation Algorithm for Maximum Weight b-Matchings in Graphs

A lazy approach to on-line bipartite matching