Article Dans Une Revue 35th Proceeding Symposium on Discrete Algorithms Année : 2024

Robust Sparsification for Matroid Intersection with Applications

Résumé

Matroid intersection is a classical optimization problem where, given two matroids over the same ground set, the goal is to find the largest common independent set. In this paper, we show that there exists a certain “sparsifer”: a subset of elements, of size O(|Sopt| · 1/ɛ), where Sopt denotes the optimal solution, that is guaranteed to contain a 3/2 + ɛ approximation, while guaranteeing certain robustness properties. We call such a small subset a Density Constrained Subset (DCS), which is inspired by the Edge-Degree Constrained, Subgraph, (EDCS) [Bernstein and Stein, 2015], originally designed for the maximum cardinality matching problem in a graph. Our proof is constructive and hinges on a greedy decomposition of matroids, which we call the density-based decomposition. We show that this sparsifier has certain robustness properties that can be used in one-way communication and random-order streaming models. Specifically, we use the DCS to design a one-way communication protocol for matroid intersection and obtain a 3/2 + ɛ approximation, using a message of size O(|Sopt| · 1/ɛ). This matches the best achievable ratio for the one-way communication bipartite matching [Goel, Kapralov, and Khanna, 2012]. Moreover, the DCS can be used to design a streaming algorithm in the random-order streaming model requiring the space of O(|Sopt| · poly(log(n), 1/ɛ)), where n is the size of the stream (the ground set of the matroids). Our algorithm guarantees a 3/2 + ɛ approximation in expectation and, when the size of Sopt is not too small, with high probability. Prior to our work, the best approximation ratio of a streaming algorithm in the random-order streaming model was an expected 2 — δ for some small constant δ > 0 [Guruganesh and Singla, 2017].

Fichier principal
Vignette du fichier
matroid_intersection_SODA_2024-4.pdf (703.13 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-04733942 , version 1 (14-10-2024)

Licence

Identifiants

Citer

Chien-Chung Huang, François Sellier. Robust Sparsification for Matroid Intersection with Applications. 35th Proceeding Symposium on Discrete Algorithms, 2024, pp.2916-2940. ⟨10.1137/1.9781611977912.104⟩. ⟨hal-04733942⟩

Collections

66 Consultations
124 Téléchargements

Altmetric

Partager

  • More