We study unconstrainedquadraticzero–oneprogramming problems havingn variables from a polyhedral point of view by considering the Boolean quadric polytope QP n inn(n+1)/2 dimensions that results from the lineariza...
详细信息
We study unconstrainedquadraticzero–oneprogramming problems havingn variables from a polyhedral point of view by considering the Boolean quadric polytope QP n inn(n+1)/2 dimensions that results from the linearization of the quadratic form. We show that QP n has a diameter of one, descriptively identify three families of facets of QP n and show that QP n is symmetric in the sense that all facets of QP n can be obtained from those that contain the origin by way of a mapping. The naive linear programming relaxation QP n LP of QP n is shown to possess the Trubin-property and its extreme points are shown to be {0,1/2,1}-valued. Furthermore, O(n 3) facet-defining inequalities of QP n suffice to cut off all fractional vertices of QP n LP, whereas the family of facets described by us has at least O(3 n ) members. The problem is also studied for sparse quadratic forms (i.e. when several or many coefficients are zero) and conditions are given for the previous results to carry over to this case. Polynomially solvable problem instances are discussed and it is shown that the known polynomiality result for the maximization of nonnegative quadratic forms can be obtained by simply rounding the solution to the linear programming relaxation. In the case that the graph induced by the nonzero coefficients of the quadratic form is series-parallel, a complete linear description of the associated Boolean quadric polytope is given. The relationship of the Boolean quadric polytope associated to sparse quadratic forms with the vertex-packing polytope is discussed as well.
暂无评论