A geometric perspective on lifting
|
|
- Brenda Hardy
- 6 years ago
- Views:
Transcription
1 A geometric perspective on lifting Michele Conforti Università di Padova, Gérard Cornuéjols Carnegie Mellon University and Université d Aix-Marseille, gc0v@andrew.cmu.edu Giacomo Zambelli Università di Padova, giacomo@math.unipd.it May 2009, revised December 2009 Abstract Recently, it has been shown that minimal inequalities for a continuous relaxation of mixed integer linear programs are associated with maximal lattice-free convex sets. In this paper, we show how to lift these inequalities for integral nonbasic variables by considering maximal lattice-free convex sets in a higher-dimensional space. We apply this approach to several examples. In particular, we identify cases where the lifting is unique. Introduction A classical topic in integer programming is that of lifting, introduced by Gomory [3] in the context of the group problem, and further elaborated by Padberg [6]: given mixed integer sets Q R n and R R n+p such that Q is the restriction of R obtained by setting the last p variables to 0, and given a valid inequality n i= a jx j b for Q, find coefficients a n+,..., a n+p such that n+p i= a jx j b is valid for R. Current state-of-the-art integer programming solvers routinely use lifted knapsack covers, lifted flow covers and other liftings. The lifting coefficients a n+,..., a n+p may be computed sequentially, choosing the best possible value at each step. However, different orderings of the variables usually lead to different answers. An aspect of liftings that has received attention is that of sequence-independent lifting (Wolsey [7], Gu, Nemhauser, Savelsberg [4]. In this paper, we revisit liftings from a geometric perspective, building on recent work relating minimal inequalities to maximal lattice-free convex sets. Our results are best described in the context of an infinite model which we present next. Let S be the set of integral points in some rational polyhedron in R n such that dim(conv(s = n (for example S could be the set of nonnegative integral points, and let f conv(s \ Z n. Supported by NSF grant CMMI065349, ONR grant N and ANR grant BLAN
2 We consider the following semi-infinite model. x = f + rs r + ry r r R n r R n x S s r 0, r R n ( y r 0, y r Z, r R n s, y have finite support. The infinite vectors s and y having finite support means that they are nonzero only in a finite number of entries. Model ( is a natural abstraction of the simplex tableau. Indeed, setting all but a finite number of the s r and y r variables to zero reduces ( to a problem in tableau form with right-hand-side f, where x are the basic variables, and the s r and y r variables not set to zero are the nonbasic ones. Since S is a set of integral point in a polyhedron, the condition x S enforces the integrality of the basic variables. When S = Z n, model ( is the infinite group problem of Gomory. Given two functions ψ and π from R n to R, the inequality ψ(rs r + π(ry r (2 r R n r R n is valid for ( if it holds for every (x, s, y satisfying (. If (2 is valid, we say that the function (ψ, π is valid for (. A valid function (ψ, π is minimal if there is no valid function (ψ, π distinct from (ψ, π such that ψ (r ψ(r, π (r π(r for all r R n. Note that, since all components of s and y are nonnegative, one is only interested in studying minimal valid functions. Information about valid inequalities for ( automatically transfers to the problem of cutting-off a fractional basic solution of the linear programming relaxation. Most cutting planes used in practice (Gomory mixed integer cuts, Mixed Integer Rounding inequalities, knapsack covers, flow covers, lift-and-project cuts and many other are valid for Gomory s corner polyhedron, which is the convex hull of solutions to ( where S = Z n and all but a finite number of the variables s r and y r are set to 0. One of the most effective classes of cutting planes used in solvers is that of Gomory Mixed Integer cuts, which correspond to valid functions for ( when n = and S = Z. It is well known that, among all cutting planes derived from a single equation, Gomory Mixed Integer cuts have the best possible coefficients (i.e. the smallest on the nonbasic continuous variables. To transfer this notion to the general setting of (, Dey and Wolsey [] proposed to study the following simpler model, where the integer variables y r are all set to zero. x = f + rs r r R n x S s r 0, r R n (3 s has finite support. 2
3 We refer to this model as the continuous semi-infinite relaxation relative to f. Given a valid function ψ for (3, the function π is a lifting of ψ if (ψ, π is valid for (. If ψ is a minimal valid function for (3 and π is a lifting of ψ such that (ψ, π is minimal, we say that π is a minimal lifting of ψ. We remark that, given any valid function ψ for (3 and a lifting π of ψ, the function π defined by π (r = min{ψ(r, π(r} is also a lifting of ψ. Indeed, given ( s, ȳ satisfying (, we show that r R n ψ(r s r + r R n π (rȳ r. Let ( s, ỹ be defined by s r = s r, ỹ r = ȳ r for every r R n such that π(r ψ(r, and s r = s r +ȳ r, ỹ r = 0 for every r R n such that ψ(r < π(r. One can readily verify that ( s, ỹ satisfies (, hence r R n ψ(r s r + r R n π(rỹ r. Furthermore, r R n ψ(r s r + r R n π (rȳ r = r R n ψ(r s r + r R n π(rỹ r In particular, if ψ is a minimal valid function for (3 and π is a minimal lifting of ψ, then π ψ. We first concentrate on deriving the best possible lifting coefficient of one single integer variable. Namely, given d R n, we consider the model x = f + rs r + dz r R n x S s r 0, r R n (4 z 0, z Z, s has finite support. Given a minimal valid function ψ for (3, let π l (d be the minimum scalar λ such that the inequality r R n ψ(rs r + λz is valid for (4. Note that, if π is a lifting of ψ, then r R n ψ(rs r + π(dz is valid for (4. Thus, by definition of π l, we have that π l π for every lifting π of ψ. In general, the function (ψ, π l is not valid for (. However, when (ψ, π l is valid, π l can be viewed as a trivial sequence-independent lifting of ψ: Proposition. Let ψ be a minimal valid function for (3. When (ψ, π l is valid for (, π l is the unique minimal lifting of ψ. In this paper we give a geometric characterization of the function π l, and use this characterization to analyze specific minimal valid functions ψ for which π l is the unique minimal lifting. A valid function (ψ, π is extreme for ( if there do not exist distinct valid functions (ψ, π, (ψ 2, π 2 such that (ψ, π = 2 (ψ, π + 2 (ψ2, π 2. Note that if ψ is extreme for (3, then ψ is minimal. Remark 2. If ψ is extreme for (3 and (ψ, π l is valid for (, then (ψ, π l is extreme for (. Indeed, given valid functions (ψ, π, (ψ 2, π 2 such that (ψ, π = 2 (ψ, π + 2 (ψ2, π 2, then ψ = ψ 2 = ψ, since ψ is extreme for (3, and π = π 2 = π l since π π l and π 2 π l. 3
4 2 Lifting and S-free convex sets Minimal valid inequalities for (3 are well understood in terms of maximal S-free convex sets. We are interested in exploiting such characterization to provide a geometric interpretation of minimal liftings. We observe that (4 is equivalent to the following ( ( x f = + ( ( r d s 0 0 r + z x n+ r R n (x, x n+ S Z + s r 0, r R n (5 z 0, s has finite support. Indeed (x, s, z is a solution for (4 if and only if (x, x n+, s, z is a solution to (5 by setting x n+ = z. Note that the above is obtained from the continuous semi-infinite relaxation relative to ( f 0 by setting to 0 all variables relative to rays with nonzero (n + -th component, except for ( d. Therefore, given any valid function ψ for the continuous semi-infinite relaxation relative to ( f 0, then if we let ψ(r = ψ( r 0 for r R n and λ = ψ ( d, the inequality r R n ψ(rs r + λz is valid for (5 and for (4. A convex set is S-free if it does not contain any point of S in its interior. Maximal S-free convex sets were characterized in [6], where it was also shown that there is a one-to-one correspondence between minimal valid functions for (3 and maximal S-free convex sets with f in their interior. Theorem 3. [6] A full-dimensional convex set B is a maximal S-free convex set if and only if it is a polyhedron such that B does not contain any point of S in its interior and each facet of B contains a point of S in its relative interior. Furthermore if B conv(s has nonempty interior, lin(b contains rec(b conv(s. We explain how minimal valid inequalities for (3 arise from maximal S-free convex sets. Let B a polyhedron with f in its interior, and let a,..., a t R q such that B = {x R n a i (x f, i =..., t}. We define the function ψ B : R n R by ψ B (r = max i=,...,t a ir. Note that the function ψ B is convex, subadditive, i.e. ψ B (r + ψ B (r ψ B (r + r, and positively homogeneous, i.e. ψ B (λr = λψ B (r for every λ 0. We claim that, if B is a maximal S-free convex set, then ψ B (rs r is valid for (3. (6 r R n Indeed, let (x, s be a solution of (3. Note that x S, thus x is not in the interior of B. Then ψ B (rs r = ψ B (rs r ψ B ( rs r = ψ B (x f, r R n r R n r R n 4
5 where the first equation follows from positive homogeneity, the first inequality follows from subadditivity of ψ B and the last one follows from the fact that x is not in the interior of B. The above functions are minimal [6],[]. It was proved in [6] that the converse is also true, namely that every minimal function valid for (3 is of the form ψ B where B is a maximal S-free convex set with f in its interior. Example. We consider problem ( when n =, 0 < f < and S = Z. In this case the only maximal S-free convex set containing f is the interval B = [0, ]. Thus B = {x R f (x f, ( f (x f } and ψ B (r = max{ f r, ( f r}. Let ψ be a minimal valid function for (3, and let B = {x R n a i (x f, i =,..., t} be a maximal S-free convex set with f in its interior such that ψ = ψ B. We define the set B(λ R n+ as follows B(λ = { ( x, x n+ R n+ a i (x f + (λ a i dx n+, i =,..., t}. (7 Theorem 4. The inequality r R n ψ(rs r + λz is valid for (4 if and only if B(λ is (S Z + -free. Proof. Let ψ = ψ B(λ. By construction, ψ ( r 0 = ψ(r for all r R n, while ψ ( d = λ. We show the if part of the statement. Given λ such that B(λ is (S Z + -free, it follows by claim (6 that the function ψ is valid for the continuous semi-infinite relaxation relative to ( f 0. This implies that r R n ψ(rs r + λz is valid for (4. We now prove the only if part. Let λ be such that r R n ψ(rs r + λz is valid for (4. Given a point ( x x n+ S Z+, we show that such point is not in the interior of B(λ. Indeed, let r = x x n+ d f, z = x n+, and ( s r r R n be defined by { if r = r, s r = 0 otherwise. Note that f + r R n r s r + d z = f + r + x n+ d = x. Since x S and r R n ψ(rs r + λz is valid for (4, we have ψ(r s r + λ z = ψ( r + λ x n+ = max a i r + λ x n+ r R n i=,...,t = max [a i( x f + (λ a i d x n+ ]. i=,...,t Thus there exists i {,..., t} such that a i ( x f + (λ a i d x n+. This shows that ( x x n+ is not in the interior of B(λ. Theorem 4 implies that π l (d is the minimum value of λ such that B(λ is (S Z + -free. Example (continued. In the previous example, let d R and λ R. If λ 0, then the set B(λ is the 2-dimensional polyhedron with two facets, containing the points ( ( 0 0 and 0 respectively and with one vertex, namely ( f 0 + λ ( d. If λ = 0, then B(λ is the split set [0, ] + ( d. It is immediate to verify that, for λ < 0, the interior of B(λ contains one of 5
6 the integral points ( ( d or d. For example, let f = 4. For d = 3 2, ψ B(d = 2. One can readily verify that B(λ is Z Z + -free if and only if λ 2 3, otherwise it contains the point ( 2. Hence πl (d = 2 3. For d =, ψ B (d = 4 3. It is immediate that B(λ is Z Z +-free if and only if λ 0, hence π l (d = 0. Figure : Example: f = 4. Left: d = 3 2. Right: d =. Theorem 5. Let ψ be a minimal valid function for (3 and π be a minimal lifting of ψ. Then there exists ε > 0 such that ψ, π and π l coincide on the ball of radius ε centered at the origin. Proof. Since ψ is a minimal valid function for (3, there exists a maximal S-free convex set B = {x R n a i (x f, i =,..., t} such that ψ = ψ B. Let α = max max (a i a j r i,j t r = Since B is a maximal S-free convex set, every facet of B contains a point of S in its relative interior. Hence, for i =,..., t, there exists x i S such that a i (x i f = and a j (x i f γ i, j i, for some positive γ i. Let ε > 0 such that εα γ i for i =,..., t. Let d R n such that d ε. We will show that, for every λ < ψ(d, B(λ contains a point of S Z + in its interior. By Theorem 4, this implies that π l (d ψ(d. Since π l π ψ, this implies π l (d = π(d = ψ(d. Let i, i t, such that ψ(d = a i d. Let λ = ψ(d δ for some δ > 0. We show that B(λ contains the point ( x i in its interior. Indeed, by (7, B(λ is the set of points in R n+ satisfying the inequalities Substituting ( x i we obtain a j (x f + [(a i a j d δ]x n+, j =,..., t. a i (x i f δ <, a j (x i f + (a i a j d δ <, j =,..., t, j i, 6
7 where the first inequality follows from a i (x i f =, while the second follows from a j (x i f γ i, d ε, and (a i a j (d/ d α by our choice of α. Thus ( x i is in the interior of B(λ. Example (continued. From the previous example where n =, 0 < f < and S = Z, note that π l (d = ψ B (d for every d [ f, f]. Indeed, if d < 0, then B(λ contains ( 0 for all λ < ψ B (d, while if d 0 then B(λ contains ( for all λ < ψb (d. Furthermore, for λ = ψ B (d, if d < 0 the facet of B(λ containing ( ( 0 0 is vertical and contains the point 0, if d 0 then the facet of B(λ containing ( ( 0 is vertical and contains the point. Theorem 5 implies that, for every minimal valid function ψ for (3, there exists a region R ψ R n containing the origin in its interior such that ψ and π coincide in R ψ for every minimal lifting π of ψ for (. Since ψ is piecewise linear, it follows that π is piecewise linear around the origin. This is in contrast with extreme functions π for the pure integer semiinfinite relaxation (i.e. the set ( where all the s r are set to 0 which need not be piecewise linear [4]. Lemma 6. Let ψ be a minimal valid function, and π be a minimal lifting of ψ. Then i For every r R n and w Z n lin(conv(s, π(r = π(r + w. ii For every r R n such that r + w R ψ for some w Z n lin(conv(s, π(r = ψ(r + w. Proof. i Let r R n and w Z n lin(conv(s. Suppose π( r π( r + w. Since w Z n lin(conv(s, we may assume π( r > π( r + w. Since w Z n lin(conv(s, then a point x R n is in S if and only if x + w S. Thus a point ( x, s, ȳ satisfies ( if and only if ( x + wȳ r, s, ỹ satisfies (, where ỹ r = 0, ỹ r+w = ȳ r+w + ȳ r, and ỹ r = ȳ r for every r R n \ { r, r + w}. This shows that the function π defined by π ( r = π( r + w, π (r = π(r for every r R n \ { r} is a lifting of ψ, contradicting the minimality of π. ii It follows from i that π(r = π(r + w. By definition of R ψ, π(r + w = ψ(r + w. This lemma is closely related to a result of Balas and Jeroslow [3]. It implies the following property. Theorem 7. If for every r R n there exists w r Z n lin(conv(s such that r+w R ψ, then there exists a unique minimal lifting of ψ, namely the function π defined by π(r = ψ(r +w r. Furthermore π = π l. Note that, if for some r R ψ there exists w Z n lin(conv(s such that r + w R ψ, then ψ(r + w = ψ(r. Example (continued. From the previous example where n =, 0 < f < and S = Z, we have shown that ψ(r = π l (r for every r [ f, f]. Note that, for every r R, r r + f [ f, f]. Thus π l (r = ψ(r r + f for all r R, and π l is the unique minimal lifting of ψ. Thus π l (r = max{ f (r r + f, ( f (r r + f }. More explicitly, if r r < f, then π l (r = r r f, while if r r f, π l(r = r r f. 7
8 Given a tableau row x = f + h i= pi s i + k j= qj y j, where s i 0, i =,..., h, and y j 0 and integer, j =,..., h, the inequality h i= ψ(pi s i + k j= π l(q j y j is h i= p i 0 p i f s i + h i= p i <0 pi f s i + k j= q j q j < f q j q j y j + f k j= q j q j f which is the Gomory Mixed Integer Cut associated with the tableau row. 3 Applications q j q j y j, f We illustrated in Section 2 how our geometric approach can be used to derive Gomory s mixed integer cuts. In this section, we give three examples of how it can be applied to the multi-row case. 3. Wedge inequalities We consider the problem ( where n = 2 and S = Z Z +. We focus on inequalities arising from maximal S-free convex sets with 2 sides and one vertex. We call such sets wedges. Figure 2: Wedges and corresponding region R + {f} shaded in gray. The inequality corresponding to the wedge on the right has a unique minimal lifting. Let B = {x R 2 a i (x f, i =, 2} be such a maximal S-free convex set. Since B is S-free, its only vertex must be in the interior of conv(s, rec(b has dimension 2 and for every nonzero element r rec(b, r 2 < 0. Note that rec(conv(s = R R + and B has empty lineality space. By Theorem 3, lin(b rec(b conv(s, hence rec(b conv(s ( =. In particular, (R {0} rec(b =, thus by symmetry we may assume a ( 0 < 0 and a2 0 > 0, that is a < 0 and a 2 > 0. Let ˆr be a nonzero vector such that a ˆr = a 2ˆr. Clearly the second coordinate of ˆr is nonzero. Note that any point x R 2 can be uniquely written as x = f + α xˆr + β x( 0 where α x, β x R. Let x S be a point in the relative interior of one of the two facets of B, say 8
9 a h ( x f =, a k ( x f <. Note that 0 > (a k a h ( x f = β x (a k a h, hence β x < 0 if h = and β x > 0 if h = 2. Let x be a point of S in the relative interior of the facet defined by a (x f such that β x is largest possible, and x 2 be a point of S in the relative interior of the facet defined by a 2 (x f such that β x2 is smallest possible. Let β i = β xi. Note that β < 0 < β 2. We define the region R = [β, β 2 ] + ˆr. (See Figure 2. Lemma 8. For every d R, π l (d = ψ B (d. Proof. Let d R, that is d = αˆr + β ( 0, for some α R and β [β, β 2 ]. We consider the case β 0. The case β 0 is similar. Note that (a a 2 d = α(a a 2 ˆr + β(a a 2 0 since (a a 2 ˆr = 0, β 0, a < 0 and a 2 > 0. Hence ψ B (d = max{a d, a 2 d} = a d. We will show that, for every λ < ψ B (d, the set B(λ defined in (7 contains the point ( x in its interior. By Theorem 4, this will imply πl (d ψ B (d, and thus π l (d = ψ B (d. Let λ = ψ B (d δ for some δ > 0. Then B(λ is the set of x R 3 satisfying a (x f δx 3, a 2 (x f + (a a 2 dx 3 δx 3. Substituting ( x in the first inequality, we obtain a (x f δ = δ <. Substituting in the second inequality, we obtain a 2 (x f + (a a 2 d δ = α x a 2ˆr + β a 2 + α(a a 2 ˆr + β(a a 2 δ = α x a ˆr + β a + (β β (a a 2 δ a (x f δ = δ < where the first inequality in the last row follows from β β, a < 0, a 2 > 0. Thus ( x is in the interior of B(λ. Let y and y 2 be the intersection of the facets defined by a (x f and a 2 (x f, respectively, with the axis x 2 = 0. That is a (y f =, y 2 = 0, and a 2(y 2 f =, y 2 2 = 0. Since B is S-free, y2 y, where equality holds if and only if y, y 2 are integral. Furthermore, it is not difficult to show that β 2 β y 2 y. Thus β 2 β = if and only if y, y 2 are integral vectors. In this case, for every r R 2 there exists w r Z {0} such that r + w r R. Since lin(conv(s = R {0}, by Theorem 7, π l (r is the unique minimal lifting of ψ B, and π l (r = ψ B (r + w r for every r R 2. Dey and Wolsey [] show that ψ B is extreme for (3 if and only if B contains at least three points of S. Thus Remark 2 implies the following: Theorem 9. If B contains at least three points of S and B (R {0} is an interval of length one, then (ψ B, π l is an extreme inequality for (. Example. Let f = ( and S = Z Z+. Consider the wedge W = {x R 2 3(x (x 2 2, 3 5 (x (x 2 3 }. 9
10 Figure 3: Set W in the example and corresponding region R + {f} shaded in gray. The set W is a maximal S-free convex set, as one may easily see from Figure 3. The corresponding minimal function is given by ψ(r = max{ 3r + 3r 2, 2 5 r 3 5 r 2}. One can easily verify that the vector ˆr = ( 2 3 satisfies 3ˆr + 3ˆr 2 = 2 5 ˆr 3 5 ˆr 2, and that the region R is thus given by R = [ 4 9, 5 9 ] + ( 2 3. This can be written as R = {r R r 2 3 r }. For every r R 2, define the integral vector w r by w r = r 2 3 r , wr 2 = 0. Note that w r lin(s Z 2 and r + w r R for all r R 2. The unique minimal lifting for ψ is therefore the function π defined by π(r = ψ(r + w r. The explicit formula is given by π(r = max{ 3(r r 2 3 r r 2, 2 5 (r r 2 3 r r 2}. Suppose now we are given the following two rows of the optimal simplex tableau for the linear relaxation of a mixed integer program. x = x 3+ x 4 x x 7 x 2 = x 3 2x x 5+ x x 7 x, x 2, x 3, x 4, x 5, x 6, x 7 0 x, x 2, x 4, x 6 Z 0
11 The lifted inequality determined by the wedge W is ψ(r x 3 +π(r 2 x 4 +ψ(r 3 x 5 +π(r 4 x 6 + ψ(r 5 x 7, where r = ( 3, r 2 = ( 2, r 3 = ( 0 7, r 4 = (, r 5 = ( This gives the 4 5 inequality 3 2 x x x x 6. Note that the non-lifted inequality (that is, the inequality obtained from W if we ignored the integrality conditions on x 4 and x 6 is 3.2 Simplicial polytopes 3 2 x x x 5 + 6x 6. In this section we focus on valid inequalities for (3 arising from maximal lattice-free simplicial polytopes, in the case where S = Z n. Recall that a polytope is simplicial if each of its facets is a simplex. Let B = {x R n a i (x f, i =,..., t} be an n-dimensional maximal lattice-free simplicial polytope and let v,..., v p be its vertices. For i =,..., t, let V i {,..., p} be the set of indices of vertices of the facet defined by a i (x f, that is a i (v j f = for all j V i. Let r i = v i f, i =,..., p. Note that, since B is simplicial, {r j j V i } consists of n linearly independent vectors, for i =,..., t, and a i r j = for all j V i, while a i r j < for all j / V i. Let x be an integral point in the relative interior of the facet defined by a i (x f, that is a i ( x f =, a j ( x f <, j i. Then x can be uniquely written as x = f + j V i ᾱ j r j, where j V i ᾱ j =, ᾱ j 0, j V i. Let R( x = { j V i α j r j 0 α j ᾱ j, j V i }. Let us denote by I the set of all points x in Z n such that x is contained in the relative interior of some facet of B. Let R = x I R( x. Lemma 0. For every d R, π l (d = ψ B (d. Proof. We only need to show that, given x I and d R( x, π l (d = ψ B (d. By symmetry we may assume that x is in the relative interior of the facet defined by a ( x f, and that V = {,..., n}. Let ᾱ,..., ᾱ n nonnegative such that n j= ᾱj = and x = f + n j= ᾱjr j. Since d R( x, there exist α,..., α n such that d = n j= α jr j and 0 α j ᾱ j, j =,..., n. Note that, for i =,..., t, (a a i d = n j= α j(a a i r j 0. Thus ψ B (d = a d. We will show that, for every λ < ψ B (d, the set B(λ defined as in (7 contains the point ( x in its interior. By Theorem 4, this will imply πl (d ψ B (d, and thus π l (d = ψ B (d. Let λ = ψ B (d δ for some δ > 0. Then B(λ is the set of x R n+ satisfying a (x f δx n+, a i (x f + (a a i dx n+ δx n+, i = 2,..., t. Substituting ( x in the first inequality, we obtain a ( x f δ = δ <. Substituting
12 in the ith inequality, i = 2,..., n +, we obtain a i ( x f + (a a i d δ = = ᾱ j a i r j + j= ᾱ j j= = α j (a a i r j δ j= ᾱ j ( a i r j + j= α j ( a i r j δ j= (ᾱ j α j ( a i r j δ j= δ < where the equality in the second line follows from a i r j = for j =,..., n, the equality on the third line follows from n j= ᾱj =, while the first inequality on the last line follows from α j ᾱ j and a i r j. In light of Theorem 7, we are interested in cases where for every r R n there exists w r Z n such that r + w r R, since in this case π l is the unique minimal lifting. Dey and Wolsey [0] studied the case n = 2. In this case maximal lattice free polytopes are either triangles or quadrilaterals [5]. Dey and Wolsey show that the above property holds if and only if B is a triangle containing at least four integral points (see Figure 4, while it does not hold if B is a triangle containing exactly three integral points or if B is a quadrilateral. They also show that, when B is a triangle with at least four integral points, (ψ B, π l is extreme for (. This fact also follows from Remark 2 and from the fact that ψ B is extreme for (3 whenever B is a maximal lattice-free triangle [9]. Figure 4: Lattice free triangles giving inequalities with a unique minimal lifting. Region R + {f} is shaded. We next show that the above property holds when B is the n-dimensional simplex conv{0, ne,..., ne n }, where e i denotes the ith unit vector. We assume that f is in the interior of B. The picture on the left in Figure 4 shows the case n = 2. Note that B = {x R n n i= x i n, x i 0, i =,..., n}. The point e e i, where e denotes the vector of all ones, is the unique integral point in the relative interior of the facet 2
13 of B defined by x i 0 and e is the unique integral point in the relative interior of the facet of B defined by n i= x i n. Thus I = {e, e e,..., e e n }. Let d,..., d n+ be defined as follows: d i = e i n f, i =,..., n and dn+ = n f. Then R(e = { n j= α jd j 0 α i, i =,..., n} and R(e e i = { n+ j= α jd j 0 α k, k =,..., n +, α i = 0}. Therefore R = { n+ j= α jd j 0 α i, i =,..., n +, α i = 0 for some i, i n + } Lemma. Let B = conv{0, ne,..., ne n }. For every r R n, there exists w Z n such that r + w R. Proof. Note that, for i, j n +, d i d j Z n. Let C i = cone{d j j i, j n + }, i =,..., n +. Note that n+ i= C i = R n and C i C k = cone{d j j i, k, j n + }. Furthermore, d i C i for i =,..., n +. Claim: Let r R n and let i such that r C i. There exists a unique α R n+ such that r = n+ j= α jd j and α i = 0. Furthermore, α is nonnegative and α j α j for every nonnegative α R n+ such that r = n+ j= α j dj. We prove the claim. Since C i is generated by n linearly independent vectors, r can be uniquely written as r = n+ j= α jd j such that α i = 0, and α must be nonnegative since r C i. Given a nonnegative α R n+ such that r = n+ j= α j dj distinct from α, then α i > 0. Hence n+ d i = (α i (α j α j d j j= j i thus α j α j 0 since d i C i, hence by the above argument d i can be uniquely written as a linear combination of the extreme rays of C i, and such combination is nonnegative. This proves the claim. Let us now consider r R n. Let i be such that r C i, i n +. Let α R n+ such that r = n+ j= α jd j and α i = 0. By the above claim α is nonnegative. Let ᾱ = max j=,...,n+ α j. If ᾱ, then r R. If not, α k = ᾱ > for some k n +. Let r = r + (e i e k = r + (d i d k. Then r = j i,k α jd j + d i + (α k d k. Let h be such that r C h, h n + and let α R n+ be the unique vector such that r = n+ j= α j dj and α h = 0. By the previous claim, α satisfies the following properties r r Z n and α h = 0, 0 α j α j, j i, j n +, 0 α i, 0 α k α k. Thus, either max j=,...,n+ α j ᾱ, or the number of indices j such that α j = ᾱ is smaller than the number of indices j such that α j = ᾱ. This implies the statement of the lemma. It can be shown that, in this case, R is a polytope with ( n+ 2 pairs of parallel facets, and that R has volume. Thus, by Lemma, all possible translations of R by integral vectors form a tiling of R n. Therefore for every d R n, there exists w d Z n such that d + w d R. 3
14 By Theorem 7, the function π l defined by π l (d = ψ B (d + w d is the unique minimal lifting of ψ B. Whenever B is a maximal lattice-free simplex, ψ B is extreme for (3. Indeed, if v,..., v n+ are the vertices of B and we define r j = v j f, j =,..., n +, ψ B is extreme for (3 if and only if n+ j= ψ B(r j s j is extreme for the convex hull of the set R f (r,..., r n+ defined as the set of all s R n+ such that f + n+ j= rj s j Z n and s 0 (see []. In this case, since each facet of B contains an integral point, for i =,..., n + there exists s i R n+ such that s i j > 0 for all j i, j n +, si i = 0 and n+ j= si j rj Z n. Hence s,..., s n+ are linearly independent points of R f (r,..., r n+, and n+ j= ψ B(r j s i j = for i =,..., n +. This shows that n+ j= ψ B(r j s j defines a facet of conv(r f (r,..., r n+, and thus it is extreme for conv(r f (r,..., r n+. Therefore ψ B is extreme for (3. The above statement and Remark 2 imply the following. Theorem 2. If B = conv(0, ne,..., ne n, (ψ B, π l is extreme for ( with S = Z n. The above theorem holds up to unimodular transformations and integer translations of the set B. We recall that an integral square matrix is unimodular if it has determinant ±. Given any unimodular n n-matrix U and vector v Z n such that f is in the interior of the set B = conv(v, n(ue + v,..., n(ue n + v (which is lattice-free by construction, then (ψ B, π l is extreme for ( when S = Z n. Note that, given a vector f / Z n, one may always find an appropriate unimodular matrix U and integral vector v so that f is in the interior of the corresponding set B. Recent computational work has focused mostly on inequalities valid for two-row problems (i.e. n = 2. The function ψ B and the corresponding minimal lifting provide inequalities for many rows, and can be computed efficiently. This type of lifted inequalities have been used in computational experiments by Espinoza [2] (using values of n up to 0, and the results indicate that such cuts might be useful in practice. 3.3 Simple cones We consider the case were S = Z n Z + and the maximal S-free convex set B is the translation of a simple cone. That is, B has a unique vertex v, and B v is a simple cone. Recall that a polyhedral cone in R n is simple if it is generated by n linearly independent vectors, and therefore it has n facets. This case extends the wedge inequalities of Section 3.. Let B = {x R n a i (x f, i =..., n}. By Theorem 3, rec(b rec(conv(s is contained in the lineality space of B, which is empty. Therefore B conv(s is bounded. Therefore the polytope B (R n {0} is an an (n -dimensional simplex P. Let v,..., v n be the vertices of P, and let r j = v j f, j =,..., n. By symmetry, we may assume that a i r j = for i, j n, i j, and a i r i <. Let ˆr = v f. Note that, for i =,..., n, a iˆr =. Let x be a point of S in the relative interior of one of the facets of B, say the facet defined by a h (x f. Then x can be uniquely written as x = f + ᾱˆr + n j= ᾱjr j such that 0 ᾱ j, j =,..., n, and ᾱ h = 0. Let R( x = { n j= α jr j 0 α j ᾱ j, j =,..., n} + ˆr. Let us denote by I the set of all points x in S such that x is contained in the relative interior of some facet of B. Let R = x I R( x. 4
15 Lemma 3. For every d R, π l (d = ψ B (d. Proof. We only need to show that, given x I and d R( x, π l (d = ψ B (d. By symmetry we may assume that x is in the relative interior of the facet defined by a (x f. Let ᾱ R and ᾱ 2,..., ᾱ n nonnegative such that x = f + ᾱˆr + n j=2 ᾱjr j. Since d R( x, there exist α R and α,..., α n such that d = αˆr + n j=2 α jr j and 0 α j ᾱ j, j = 2,..., n. Note that, for i = 2,..., t, (a a i d = α(a a i ˆr + n j=2 α j(a a i r j 0, since (a a i ˆr = 0 and (a a i r j 0. Thus ψ B (d = a d. We will show that, for every λ < ψ B (d, the set B(λ defined in (7 contains the point ( x in its interior. By Theorem 4, this will imply πl (d ψ B (d, and thus π l (d = ψ B (d. Let λ = ψ B (d δ for some δ > 0. Then B(λ is the set of x R n+ satisfying a (x f δx n+, a i (x f + (a a i dx n+ δx n+ i = 2,..., t. Substituting ( x in the first inequality, we obtain a ( x f δ = δ <. Substituting in the ith inequality, i = 2,..., n +, we obtain a i ( x f + (a a i d δ = ᾱa iˆr + ᾱ j a i r j + α(a a i ˆr + α j (a a i r j δ = ᾱa ˆr + j=2 j=2 ᾱ j a r j ᾱ i (a a i r i + α i (a a i r i δ j=2 = a ( x f (ᾱ i α i (a a i r i δ δ < where the equality in the second line follows from a iˆr = a ˆr and a r j = a i r j for all 2 j n such that i j, while the first inequality on the last line follows from α i ᾱ i and a i r i < = a r i. Note that P is an n -dimensional simplex in R n {0} and P does not contain any point of Z n {0} in its interior. Suppose that P is maximal lattice free in R n {0}. In this case we can apply the results of Section 3.2 to identify cases where π l is a lifting of ψ B. Let f be the intersection of the line f + ˆr with R n {0}, and let r j = v j f. For every point x Z n {0} in the relative interior of one of the facets of P, say the facet defined by a h (x f, x can be uniquely written as x = f + n j= ᾱj r j such that 0 ᾱ j, j =,..., n, and ᾱ h = 0. Let R( x = { n j= α j r j 0 α j ᾱ j, j =,..., n}. Note that R( x = R( x (R n {0}. Let Ī be the set of all points in x Zn {0} in the relative interior of some of the facets of P. We define R = x R( x. Ī Then R R + ˆr. Hence, if for every r R n {0} there exists w Z n {0} such that r + w R, it also holds that for every r R n there exists w r Z n {0} such that r + w r R. Since R n {0} is the lineality space of conv(s, Theorem 7 implies that π l is the unique minimal lifting of ψ B, and π l (r = ψ(r + w r. The above property holds, for example, when n = 2 and P is an interval of length one (as seen in Section 3., when n = 3 and P is a maximal lattice-free triangle containing at least four points in Z 2 {0}, or for general n when P is a unimodular transformation of conv(0, (n e,..., (n e n. 5
16 References [] K. Andersen, Q. Louveaux, R. Weismantel, L. A. Wolsey, Cutting Planes from Two Rows of a Simplex Tableau, Proceedings of IPCO XII, Ithaca, New York (June 2007, Lecture Notes in Computer Science 453, -5. [2] K. Andersen, Q. Louveaux, R. Weismantel, An Analysis of Mixed Integer Linear Sets Based on Lattice Point Free Convex Sets, manuscript, [3] E. Balas, R.G. Jeroslow, Strengthening cuts for mixed integer programs, European Journal of Operations Research 4 ( [4] A. Basu, M. Conforti, G. Cornuéjols, G. Zambelli, A counterexample to a conjecture of Gomory and Johnson, manuscript (November [5] A. Basu, M. Conforti, G. Cornuéjols, G. Zambelli, Maximal lattice-free convex sets in linear subspaces, manuscript (March [6] A. Basu, M. Conforti, G. Cornuéjols, G. Zambelli, Minimal inequalities for an infinite relaxation of integer programs, manuscript (April [7] A. Basu, G. Cornuéjols, G. Zambelli, Convex Sets and Minimal Sublinear Functions, manuscript (March [8] V. Borozan, G. Cornuéjols, Minimal Valid Inequalities for Integer Constraints, technical report (July 2007, to appear in Mathematics of Operations Research. [9] G. Cornuéjols, F. Margot, On the Facets of Mixed Integer Programs with Two Integer Variables and Two Constraints (September 2007, to appear in Mathematical Programming. [0] S.S. Dey, L.A. Wolsey, Lifting Integer Variables in Minimal Inequalities Corresponding to Lattice-Free Triangles, IPCO 2008, Bertinoro, Italy (May 2008, Lecture Notes in Computer Science 5035, [] S.S. Dey, L.A. Wolsey, Constrained Infinite Group Relaxations of MIPs, manuscript (March [2] D. Espinoza, Computing with multi-row Gomory Cuts, Operations Research Letters (2009, to appear. [3] R.E. Gomory, Some Polyhedra Related to Combinatorial Problems, Linear Algebra and Its Applications 2 ( [4] Z. Gu, G.L. Nemhauser, M.W.P. Savelsbergh, Sequence independent lifting in mixed integer programming, Journal of Combinatorial Optimization 4 ( [5] L. Lovász, Geometry of Numbers and Integer Programming, Mathematical Programming: Recent Developements and Applications, M. Iri and K. Tanabe eds., Kluwer (989,
17 [6] M. Padberg, On the facial structure of set packing polyhedra, Mathematical Programming 5 ( [7] L.A. Wolsey, Valid inequalities and superadditivity for 0- integer programs, Mthematics of Operations Research 2 (
A geometric perspective on lifting
A geometric perspective on lifting Michele Conforti Università di Padova, conforti@math.unipd.it Gérard Cornuéjols Carnegie Mellon University and Université d Aix-Marseille, gc0v@andrew.cmu.edu Giacomo
More informationMinimal inequalities for an infinite relaxation of integer programs
Minimal inequalities for an infinite relaxation of integer programs Amitabh Basu Carnegie Mellon University, abasu1@andrew.cmu.edu Michele Conforti Università di Padova, conforti@math.unipd.it Gérard Cornuéjols
More informationMinimal inequalities for an infinite relaxation of integer programs
Minimal inequalities for an infinite relaxation of integer programs Amitabh Basu Carnegie Mellon University, abasu1@andrew.cmu.edu Michele Conforti Università di Padova, conforti@math.unipd.it Gérard Cornuéjols
More informationMinimal Valid Inequalities for Integer Constraints
Minimal Valid Inequalities for Integer Constraints Valentin Borozan LIF, Faculté des Sciences de Luminy, Université de Marseille, France borozan.valentin@gmail.com and Gérard Cornuéjols Tepper School of
More informationUnique lifting of integer variables in minimal inequalities
Unique liting o integer variables in minimal inequalities Amitabh Basu 1, Manoel Campêlo 2,6, Michele Conorti 3,8, Gérard Cornuéjols 4,7, Giacomo Zambelli 5,8 December 6, 2011 Abstract This paper contributes
More informationOn the Relative Strength of Split, Triangle and Quadrilateral Cuts
On the Relative Strength of Split, Triangle and Quadrilateral Cuts Amitabh Basu Pierre Bonami Gérard Cornuéjols François Margot Abstract Integer programs defined by two equations with two free integer
More informationMaximal lattice-free convex sets in linear subspaces
Maximal lattice-free convex sets in linear subspaces Amitabh Basu Carnegie Mellon University, abasu1@andrew.cmu.edu Michele Conforti Università di Padova, conforti@math.unipd.it Gérard Cornuéjols Carnegie
More informationOn the Relative Strength of Split, Triangle and Quadrilateral Cuts
On the Relative Strength of Split, Triangle and Quadrilateral Cuts Amitabh Basu Tepper School of Business, Carnegie Mellon University, Pittsburgh, PA 53 abasu@andrew.cmu.edu Pierre Bonami LIF, Faculté
More informationConvex Sets and Minimal Sublinear Functions
Convex Sets and Minimal Sublinear Functions Amitabh Basu Gérard Cornuéjols Giacomo Zambelli April 2010 Abstract We show that, given a closed convex set K containing the origin in its interior, the support
More informationCorner Polyhedron and Intersection Cuts
Corner Polyhedron and Intersection Cuts Michele Conforti 1,5, Gérard Cornuéjols 2,4 Giacomo Zambelli 3,5 August 2010 Revised March 2011 Abstract Four decades ago, Gomory introduced the corner polyhedron
More informationMulti-Row Cuts in Integer Programming. Tepper School of Business Carnegie Mellon University, Pittsburgh
Multi-Row Cuts in Integer Programming Gérard Cornuéjols Tepper School o Business Carnegie Mellon University, Pittsburgh March 2011 Mixed Integer Linear Programming min s.t. cx Ax = b x j Z or j = 1,...,
More informationOn the Relative Strength of Split, Triangle and Quadrilateral Cuts
On the Relative Strength of Split, Triangle and Quadrilateral Cuts Amitabh Basu Tepper School of Business, Carnegie Mellon University, Pittsburgh, PA 53 abasu@andrew.cmu.edu Pierre Bonami LIF, Faculté
More informationThe Strength of Multi-row Aggregation Cuts for Sign-pattern Integer Programs
The Strength of Multi-row Aggregation Cuts for Sign-pattern Integer Programs Santanu S. Dey 1, Andres Iroume 1, and Guanyi Wang 1 1 School of Industrial and Systems Engineering, Georgia Institute of Technology
More informationPolyhedral Approach to Integer Linear Programming. Tepper School of Business Carnegie Mellon University, Pittsburgh
Polyhedral Approach to Integer Linear Programming Gérard Cornuéjols Tepper School of Business Carnegie Mellon University, Pittsburgh 1 / 30 Brief history First Algorithms Polynomial Algorithms Solving
More informationSufficiency of Cut-Generating Functions
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
More informationA Lower Bound on the Split Rank of Intersection Cuts
A Lower Bound on the Split Rank of Intersection Cuts Santanu S. Dey H. Milton Stewart School of Industrial and Systems Engineering, Georgia Institute of Technology. 200 Outline Introduction: split rank,
More information1 Maximal Lattice-free Convex Sets
47-831: Advanced Integer Programming Lecturer: Amitabh Basu Lecture 3 Date: 03/23/2010 In this lecture, we explore the connections between lattices of R n and convex sets in R n. The structures will prove
More informationSplit Rank of Triangle and Quadrilateral Inequalities
Split Rank of Triangle and Quadrilateral Inequalities Santanu Dey 1 Quentin Louveaux 2 June 4, 2009 Abstract A simple relaxation of two rows of a simplex tableau is a mixed integer set consisting of two
More informationKey words. Integer nonlinear programming, Cutting planes, Maximal lattice-free convex sets
ON MAXIMAL S-FREE CONVEX SETS DIEGO A. MORÁN R. AND SANTANU S. DEY Abstract. Let S Z n satisfy the property that conv(s) Z n = S. Then a convex set K is called an S-free convex set if int(k) S =. A maximal
More informationOn the relative strength of families of intersection cuts arising from pairs of tableau constraints in mixed integer programs
On the relative strength of families of intersection cuts arising from pairs of tableau constraints in mixed integer programs Yogesh Awate Tepper School of Business, Carnegie Mellon University, Pittsburgh,
More informationA geometric approach to cut-generating functions
A geometric approach to cut-generating functions Amitabh Basu Michele Conforti Marco Di Summa February 18, 2015 Abstract The cutting-plane approach to integer programming was initiated more that 40 years
More informationConvex Sets and Minimal Sublinear Functions
Convex Sets and Minimal Sublinear Functions Amitabh Basu Gérard Cornuéjols Giacomo Zambelli March 2009, revised January 2010 Abstract We show that, given a closed convex set K containing the origin in
More informationOperations that preserve the covering property of the lifting region
Operations that preserve the covering property of the lifting region Amitabh Basu and Joe Paat June 23, 2015 Abstract We contribute to the theory for minimal liftings of cut-generating functions. In particular,
More informationSome Relationships between Disjunctive Cuts and Cuts based on S-free Convex Sets
Some Relationships between Disjunctive Cuts and Cuts based on S-free Convex Sets Sanjeeb Dash a Santanu S. Dey b Oktay Günlük a a Business Analytics and Mathematical Sciences Department, IBM T. J. Watson
More informationComputing with multi-row Gomory cuts
Computing with multi-row Gomory cuts Daniel G. Espinoza Departamento de Ingeniería Industrial, Universidad de Chile, Av. República 71, Santiago, 837-439, Chile Abstract Recent advances on the understanding
More informationThe strength of multi-row models 1
The strength of multi-row models 1 Quentin Louveaux 2 Laurent Poirrier 3 Domenico Salvagnin 4 October 6, 2014 Abstract We develop a method for computing facet-defining valid inequalities for any mixed-integer
More informationComputing with Multi-Row Intersection Cuts
Computing with Multi-Row Intersection Cuts by Álinson Santos Xavier A thesis presented to the University of Waterloo in fulfillment of the thesis requirement for the degree of Doctor of Philosophy in Combinatorics
More informationOn the relative strength of families of intersection cuts arising from pairs of tableau constraints in mixed integer programs
On the relative strength of families of intersection cuts arising from pairs of tableau constraints in mixed integer programs Yogesh Awate Tepper School of Business, Carnegie Mellon University, Pittsburgh,
More informationMixing Inequalities and Maximal Lattice-Free Triangles
Mixing Inequalities and Maximal Lattice-Free Triangles Santanu S. Dey Laurence A. Wolsey Georgia Institute of Technology; Center for Operations Research and Econometrics, UCL, Belgium. 2 Outline Mixing
More informationconstraints 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
On the Rank of Mixed 0,1 Polyhedra Λ Gérard Cornuéjols Yanjun Li Graduate School of Industrial Administration Carnegie Mellon University, Pittsburgh, USA (corresponding author: gc0v@andrew.cmu.edu) February
More informationChapter 1. Preliminaries
Introduction This dissertation is a reading of chapter 4 in part I of the book : Integer and Combinatorial Optimization by George L. Nemhauser & Laurence A. Wolsey. The chapter elaborates links between
More informationMaximal S-free convex sets and the Helly number
Maximal S-free convex sets and the Helly number Michele Conforti Marco Di Summa Abstract Given a subset S of R d, the Helly number h(s) is the largest size of an inclusionwise minimal family of convex
More informationMarch 2002, December Introduction. We investigate the facial structure of the convex hull of the mixed integer knapsack set
ON THE FACETS OF THE MIXED INTEGER KNAPSACK POLYHEDRON ALPER ATAMTÜRK Abstract. We study the mixed integer knapsack polyhedron, that is, the convex hull of the mixed integer set defined by an arbitrary
More informationA probabilistic comparison of split and type 1 triangle cuts for two row mixed-integer programs
A probabilistic comparison of split and type 1 triangle cuts for two row mixed-integer programs Qie He, Shabbir Ahmed, George L. Nemhauser H. Milton Stewart School of Industrial & Systems Engineering Georgia
More informationInteger Programming ISE 418. Lecture 13. Dr. Ted Ralphs
Integer Programming ISE 418 Lecture 13 Dr. Ted Ralphs ISE 418 Lecture 13 1 Reading for This Lecture Nemhauser and Wolsey Sections II.1.1-II.1.3, II.1.6 Wolsey Chapter 8 CCZ Chapters 5 and 6 Valid Inequalities
More informationLift-and-Project Inequalities
Lift-and-Project Inequalities Q. Louveaux Abstract The lift-and-project technique is a systematic way to generate valid inequalities for a mixed binary program. The technique is interesting both on the
More informationBCOL RESEARCH REPORT 07.04
BCOL RESEARCH REPORT 07.04 Industrial Engineering & Operations Research University of California, Berkeley, CA 94720-1777 LIFTING FOR CONIC MIXED-INTEGER PROGRAMMING ALPER ATAMTÜRK AND VISHNU NARAYANAN
More informationLifting Integer Variables in Minimal Inequalities Corresponding To Lattice-Free Triangles
Lifting Integer Variables in Minimal Inequalities Corresponding To Lattice-Free Triangles Santanu S. Dey and Laurence A. Wolsey 2 CORE, 2 CORE and INMA, University Catholique de Louvain, 34, Voie du Roman
More informationEllipsoidal Mixed-Integer Representability
Ellipsoidal Mixed-Integer Representability Alberto Del Pia Jeff Poskin September 15, 2017 Abstract Representability results for mixed-integer linear systems play a fundamental role in optimization since
More informationLifting for conic mixed-integer programming
Math. Program., Ser. A DOI 1.17/s117-9-282-9 FULL LENGTH PAPER Lifting for conic mixed-integer programming Alper Atamtürk Vishnu Narayanan Received: 13 March 28 / Accepted: 28 January 29 The Author(s)
More informationChange in the State of the Art of (Mixed) Integer Programming
Change in the State of the Art of (Mixed) Integer Programming 1977 Vancouver Advanced Research Institute 24 papers 16 reports 1 paper computational, 4 small instances Report on computational aspects: only
More informationThe master equality polyhedron with multiple rows
The master equality polyhedron with multiple rows Sanjeeb Dash Ricardo Fukasawa IBM Research February 17, 2009 Oktay Günlük Abstract The master equality polyhedron (MEP) is a canonical set that generalizes
More informationLattice closures of polyhedra
Lattice closures of polyhedra Sanjeeb Dash IBM Research sanjeebd@us.ibm.com Oktay Günlük IBM Research gunluk@us.ibm.com October 27, 2016 Diego A. Morán R. Universidad Adolfo Ibañez diego.moran@uai.cl Abstract
More informationMixed-integer nonlinear programming, Conic programming, Duality, Cutting
A STRONG DUAL FOR CONIC MIXED-INTEGER PROGRAMS DIEGO A. MORÁN R., SANTANU S. DEY, AND JUAN PABLO VIELMA Abstract. Mixed-integer conic programming is a generalization of mixed-integer linear programming.
More informationThe structure of the infinite models in integer programming
The structure of the infinite models in integer programming January 10, 2017 Not Again! Well, Aussois is partly responsible... Some years ago: Not Again! Well, Aussois is partly responsible... Some years
More informationThe Triangle Closure is a Polyhedron
The Triangle Closure is a Polyhedron Amitabh Basu Robert Hildebrand Matthias Köppe November 7, 21 Abstract Recently, cutting planes derived from maximal lattice-free convex sets have been studied intensively
More informationThe master equality polyhedron with multiple rows
The master equality polyhedron with multiple rows Sanjeeb Dash IBM Research sanjeebd@us.ibm.com Ricardo Fukasawa University of Waterloo rfukasaw@math.uwaterloo.ca September 16, 2010 Oktay Günlük IBM Research
More informationOn the Polyhedral Structure of a Multi Item Production Planning Model with Setup Times
CORE DISCUSSION PAPER 2000/52 On the Polyhedral Structure of a Multi Item Production Planning Model with Setup Times Andrew J. Miller 1, George L. Nemhauser 2, and Martin W.P. Savelsbergh 2 November 2000
More informationThe Triangle Closure is a Polyhedron
The Triangle Closure is a Polyhedron Amitabh Basu Robert Hildebrand Matthias Köppe January 8, 23 Abstract Recently, cutting planes derived from maximal lattice-free convex sets have been studied intensively
More informationStrong Dual for Conic Mixed-Integer Programs
Strong Dual for Conic Mixed-Integer Programs Diego A. Morán R. Santanu S. Dey Juan Pablo Vielma July 14, 011 Abstract Mixed-integer conic programming is a generalization of mixed-integer linear programming.
More informationOPTIMA. Mathematical Programming Society Newsletter. 1 Steve Wright, MPS Chair s Column
OPTIMA Mathematical Programming Society Newsletter 80 Steve Wright MPS Chair s Column September 6, 2009. I m writing in the wake of ISMP 2009 in Chicago, which ended last weekend. All involved in the organization
More informationCutting planes from two rows of a simplex tableau
Cutting planes from two rows of a simplex tableau K. Andersen Q. Louveaux R. Weismantel L. Wolsey May, 6 Abstract Introduction In this paper a basic geometric object is investigated that allows us to derive
More informationLattice closures of polyhedra
Lattice closures of polyhedra Sanjeeb Dash IBM Research sanjeebd@us.ibm.com Oktay Günlük IBM Research gunluk@us.ibm.com April 10, 2017 Diego A. Morán R. Universidad Adolfo Ibañez diego.moran@uai.cl Abstract
More informationConstant factor approximations with families of intersection cuts
Constant factor approximations with families of intersection cuts Gennadiy Averkov, Amitabh Basu 2,, and Joseph Paat 2, Institute of Mathematical Optimization, Faculty of Mathematics, University of Magdeburg,
More informationLecture 2. Split Inequalities and Gomory Mixed Integer Cuts. Tepper School of Business Carnegie Mellon University, Pittsburgh
Lecture 2 Split Inequalities and Gomory Mixed Integer Cuts Gérard Cornuéjols Tepper School of Business Carnegie Mellon University, Pittsburgh Mixed Integer Cuts Gomory 1963 Consider a single constraint
More informationCut-Generating Functions for Integer Variables
Cut-Generating Functions for Integer Variables Sercan Yıldız and Gérard Cornuéjols December 204, revised August 205 Abstract For an integer linear program, Gomory s corner relaxation is obtained by ignoring
More information1 Solution of a Large-Scale Traveling-Salesman Problem... 7 George B. Dantzig, Delbert R. Fulkerson, and Selmer M. Johnson
Part I The Early Years 1 Solution of a Large-Scale Traveling-Salesman Problem............ 7 George B. Dantzig, Delbert R. Fulkerson, and Selmer M. Johnson 2 The Hungarian Method for the Assignment Problem..............
More informationOn mixed-integer sets with two integer variables
On mixed-integer sets with two integer variables Sanjeeb Dash IBM Research sanjeebd@us.ibm.com Santanu S. Dey Georgia Inst. Tech. santanu.dey@isye.gatech.edu September 8, 2010 Oktay Günlük IBM Research
More informationMAT-INF4110/MAT-INF9110 Mathematical optimization
MAT-INF4110/MAT-INF9110 Mathematical optimization Geir Dahl August 20, 2013 Convexity Part IV Chapter 4 Representation of convex sets different representations of convex sets, boundary polyhedra and polytopes:
More informationSplit closure and intersection cuts
Math. Program., Ser. A 102: 457 493 (2005) Digital Object Identifier (DOI) 10.1007/s10107-004-0558-z Kent Andersen Gérard Cornuéjols Yanjun Li Split closure and intersection cuts Received: February 4,
More informationThe Split Closure of a Strictly Convex Body
The Split Closure of a Strictly Convex Body D. Dadush a, S. S. Dey a, J. P. Vielma b,c, a H. Milton Stewart School of Industrial and Systems Engineering, Georgia Institute of Technology, 765 Ferst Drive
More informationOn Sublinear Inequalities for Mixed Integer Conic Programs
Noname manuscript No. (will be inserted by the editor) On Sublinear Inequalities for Mixed Integer Conic Programs Fatma Kılınç-Karzan Daniel E. Steffy Submitted: December 2014; Revised: July 7, 2015 Abstract
More informationNon-Recursive Cut Generation
Non-Recursive Cut Generation Aleksandr M. Kazachkov Spring 2018 Tepper School of Business Carnegie Mellon University Pittsburgh, PA 15213 Thesis Committee: Egon Balas (Chair) Daniel Bienstock Gérard Cornuéjols
More informationThe Split Closure of a Strictly Convex Body
The Split Closure of a Strictly Convex Body D. Dadush a, S. S. Dey a, J. P. Vielma b,c, a H. Milton Stewart School of Industrial and Systems Engineering, Georgia Institute of Technology, 765 Ferst Drive
More informationn-step mingling inequalities: new facets for the mixed-integer knapsack set
Math. Program., Ser. A (2012) 132:79 98 DOI 10.1007/s10107-010-0382-6 FULL LENGTH PAPER n-step mingling inequalities: new facets for the mixed-integer knapsack set Alper Atamtürk Kiavash Kianfar Received:
More informationInteger Programming ISE 418. Lecture 12. Dr. Ted Ralphs
Integer Programming ISE 418 Lecture 12 Dr. Ted Ralphs ISE 418 Lecture 12 1 Reading for This Lecture Nemhauser and Wolsey Sections II.2.1 Wolsey Chapter 9 ISE 418 Lecture 12 2 Generating Stronger Valid
More informationTHE MIXING SET WITH FLOWS
THE MIXING SET WITH FLOWS MICHELE CONFORTI, MARCO DI SUMMA, AND LAURENCE A. WOLSEY Abstract. We consider the mixing set with flows: s + x t b t, x t y t for 1 t n; s R 1 +, x Rn +, y Zn +. It models a
More informationOn the knapsack closure of 0-1 Integer Linear Programs
On the knapsack closure of 0-1 Integer Linear Programs Matteo Fischetti 1 Dipartimento di Ingegneria dell Informazione University of Padova Padova, Italy Andrea Lodi 2 Dipartimento di Elettronica, Informatica
More informationOn the Rational Polytopes with Chvátal Rank 1
On the Rational Polytopes with Chvátal Rank 1 Gérard Cornuéjols Dabeen Lee Yanjun Li December 2016, revised May 2018 Abstract We study the following problem: given a rational polytope with Chvátal rank
More informationCutting planes from extended LP formulations
Cutting planes from extended LP formulations Merve Bodur University of Wisconsin-Madison mbodur@wisc.edu Sanjeeb Dash IBM Research sanjeebd@us.ibm.com March 7, 2016 Oktay Günlük IBM Research gunluk@us.ibm.com
More informationOn Some Polytopes Contained in the 0,1 Hypercube that Have a Small Chvátal Rank
On ome Polytopes Contained in the 0,1 Hypercube that Have a mall Chvátal Rank Gérard Cornuéjols Dabeen Lee April 2016, revised July 2017 Abstract In this paper, we consider polytopes P that are contained
More informationLP Relaxations of Mixed Integer Programs
LP Relaxations of Mixed Integer Programs John E. Mitchell Department of Mathematical Sciences RPI, Troy, NY 12180 USA February 2015 Mitchell LP Relaxations 1 / 29 LP Relaxations LP relaxations We want
More informationTight Formulations for Some Simple Mixed Integer Programs and Convex Objective Integer Programs
Tight Formulations for Some Simple Mixed Integer Programs and Convex Objective Integer Programs Andrew J. Miller 1 Laurence A. Wolsey 2 March 19, 2008 Abstract We study the polyhedral structure of simple
More informationExtended Formulations in Combinatorial Optimization
Extended Formulations in Combinatorial Optimization Michele Conforti Università di Padova, conforti@math.unipd.it Gérard Cornuéjols Carnegie Mellon University gc0v@andrew.cmu.edu Giacomo Zambelli London
More informationA Polyhedral Study of the Semi-Continuous Knapsack Problem
A Polyhedral Study of the Semi-Continuous Knapsack Problem Ismael Regis de Farias JR. Department of Industrial Engineering, Texas Tech University, ismael.de-farias@ttu.edu Ming Zhao SAS, ming.zhao@sas.com
More informationStructure of Valid Inequalities for Mixed Integer Conic Programs
Structure of Valid Inequalities for Mixed Integer Conic Programs Fatma Kılınç-Karzan Tepper School of Business Carnegie Mellon University 18 th Combinatorial Optimization Workshop Aussois, France January
More informationIntersection cuts for single row corner relaxations
Math. Prog. Comp. 28 :423 455 https://doi.org/.7/s2532-8-32-y FULL LENGTH PAPER Intersection cuts for single row corner relaxations Ricardo Fukasawa Laurent Poirrier Álinson S. Xavier Received: 4 May 26
More informationSome cut-generating functions for second-order conic sets
Some cut-generating functions for second-order conic sets Asteroide Santana 1 and Santanu S. Dey 1 1 School of Industrial and Systems Engineering, Georgia Institute of Technology June 1, 2016 Abstract
More informationComputational Experiments with Cross and Crooked Cross Cuts
Submitted to INFORMS Journal on Computing manuscript (Please, provide the mansucript number!) Authors are encouraged to submit new papers to INFORMS journals by means of a style file template, which includes
More informationHow tight is the corner relaxation? Insights gained from the stable set problem
How tight is the corner relaxation? Insights gained from the stable set problem Gérard Cornuéjols a,1, Carla Michini b,,, Giacomo Nannicini c,3 a Tepper School of Business, Carnegie Mellon University,
More informationBalas formulation for the union of polytopes is optimal
Balas formulation for the union of polytopes is optimal Michele Conforti, Marco Di Summa, Yuri Faenza October 26, 27 Abstract A celebrated theorem of Balas gives a linear mixed-integer formulation for
More informationA Note on the MIR closure
A Note on the MIR closure Pierre Bonami Tepper School of Business, Carnegie Mellon University, Pittsburgh PA 53, USA. Gérard Cornuéjols Tepper School of Business, Carnegie Mellon University, Pittsburgh
More informationMonoidal Cut Strengthening and Generalized Mixed-Integer Rounding for Disjunctions and Complementarity Constraints
Monoidal Cut Strengthening and Generalized Mixed-Integer Rounding for Disjunctions and Complementarity Constraints Tobias Fischer and Marc E. Pfetsch Department of Mathematics, TU Darmstadt, Germany {tfischer,pfetsch}@opt.tu-darmstadt.de
More informationBicolorings and Equitable Bicolorings of Matrices
Bicolorings and Equitable Bicolorings of Matrices Michele Conforti Gérard Cornuéjols Giacomo Zambelli dedicated to Manfred Padberg Abstract Two classical theorems of Ghouila-Houri and Berge characterize
More informationDeciding Emptiness of the Gomory-Chvátal Closure is NP-Complete, Even for a Rational Polyhedron Containing No Integer Point
Deciding Emptiness of the Gomory-Chvátal Closure is NP-Complete, Even for a Rational Polyhedron Containing No Integer Point Gérard Cornuéjols 1 and Yanjun Li 2 1 Tepper School of Business, Carnegie Mellon
More informationOn Sublinear Inequalities for Mixed Integer Conic Programs
Noname manuscript No. (will be inserted by the editor) On Sublinear Inequalities for Mixed Integer Conic Programs Fatma Kılınç-Karzan Daniel E. Steffy Submitted: December 2014; Revised: July 2015 Abstract
More informationStructure in Mixed Integer Conic Optimization: From Minimal Inequalities to Conic Disjunctive Cuts
Structure in Mixed Integer Conic Optimization: From Minimal Inequalities to Conic Disjunctive Cuts Fatma Kılınç-Karzan Tepper School of Business Carnegie Mellon University Joint work with Sercan Yıldız
More informationWhen the Gomory-Chvátal Closure Coincides with the Integer Hull
Date for Revised Manuscript: December 19, 2017 When the Gomory-Chvátal Closure Coincides with the Integer Hull Gérard Cornuéjols Yanjun Li Abstract Gomory-Chvátal cuts are prominent in integer programming.
More informationSection Notes 9. IP: Cutting Planes. Applied Math 121. Week of April 12, 2010
Section Notes 9 IP: Cutting Planes Applied Math 121 Week of April 12, 2010 Goals for the week understand what a strong formulations is. be familiar with the cutting planes algorithm and the types of cuts
More informationLifted Inequalities for 0 1 Mixed-Integer Bilinear Covering Sets
1 2 3 Lifted Inequalities for 0 1 Mixed-Integer Bilinear Covering Sets Kwanghun Chung 1, Jean-Philippe P. Richard 2, Mohit Tawarmalani 3 March 1, 2011 4 5 6 7 8 9 Abstract In this paper, we study 0 1 mixed-integer
More informationOn Counting Lattice Points and Chvátal-Gomory Cutting Planes
On Counting Lattice Points and Chvátal-Gomory Cutting Planes Andrea Lodi 1, Gilles Pesant 2, and Louis-Martin Rousseau 2 1 DEIS, Università di Bologna - andrea.lodi@unibo.it 2 CIRRELT, École Polytechnique
More informationInteger Programming, Part 1
Integer Programming, Part 1 Rudi Pendavingh Technische Universiteit Eindhoven May 18, 2016 Rudi Pendavingh (TU/e) Integer Programming, Part 1 May 18, 2016 1 / 37 Linear Inequalities and Polyhedra Farkas
More informationEquivariant Perturbation in Gomory and Johnson s Infinite Group Problem. I. The One-Dimensional Case
Equivariant Perturbation in Gomory and Johnson s Infinite Group Problem. I. The One-Dimensional Case Amitabh Basu Robert Hildebrand Matthias Köppe March 25, 204 Abstract We give an algorithm for testing
More informationMinimally Infeasible Set Partitioning Problems with Balanced Constraints
Minimally Infeasible Set Partitioning Problems with alanced Constraints Michele Conforti, Marco Di Summa, Giacomo Zambelli January, 2005 Abstract We study properties of systems of linear constraints that
More informationCutting Planes and Elementary Closures for Non-linear Integer Programming
Cutting Planes and Elementary Closures for Non-linear Integer Programming Juan Pablo Vielma University of Pittsburgh joint work with D. Dadush and S. S. Dey S. Modaresi and M. Kılınç Georgia Institute
More informationDisjunctive Cuts for Cross-Sections of the Second-Order Cone
Disjunctive Cuts for Cross-Sections of the Second-Order Cone Sercan Yıldız Gérard Cornuéjols June 10, 2014 Abstract In this paper we provide a unified treatment of general two-term disjunctions on crosssections
More informationSome Properties of Convex Hulls of Integer Points Contained in General Convex Sets
Some Properties of Convex Hulls of Integer Points Contained in General Convex Sets Santanu S. Dey and Diego A. Morán R. H. Milton Stewart School of Industrial and Systems Engineering, Georgia Institute
More informationThe continuous knapsack set
The continuous knapsack set Sanjeeb Dash IBM Research sanjeebd@us.ibm.com Oktay Günlük IBM Research gunluk@us.ibm.com January 31, 2014 Laurence Wolsey Core laurence.wolsey@uclouvain.be Abstract We study
More informationThe continuous knapsack set
The continuous knapsack set Sanjeeb Dash IBM Research sanjeebd@us.ibm.com Oktay Günlük IBM Research gunluk@us.ibm.com December 18, 2014 Laurence Wolsey Core laurence.wolsey@uclouvain.be Abstract We study
More informationComputational Experiments with Cross and Crooked Cross Cuts
Computational Experiments with Cross and Crooked Cross Cuts Sanjeeb Dash IBM Research sanjeebd@us.ibm.com Oktay Günlük IBM Research gunluk@us.ibm.com Juan Pablo Vielma Massachusetts Institute of Technology
More information