On the Graver basis of block-structured integer programming

05/09/2018
by   Lin Chen, et al.
0

We consider the 4-block n-fold integer programming (IP), in which the constraint matrix consists of n copies of small matrices A, B, D and one copy of C in a specific block structure. We prove that, the ℓ_∞-norm of the Graver basis elements of 4-block n-fold IP is upper bounded by O_FPT(n^s_c) where s_c is the number of rows of matrix C and O_FPT hides a multiplicative factor that is only dependent on the parameters of the small matrices A,B,C,D (i.e., the number of rows and columns, and the largest absolute value among the entries). This improves upon the existing upper bound of O_FPT(n^2^s_c). We provide a matching lower bounded of Ω(n^s_c), which even holds for an arbitrary non-zero integral element in the kernel space. We then consider a special case of 4-block n-fold in which C is a zero matrix (called 3-block n-fold IP). We show that, surprisingly, 3-block n-fold IP admits a Hilbert basis whose ℓ_∞-norm is bounded by O_FPT(1), despite the fact that the ℓ_∞-norm of its Graver basis elements is still Ω(n). Finally, we provide upper bounds on the ℓ_∞-norm of Graver basis elements for 3-block n-fold IP. Based on these upper bounds, we establish algorithms for 3-block n-fold IP and provide improved algorithms for 4-block n-fold IP.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/17/2018

Faster Algorithms for Integer Programs with Block Structure

We consider integer programming problems { c^T x : A x = b, l ≤ x ≤ u, x...
research
04/03/2023

L_∞ norm minimization for nowhere-zero integer eigenvectors of the block graphs of Steiner triple systems and Johnson graphs

We study nowhere-zero integer eigenvectors of the block graphs of Steine...
research
02/25/2018

Evaluating and Tuning n-fold Integer Programming

In recent years, algorithmic breakthroughs in stringology, computational...
research
03/07/2022

Exponentially faster fixed-parameter algorithms for high-multiplicity scheduling

We consider so-called N-fold integer programs (IPs) of the form max{c^T ...
research
10/02/2018

Determining r-Robustness of Arbitrary Digraphs Using Zero-One Linear Integer Programming

There has been an increase in the use of resilient control algorithms ba...
research
10/25/2021

Collapsing the Tower – On the Complexity of Multistage Stochastic IPs

In this paper we study the computational complexity of solving a class o...
research
02/10/2022

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

An intensive line of research on fixed parameter tractability of integer...

Please sign up or login with your details

Forgot password? Click here to reset