2 research outputs found
FPT-algorithms for some problems related to integer programming
In this paper, we present FPT-algorithms for special cases of the shortest
lattice vector, integer linear programming, and simplex width computation
problems, when matrices included in the problems' formulations are near square.
The parameter is the maximum absolute value of rank minors of the corresponding
matrices. Additionally, we present FPT-algorithms with respect to the same
parameter for the problems, when the matrices have no singular rank
sub-matrices.Comment: arXiv admin note: text overlap with arXiv:1710.00321 From author:
some minor corrections has been don
On lattice point counting in -modular polyhedra
Let a polyhedron be defined by one of the following ways:
(i) , where ,
and ;
(ii) , where , and .
And let all rank order minors of be bounded by in absolute
values. We show that the short rational generating function for the power
series can be computed with the
arithmetic complexity where and are fixed, , and
is the complexity to compute the Smith Normal Form for integer matrix. In particular, for the case (i) and for
the case (ii).
The simplest examples of polyhedra that meet conditions (i) or (ii) are the
simplicies, the subset sum polytope and the knapsack or multidimensional
knapsack polytopes.
We apply these results to parametric polytopes, and show that the step
polynomial representation of the function , where
is parametric polytope, can be computed by a polynomial time even in
varying dimension if has a close structure to the cases (i) or (ii). As
another consequence, we show that the coefficients of the Ehrhart
quasi-polynomial can be computed by a polynomial time algorithm for fixed and