The integer hull of a convex rational polytope

  • Authors:
  • Jean B. Lasserre

  • Affiliations:
  • LAAS-CNRS, Toulouse cedex 4, France

  • Venue:
  • ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartIII
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

Given A ∈ Zm×n and b ∈ Zm, we consider the integer program max{c′x|Ax = b; x ∈ Nn} and provide an equivalent and explicit linear program max{c′q|Mq = r; q ≥ 0}, where M, r, c are easily obtained from A, b, c with no calculation. We also provide an explicit algebraic characterization of the integer hull of the convex polytope P = {x ∈ Rn|Ax = b; x ≥ 0}. All strong valid inequalities can be obtained from the generators of a convex cone whose definition is explicit in terms of M.