English

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

Data Structures and Algorithms 2025-04-22 v3

Abstract

In the matroid intersection problem, we are given two matroids M1=(V,I1)\mathcal{M}_1 = (V, \mathcal{I}_1) and M2=(V,I2)\mathcal{M}_2 = (V, \mathcal{I}_2) defined on the same ground set VV of nn elements, and the objective is to find a common independent set SI1I2S \in \mathcal{I}_1 \cap \mathcal{I}_2 of largest possible cardinality, denoted by rr. In this paper, we consider a deterministic matroid intersection algorithm with only a nearly linear number of independence oracle queries. Our contribution is to present a deterministic O(nε+rlogr)O(\frac{n}{\varepsilon} + r \log r)-independence-query (2/3ε)(2/3-\varepsilon)-approximation algorithm for any ε>0\varepsilon > 0. Our idea is very simple: we apply a recent O~(nr/ε)\tilde{O}(n \sqrt{r}/\varepsilon)-independence-query (1ε)(1 - \varepsilon)-approximation algorithm of Blikstad [ICALP 2021], but terminate it before completion. Moreover, we also present a semi-streaming algorithm for (2/3ε)(2/3 -\varepsilon)-approximation of matroid intersection in O(1/ε)O(1/\varepsilon) passes.

Keywords

Cite

@article{arxiv.2410.18820,
  title  = {Deterministic $(2/3-\varepsilon)$-Approximation of Matroid Intersection Using Nearly-Linear Independence-Oracle Queries},
  author = {Tatsuya Terao},
  journal= {arXiv preprint arXiv:2410.18820},
  year   = {2025}
}

Comments

18 pages, to appear in WADS 2025; Fix typo (v2)

R2 v1 2026-06-28T19:34:24.166Z