332 research outputs found
Disjunctive programming and relaxations of polyhedra
Given a polyhedron with facets, whose interior contains no integral points, and a polyhedron , recent work in integer programming has focused on characterizing the convex hull of minus the interior of . We show that to obtain such a characterization it suffices to consider all relaxations of defined by at most among the inequalities defining . This extends a result by Andersen, Cornuéjols, and Li
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
Lift-and-project ranks of the stable set polytope of joined a-perfect graphs
In this paper we study lift-and-project polyhedral operators defined by
Lov?asz and Schrijver and Balas, Ceria and Cornu?ejols on the clique relaxation
of the stable set polytope of web graphs. We compute the disjunctive rank of
all webs and consequently of antiweb graphs. We also obtain the disjunctive
rank of the antiweb constraints for which the complexity of the separation
problem is still unknown. Finally, we use our results to provide bounds of the
disjunctive rank of larger classes of graphs as joined a-perfect graphs, where
near-bipartite graphs belong
On Minimal Valid Inequalities for Mixed Integer Conic Programs
We study disjunctive conic sets involving a general regular (closed, convex,
full dimensional, and pointed) cone K such as the nonnegative orthant, the
Lorentz cone or the positive semidefinite cone. In a unified framework, we
introduce K-minimal inequalities and show that under mild assumptions, these
inequalities together with the trivial cone-implied inequalities are sufficient
to describe the convex hull. We study the properties of K-minimal inequalities
by establishing algebraic necessary conditions for an inequality to be
K-minimal. This characterization leads to a broader algebraically defined class
of K- sublinear inequalities. We establish a close connection between
K-sublinear inequalities and the support functions of sets with a particular
structure. This connection results in practical ways of showing that a given
inequality is K-sublinear and K-minimal.
Our framework generalizes some of the results from the mixed integer linear
case. It is well known that the minimal inequalities for mixed integer linear
programs are generated by sublinear (positively homogeneous, subadditive and
convex) functions that are also piecewise linear. This result is easily
recovered by our analysis. Whenever possible we highlight the connections to
the existing literature. However, our study unveils that such a cut generating
function view treating the data associated with each individual variable
independently is not possible in the case of general cones other than
nonnegative orthant, even when the cone involved is the Lorentz cone
Mixed Integer Linear Programming Formulation Techniques
A wide range of problems can be modeled as Mixed Integer Linear Programming (MIP) problems using standard formulation techniques. However, in some cases the resulting MIP can be either too weak or too large to be effectively solved by state of the art solvers. In this survey we review advanced MIP formulation techniques that result in stronger and/or smaller formulations for a wide class of problems
- …