A hierarchy of relaxation between the continuous and convex hull representations

In this paper a reformulation technique is presented that takes a given linear zero-one programming problem, converts it into a zero-one polynomial programming problem, and then relinearizes it into an extended linear program. It is shown that the strength of the resulting reformulation depends on the degree of the terms used to produce the polynomial program at the intermediate step of this method. In fact, as this degree varies from one up to the number of variables in the problem, a hierarchy of sharper representations is obtained with the final relaxation representing the convex hull of feasible solutions. The reformulation technique readily extends to produce a similar hierarchy of linear relaxations for zero-one polynomial programming problems. A characterization of the convex hull in the original variable space is also available through a projection process. The structure of this convex hull characterization (or its other relaxations) can be exploited to generate strong or facetial valid inequaliti...

[1]  Vasek Chvátal,et al.  Edmonds polytopes and a hierarchy of combinatorial problems , 1973, Discret. Math..

[2]  Manfred W. Padberg,et al.  On the facial structure of set packing polyhedra , 1973, Math. Program..

[3]  Robert G. Jeroslow,et al.  Trivial integer programs unsolvable by branch-and-bound , 1974, Math. Program..

[4]  F. Glover IMPROVED LINEAR INTEGER PROGRAMMING FORMULATIONS OF NONLINEAR INTEGER PROBLEMS , 1975 .

[5]  Laurence A. Wolsey,et al.  Faces for a linear inequality in 0–1 variables , 1975, Math. Program..

[6]  R. Meyer Integer and mixed-integer programming models: General properties , 1975 .

[7]  Eitan Zemel,et al.  Lifting the facets of zero–one polytopes , 1978, Math. Program..

[8]  Martin Grötschel,et al.  On the symmetric travelling salesman problem II: Lifting theorems and facets , 1979, Math. Program..

[9]  Uwe H. Suhl,et al.  Experiments in integer programming , 1980, Discret. Appl. Math..

[10]  H. Crowder,et al.  Solving Large-Scale Symmetric Travelling Salesman Problems to Optimality , 1980 .

[11]  Robert R. Meyer,et al.  Rational Mixed-Integer and Polyhedral Union Minimization Models , 1980, Math. Oper. Res..

[12]  Ellis L. Johnson,et al.  Solving Large-Scale Zero-One Linear Programming Problems , 1983, Oper. Res..

[13]  J. K. Lowe Modelling with Integer Variables. , 1984 .

[14]  Michael M. Kostreva,et al.  Solving 0-1 Integer Programming Problems Arising from Large Scale Planning Models , 1985, Oper. Res..

[15]  R. G. Jeroslow,et al.  Experimental Results on the New Techniques for Integer Programming Formulations , 1985 .

[16]  Linus Schrage,et al.  Subset Coefficient Reduction Cuts for 0/1 Mixed-Integer Programming , 1985, Oper. Res..

[17]  M. Padberg,et al.  Lp-based combinatorial problem solving , 1985 .

[18]  G. D. Eppen,et al.  Solving Multi-Item Capacitated Lot-Sizing Problems Using Variable Redefinition , 1987, Oper. Res..

[19]  R. G. Jeroslow,et al.  Alternative formulations of mixed integer programs , 1988 .

[20]  Manfred W. Padberg,et al.  The boolean quadric polytope: Some characteristics, facets and relatives , 1989, Math. Program..