Sufficiency of Cut-Generating Functions

Similar documents
Minimal Valid Inequalities for Integer Constraints

Minimal inequalities for an infinite relaxation of integer programs

A geometric perspective on lifting

A geometric perspective on lifting

Convex Sets and Minimal Sublinear Functions

Multi-Row Cuts in Integer Programming. Tepper School of Business Carnegie Mellon University, Pittsburgh

Disjunctive Cuts for Cross-Sections of the Second-Order Cone

On the Relative Strength of Split, Triangle and Quadrilateral Cuts

Convex Sets and Minimal Sublinear Functions

Key words. Integer nonlinear programming, Cutting planes, Maximal lattice-free convex sets

Corner Polyhedron and Intersection Cuts

On the relative strength of families of intersection cuts arising from pairs of tableau constraints in mixed integer programs

Minimal inequalities for an infinite relaxation of integer programs

Polyhedral Approach to Integer Linear Programming. Tepper School of Business Carnegie Mellon University, Pittsburgh

On Sublinear Inequalities for Mixed Integer Conic Programs

On the Relative Strength of Split, Triangle and Quadrilateral Cuts

The Strength of Multi-row Aggregation Cuts for Sign-pattern Integer Programs

Structure in Mixed Integer Conic Optimization: From Minimal Inequalities to Conic Disjunctive Cuts

Optimality Conditions for Nonsmooth Convex Optimization

On the Relative Strength of Split, Triangle and Quadrilateral Cuts

Maximal lattice-free convex sets in linear subspaces

Structure of Valid Inequalities for Mixed Integer Conic Programs

Split Rank of Triangle and Quadrilateral Inequalities

Cut-Generating Functions for Integer Variables

1 Maximal Lattice-free Convex Sets

Deciding Emptiness of the Gomory-Chvátal Closure is NP-Complete, Even for a Rational Polyhedron Containing No Integer Point

Some cut-generating functions for second-order conic sets

Unique lifting of integer variables in minimal inequalities

Lifting Integer Variables in Minimal Inequalities Corresponding To Lattice-Free Triangles

On the relative strength of families of intersection cuts arising from pairs of tableau constraints in mixed integer programs

Two-Term Disjunctions on the Second-Order Cone

Chapter 1. Preliminaries

Lecture 2. Split Inequalities and Gomory Mixed Integer Cuts. Tepper School of Business Carnegie Mellon University, Pittsburgh

Bicolorings and Equitable Bicolorings of Matrices

A geometric approach to cut-generating functions

Integer Programming ISE 418. Lecture 13. Dr. Ted Ralphs

On Sublinear Inequalities for Mixed Integer Conic Programs

Cut-generating functions and S-free sets

constraints Ax+Gy» b (thus any valid inequalityforp is of the form u(ax+gy)» ub for u 2 R m + ). In [13], Gomory introduced a family of valid inequali

Split closure and intersection cuts

POLARS AND DUAL CONES

A Lower Bound on the Split Rank of Intersection Cuts

How tight is the corner relaxation? Insights gained from the stable set problem

The Intersection of Continuous Mixing Polyhedra and the Continuous Mixing Polyhedron with Flows

THE MIXING SET WITH FLOWS

Cutting planes from two rows of a simplex tableau

Ellipsoidal Mixed-Integer Representability

Note on the convex hull of the Stiefel manifold

Strong Dual for Conic Mixed-Integer Programs

Mixing Inequalities and Maximal Lattice-Free Triangles

When the Gomory-Chvátal Closure Coincides with the Integer Hull

On Some Polytopes Contained in the 0,1 Hypercube that Have a Small Chvátal Rank

On mixed-integer sets with two integer variables

Change in the State of the Art of (Mixed) Integer Programming

LP Relaxations of Mixed Integer Programs

The structure of the infinite models in integer programming

Maximal S-free convex sets and the Helly number

Mixed-integer nonlinear programming, Conic programming, Duality, Cutting

A Note on the MIR closure

Integer Programming ISE 418. Lecture 13b. Dr. Ted Ralphs

On the knapsack closure of 0-1 Integer Linear Programs

Subdifferential representation of convex functions: refinements and applications

Continuous knapsack sets with divisible capacities

March 2002, December Introduction. We investigate the facial structure of the convex hull of the mixed integer knapsack set

Lift-and-Project Inequalities

The master equality polyhedron with multiple rows

arxiv:math/ v1 [math.co] 3 Sep 2000

A Polyhedral Study of the Semi-Continuous Knapsack Problem

Computing with multi-row Gomory cuts

arxiv:math/ v1 [math.ac] 11 Nov 2005

Week 3: Faces of convex sets

How to Convexify the Intersection of a Second Order Cone and a Nonconvex Quadratic

3. Linear Programming and Polyhedral Combinatorics

Research Division. Computer and Automation Institute, Hungarian Academy of Sciences. H-1518 Budapest, P.O.Box 63. Ujvári, M. WP August, 2007

The master equality polyhedron with multiple rows

MAT-INF4110/MAT-INF9110 Mathematical optimization

BCOL RESEARCH REPORT 07.04

On the projection onto a finitely generated cone

Low-Complexity Relaxations and Convex Hulls of Disjunctions on the Positive Semidefinite Cone and General Regular Cones

Spring 2017 CO 250 Course Notes TABLE OF CONTENTS. richardwu.ca. CO 250 Course Notes. Introduction to Optimization

The Triangle Closure is a Polyhedron

The Split Closure of a Strictly Convex Body

LP Duality: outline. Duality theory for Linear Programming. alternatives. optimization I Idea: polyhedra

The Relation Between Pseudonormality and Quasiregularity in Constrained Optimization 1

Translative Sets and Functions and their Applications to Risk Measure Theory and Nonlinear Separation

Asteroide Santana, Santanu S. Dey. December 4, School of Industrial and Systems Engineering, Georgia Institute of Technology

Non-Recursive Cut Generation

Lecture 9 Monotone VIs/CPs Properties of cones and some existence results. October 6, 2008

arxiv: v3 [math.oc] 24 May 2016

The strength of multi-row models 1

Linear Algebra Review: Linear Independence. IE418 Integer Programming. Linear Algebra Review: Subspaces. Linear Algebra Review: Affine Independence

Some Relationships between Disjunctive Cuts and Cuts based on S-free Convex Sets

Constant factor approximations with families of intersection cuts

Computing with Multi-Row Intersection Cuts

Jørgen Tind, Department of Statistics and Operations Research, University of Copenhagen, Universitetsparken 5, 2100 Copenhagen O, Denmark.

On the Rational Polytopes with Chvátal Rank 1

Cut-Generating Functions for Integer Linear Programming

Lecture 7: Semidefinite programming

A Constructive Characterization of the Split Closure of a Mixed Integer Linear Program. Juan Pablo Vielma

On Subadditive Duality for Conic Mixed-Integer Programs

Transcription:

Sufficiency of Cut-Generating Functions Gérard Cornuéjols 1, Laurence Wolsey 2, and Sercan Yıldız 1 1 Tepper School of Business, Carnegie Mellon University, 5000 Forbes Ave, Pittsburgh, PA 15213, United States 2 CORE, Université Catholique de Louvain, Voie du Roman Pays 34, B-1348 Louvain-la-Neuve, Belgium March 29, 2013 Abstract This note settles an open problem about cut-generating functions, a concept that has its origin in the work of Gomory and Johnson from the 1970 s and has received renewed attention in recent years. Keywords: Mixed Integer Programming, Cutting Planes, Corner Polyhedron, Intersection Cuts 1 Introduction We consider sets of the form where X = X(R, S) := {x R n + : Rx S}, { R = [r 1... r n ] is a real q n matrix, S R q is a nonempty closed set with 0 / S. (1a) (1b) This model has been studied in [Joh81] and [CCD + 13]. It appears in cutting plane theory [Gom69, GJ72, ALWW07, JSRF06] where the goal is to generate inequalities that are valid for X but not for the origin. Such cutting planes are well-defined [CCD + 13, Lemma 2.1] and can be written as c x 1. (2) Let S R q be a given nonempty closed set with 0 / S. Thus, S is assumed to be fixed in this paragraph. [CCD + 13] introduce the notion of a cut-generating function: This is any function ρ : R q R that produces coefficients c j := ρ(r j ) of a cut (2) valid for X(R, S) for any choice of n and This work was ported in part by NSF grant CMMI1024554 and ONR grant N00014-09-1-0033. gc0v@andrew.cmu.edu laurence.wolsey@uclouvain.be syildiz@andrew.cmu.edu 1

R = [r 1... r n ]. It is shown in [CCD + 13] that cut-generating functions enjoy significant structure. For instance, the minimal ones are sublinear and are closely related to S-free neighborhoods of the origin. We say that a closed convex set is S-free if it contains no point of S in its interior. For any minimal cut-generating function ρ, there exists a closed convex S-free set V R q such that 0 int V and V = {r R q : ρ(r) 1}. A cut (2) with coefficients c j := ρ(r j ) is called an S-intersection cut. Now, assume that both S and R are fixed. Noting X(R, S) R n +, we say that a cutting plane c x 1 dominates b x 1 if c j b j for j [n]. A natural question is whether every cut (2) valid for X(R, S) is dominated by an S-intersection cut. [CCD + 13] give an example showing that this is not always the case. However, this example has the peculiarity that S contains points that cannot be obtained as Rx for any x R n +. [CCD + 13] propose the following open problem: Assuming S cone R, is it true that every cut (2) valid for X(R, S) is dominated by an S-intersection cut? Our main theorem shows that this is indeed the case. This generalizes the main result of [CCZ10] and Theorem 6.3 in [CCD + 13]. Theorem 1.1. Suppose S cone R. Then any valid inequality c x 1 separating the origin from X is dominated by an S-intersection cut. 2 Proof of the Main Theorem Our proof of Theorem 1.1 will use several lemmas. We first introduce some terminology. Given a convex cone K R d, let K := {w R d : u w 0, u K} (resp. K := {w R d : u w 0, u K}) denote the polar (resp. dual) of K. Let σ W (u) := w W u w be the port function of a set W R d. A function ρ : R d R {+ } is said to be positively homogeneous if ρ(λu) = λρ(u) for all λ > 0 and u R d and subadditive if ρ(u 1 ) + ρ(u 2 ) ρ(u 1 + u 2 ) for all u 1, u 2 R d. Moreover, ρ is sublinear if it is both positively homogeneous and subadditive. Sublinear functions are known to be convex and it is not difficult to show that port functions are sublinear (see, e.g., [HUL04, Chapter C]). Given a closed convex neighborhood V of the origin, a representation of V is any sublinear function ρ : R q R such that V = {r R q : ρ(r) 1}. S-intersection cuts are generated via representations of closed convex S-free neighborhoods of the origin. Throughout this section, we assume that X and c x 1 is a valid inequality separating the origin from X. Lemma 2.1. If u R n + and Ru = 0, then c u 0, or, equivalently, c R n + + Im R. Proof. Let x X. Note that R(x + tu) = Rx S and x + tu 0 for all t 0. By the validity of c, we have c (x + tu) 1 for all t 0. Observing tc u 1 c x and letting t + implies c u 0 as desired. Because u is an arbitrary vector in R n + Ker R, we can write c (R n + Ker R). The equality (R n + Ker R) = R n + + Im R follows from the facts (R n +) = R n +, (Ker R) = Im R and R n + + Im R is closed (see, e.g., [Roc70, Cor. 16.4.2]). Let h(r) := min c x Rx = r, x 0. (3) 2

Remark 2.2. h(r j ) c j for all j [n]. Lemma 2.3. h is a piecewise-linear sublinear function on the domain cone R. Proof. The dual of (3) is max r y R y c. (4) Let P := {y R q : R y c}. By Lemma 2.1, c = c + c where c R n + and c Im R. Because c Im R, there exists y R q such that R y = c c. Hence, y P which shows that the dual LP is always feasible, strong duality holds and h(r) = σ P (r) for all r cone R. In particular, h(0) = 0 and h(r) is finite for all r cone R. Now, let W be a finite set of points for which P = conv W + rec P. Observe that rec P = (cone R) and r u 0 for all r cone R and u rec P. Therefore, h(r) = σ P (r) = σ W (r) for all r cone R which implies that h is piecewise-linear and sublinear on the domain cone R. Lemma 2.4. Theorem 1.1 holds when cone R = R q. Proof. In this case, h is finite everywhere. Let V := {r R q : h(r) 1}. Because the Slater condition is satisfied, we have int V = {r R q : h(r) < 1} (see, e.g., [HUL04, Prop. D.1.3.3]). Thus, V is a closed convex neighborhood of the origin and h represents V by definition. Claim 2.1: V is S-free. Suppose this is not the case. Let r S be a point in int V. Then there exists x 0 such that Rx = r S and c x = h(r) < 1. Because x X, this contradicts the validity of c x 1. Therefore, n j=1 h(r j)x j 1 is an intersection cut that can be obtained from the closed convex S-free neighborhood V. By Remark 2.2, h(r j ) c j for all j [n]. This shows that n j=1 h(r j)x j 1 dominates c x 1. We now consider the case where cone R R q. We want to extend the definition of h to the whole of R q and show that this extension is a cut-generating function. We will first construct a function h such that 1) h is finite everywhere on span R, 2) h coincides with h on cone R. If dim(r) < q, we will further extend h to the whole of R q by letting h (r) = h (r ) for all r R q, r span R, r (span R) such that r = r + r. Our proof of Theorem 1.1 will show that this procedure yields a function h that is the desired extension of h. Let r 0 ri(cone R) where ri( ) denotes the relative interior. Note that this guarantees cone(r {r 0 }) = span R since there exist ɛ > 0 and d := dim(r) linearly independent vectors a 1,..., a d span R such that r 0 ± ɛa i cone R for all i [d] which implies ±a i cone(r {r 0 }). Now, we define c 0 as h(r) h(r + ( r 0 )) c 0 :=. (5) Lemma 2.5. c 0 is finite. r cone R >0 Proof. Any pair r cone R and > 0 yields a lower bound on c 0 : Our choice of r 0 ensures r + ( r 0 ) cone R and c 0 h(r) h(r+( r 0)). To get an upper bound on c 0, consider the LPs (3) and (4). Let r cone R and 0. Observe that r + ( r 0 ) cone R and, as in the proof of Lemma 2.3, one can show that both LPs are feasible when we plug in r + ( r 0 ) for r. Therefore, strong duality holds and h( r + ( r 0 )) = σ P ( r + ( r 0 )) where P := {y R q : R y c} is the 3

feasible region of (4). Let W be a finite set of points for which P = conv W + rec P. Because rec P = (cone R), we have ( r + ( r 0 )) u 0 for all u rec P. This implies σ P ( r + ( r 0 )) = σ W ( r + ( r 0 )) and we can write c 0 = r cone R >0 r cone R >0 = σ W (r 0 ) σ W (r) σ W (r + ( r 0 )) σ W (r 0 ) where we have used the sublinearity of the σ W in the inequality and the second equality. The conclusion follows now from the fact that W is a finite set. We define a sublinear function h over span R: h (r) := min c 0 x 0 + c x r 0 x 0 + Rx = r, x 0 0, x 0. (6) Lemma 2.6. The function h coincides with h on cone R. Furthermore, for any r cone R, (6) admits an optimal solution of the form (0, x). Proof. It is clear that h h. Let r cone R and pose h (r) < h(r). Then there exists (x 0, x) satisfying r 0 x 0 + Rx = r, x 0, x 0 > 0 and c 0 x 0 + c x < h(r). Rearranging the terms and using Remark 2.2, we obtain h(r) n j=1 h(r j)x j. x 0 c 0 < h(r) c x x 0 Finally, the sublinearity of h and the observation that Rx = r r 0 x 0 give c 0 < h(r) n j=1 h(x jr j ) h(r) h(rx) = h(r) h(r r 0x 0 ). x 0 x 0 x 0 This contradicts the definition of c 0 and proves the first claim. Now, let x be an optimal solution to (3) for r = r. We have c x = h(r) = h (r) and (0, x) is feasible to (6). This shows that (0, x) is an optimal solution to (6). When dim(r) < q, we extend the function h defined in (6) to the whole of R q by letting h (r) = h (r ) for all r R q, r span R, r (span R) such that r = r + r. (7) Proof of Theorem 1.1. Let h be defined as in (6) and (7) and let V := {r R q : h (r) 1}. Observe that V is a closed convex neighborhood of the origin because h is finite everywhere. Furthermore, int(v ) = {r R q : h (r) < 1} by the Slater property. Claim 2.2: V is S-free. Suppose this is not the case. Let r S be a point in int(v ). By Lemma 2.6, there exists x 0 such that Rx = r S and c x = h (r) < 1. Because x X, this contradicts the validity of c x 1. Now, by Remark 2.2 and Lemma 2.6, h (r j ) = h(r j ) c j for all j [n]. This shows that the intersection cut n j=1 h (r j )x j 1 dominates c x 1. 4

3 Constructing the S-Free Convex Neighborhood of the Origin We now give a geometric interpretation for the proof of Theorem 1.1. Again, let c x 1 be a valid inequality separating the origin from X. Assume without any loss of generality that the vectors r 1,..., r j have been normalized so that c j {0, ±1} for all j [n]. Define the sets J + := {j [n] : c j = +1}, J := {j [n] : c j = 1} and J 0 := {j [n] : c j = 0}. Let C := conv({0} {r j : j J + }) and K := cone({r j : j J 0 J } {r j + r i : j J +, i J }). Let Q := C + K and h be defined as in (3). One can show Q = {r R q : h(r) 1}. However, when cone R R q, the origin lies on the boundary of Q. In the proof of Theorem 1.1, we overcame this difficulty by extending h into a function h which is defined on the whole of R q and coincides with h on cone R. We can also follow a similar approach here. Let r 0 ri(cone R) and let c 0 be as defined in (5). When c 0 0, scale r 0 so that c 0 = ±1. Introduce r 0 into the relevant subset of [n] according to the sign of c 0 : If c 0 = +1, let J + := J + {0}, J 0 := J 0 and J := J ; otherwise, if c 0 = 0, let J + := J +, J 0 := J 0 {0} and J := J ; otherwise (c 0 = 1), let J + := J +, J 0 := J 0 and J := J {0}. Finally, let C := conv({0} {r j : j J +}), K := cone({r j : j J 0 J } {r j + r i : j J +, i J }) and Q := C + K + (span R). The following proposition shows that h represents Q and Q can be used to generate an S-intersection cut that dominates c x 1. Proposition 3.1. Q = {r R q : h (r) 1} where h is defined as in (6) and (7). Proof. Let V := {r R q : h (r) 1}. Note that V is convex by the sublinearity of h. We have h (r j ) c j = 1 for all j J +, h (r j ) c j 0 for all j J 0 J and h (r j + r i ) h (r j ) + h (r i ) c j + c i = 0 for all j J + and i J. Moreover, h (r) = h (r + r ) for all r R q and r (span R) by the definition of h. Hence, C V, K rec(v ) and (span R) lin(v ) which together give us Q = C + K + (span R) V. To prove the converse, let r R q be such that h (r) 1. We consider two distinct cases: h (r) 0 and 0 < h (r) 1. First, let us pose h (r) 0. Then the definition of h implies that there exist (x 0, x) R n+1 and r (span R) such that (x 0, x) 0, j J + x j i J x i 0 and r 0 x 0 +Rx = r r. It can be verified by inspection that the first two sets of inequalities define a cone generated by the rays {e j : j J 0 J } {e j +e i : j J +, i J }. This shows r K +(span R) Q. Now, pose 0 < h (r) 1. Then there exist (x 0, x) R n+1 and r (span R) such that (x 0, x) 0, 0 < j J + x j i J x i 1 and r 0 x 0 + Rx = r r. Define x j i := x x j i for all j J + x j i J and j J +. These values are well-defined since 0 i J x i < j J + x j. Observe that j J + xj i = x i and Rx = j J + (x j i J xj i )r j + i J j J + xj i (r i+r j )+ j J 0 x jr j. We have j J + (x j i J xj i ) = j J + x j i J x i 1 together with x j i J xj i > 0 which is true for i J i J x i all j J + because i J xj i = x j j J + x < x j. Hence, j j J + (x j i J xj i )r j C. Moreover, j J + xj i (r i + r j ) + j J 0 x jr j K. These yield r C + K + (span R) = Q. The proof of Theorem 1.1 shows that V := {r R q : h (r) 1} is a closed convex S-free neighborhood of the origin. Proposition 3.1 shows that Q = V. Therefore, n j=1 h (r j )x j 1 is an S-intersection cut obtained from Q. 5

References [ALWW07] K. Andersen, Q. Louveaux, R. Weismantel, and L.A. Wolsey. Cutting planes from two rows of a simplex tableau. In Proceedings of IPCO XII, volume 4513 of Lecture Notes in Computer Science, pages 1 15, Ithaca, New York, June 2007. [CCD + 13] [CCZ10] [GJ72] [Gom69] [HUL04] [Joh81] [JSRF06] [Roc70] M. Conforti, G. Cornuéjols, A. Daniilidis, C. Lemaréchal, and J. Malick. Cut-generating functions and S-free sets. February 2013. Working Paper. M. Conforti, G. Cornuéjols, and G. Zambelli. Equivalence between intersection cuts and the corner polyhedron. Operations Research Letters, 38:153 155, 2010. R.E. Gomory and E.L. Johnson. Some continuous functions related to corner polyhedra. Mathematical Programming, 3:23 85, 1972. R.G. Gomory. Some polyhedra related to combinatorial problems. Linear Algebra and Applications, 2:451 558, 1969. J.-B. Hiriart-Urruty and C. Lemaréchal. Fundamentals of Convex Analysis. Grundlehren Text Editions. Springer, Berlin, 2004. E.L. Johnson. Characterization of facets for multiple right-hand side choice linear programs. Mathematical Programming Study, 14:112 142, 1981. J.J. Júdice, H. Sherali, I.M. Ribeiro, and A.M. Faustino. A complementarity-based partitioning and disjunctive cut algorithm for mathematical programming problems with equilibrium constraints. Journal of Global Optimization, 136:89 114, 2006. R.T. Rockafellar. Convex Analysis. Princeton Landmarks in Mathematics. Princeton University Press, New Jersey, 1970. 6