Lift-and-project for Mixed 0-1 programming: recent progress

This article reviews the disjunctive programming or lift-and-project approach to 0-1 programming, with an emphasis on recent developments. Disjunctive programming is optimization over unions of polyhedra. The first three sections of the paper define basic concepts and introduce the two fundamental results underlying the approach. Thus, section 2 describes the compact higher dimensional representation of the convex hull of a union of polyhedra, and its projection on the original space; whereas section 3 is devoted to the sequential convexifiability of facial disjunctive programs, which include mixed 0-1 programs. While these results originate in Balas' work in the early- to mid-seventies, some new results are also included: it is shown that on the higher dimensional polyhedron representing the convex hull of a union of polyhedra, the maximum edge-distance between any two vertices in 2. Also, it is shown that in the process of sequential convexification of a 0-1 program, fractional intermediate values of the variables can occur only under very special circumstances. The next section relates the above results to the matrix-cone approach of Lovasz and Schrijver and of Sherali and Adams. Section 5 introduces the lift-and-project cuts of Balas, Ceria and Cornuejols from the early nineties, and discusses the cut generating linear program (CGLP), cut lifting and cut strengthening. The next section briefly outlines the branch and cut framework in which the lift-and-project cuts turned out to be computationally useful, while section 7 discusses some crucial aspects of the cut generating procedure: alternative normalizations of (CGLP), complementarity of the solution components, size reduction of (CGLP), and ways of deriving multiple cuts from a disjunction. Finally, section 8 discusses computational results in branch-and-cut mode as well as in cut-and-branch mode.

[1]  Sanjay Mehrotra,et al.  A branch-and-cut method for 0-1 mixed convex programming , 1999, Math. Program..

[2]  William J. Cook,et al.  Computational experience with parallel mixed integerprogramming in a distributed environment , 1999, Ann. Oper. Res..

[3]  H. Kunzi,et al.  Lectu re Notes in Economics and Mathematical Systems , 1975 .

[4]  Egon Balas,et al.  A lift-and-project cutting plane algorithm for mixed 0–1 programs , 1993, Math. Program..

[5]  G. G. Stokes "J." , 1890, The New Yale Book of Quotations.

[6]  Nicholas Beaumont,et al.  An algorithm for disjunctive programs , 1990 .

[7]  Charles E. Blair Facial disjunctive programs and sequence of cutting-planes , 1980, Discret. Appl. Math..

[8]  H. P. Williams An alternative explanation of disjunctive formulations , 1994 .

[9]  Stefan Thienel,et al.  ABACUS - a branch-and-CUt system , 1995 .

[10]  Egon Balas,et al.  Polyhedral methods for the maximum clique problem , 1994, Cliques, Coloring, and Satisfiability.

[11]  Charles Eugene Blair Two Rules for Deducing Valid Inequalities for 0-1 Problems , 1976 .

[12]  Alexander Schrijver,et al.  Cones of Matrices and Set-Functions and 0-1 Optimization , 1991, SIAM J. Optim..

[13]  E. Balas Disjunctive programming and a hierarchy of relaxations for discrete optimization problems , 1985 .

[14]  L. Lovász,et al.  Annals of Discrete Mathematics , 1986 .

[15]  Ignacio E. Grossmann,et al.  Disjunctive Programming Techniques for the Optimization of Process Systems with Discontinuous Investment Costs−Multiple Size Regions , 1996 .

[16]  Egon Balas,et al.  programming: Properties of the convex hull of feasible points * , 1998 .

[17]  E. Balas,et al.  Mixed 0-1 Programming by Lift-and-Project in a Branch-and-Cut Framework , 1996 .

[18]  E. Balas,et al.  Strengthening cuts for mixed integer programs , 1980 .

[19]  Warren P. Adams,et al.  A hierarchy of relaxation between the continuous and convex hull representations , 1990 .

[20]  Hanif D. Sherali,et al.  A Hierarchy of Relaxations Between the Continuous and Convex Hull Representations for Zero-One Programming Problems , 1990, SIAM J. Discret. Math..

[21]  Egon Balas,et al.  Sequential convexification in reverse convex and disjunctive programming , 1989, Math. Program..

[22]  Robert G. Jeroslow,et al.  Representability in mixed integer programmiing, I: Characterization results , 1987, Discret. Appl. Math..

[23]  Egon Balas A modified lift-and-project procedure , 1997, Math. Program..

[24]  H. P. Williams,et al.  Logic-Based Decision Support: Mixed Integer Model Formulation , 1989 .

[25]  Gábor Pataki,et al.  Solving Integer and Disjunctive Programs by Lift and Project , 1998, IPCO.

[26]  Hanif D. Sherali,et al.  Optimization with disjunctive constraints , 1980 .

[27]  Robert G. Jeroslow,et al.  Cutting-Plane Theory: Disjunctive Methods , 1977 .