Integer programs with bounded subdeterminants and two nonzeros per row
Samuel Fiorini, Gwenaël Joret, Stefan Weltge, Yelena Yuditsky
Abstract
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.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext 1d53fe3d-6edd-4325-acdd-51a7482e3de4Cited by top-tier papers6
- Congruency-Constrained TU Problems Beyond the Bimodular CaseMartin Nägele, Richard Santiago, Rico ZenklusenSODA 2022 · 11 citations
- Sparse graphs with bounded induced cycle packing number have logarithmic treewidthMarthe Bonamy, Edouard Bonnet, Hugues Déprés, Louis Esperet et al.SODA 2023 · 7 citations
- Integer programs with nearly totally unimodular matrices: the cographic caseManuel Aprile, Samuel Fiorini, Gwenaël Joret, Stefan Kober et al.SODA 2025 · 3 citations
- A parameterized linear formulation of the integer hullFriedrich Eisenbrand, Thomas RothvossSODA 2026 · 1 citation
- Polynomial bounds for the Graph Minor Structure TheoremMaximilian Gorsky, Michal T. Seweryn, Sebastian WiederrechtFOCS 2025 · 1 citation
Builds on3
- Block-Structured Integer and Linear Programming in Strongly Polynomial and Near Linear TimeJana Cslovjecsek, Friedrich Eisenbrand, Christoph Hunkenschröder, Lars Rohwedder et al.SODA 2021 · 35 citations
- The stable set problem in graphs with bounded genus and bounded odd cycle packing numberMichele Conforti, Samuel Fiorini, Tony Huynh, Gwenaël Joret et al.SODA 2020 · 16 citations
- Minimum-cost integer circulations in given homology classesSarah Morell, Ina Seidel, Stefan WeltgeSODA 2021 · 2 citations
Related papers
- A half-integral Erdős-Pósa theorem for directed odd cyclesKen-ichi Kawarabayashi, Stephan Kreutzer, O-joung Kwon, Qiqin XieSODA 2023 · 2 citations
- A Strongly Polynomial Algorithm for Linear Programs with At Most Two Nonzero Entries per Row or ColumnDaniel Dadush, Zhuan Khye Koh, Bento Natura, Neil Olver et al.STOC 2024 · 3 citations
- The Exact Bipartite Matching Polytope Has Exponential Extension ComplexityXinrui Jia, Ola Svensson, Weiqiang YuanSODA 2023 · 3 citations
- Parameterized Algorithms for MILPs with Small TreedepthCornelius Brand, Martin Koutecký, Sebastian OrdyniakAAAI 2021 · 15 citations
- A Strongly Polynomial Algorithm for Finding a Shortest Non-zero Path in Group-Labeled GraphsYutaro YamaguchiSODA 2020 · 3 citations
