Constructing extended formulations from reflection relations

  • Authors:
  • Volker Kaibel;Kanstantsin Pashkovich

  • Affiliations:
  • Otto-von-Güricke-Universität Magdeburg, Institut für Mathematische Optimierung, Magdeburg, Germany;Otto-von-Güricke-Universität Magdeburg, Institut für Mathematische Optimierung, Magdeburg, Germany

  • Venue:
  • IPCO'11 Proceedings of the 15th international conference on Integer programming and combinatoral optimization
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

There are many examples of optimization problems whose associated polyhedra can be described much nicer, and with way less inequalities, by projections of higher dimensional polyhedra than this would be possible in the original space. However, currently not many general tools to construct such extended formulations are available. In this paper, we develop a framework of polyhedral relations that generalizes inductive constructions of extended formulations via projections, and we particularly elaborate on the special case of reflection relations. The latter ones provide polynomial size extended formulations for several polytopes that can be constructed as convex hulls of the unions of (exponentially) many copies of an input polytope obtained via sequences of reflections at hyperplanes. We demonstrate the use of the framework by deriving small extended formulations for the G-permutahedra of all finite reflection groups G (generalizing both Goeman's [6] extended formulation of the permutahedron of size O(n log n) and Ben-Tal and Nemirovski's [2] extended formulation with O(k) inequalities for the regular 2k-gon) and for Huffman-polytopes (the convex hulls of the weight-vectors of Huffman codes).