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.


Publié dans:
Leibniz International Proceedings in Informatics (LIPIcs), 107, 49:1--49:13
Présenté à:
45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), Prague, Czech Rupublic
Année
2018
Publisher:
Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
ISBN:
978-3-95977-076-7
Laboratoires:




 Notice créée le 2018-11-29, modifiée le 2019-08-12


Évaluer ce document:

Rate this document:
1
2
3
 
(Pas encore évalué)