Algebraic algorithms for linear matroid parity problems

We present fast and simple algebraic algorithms for the linear matroid parity problem and its applications. For the linearmatroid parity problem,we obtain a simple randomized algorithmwith running time O(mrω−1), where mand r are the number of columns and the number of rows, respectively, and ω ≈ 2.3727 is the matrix multiplication exponent. This improves the O(mrω)-time algorithm by Gabow and Stallmann and matches the running time of the algebraic algorithm for linear matroid intersection, answering a question of Harvey. We also present a very simple alternative algorithm with running time O(mr2), which does not need fast matrix multiplication. We further improve the algebraic algorithms for some specific graph problems of interest. For the Mader’s disjoint S-path problem, we present an O(nω)-time randomized algorithm where n is the number of vertices. This improves the running time of the existing results considerably and matches the running time of the algebraic algorithms for graph matching. For the graphic matroid parity problem, we give an O(n4)-time randomized algorithm where n is the number of vertices, and an O(n3)-time randomized algorithm for a special case useful in designing approximation algorithms. These algorithms are optimal in terms of n as the input size could be (n4) and (n3), respectively. The techniques are based on the algebraic algorithmic framework developed by Mucha and Sankowski