MathematicsComputer Science

H. Sherali, Warren P. Adams

1990.5.1SIAM JOURNAL ON DISCRETE MATHEMATICS

DOI: 10.1137/0403036

tlooto Summary

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, and a hierarchy of sharper representations is obtained with the final relaxation representing the convex hull of feasible solutions.

Abstract

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 inequalities through appropriate surrogates in a computational framework. The surrogation process can also be used to study various classes of facets for different combinatorial optimization problems. Some examples are given to illustrate this point. 1. Introduction. This paper describes a technique for generating a hierarchy of polyhedral representations for linear and polynomial zero-one programming problems.

Citation format

SHERALI, H.; ADAMS, Warren P. A hierarchy of relaxation between the continuous and convex hull representations. SIAM JOURNAL ON DISCRETE MATHEMATICS, 1990, 3: 411–430.