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.

Matroid Intersection under Restricted Oracles

Matroid Intersection under Minimum Rank Oracle

A Lower Bound for the Rank of Matroid Intersection

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

Efficient Matroid Intersection via a Batch-Update Auction Algorithm

Deterministic $(2/3-\varepsilon)$-Approximation of Matroid Intersection using Nearly-Linear Independence-Oracle Queries

Accelerating Matroid Optimization through Fast Imprecise Oracles

Breaking the Quadratic Barrier for Matroid Intersection

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

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

Interdiction of minimum spanning trees and other matroid bases

Faster exact and approximation algorithms for packing and covering matroids via push-relabel

Intersections of matroids

Comparing Apples and Oranges: Query Tradeoff in Submodular Maximization

Better Approximation for Weighted k-Matroid Intersection

Popular Maximum-Utility Matchings with Matroid Constraints

Maintaining Matroid Intersections Online

Subquadratic Submodular Maximization with a General Matroid Constraint

On the Correlation Gap of Matroids

Intersection theory of matroids: variations on a theme

Matroid Secretary Problems