Minimal Inequalities for an Infinite Relaxation of Integer Programs

  • Authors:
  • Amitabh Basu;Michele Conforti;Gérard Cornuéjols;Giacomo Zambelli

  • Affiliations:
  • abasul@andrew.cmu.edu;conforti@math.unipd.it and giacomo@math.unipd.it;gc0v@andrew.cmu.edu;-

  • Venue:
  • SIAM Journal on Discrete Mathematics
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

We show that maximal $S$-free convex sets are polyhedra when $S$ is the set of integral points in some rational polyhedron of $\mathbb{R}^n$. This result extends a theorem of Lovász characterizing maximal lattice-free convex sets. Our theorem has implications in integer programming. In particular, we show that maximal $S$-free convex sets are in one-to-one correspondence with minimal inequalities.