Abstract:The $\ell$-matroid intersection ($\ell$-MI) problem asks if $\ell$ given matroids share a common basis. Already for $\ell = 3$, notable canonical NP-complete special cases are $3$-Dimensional Matching and Hamiltonian Path on directed graphs. However, while these problems admit exponential-time algorithms that improve the simple brute force, the fastest known algorithm for $3$-MI is exactly brute force with runtime $2^{n}/poly(n)$, where $n$ is the number of elements. Our first result shows that in fact, brute force cannot be significantly improved, by ruling out an algorithm for $\ell$-MI with runtime $o\left(2^{n-5 \cdot n^{\frac{1}{\ell-1}} \cdot \log (n)}\right)$, for any fixed $\ell\geq 3$. The complexity gap between $3$-MI and the polynomially solvable $2$-matroid intersection calls for a better understanding of the complexity of intermediate problems. One such prominent problem is exact matroid intersection (EMI). Given two matroids whose elements are either red or blue and a number $k$, decide if there is a common basis which contains exactly $k$ red elements. We show that EMI does not admit a randomized polynomial time algorithm. This bound implies that the parameterized algorithm of Eisenbrand et al. (FOCS'24) for exact weight matroid cannot be generalized to matroid intersection. We further obtain: (i) an algorithm that solves $\ell$-MI faster than brute force in time $2^{n-\Omega\left(\log^2 (n)\right)} $ (ii) a parameterized running time lower bound of $2^{(\ell-2) \cdot k \cdot \log k} \cdot poly(n)$ for $\ell$-MI, where the parameter $k$ is the rank of the matroids. We obtain these two results by generalizing the Monotone Local Search technique of Fomin et al. (J. ACM'19). Broadly speaking, our generalization converts any parameterized algorithm for a subset problem into an exponential-time algorithm which is faster than brute-force.

A Lower Bound for the Rank of Matroid Intersection

Matroid Intersection under Restricted Oracles

Matroid Intersection under Minimum Rank Oracle

Polynomial-Delay Enumeration of Large Maximal Common Independent Sets in Two Matroids and Beyond

Intersections of matroids

Lower Bounds for Matroid Optimization Problems with a Linear Constraint

You (Almost) Can't Beat Brute Force for 3-Matroid Intersection

Enumerating Matroids and Linear Spaces

Efficient Matroid Intersection via a Batch-Update Auction Algorithm

On the Correlation Gap of Matroids

Intersection theory of matroids: variations on a theme

Coloring the intersection of two matroids

Interdiction of minimum spanning trees and other matroid bases

Online Matroid Intersection: Submodular Water-Filling and Matroidal Welfare Maximization

On the Complexity of Matroid Isomorphism Problem

Upper and lower bounds for the rank of the matrix-valued function when X has a fixed rank

A note on non-empty cross-intersecting families

Breaking the Quadratic Barrier for Matroid Intersection

Intersection Cuts with Infinite Split Rank

Chern Numbers of Matroids

Two lower bounds for maximum matching