Abstract
We introduce a new iterative rounding technique to round a point in a matroid polytope subject to further matroid constraints. This technique returns an independent set in one matroid with limited violations of the constraints of the other matroids. In addition to the classical steps of iterative relaxation approaches, we iteratively refine involved matroid constraints. This leads to more restrictive constraint systems whose structure can be exploited to prove the existence of constraints that can be dropped. Hence, throughout the iterations, we both tighten constraints and later relax them by dropping constraints under certain conditions. Due to the refinement step, we can deal with considerably more general constraint classes than existing iterative relaxation and rounding methods, which typically involve a single matroid polytope with additional simple cardinality constraints that do not overlap too much. We show that our rounding method, combined with an application of a matroid intersection algorithm, yields the first 2-approximation for finding a maximum-weight common independent set in 3 matroids. Moreover, our 2-approximation is LP-based and settles the integrality gap for the natural relaxation of the problem. Prior to our work, no upper bound better than 3 was known for the integrality gap, which followed from the greedy algorithm. We also discuss various other applications of our techniques, including an extension that allows us to handle a mixture of matroid and knapsack constraints.
Similar content being viewed by others
Notes
We exclude the trivially satisfied constraint corresponding to \(S=\emptyset \) to highlight that, when referring later to a constraint of \(P_{{\mathcal {I}}}\) that is tight for some point \(x\in {\mathbb {R}}^N\), then such a constraint never corresponds to \(S=\emptyset \).
In a partition matroid, the constraints are bounds on the number of items selected from each part in a given partition. If these bounds are all unit, the partition matroid is called unitary.
References
Aharoni, R., Berger, E.: The intersection of a matroid and a simplicial complex. Trans. Am. Math. Soc. 358(11), 4895–4917 (2006)
Bansal, N., Khandekar, R., Könemann, J., Nagarajan, V., Peis, B.: On generalizations of network design problems with degree bounds. Math. Program. 141(1–2), 479–506 (2013)
Bansal, N., Khandekar, R., Nagarajan, V.: Additive guarantees for degree-bounded directed network design. SIAM J. Comput. 39(4), 1413–1431 (2009)
Chakrabarty, D., Swamy, C.: Approximation algorithms for minimum norm and ordered optimization problems. In: Proceedings of the 51st Annual ACM Symposium on Theory of Computing (STOC), pp. 126–137 (2019)
Chan, Y.H., Lau, L.C.: On linear and semidefinite programming relaxations for hypergraphic matching. Math. Program. 135, 123–148 (2012)
Chekuri, C., Vondrák, J., Zenklusen, R.: Multi-budgeted matchings and matroid intersection via dependent rounding. In: Proceedings of the 22nd Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 1080–1097 (2011)
Chekuri, C., Vondrák, J., Zenklusen, R.: Submodular function maximization via the multilinear relaxation and contention resolution schemes. SIAM J. Comput. 43(6), 1831–1879 (2014)
Cook, W.J., Cunningham, W.H., Pulleyblank, W.R., Schrijver, A.: Combinatoral Optimization. Wiley-Interscience, John Wiley and Sons Inc (1998)
Cygan, M.: Improved approximation for \(3\)-dimensional matching via bounded pathwidth local search. In: Proceedings of 54th IEEE Symposium on Foundations of Computer Science (FOCS), pp. 509–518 (2013)
Cygan, M., Grandoni, F., Mastrolilli, M. (2013). How to sell hyperedges: the hypermatching assignment problem. In: Proceedings of the 24th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 342–351
Fisher, M.L., Nemhauser, G.L., Wolsey, L.A.: An analysis of approximations for maximizing submodular set functions—II. Math. Program. Study 8, 73–87 (1978)
Füredi, Z.: Maximum degree and fractional matchings in uniform hypergraphs. Combinatorica 1(2), 155–162 (1981)
Grandoni, F., Ravi, R., Singh, M., Zenklusen, R.: New approaches to multi-objective optimization. Math. Program. 146(1–2), 525–554 (2014)
Gupta, A., Roth, A., Schoenebeck, G., Talwar, K.: Constrained non-monotone submodular maximization: offline and secretary algorithms. In: Proceedings of the 6th International Conference on Internet and Network Economics (WINE), pp.s 246–257 (2010)
Halldórsson, M.M.: Approximating discrete collections via local improvements. In: Proceedings of the 6th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 160–169 (1995)
Hurkens, C.A.J., Schrijver, A.: On the size of systems of sets every \(t\) of which have an SDR, with an application to the worst-case ratio of heuristics for packing problems. SIAM J. Discrete Math. 2(1), 68–72 (1989)
Király, T., Lau, L.C., Singh, M.: Degree bounded matroids and submodular flows. Combinatorica 32(6), 703–720 (2012)
Lau, L.C., Ravi, R., Singh, M.: Iterative Methods in Combinatorial Optimization, 1st edn. Cambridge University Press, New York (2011)
Lee, J., Mirrokni, V., Nagarajan, V., Sviridenko, M.: Maximizing nonmonotone submodular functions under matroid or knapsack constraints. SIAM J. Discrete Math. 23(4), 2053–2078 (2010)
Lee, J., Sviridenko, M., Vondrák, J.: Submodular maximization over multiple matroids via generalized exchange properties. Math. Oper. Res. 35(4), 795–806 (2010)
Linhares, A., Olver, N., Swamy, C., Zenklusen, R.: Approximate multi-matroid intersection via iterative refinement. In: Proceedings of Integer Programming and Combinatorial Optimization (IPCO), pp. 299–312 (2019)
Parekh, O., Pritchard, D.: Generalized hypergraph matching via iterated packing and local ratio. In: Proceedings of Workshop on Approximation and Online Algorithms (WAOA 2014), pp. 207–223. Springer (2015)
Schrijver, A.: Combinatorial Optimization, Polyhedra and Efficiency. Springer, New York (2003)
Singh, M., Lau, L.C.: Approximating minimum bounded degree spanning trees to within one of optimal. J. ACM 62(1), 1:1–1:19 (2015)
Zenklusen, R.: Matroidal degree-bounded minimum spanning trees. In: Proceedings of the 23rd Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 1512–1521 (2012)
Acknowledgements
We are thankful to Lap Chi Lau for pointing us to relevant literature, and to the anonymous referees for helpful suggestions for improving the exposition.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
A preliminary version [21] appeared in the Proceedings of the 20th IPCO 2019.
We follow the convention that an \(\alpha \)-approximation for a maximization problem returns a solution of value at least a \(1/\alpha \) fraction of the optimum.
The first and third author were supported by NSERC Grant 327620-09 and an NSERC DAS Award, the second author was supported by NWO VIDI Grant 016.Vidi.189.087, and the last author was supported by Swiss National Science Foundation Grants 200021_165866 and 200021_184622.
Electronic supplementary material
Below is the link to the electronic supplementary material.
Rights and permissions
About this article
Cite this article
Linhares, A., Olver, N., Swamy, C. et al. Approximate multi-matroid intersection via iterative refinement. Math. Program. 183, 397–418 (2020). https://doi.org/10.1007/s10107-020-01524-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10107-020-01524-y