Integer programs with bounded subdeterminants and two nonzeros per row
We give a strongly polynomial-time algorithm for integer linear programs defined by integer coefficient matrices whose subdeterminants are bounded by a constant and that contain at most two nonzero entries in each row. The core of our approach is the first polynomial-time algorithm for the weighted stable set problem on graphs that do not contain more than k vertex-disjoint odd cycles, where k is any constant. Previously, polynomial-time algorithms were only known for k =0 (bipartite graphs) and for k =1. We observe that integer linear programs defined by coefficient matrices with bounded subdeterminants and two nonzeros per column can be also solved in strongly polynomial-time, using a reduction to b -matching.
Authors
- Samuel Fiorini (ORCID: https://orcid.org/0000-0002-6845-9008)
- Stefan Weltge (ORCID: https://orcid.org/0000-0002-0102-8326)
- Gwenaël Joret (ORCID: https://orcid.org/0000-0002-7157-6694)
- Yelena Yuditsky (ORCID: https://orcid.org/0000-0002-6467-3437)
Institutions
- Université Libre de Bruxelles (BE)
- Technical University of Munich (DE)
Publication Details
- Journal
- Journal of the ACM
- Published
- 2024-09-13
- DOI
- https://doi.org/10.1145/3695985
- Citations
- 1
- Primary Topic
- Advanced Graph Theory Research
- Type
- article
- Field-Weighted Citation Impact
- 0.36