27 research outputs found
Unique Minimal Liftings for Simplicial Polytopes
For a minimal inequality derived from a maximal lattice-free simplicial
polytope in , we investigate the region where minimal liftings are
uniquely defined, and we characterize when this region covers . We then
use this characterization to show that a minimal inequality derived from a
maximal lattice-free simplex in with exactly one lattice point in the
relative interior of each facet has a unique minimal lifting if and only if all
the vertices of the simplex are lattice points.Comment: 15 page
When Lift-and-Project Cuts are Different
In this paper, we present a method to determine if a lift-and-project cut for
a mixed-integer linear program is irregular, in which case the cut is not
equivalent to any intersection cut from the bases of the linear relaxation.
This is an important question due to the intense research activity for the past
decade on cuts from multiple rows of simplex tableau as well as on
lift-and-project cuts from non-split disjunctions. While it is known since
Balas and Perregaard (2003) that lift-and-project cuts from split disjunctions
are always equivalent to intersection cuts and consequently to such multi-row
cuts, Balas and Kis (2016) have recently shown that there is a necessary and
sufficient condition in the case of arbitrary disjunctions: a lift-and-project
cut is regular if, and only if, it corresponds to a regular basic solution of
the Cut Generating Linear Program (CGLP). This paper has four contributions.
First, we state a result that simplifies the verification of regularity for
basic CGLP solutions from Balas and Kis (2016). Second, we provide a
mixed-integer formulation that checks whether there is a regular CGLP solution
for a given cut that is regular in a broader sense, which also encompasses
irregular cuts that are implied by the regular cut closure. Third, we describe
a numerical procedure based on such formulation that identifies irregular
lift-and-project cuts. Finally, we use this method to evaluate how often
lift-and-project cuts from simple -branch split disjunctions are irregular,
and thus not equivalent to multi-row cuts, on 74 instances of the MIPLIB
benchmarks.Comment: INFORMS Journal on Computing (to appear
A characterization of maximal homogeneous-quadratic-free sets
The intersection cut framework was introduced by Balas in 1971 as a method
for generating cutting planes in integer optimization. In this framework, one
uses a full-dimensional convex -free set, where is the feasible region
of the integer program, to derive a cut separating from a non-integral
vertex of a linear relaxation of . Among all -free sets, it is the
inclusion-wise maximal ones that yield the strongest cuts. Recently, this
framework has been extended beyond the integer case in order to obtain cutting
planes in non-linear settings. In this work, we consider the specific setting
when is defined by a homogeneous quadratic inequality. In this
'quadratic-free' setting, every function , where is
the unit disk in , generates a representation of a quadratic-free
set. While not every generates a maximal quadratic free set, it is the
case that every full-dimensional maximal quadratic free set is generated by
some . Our main result shows that the corresponding quadratic-free set
is full-dimensional and maximal if and only if is non-expansive and
satisfies a technical condition. This result yields a broader class of maximal
-free sets than previously known. Our result stems from a new
characterization of maximal -free sets (for general beyond the quadratic
setting) based on sequences that 'expose' inequalities defining the -free
set
Relaxations of mixed integer sets from lattice-free polyhedra
This paper gives an introduction to a recently established link between the geometry of numbers and mixed integer optimization. The main focus is to provide a review of families of lattice-free polyhedra and their use in a disjunctive programming approach. The use of lattice-free polyhedra in the context of deriving and explaining cutting planes for mixed integer programs is not only mathematically interesting, but it leads to some fundamental new discoveries, such as an understanding under which conditions cutting planes algorithms converge finitel
Split rank of triangle and quadrilateral inequalities
A simple relaxation of two rows of a simplex tableau is a mixed integer set consisting of two equations with two free integer variables and non-negative continuous variables. Recently Andersen et al. [2] and Cornu´ejols and Margot [13] showed that the facet-defining inequalities of this set are either split cuts or intersection cuts obtained from lattice-free triangles and quadrilaterals. Through a result by Cook et al. [12], it is known that one particular class of facet- defining triangle inequality does not have a finite split rank. In this paper, we show that all other facet-defining triangle and quadrilateral inequalities have finite split rank. The proof is constructive and given a facet-defining triangle or quadrilateral inequality we present an explicit sequence of split inequalities that can be used to generate it.mixed integer programs, split rank, group relaxations