Faster Algorithms for Integer Programs with Block Structure

We consider integer programming problems max {c^Tx : A x = b, l <= x <= u, x in Z^{nt}} where A has a (recursive) block-structure generalizing n-fold integer programs which recently received considerable attention in the literature. An n-fold IP is an integer program where A consists of n repetitions of submatrices A in Z^{r × t} on the top horizontal part and n repetitions of a matrix B in Z^{s × t} on the diagonal below the top part. Instead of allowing only two types of block matrices, one for the horizontal line and one for the diagonal, we generalize the n-fold setting to allow for arbitrary matrices in every block. We show that such an integer program can be solved in time n^2t^2 phi x (r s delta)^{O(rs^2+ sr^2)} (ignoring logarithmic factors). Here delta is an upper bound on the largest absolute value of an entry of A and phi is the largest binary encoding length of a coefficient of c. This improves upon the previously best algorithm of Hemmecke, Onn and Romanchuk that runs in time n^3t^3 phi x delta^{O(st(r+t))}. In particular, our algorithm is not exponential in the number t of columns of A and B. Our algorithm is based on a new upper bound on the l_1-norm of an element of the Graver basis of an integer matrix and on a proximity bound between the LP and IP optimal solutions tailored for IPs with block structure. These new bounds rely on the Steinitz Lemma. Furthermore, we extend our techniques to the recently introduced tree-fold IPs, where we again present a more efficient algorithm in a generalized setting.


Published in:
Leibniz International Proceedings in Informatics (LIPIcs), 107, 49:1--49:13
Presented at:
45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), Prague, Czech Rupublic
Year:
2018
Publisher:
Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
ISBN:
978-3-95977-076-7
Laboratories:




 Record created 2018-11-29, last modified 2019-08-12


Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)