Abstract:Many papers in the field of integer linear programming (ILP, for short) are devoted to problems of the type $\max\{c^\top x \colon A x = b,\, x \in \mathbb{Z}^n_{\geq 0}\}$, where all the entries of $A,b,c$ are integer, parameterized by the number of rows of $A$ and $\|A\|_{\max}$. This class of problems is known under the name of ILP problems in the standard form, adding the word "bounded" if $x \leq u$, for some integer vector $u$. Recently, many new sparsity, proximity, and complexity results were obtained for bounded and unbounded ILP problems in the standard form. In this paper, we consider ILP problems in the canonical form $$\max\{c^\top x \colon b_l \leq A x \leq b_r,\, x \in \mathbb{Z}^n\},$$ where $b_l$ and $b_r$ are integer vectors. We assume that the integer matrix $A$ has the rank $n$, $(n + m)$ rows, $n$ columns, and parameterize the problem by $m$ and $\Delta(A)$, where $\Delta(A)$ is the maximum of $n \times n$ sub-determinants of $A$, taken in the absolute value. We show that any ILP problem in the standard form can be polynomially reduced to some ILP problem in the canonical form, preserving $m$ and $\Delta(A)$, but the reverse reduction is not always possible. More precisely, we define the class of generalized ILP problems in the standard form, which includes an additional group constraint, and prove the equivalence to ILP problems in the canonical form. We generalize known sparsity, proximity, and complexity bounds for ILP problems in the canonical form. Additionally, sometimes, we strengthen previously known results for ILP problems in the canonical form, and, sometimes, we give shorter proofs. Finally, we consider the special cases of $m \in \{0,1\}$. By this way, we give specialised sparsity, proximity, and complexity bounds for the problems on simplices, Knapsack problems and Subset-Sum problems.

Sparsity and integrality gap transference bounds for integer programs

Proximity results in convex mixed-integer programming

On Polynomial Kernels for Sparse Integer Linear Programs

Computing the Integer Programming Gap

Integrality Gaps of Linear and Semi-definite Programming Relaxations for Knapsack

Characterization of matrices with bounded Graver bases and depth parameters and applications to integer programming

Proximity-based approximation algorithms for integer bilevel programs

On the Relationship Between the Integer and Continuous Solutions of Convex Programs.

Parametric Integer Programming in Fixed Dimension

Measure Inequalities and the Transference Theorem in the Geometry of Numbers

On $Δ$-Modular Integer Linear Problems In The Canonical Form And Equivalent Problems

On Discrete Subproblems in Integer Optimal Control with Total Variation Regularization in Two Dimensions

Fine-Grained Equivalence for Problems Related to Integer Linear Programming

Sparse Integer Programming Is Fixed-Parameter Tractable

Integer programs with bounded subdeterminants and two nonzeros per row

Integer Feasibility of Random Polytopes

The Mixed Integer Trust Region Problem

Sometimes, Convex Separable Optimization Is Much Harder than Linear Optimization, and Other Surprises

Quantitative Indicators for Strength of Inequalities with Respect to a Polyhedron, Part I: Theory

An integer programming approach for linear programs with probabilistic constraints