This Article Full Text (PDF) References Alert me when this article is cited Alert me if a correction is posted Services Email this article to a friend Similar articles in this journal Alert me to new issues of the journal Download to citation manager Citing Articles Citing Articles via Google Scholar Google Scholar Articles by Eisenbrand, F. Articles by Shmonin, G. Search for Related Content

Parametric Integer Programming in Fixed Dimension

Institute of Mathematics, EPFL, 1015 Lausanne, Switzerland
Institute of Mathematics, EPFL, 1015 Lausanne, Switzerland
friedrich.eisenbrand{at}epfl.ch
gennady.shmonin{at}epfl.ch

Parametric integer programming deals with a family of integer programs that is defined by the same constraint matrix but where the right-hand sides are points of a given polyhedron. The question is whether all these integer programs are feasible. Kannan showed that this can be checked in polynomial time if the number of variables in the integer programs is fixed and the polyhedron of right-hand sides has fixed affine dimension. In this paper, we extend this result by providing a polynomial algorithm for this problem under the only assumption that the number of variables in the integer programs is fixed. We apply this result to deduce a polynomial algorithm to compute the maximum gap between the optimum values of an integer program in fixed dimension and its linear programming relaxation, as the right-hand side is varying over all vectors for which the integer program is feasible.

Key Words: parametric integer programming; fixed dimension; integer programming gap
History: Received: March 20, 2007; revision received: January 26, 2008;