research-article

A strongly polynomial algorithm for bimodular integer linear programming

Authors:

Stephan Artmann,

Robert Weismantel,

Rico ZenklusenAuthors Info & Claims

STOC 2017: Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing

Pages 1206 - 1219

https://doi.org/10.1145/3055399.3055473

Published: 19 June 2017 Publication History

Abstract

We present a strongly polynomial algorithm to solve integer programs of the form max{c^T x: Ax≤ b, xεℤⁿ }, for Aεℤ^mXn with rank(A)=n, bε≤^m, cε≤ⁿ, and where all determinants of (nXn)-sub-matrices of A are bounded by 2 in absolute value. In particular, this implies that integer programs max{c^T x : Q x≤ b, xεℤ_≥0ⁿ}, where Qε ℤ^mXn has the property that all subdeterminants are bounded by 2 in absolute value, can be solved in strongly polynomial time. We thus obtain an extension of the well-known result that integer programs with constraint matrices that are totally unimodular are solvable in strongly polynomial time.

Supplementary Material

MP4 File (d4_sb_t8.mp4)

Download
157.78 MB

References

[1]

G. Appa and B. Kotnyek. 2004. Rational and integral k-regular matrices. Discrete Mathematics 275, 1–3 (2004), 1–15.

Digital Library

[2]

G. Appa, B. Kotnyek, K. Papalamprou, and L. Pitsoulis. 2007.

[3]

Optimization with binet matrices. Operations Research Letters 35, 3 (2007), 345–352.

Digital Library

[4]

S. Artmann, F. Eisenbrand, C. Glanzer, T. Oertel, S. Vempala, and R. Weismantel. 2016. A Note on Non-Degenerate Integer Programs with Small Subdeterminants. Operations Research Letters 44, 5 (2016), 635–639.

Digital Library

[5]

R. E. Bixby and W. H. Cunningham. 1987. Short Cocircuits in Binary Matroids. European Journal of Combinatorics 8 (1987), 213–225.

Digital Library

[6]

A. Bock, Y. Faenza, C. Moldenhauer, R. Vargas, and A. Jacinto. 2014. Solving the Stable Set Problem in Terms of the Odd Cycle Packing Number. In Proceedings of the 34th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS). 187–198.

[7]

N. Bonifas, M. Di Summa, F. Eisenbrand, N. Hähnle, and M. Niemeier. 2014. On Sub-determinants and the Diameter of Polyhedra. Discrete & Computational Geometry 52, 1 (2014), 102–115.

Digital Library

[8]

C. Burch, R. Carr, S. Krumke, M. Marathe, C. Phillips, and E. Sundberg. 2003.

[9]

A decomposition-based pseudoapproximation algorithm for network flow inhibition. In Network Interdiction and Stochastic Integer Programming. Springer, Chapter 3, 51–68.

[10]

S. Chestnut and R. Zenklusen. 2017.

[11]

Interdicting Structured Combinatorial Optimization Problems with 0, 1-Objectives. Mathematics of Operations Research 42, 1 (2017), 144–166.

[12]

M. Dyer and A. Frieze. 1994. Random walks, totally unimodular matrices, and a randomised dual simplex algorithm. Mathematical Programming 64, 1 (1994), 1–16.

Digital Library

[13]

F. Eisenbrand and S. Vempala. 2016.

[14]

Geometric Random Edge. (2016).

[15]

https: //arxiv.org/abs/1404.1568v5.

[16]

M. X. Goemans and V. S. Ramakrishnan. 1995. Minimizing submodular functions over families of sets. Combinatorica 15, 4 (1995), 499–513.

[17]

J. W. Grossman, D. M. Kulkarni, and I. E. Schochetman. 1995. On the minors of an incidence matrix and its Smith normal form. Linear Algebra Appl. 218 (1995), 213 – 224.

[18]

M. Grötschel, L. Lovász, and A. Schrijver. 1993.

[19]

Geometric Algorithms and Combinatorial Optimization (second corrected ed.). Algorithms and Combinatorics, Vol. 2. Springer.

[20]

S. Iwata, L. Fleischer, and S. Fujishige. 2001. A combinatorial strongly polynomial algorithm for minimizing submodular functions. J. ACM 48 (July 2001), 761–777. Issue 4.

Digital Library

[21]

B. Korte and J. Vygen. 2012.

[22]

Combinatorial Optimization, Theory and Algorithms (5th ed.). Springer.

[23]

J. B. Orlin. 2009. A faster strongly polynomial time algorithm for submodular function minimization. Mathematical Programming 118 (2009), 237–251. Issue 2.

Digital Library

[24]

A. Schrijver. 1986.

[25]

Theory of Linear and Integer Programming. John Wiley and Sons, NY.

Digital Library

[26]

A. Schrijver. 2000. A Combinatorial Algorithm Minimizing Submodular Functions in Strongly Polynomial Time. Journal of Combinatorial Theory, Series B 80, 2 (Nov. 2000), 346–355.

Digital Library

[27]

A. Schrijver. 2003.

[28]

Combinatorial Optimization - Polyhedra and Efficiency. Springer.

[29]

P. D. Seymour. 1980. Decomposition of regular matroids. Journal of Combinatorial Theory, Series B 28, 3 (1980), 305–359.

[30]

E. Tardos. 1986. A Strongly Polynomial Algorithm to Solve Combinatorial Linear Programs. Operations Research 34, 2 (1986), 250–256.

[31]

S. I. Veselov and A. J. Chirkov. 2009. Integer program with bimodular matrix. Discrete Optimization 6, 2 (2009), 220–222.

Digital Library

[32]

V. A. Yemelichev, M. M. Kovalev, and M. K. Kravtsov. 1986.

Cited By

Zhang YXia YZhan Y(2024)Total Unimodularity and Strongly Polynomial Solvability of Constrained Minimum Input Selections for Structural Controllability: An LP-Based MethodIEEE Transactions on Automatic Control10.1109/TAC.2023.326624269:1(387-394)Online publication date: Jan-2024
https://doi.org/10.1109/TAC.2023.3266242
Paat JWalsh ZXu L(2024)Extended formulations for the integer hull of strictly Δ-modular cographic polyhedral conesOperations Research Letters10.1016/j.orl.2024.107235(107235)Online publication date: Dec-2024
https://doi.org/10.1016/j.orl.2024.107235
Gribanov DShumilov IMalyshev DZolotykh N(2024)Faster algorithms for sparse ILP and hypergraph multi-packing/multi-cover problemsJournal of Global Optimization10.1007/s10898-024-01379-z89:4(1033-1067)Online publication date: 1-Aug-2024
https://dl.acm.org/doi/10.1007/s10898-024-01379-z
Show More Cited By

Index Terms

A strongly polynomial algorithm for bimodular integer linear programming
1. Mathematics of computing
  1. Discrete mathematics
    1. Combinatorics
      1. Combinatorial optimization
2. Theory of computation
  1. Design and analysis of algorithms
    1. Mathematical optimization
      1. Discrete optimization
      2. Mixed discrete-continuous optimization
        Integer programming
        Submodular optimization and polymatroids

Recommendations

Mixed integer reformulations of integer programs and the affine TU-dimension of a matrix

We study the reformulation of integer linear programs by means of a mixed integer linear program with fewer integer variables. Such reformulations can be solved efficiently with mixed integer linear programming techniques. We exhibit examples that ...
Congruency-Constrained TU Problems Beyond the Bimodular Case
A long-standing open question in integer programming is whether integer programs with constraint matrices with bounded subdeterminants are efficiently solvable. An important special case thereof are congruency-constrained integer programs min{c⊤x:Tx≤b,γ⊤x≡r (mod m),x∈Zn} with a totally ...
Using a Mixed Integer Quadratic Programming Solver for the Unconstrained Quadratic 0-1 Problem

In this paper, we consider problem (P) of minimizing a quadratic function q(x)=xtQx+ctx of binary variables. Our main idea is to use the recent Mixed Integer Quadratic Programming (MIQP) solvers. But, for this, we have to first convexify the objective ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

STOC 2017: Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing

June 2017

1268 pages

ISBN:9781450345286

DOI:10.1145/3055399

General Chairs:
Hamed Hatami
McGill University
,
Pierre McKenzie
Université de Montréal
,
Program Chair:
Valerie King
University of Victoria

Copyright © 2017 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Sponsors

SIGACT: ACM Special Interest Group on Algorithms and Computation Theory

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 19 June 2017

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung

Conference

STOC '17

Sponsor:

SIGACT

STOC '17: Symposium on Theory of Computing

June 19 - 23, 2017

Montreal, Canada

Acceptance Rates

Overall Acceptance Rate 1,469 of 4,586 submissions, 32%

Upcoming Conference

STOC '25

Sponsor:
sigact

57th Annual ACM Symposium on Theory of Computing (STOC 2025)

June 23 - 27, 2025

Prague , Czech Republic

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

34
Total Citations
View Citations
573
Total Downloads

Downloads (Last 12 months)130
Downloads (Last 6 weeks)8

Reflects downloads up to 14 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Zhang YXia YZhan Y(2024)Total Unimodularity and Strongly Polynomial Solvability of Constrained Minimum Input Selections for Structural Controllability: An LP-Based MethodIEEE Transactions on Automatic Control10.1109/TAC.2023.326624269:1(387-394)Online publication date: Jan-2024
https://doi.org/10.1109/TAC.2023.3266242
Paat JWalsh ZXu L(2024)Extended formulations for the integer hull of strictly Δ-modular cographic polyhedral conesOperations Research Letters10.1016/j.orl.2024.107235(107235)Online publication date: Dec-2024
https://doi.org/10.1016/j.orl.2024.107235
Gribanov DShumilov IMalyshev DZolotykh N(2024)Faster algorithms for sparse ILP and hypergraph multi-packing/multi-cover problemsJournal of Global Optimization10.1007/s10898-024-01379-z89:4(1033-1067)Online publication date: 1-Aug-2024
https://dl.acm.org/doi/10.1007/s10898-024-01379-z
Gribanov DShumilov IMalyshev DPardalos P(2024)On -modular integer linear problems in the canonical form and equivalent problemsJournal of Global Optimization10.1007/s10898-022-01165-988:3(591-651)Online publication date: 1-Mar-2024
https://dl.acm.org/doi/10.1007/s10898-022-01165-9
Nägele MNöbel CSantiago RZenklusen R(2024)Advances on strictly $$\Delta $$-modular IPsMathematical Programming10.1007/s10107-024-02148-2Online publication date: 30-Oct-2024
https://doi.org/10.1007/s10107-024-02148-2
Ferrarini LFiorini SKober SYuditsky Y(2024)Total Matching and SubdeterminantsCombinatorial Optimization10.1007/978-3-031-60924-4_15(192-204)Online publication date: 22-May-2024
https://doi.org/10.1007/978-3-031-60924-4_15
Celaya MKuhlmann SWeismantel R(2024)On Matrices over a Polynomial Ring with Restricted SubdeterminantsInteger Programming and Combinatorial Optimization10.1007/978-3-031-59835-7_4(43-56)Online publication date: 22-May-2024
https://doi.org/10.1007/978-3-031-59835-7_4
Liu SXu C(2024)On the Congruency-Constrained Matroid BaseInteger Programming and Combinatorial Optimization10.1007/978-3-031-59835-7_21(280-293)Online publication date: 3-Jul-2024
https://dl.acm.org/doi/10.1007/978-3-031-59835-7_21
Papalamprou KPitsoulis LKotnyek B(2023)A mathematical programming approach for recognizing binet matricesOptimization Letters10.1007/s11590-023-02066-w18:6(1511-1532)Online publication date: 6-Oct-2023
https://doi.org/10.1007/s11590-023-02066-w
Han MZhu W(2023)Nonnegative partial s-goodness for the equivalence of a 0-1 linear program to weighted linear programmingJournal of Combinatorial Optimization10.1007/s10878-023-01054-145:5Online publication date: 16-Jun-2023
https://dl.acm.org/doi/10.1007/s10878-023-01054-1
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents