HAL Id: hal-00387098
https://hal.archives-ouvertes.fr/hal-00387098
Submitted on 24 May 2009
HAL
is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or
L’archive ouverte pluridisciplinaire
HAL, estdestinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires
Mixing MIR Inequalities with Two Divisible Coefficients
Miguel Constantino, Andrew Miller, Mathieu van Vyve
To cite this version:
Miguel Constantino, Andrew Miller, Mathieu van Vyve. Mixing MIR Inequalities with Two Divisible
Coefficients. Mathematical Programming, Series A, Springer, 2010, 123, pp.451-483. �10.1007/s10107-
009-0266-9�. �hal-00387098�
Mixing MIR Inequalities with Two Divisible Coefficients
Miguel Constantino CIO-DEIO University of Lisbon
Lisbon, Portugal
miguel.constantino@fc.ul.pt
Andrew J. Miller IMB, Universit´e Bordeaux 1
Team RealOpt, INRIA Bordeaux Sud-Ouest
Andrew.Miller@math.u-bordeaux1.frMathieu Van Vyve N-Side S.A., Louvain-la-Neuve, Belgium
mathieu.vanvyve@gmail.comRevised: December 3, 2008
Abstract
This paper is a polyhedral study of a generalization of the mixing set where two different, divisible coefficients are allowed for the inte- gral variables. Our results generalize earlier work on mixed integer rounding, mixing, and extensions. They also directly apply to appli- cations such as production planning problems involving lower bounds or start-ups on production, when these are modeled as mixed-integer linear programs.
We define a new class of valid inequalities and give two proofs that they suffice to describe the convex hull of this mixed-integer set. We give a characterization of each of the maximal faces of the convex hull, as well as a closed form description of its extreme points and rays, and show how to separate over this set inO(nlogn). Finally, we give several extended formulations of polynomial size, and study conditions under which adding certain simple constraints on the integer variables preserves our main result.
1 Introduction
In this paper we study the polyhedral structure of the mixed integer set P
M M IX:
s + Lz
t≥ b
t, 1 ≤ t ≤ k, s + Cz
t≥ b
t, k + 1 ≤ t ≤ n, z ∈
Zn, s ≥ 0,
where b
t∈
R, L, C > 0 and C/L ∈
Z.
The polyhedral descriptions of many mixed integer sets can be obtained based on the so-called Mixed Integer Rounding inequalities (M IR) and ex- tensions (Gomory [1960], Nemhauser and Wolsey [1988]). The basic M IR inequality is derived from the set
P
M IR= {(s, z) ∈
R+×
Z: s + Cz ≥ b}.
If we let α = ⌈b/C⌉ and γ = b − C(α − 1), then we can write the basic M IR inequality as
s ≥ γ(α − z).
G¨ unl¨ uk and Pochet [2001] showed how the convex hull of certain sets can be obtained by mixing basic M IR inequalities. This procedure was developed on a generalization of the MIR set that we can define as P
GM IX= {(s, z) ∈
R+×
Zn: s + Cz
t≥ b
t, 1 ≤ t ≤ n}. Those authors showed that inequalities obtained by the mixing procedure describe the convex hull of P
GM IX.
The set P
M M IXstudied in this paper considers two divisible coefficients L and C, and it therefore generalizes P
GM IX. Indeed, P
GM IXis the special case of P
M M IXwith either k = 0 or k = n. Our aim is to describe the convex hull of P
M M IX. To do this, we will develop a way to define valid inequalities by applying the mixing procedure twice. This approach not only yields the convex hull of P
M M IX, but other remarkable results as well.
These include an O(n log(n)) separation algorithm for P
M M IXthat is as fast asymptotically as the separation algorithm for P
GM IX(which is described in Pochet and Wolsey [1994] and Miller and Wolsey [2003]). Analysis of the separation algorithm also yields, for each of the the facet-defining inequal- ities that we define, a system of inequalities that describe the set of points lying in the face defined by that inequality. Using a different approach, we obtain several exact extended formulations for P
M M IX.
While this research was in progress, Zhao and de Farias [2007a,c] have
studied a generalization of P
M M IXthat may have more capacities, each
of which divides all larger capacities. They show how to compute the ex- treme points of and optimize over the MIP model in question (they give a closed-form list of extreme points in only a very limited case). Our results for conv(P
M M IX) are more detailed and provide more information than do the results just mentioned; however, the work of Zhao and de Farias is par- ticularly impressive because it applies to models with m divisible capacities for any m ≤ n. (More recently, Di Summa [2007] has refined the algorithm given by Zhao and de Farias [2007a] to compute the extreme points of this general model, and Conforti et al. [2008] have proposed an integral extended formulation that generalizes the results of Section 6 of this paper).
A theoretical motivation for this research is the generalization of the mixing inequalities to apply to more complicated models which often occur as substructures of difficult MIP models. Moreover, applications motivating this research arise in the study of a couple of MIP lot sizing models, which we present briefly below.
Lot Sizing with Lower Bounds
Consider the following single-item lot-sizing model with lower bounds. This model may arise as a submodel of complex multi-item multi-resource pro- duction planning problems.
max
n
X
t=1
(f
ty
t+ p
tx
t+ h
ts
t)
s
t−1+ x
t= d
t+ s
t, 1 ≤ t ≤ n (1)
Ly
t≤ x
t≤ Cy
t, 1 ≤ t ≤ n, (2)
y
t∈
Z+, 1 ≤ t ≤ n, (3)
where d
t≥ 0 are the demands, f
tare the set-up costs, p
tare the unit
production costs, and h
tare the unit holding costs. In this model multiple
set-ups in a single period are allowed, so the variables y can take integer
values larger than one. When the costs satisfy the Wagner-Whitin property
(p
t≤ h
t+ p
t−1) (Pochet and Wolsey [1994]) there exists an optimal solution
for this model for which the stock is minimal with respect to when setups
occur, that is, for fixed y, the stock variables s have the minimum feasible
values. The solution (s, x, y) is a stock-minimal solution of (1)-(3) if and
only if
s
k= max
"
max
t≤k(L
k
X
i=t
y
i−
k
X
i=t
d
i)
+, max
t≥k+1
(
t
X
i=k+1
d
i− C
t
X
i=k+1
y
i)
+#
,
for all 0 ≤ k ≤ n and (s, x, y) satisfies (1) and (3) (see Van Vyve [2003]).
This implies that the dominant of the stock minimal solutions (the set of (s
′, x, y) such that there exists s ≤ s
′with (s, x, y) satisfying (1)-(3)) is the feasible set of the following model.
s
k≥ L
k
X
i=t
y
i−
k
X
i=t
d
i, 1 ≤ t ≤ k ≤ n, (4)
s
k≥
t
X
i=k+1
d
i− C
t
X
i=k+1
y
i, 1 ≤ k + 1 ≤ t ≤ n, (5)
y
t∈
Z+1 ≤ t ≤ n, (6)
s ≥ 0. (7)
Constantino [1995, 1998] describes valid inequalities for (4)-(7) when C is very large (C ≥
Pni=k+1
d
i). The inequalities described in this paper are strong in the more general case where L divides C exactly. We show that for k fixed, these inequalities describe the convex hull of solutions for (4)-(7) when C is large.
To relate (4)-(7) to P
M M IXfor a fixed k, let s = s
kand define z
t=
−
Pki=t
y
i, b
t= −
Pki=t
d
i, for 1 ≤ t ≤ k and z
t=
Pti=k+1
y
i, b
t=
Pt i=k+1d
ifor k+1 ≤ t ≤ n. This yields the model P
M M IXwith extra constraints com- ing from the nonnegativity of the y
tvariables, z
1≤ · · · ≤ z
k≤ 0 ≤ z
k+1≤
· · · ≤ z
n. Observe that we also have b
1≤ · · · ≤ b
k≤ 0 ≤ b
k+1≤ · · · ≤ b
n. Lot Sizing with Startups
Consider now a single-item lot-sizing model with startups and capacities.
max
X(f
ty
t+ g
tw
t+ p
tx
t+ h
ts
t) (8)
s
t−1+ x
t= d
t+ s
t, 1 ≤ t ≤ m (9)
x
t≤ Ky
t, 1 ≤ t ≤ m, (10)
y
t− y
t−1≤ w
t≤ y
t, 1 ≤ t ≤ m, (11)
y
t, w
t∈ {0, 1}, 1 ≤ t ≤ m. (12)
where d
t≥ 0 and g
tis the startup cost, incurred if there is a set up in period t and no setup in period t − 1. We consider a relaxation of (9)-(12). The stock minimal solutions of this model satisfy the following inequalities, for 1 ≤ ℓ ≤ m:
s
ℓ≥
t
X
i=ℓ+1
d
i− K
t
X
i=ℓ+1
y
i, ℓ + 1 ≤ t ≤ m, (13)
s
ℓ≥
t
X
i=ℓ+1
d
i− M(y
ℓ+
t
X
i=ℓ+1
w
i), ℓ + 1 ≤ t ≤ m, (14)
y
t, w
t∈
Z+ℓ + 1 ≤ t ≤ m, (15)
y
ℓ∈
Z+, s ≥ 0. (16)
where M ≥
Pmi=ℓ+1
d
i. In order to write (13)-(16) as P
M M IX, chose M to be a multiple of K and consider the following transformation for ℓ fixed:
s = s
ℓ, z
t=
Pti=1
y
ℓ+i, b
t=
Pti=1
d
ℓ+ifor 1 ≤ t ≤ m − ℓ = k and z
t= y
ℓ+
Pt−ki=1
w
ℓ+i, b
t=
Pt−ki=1
d
ℓ+ifor k + 1 ≤ t ≤ 2(m − ℓ) = n.
The constraints implied from the nonnegativity of the y
tand w
tvariables are 0 ≤ z
1≤ · · · ≤ z
kand 0 ≤ z
k+1≤ · · · ≤ z
n. Observe that we have b
1≤ · · · ≤ b
kand b
t= b
t−kfor k + 1 ≤ t ≤ n. In this case constraints (11) tie together variables z
tfor t ≤ k and t > k.
Reconsidering the set P
GM IX, observe that the basic M IR inequalities obtained considering each constraint separately are s ≥ γ
t(α
t− z
t), with α
tand γ
tdefined as above. These inequalities can be combined by taking dif- ferences in the following way. Let U ⊆ {1, · · · , n} and let [1], . . . , [|U |] be any ordering of the elements of U such that γ
[1]≤ γ
[2]≤ . . . ≤ γ
[|U|]. The mixed M IR (or simply mixing) inequalities (Pochet and Wolsey [1993],G¨ unl¨ uk and Pochet [2001]) are
s ≥
X[t]∈U
(γ
[t]− γ
[t−1])(α
[t]− z
[t]) s ≥
X[t]∈U
(γ
[t]− γ
[t−1])(α
[t]− z
[t]) + (C − γ
[|U|])(α
[1]− z
[1]− 1),
for each set U ⊆ {1, · · · , n}, with γ
[0]= 0.
This paper is organized as follows. In the next section, we introduce the two-level mixed MIR inequalities for the mixing set with two divisible capacities. In Section 3 we present a polynomial time separation algorithm;
based on this, we give a proof for the description of the convex hull of solu- tions of P
M M IXin Section 4. In Section 5 we describe the extreme points and rays of conv(P
M M IX). Since there are O(|I
1||I
2|) extreme points and n + 1 extreme rays, this extremal description implies both a fast optimiza- tion algorithm and a polynomial size extended formulation for P
M M IX. In Section 6 we give other extended formulations based on a decomposition of the continuous variable. This approach allows us to derive an alternative convex hull proof, and we can also use it to show, in section 7, that our inequalities suffice to describe the convex hull of (4)-(7) for fixed k, when C is very large. We finish with some conclusions in Section 8.
2 Two–level Mixing Inequalities
In this section we define the family of two–level mixing inequalities. For the remainder of the paper, we assume that the model P
M M IXis normalized so that L = 1; thus we consider P
M M IXas being the set of points (s, z) ∈
R×
Znsatisfying the following constraints:
s + z
i≥ b
i, 1 ≤ i ≤ k, (17)
s + Cz
i≥ b
i, k + 1 ≤ i ≤ n, (18)
z ∈
Zn, (19)
s ≥ 0, (20)
where C > 0 is an integer.
First we recall some results concerning the mixing inequalities.
Lemma 1 (G¨ unl¨ uk and Pochet [2001]) Let W = {(s, z) ∈
Rp×
Zn: f (s) +
Πθ
i(z) ≥ π
i, i = 1, . . . , m}, where f (s) ≥ 0 and θ
i(z) ∈
Z. Let τ
iinteger and
0 ≤ γ
i≤ Π be defined such that π
i= (τ
i− 1)Π + γ
i, γ
0= 0, and suppose
w.l.g. that γ
1≤ γ
2≤ · · · ≤ γ
m. Let S = {i
1, . . . , i
|S|} ⊆ {1, . . . , m} with
0 = i
0≤ i
1≤ · · · ≤ i
|S|. The following mixed-MIR (or mixing) inequalities
are valid for W :
f (s) ≥
|S|
X
t=1
(γ
it− γ
it−1)(τ
it− θ
it(z)) (21)
f (s) ≥
|S|
X
t=1
(γ
it− γ
it−1)(τ
it− θ
it(z)) + (Π − γ
i|S|)(τ
i1− 1 − θ
i1(z)). (22) Note that we have very slightly extended the original notation by allowing τ
ito be defined either as ⌈π
i/Π⌉, in which case 0 < γ
i≤ Π (as in the original paper G¨ unl¨ uk and Pochet [2001]), or as ⌊π
i/Π⌋ + 1 so that 0 ≤ γ
i< Π.
Indeed, when π
iis not a multiple of Π, both definitions are equivalent.
If π
iis a multiple of Π, then it is readily checked that both definitions yield the same inequality (22), and also that inequality (21) is redundant in the two cases.
Lemma 2 Let (¯ s, z) ¯ ∈
Rp×
Rn. Under the conditions of Lemma 1, a most violated mixed-M IR inequality is given by a set S = {i
1, . . . , i
|S|} such that
1. τ
i1− θ
i1(¯ z) ≥ τ
i2− θ
i2(¯ z) ≥ · · · ≥ τ
i|S|− θ
i|S|(¯ z);
2. τ
it− θ
it(¯ z) ≥ τ
i− θ
i(¯ z), for i : i
t−1< i < i
t, t = 1, . . . , |S|;
3. either 1 ≥ τ
i1−θ
i1(¯ z), in which case τ
i|S|−θ
i|S|(¯ z) ≥ 0; 0 ≥ τ
i− θ
i(¯ z), for i : i > i
|S|; and the most violated inequality is (21);
or τ
i1− θ
i1(¯ z) − 1 ≥ 0, in which case τ
i|S|− θ
i|S|(¯ z) ≥ τ
i1− θ
i1(¯ z) − 1;
τ
i1−θ
i1(¯ z)−1 ≥ τ
i−θ
i(¯ z), for i > i
|S|; and the most violated inequality is (22).
Proof: The proof is discussed in Pochet and Wolsey [1994] and Miller and Wolsey [2003].
2Note that it is possible that the indices in S satisfying 1 and 2 above may satisfy τ
i1− θ
i1(¯ z) = 1, in which case each of the inequalities (21) and (22) defined by this set will be most violated inequalities.
Now let I
1= {1, . . . , k}, I
2= {k + 1, . . . , n} and I = I
1∪ I
2. Then we can see that the set P
M M IXdefines two intersecting mixing sets, one based on s and the variables in I
1, in which Π = 1, and the other based on s and the variables in I
2, in which Π = C, in both cases θ
i(z) = z
i.
Example 1
Consider the following instance of P
M M IXin which n = 4, k = 2, C = 5 and the right hand-side vector b is equal to [3.8, 5.3, 1.6, 9.9] (from Van Vyve [2003]):
s + z
1≥ 3.8 (23)
s + z
2≥ 5.3 (24)
s + 5z
3≥ 1.6 (25)
s + 5z
4≥ 9.9 (26)
z
i∈
Zi ∈ {1, 2, 3, 4} (27)
s ≥ 0. (28)
Thus I
1= {1, 2} and I
2= {3, 4}. The first two inequalities (for variables in I
1) and (28) define a mixing set with unit capacity. Equations (25)–(26) (for variables in I
2) and (28) define another mixing set with capacity 5.
Thus we can use Lemma 1 to define the following valid inequality for P
M M IX:
s ≥ 0.3(6 − z
2) + 0.5(4 − z
1).
Here Π = 1, f (s) = s, θ
i(z) = z
ifor i = 1, 2. Also, τ
1= 4 and τ
2= 6, and γ
1= 0.8 and γ
2= 0.3. The inequality listed is then given by (21) when S = {1, 2}.
Likewise, we can use Lemma 1 to define
s ≥ 1.6(1 − z
3) + 3.3(2 − z
4) + 0.1(0 − z
3),
which is valid for P
M M IX. This inequality results from (22) when S = {3, 4}, because we can take Π = 5, f (s) = s, θ
i(z) = z
ifor i = 3, 4.
2Now we will discuss how to define strong valid inequalities for P
M M IXthat have nonzero coefficients for variables in both I
1and I
2. To do this, we first define κ
i= ⌈b
i⌉, η
i= b
i− (κ
i− 1) for i ∈ I
1and η
0= 1.
In addition, we let α
i= ⌈
bCi⌉ and δ
i= b
i− (α
i− 1)C for i ∈ I
2. Also, let κ
i= ⌈δ
i⌉ and η
i= δ
i− (κ
i− 1) for i ∈ I
2. Note that these definitions imply that
b
i= (κ
i− 1) + η
i, i ∈ I
1,
b
i= (α
i− 1)C + δ
i= (α
i− 1)C + (κ
i− 1) + η
i, i ∈ I
2.
Observe that 0 < κ
i≤ C for i ∈ I
2and 0 < η
i≤ 1 for i ∈ I . For notational convenience, we also define κ
0= 0 and η
0= 1.
Throughout, we assume that 0 < η
i< 1, i ∈ I
1, and that 0 < δ
i<
C, i ∈ I
2. Relaxing this assumption does not affect most of the results we derive, but making it sometimes reduces the number of cases that must be considered and makes notation easier.
We also suppose without loss of generality that δ
k+1≤ δ
k+2≤ . . . ≤ δ
n. Finally, for i ∈ I
2∪ {0} and j ∈ I ∪ {0}, let
κ
ji=
(
κ
iif η
i≥ η
jκ
i− 1 if η
i< η
j. Note that an equivalent definition of κ
jiis
κ
ji= min{κ ∈
Z: κ ≥ κ
i+ η
i− η
j}.
Thus, κ
jiis the lowest value the integral part of s can take keeping (18) satisfied for i, if z
i= α
i− 1 and η
jis the fractional part of s for some j ∈ I ∪ {0} \ {i} (except when j = 0 or δ
jis integer, in which case η
j= 1).
Note also that κ
j0= κ
0= 0 for all j ∈ I ∪ {0}. These quantities will be essential in defining the two-level mixing inequalities.
The next result is also helpful in defining the new inequalities. In addi- tion, it will be important in characterizing separation and in showing that they define the convex hull of P
M M IX.
Lemma 3 For every j ∈ I ∪ {0},
0 = κ
j0≤ κ
jk+1≤ κ
jk+2≤ · · · ≤ κ
jn. (29) Proof: As δ
i≤ δ
i+1implies κ
i≤ κ
i+1, the only nontrivial case is when κ
ji= κ
iand κ
ji+1= κ
i+1− 1. In this case we must have η
i+1< η
j≤ η
i, so κ
i= δ
i− η
i+ 1 < δ
i+1− η
i+1+ 1 = κ
i+12We will now use Lemma 1 twice to build the two–level mixing inequal- ities. The first step uses Lemma 1 to define, for each i ∈ I
2∪ {0}, a set of inequalities involving the variables in I
2∪ {0} that can then be mixed with simple M IR inequalities involving variables in I
1.
Lemma 4 Let S = {i
1, . . . , i
|S|} ⊆ I
2, with 0 = i
0< i
1< · · · < i
|S|, and let
j ∈ I
2∪ {0}. The following inequalities are valid for P
M M IX:
s + 1 − η
j≥
|S|
X
t=1
(κ
jit
− κ
jit−1)(α
it− z
it) (30)
s + 1 − η
j≥
|S|
X
t=1
(κ
jit− κ
jit−1)(α
it− z
it) + (C − κ
ji|S|
)(α
i1− 1 − z
i1). (31) Proof: from (18) and the definition of α
i, κ
iand η
i, we have
s + 1 − η
i+ Cz
i≥ (α
i− 1)C + κ
i.
Now if η
i≥ η
jwe can write s + 1 − η
j+ Cz
i≥ (α
i− 1)C + κ
i; if η
i< η
j, as η
i≥ 0 and η
j≤ 1, we have s + 1 − η
j+ Cz
i≥ (α
i− 1)C + κ
i− 1. Thus
s + 1 − η
j+ Cz
i≥ (α
i− 1)C + κ
jifor i ∈ I
2. (32) Define f (s) = s + 1 − η
j, which is nonnegative because s ≥ 0 and η
j≤ 1, Π = C, θ
i(z) = z
i, and π
i= (α
i− 1)C + κ
ji. Thus ⌈π
i/Π⌉ = α
iand γ
i= κ
ji. The validity of the inequalities follows from Lemma 1.
2Example 1 (continued)
We can compute the following values
0 1 2 3 4
α 1 2
δ 1.6 4.9
κ 4 6 2 5
η 1 0.8 0.3 0.6 0.9;
then the following table holds the values of κ
ji: κ
jii = 3 i = 4
j = 0 1 4
j = 1 1 5
j = 2 2 5
j = 3 2 5
j = 4 1 5.
Recall that κ
j0= κ
0= 0 for all j ∈ I ∪ {0}. Now if we take S = {3, 4} and
j = 3, then inequalities (30) and (31) both yield
s + 1 − 0.6 = s + 0.4 ≥ 2(1 − z
3) + 3(2 − z
4). (33) which follows from the fact that both s+0.4 ≥ 2(1−z
3) and s+0.4 ≥ 5(2−z
4) are valid for P
M M IX.
Similarly, if we take j = 4, then inequalities (30) and (31) both yield s + 1 − 0.9 = s + 0.1 ≥ 1(1 − z
3) + 4(2 − z
4). (34) If we take j = 0, then inequalities (30) and (31) respectively yield
s + 1 − 1 = s ≥ 1(1 − z
3) + 3(2 − z
4), (35) s + 1 − 1 = s ≥ 1(1 − z
3) + 3(2 − z
4) + (−z
3). (36)
2The next Proposition follows from Lemmas 2 and 4.
Proposition 5 Given (¯ s, z) ¯ ∈
R×
R|I2|, the most violated inequality (30) or (31), for every j ∈ I
2∪ {0}, is determined by a set S = {i
1, . . . , i
|S|} ⊆ I
2, with i
1< · · · < i
|S|such that
1. α
i1− z ¯
i1≥ α
i2− z ¯
i2≥ · · · ≥ α
i|S|− z ¯
i|S|;
2. α
it− z ¯
it≥ α
i− z ¯
i, for i
t−1< i < i
t, t = 2, . . . , |S| and k < i < i
1; 3. either 1 ≥ α
i1− z ¯
i1, in which case α
i|S|− z ¯
i|S|≥ 0; 0 ≥ α
i− z ¯
i, for
i : i > i
|S|; and the most violated inequality is (30);
or α
i1− z ¯
i1− 1 ≥ 0, in which case α
i|S|− z ¯
i|S|≥ α
i1− z ¯
i1− 1;
α
i1− z ¯
i1− 1 ≥ α
i− z ¯
i, for i : i > i
|S|; and the most violated in- equality is (31).
Now for S ⊆ I
2, again let {i
t} be any ordering of S such that 0 = i
0< i
1<
... < i
|S|. Then for each j ∈ I
2∪ {0}, define
ψ
Sj(z) =
|S|
X
t=1
(κ
jit− κ
jit−1)(α
it− z
it), (37) φ
jS(z) = ψ
Sj(z) + (C − κ
ji|S|
)(α
i1− 1 − z
i1). (38)
Note that these expressions are the right hand sides of the inequalities (30) and (31), respectively. Note also that, for each j ∈ I
1, s + 1 − η
j≥ κ
j− z
jis valid for P
M M IX(from (17) and the definition of η
jand κ
j). This motivates us to define, for any j ∈ I ∪ {0} and any S ⊆ I
2,
θ
Sj,r(z) =
κ
j− z
jif j ∈ I
1ψ
Sj(z) if j ∈ I
2∪ {0} and r = 0 φ
jS(z) if j ∈ I
2∪ {0} and r = 1.
Using this definition,
s + 1 − η
j≥ θ
Sj,r(z) (39)
is a valid inequality for any j ∈ I ∪ {0}, regardless of the choices of S and r.
Proposition 6 Let U
1⊆ I
1, U
2⊆ I
2∪ {0}, U = U
1∪ U
2and suppose U = {j
1, . . . , j
|U|} with 0 = η
j0≤ η
j1≤ · · · ≤ η
j|U|. For each j
u∈ U
2let r
u∈ {0, 1} and S
u⊆ I
2. The following inequalities are valid for P
M M IX:
s ≥
|U|
X
u=1
(η
ju− η
ju−1)θ
Sjuruu
(z), (40)
s ≥
|U|
X
u=1
(η
ju− η
ju−1)θ
Sjuruu
(z) + (1 − η
j|U|)(θ
Sj11r1(z) − 1) (41) Proof: Rewriting (39), we have that s − θ
Sj,r(z) ≥ η
j− 1 for every j ∈ U and r ∈ {0, 1}. The result follows from Lemma 1 with Π = 1, π
j= η
j− 1, so τ
j= ⌈
ηj1−1⌉ = 0 and γ
j= η
j.
2Many of the above inequalities are dominated. Given a point (s, z) ∈
R×
Zn, the inequality (40) or (41) yielding the largest right hand side is such that, for each j ∈ U , the corresponding term θ
Sj,r(z) is of maximum value among all possible choices of the set S and r. From Proposition 5 (properties 1 and 2), it follows that for j ∈ U
2, the set S∗ maximizing θ
Sj,r(z) is the same for every j. From Proposition 5 (property 3), r takes the same value for every j.
From this Proposition and the definition of κ
ℓi, it follows that S ∪ {0} ⊇
U
2. To see this, suppose that j ∈ U
2and j / ∈ S ∪ {0}. Let ℓ be an index in
S ∪ {0} such that η
ℓ= min{η
i: i ∈ S ∪ {0} and η
i≥ η
j}. Such an index
always exists as η
j≤ 1 = η
0. Observe that we have κ
ℓi= κ
jifor i ∈ S, so ψ
ℓS(z) = ψ
Sj(z) and φ
ℓS(z) = φ
jS(z). Thus, from Proposition 5, it follows that inequalities (40) and (41) with j ∈ U
2, are dominated by corresponding inequalities where j is replaced by ℓ or j is simply removed from U
2.
From the above discussion, we have θ
j,0S(z) = ψ
Sj(z) and θ
j,1S(z) = φ
jS(z) for j ∈ S ∪ {0}. Define, for j ∈ I
1, ψ
jS(z) = φ
jS(z) = κ
j− z
j. Thus the non-dominated inequalities are of one of the four following types:
s ≥
|U|
X
u=1
(η
ju− η
ju−1)ψ
Sju(z), (42)
s ≥
|U|
X
u=1
(η
ju− η
ju−1)φ
jSu(z), (43)
s ≥
|U|
X
u=1
(η
ju− η
ju−1)ψ
Sju(z) + (1 − η
j|U|)(ψ
Sj1(z) − 1), (44)
s ≥
|U|
X
u=1
(η
ju− η
ju−1)φ
jSu(z) + (1 − η
j|U|)(φ
jS1(z) − 1), (45) where U = U
1∪ U
2= {j
1, . . . , j
|U|} with 0 = η
j0≤ η
j1≤ · · · ≤ η
j|U|, U
1⊆ I
1, S ⊆ I
2, and U
2⊆ S ∪ {0}.
Observe that if 0 ∈ U , as η
0= η
j|U|= 1, then (42) (resp. (43)) and (44) (resp. (45)) yield the same inequality, and so we do not need to consider (44) and (45) when 0 ∈ U . We will see later that when 0 ∈ / U inequalities of the form (42) and (43) are dominated by inequalities (44) and (45).
Example 1 (continued) Note that we can rewrite (23) as
s + 1 − 0.8 = s + 0.2 ≥ 4 − z
1.
Thus, if we choose U
2= S = {3, 4} and U
1= {1}, (42) and (43) both yield
s ≥ 0.6 [2(1 − z
3) + 3(2 − z
4)] + 0.2 [4 − z
1] + 0.1 [1(1 − z
3) + 4(2 − z
4)] ,
(46)
while (44) and (45) both yield
s ≥ 0.6 [2(1 − z
3) + 3(2 − z
4)] + 0.2 [4 − z
1] + 0.1 [1(1 − z
3) + 4(2 − z
4)]
+ 0.1 [2(1 − z
3) + 3(2 − z
4) − 1] . (47) If we choose S = {3, 4}, U
2= S ∪ {0} = {0, 3, 4}, and U
1= {1}, then (42) and (44) both yield
s ≥ 0.6 [2(1 − z
3) + 3(2 − z
4)] + 0.2 [4 − z
1] + 0.1 [1(1 − z
3) + 4(2 − z
4)]
+ 0.1 [1(1 − z
3) + 3(2 − z
4)] , (48)
while (43) and (45) both yield
s ≥ 0.6 [2(1 − z
3) + 3(2 − z
4)] + 0.2 [4 − z
1] + 0.1 [1(1 − z
3) + 4(2 − z
4)]
+ 0.1 [1(1 − z
3) + 3(2 − z
4) + (−z
3)] , (49) which coincidentally is the same inequality as (47).
Note that Proposition 5 tells us that this choice of S maximizes both ψ
Sj(z) and φ
jS(z), for j = 0, 3, 4, if and only if
1 − z
3≥ 2 − z
4≥ −z
3and 2 − z
4≥ 0. (50) It is instructive to note that, given (50), (46) is always dominated by (48).
We will see that this holds in general: inequalities of the forms (42) and (43) in which 0 ∈ / U are always dominated by other inequalities in which 0 ∈ U . Given (50), there is one more implication worthy of note. If and only if
1 − z
3≥ 1 ⇐⇒ z
3≤ 0 ⇐⇒ φ
jS(z) ≥ ψ
Sj(z), then each of (47) and (49) dominates (48).
23 Separation
The development of the separation algorithm for the Two-Level Mixing In-
equalities parallels the development necessary to define (42)–(45). It is eas-
iest to consider separation in two main phases: 1) defining which sets U
1,
U
2, and S define the inequality; and 2) computing the coefficients of each
variable in the inequality based on which sets we choose. We will show how
to do the first phase in O(n log(n)), and how to do the second in O(n), thus
defining an O(n log(n)) separation algorithm for the inequalities (42)–(45).
3.1 Choosing the Sets
We first prove a Lemma that, given a point, will help us to identify which of the two-level mixing inequalities is most violated by that point.
Lemma 7 Let S ⊆ I
2, S = {i
1, . . . , i
|S|}, with i
1< · · · < i
|S|, be a set satisfying 1 and 2 in Proposition 5. Then
1. ψ
Sj(z) ≥ 0 for j ∈ I
2∪ {0}
2. φ
jS(z) ≥ 0 if α
i1− z
i1− 1 ≥ 0 for j ∈ I
2∪ {0}
3. ψ
Sj(z) ≥ ψ
ℓS(z) if η
j≤ η
ℓ, j, l ∈ I
2∪ {0}
4. φ
jS(z) ≥ φ
ℓS(z) if η
j≤ η
ℓ, j, l ∈ I
2∪ {0}
Proof: Define α
i|S|+1− z
i|S|+1= 0. For j ∈ I
2, ψ
Sj(z) =
P|S|t=1
(κ
jit− κ
jit−1)(α
it− z
it) =
P|S|t=1
κ
jit
(α
it− z
it) − (α
it+1− z
it+1)
. Since S satisfies conditions of Proposition 5, α
it− z
it≥ α
it+1− z
it+1, so ψ
jS(z) ≥ 0. If η
j≤ η
ℓthen
κ
jit
− κ
ℓit=
(
1 if η
j≤ η
it< η
ℓ0 otherwise, so
ψ
Sj(z) − ψ
Sℓ(z) =
Xit∈S:ηj≤ηit<ηℓ
(α
it− z
it) − (α
it+1− z
it+1)
≥ 0. (51)
The other inequalities follow from the definition of φ
jS(z).
2Observation 8 The following are consequences of Lemma 7 .
1. Since η
0= 1 ≥ η
jfor all j and ψ
S0(z) ≥ 0 or φ
0S(z) ≥ 0 when α
i1− z
i1− 1 ≥ 0, the most violated inequalities of the form (42) or (43) always have 0 ∈ U , so j
|U|= 0 in this case. We noticed before that inequalities (44) and (45) are the same as (42) and (43) respectively when 0 ∈ U.
2. The set of inequalities 0 ≥ ψ
jS(z) and 0 ≥ φ
jS(z) for j : η
j> η
j|U|is
vacuously satisfied when j
|U|= 0, because 1 = η
0≥ η
jfor all j.
The following proposition characterizes the most violated inequality (42)- (45), and it follows from Lemmas 2 and 7 and Proposition 5.
Proposition 9 Given (¯ s, z) ¯ ∈
R×
R|I|, the most violated inequality (42)- (45), is determined by the choice of sets U
1⊆ I
1, S ⊆ I
2, and U
2⊆ S ∪ {0}, where S = {i
1, . . . , i
|S|}, with i
1< · · · < i
|S|and U = U
1∪U
2= {j
1, . . . , j
|U|} with 0 = η
j0≤ η
j1≤ · · · ≤ η
j|U|, satisfying
1. α
i1− z ¯
i1≥ α
i2− z ¯
i2≥ · · · ≥ α
i|S|− z ¯
i|S|;
2. α
it− z ¯
it≥ α
i− z ¯
i, for i : i
t−1< i < i
t, t = 1, . . . , |S|, i
0= k 3. if 1 ≥ α
i1− z ¯
i1:
(a) α
i|S|− z ¯
i|S|≥ 0;
(b) 0 ≥ α
i− z ¯
i, for i : i > i
|S|;
(c) ψ
Sj1(¯ z) ≥ ... ≥ ψ
Sj|U|(¯ z) ≥ ψ
jS1(¯ z) − 1;
(d) ψ
Sju(¯ z) ≥ ψ
jS(¯ z), for j : η
ju−1< η
j< η
ju, u = 1, . . . , |U |;
(e) if ψ
0S(¯ z) ≥ ψ
Sj1(¯ z) − 1, then j
|U|= 0 and the most violated in- equality is of type (42);
if ψ
Sj1(¯ z) − 1 ≥ ψ
0S(¯ z), then 0 ∈ / U , ψ
Sj1(¯ z) − 1 ≥ ψ
jS(¯ z) for j : η
j>
η
j|U|, and the most violated inequality is of type (44).
4. if α
i1− z ¯
i1− 1 ≥ 0:
(a) α
i|S|− z ¯
i|S|≥ α
i1− z ¯
i1− 1;
(b) α
i1− z ¯
i1− 1 ≥ α
i− z ¯
i, for i : i > i
|S|; (c) φ
jS1(¯ z) ≥ ... ≥ φ
jS|U|(¯ z) ≥ φ
jS1(¯ z) − 1;
(d) φ
jSu(¯ z) ≥ φ
jS(¯ z), for j : η
ju−1< η
j< η
ju, u = 1, . . . , |U |;
(e) if φ
0S(¯ z) ≥ φ
jS1(¯ z) − 1, then j
|U|= 0 and the most violated inequal- ity is of type (43);
if φ
jS1(¯ z) − 1 ≥ φ
0S(¯ z), then 0 ∈ / U , φ
jS1(¯ z) − 1 ≥ φ
jS(¯ z) for j : η
j> η
j|U|, and the most violated inequality is of type(45).
Observe that Lemma 7 shows that many of the inequalities in items (c) and
(d) in Proposition 9 are redundant, because they are implied by conditions
1 and 2 and the definitions of ψ
Sj(·) and φ
jS(·).
One of the implications of Proposition 9 is that separating for the most violated two-level mixing inequality amounts to 1) choosing the best set S ⊆ I
2and then 2) choosing the best set U ⊆ I
1∪ S ∪ {0}. The first can be done essentially by sorting values of α
i− z ¯
i, i ∈ I
2; the second can be done essentially by sorting values of ψ
Sj(¯ z) or φ
jS(¯ z) (depending on whether or not α
i1− z ¯
i1≥ 1), j ∈ I
1∪ S ∪ {0}.
Note that we can compute ψ
jS(¯ z), j ∈ S ∪ {0}, by first computing ψ
S0(¯ z) and then applying (51), accordingly to the ordering η
j|U|, · · · , η
j1, η
j0. Thus, we can compute the set of all these values in time O(n). Hence the com- plexity is dominated by two orderings of n coefficients at most.
We have now proved the following.
Proposition 10 Given a point (¯ s, z), the sets defining the most violated ¯ inequality of the forms (42)–(45) can be identified in O(n log n).
This is remarkable, given that separating for the original mixing inequal- ities themselves takes only O(n log n). Note that we need to do more work to actually define the inequality that is defined by the sets referred to in Propo- sition 10: we need to determine the coefficients of each of the variables. This is the subject of the next subsection.
3.2 Computing the Coefficients
Let U
1⊆ I
1, S ⊆ I
2and U
2⊆ S ∪ {0} be given. We can write inequality (42) as
s ≥
X[i]∈U1
(η
[i]− η
[i−1])(κ
[i]− z
[i]) +
Xi∈S
A
i(α
i− z
i), where
A
i=
X[t]∈U2
(η
[t]− η
[t−1])(κ
[t]i− κ
[t]i−1).
Observe that
κ
[t]i− κ
[t]i−1=
κ
i− κ
i−1+ 1 if η
i−1< η
[t]≤ η
iκ
i− κ
i−1− 1 if η
i< η
[t]≤ η
i−1κ
i− κ
i−1otherwise.
Therefore
A
i= (κ
i− κ
i−1)
X[t]∈U2
(η
[t]− η
[t−1]) +
X[t]∈U2
ηi−1<η[t]≤ηi
(η
[t]− η
[t−1]) −
X[t]∈U2
ηi<η[t]≤ηi−1
(η
[t]− η
[t−1])
= (κ
i− κ
i−1)G
[|U|]+ (G
i− G
i−1)
+− (G
i−1− G
i)
+= (κ
i− κ
i−1)G
[|U|]+ (G
i− G
i−1) where G
i=
P[t]∈U2
η[t]≤ηi
(η
[t]− η
[t−1]) and U = U
1∪ U
2. All values G
ican be computed in O(n) time using the recurrence
G
[t]= G
[t−1]+
(
η
[t]− η
[t−1]if [t] ∈ U
20 otherwise.
Then, computing each coefficient A
ican be done in constant time.
The computation of the coefficients of inequalities (43),(44), and (45) can be done in a similar way.
4 The Convex Hull
In this section we show that the convex hull of P
M M IXis described by inequalities (42)–(45). This is done by showing that each face defined by any of those inequalities is integral, that is, all the extreme points in each face have integer coordinates z. We will refer to faces of polyhedra as being
“integral” with this meaning throughout the paper. Then we discuss the possibility of adding other constraints to the system (42)–(45), while keeping integrality. We start with an important Lemma.
Lemma 11 Let P
n= {z ∈
Rn: Az ≤ b} be an integral polyhedron in
Rn. Assume that ψ
1(·), ψ
2(·) are linear functions, that ψ
1(z) ≥ ψ
2(z) is implied by Az ≤ b, and that ψ
j(z) ∈
Zif z ∈
Zn, j = 1, 2. Then the polyhedron P
n+1= {(z, y) ∈
Rn×
R1: Az ≤ b, ψ
1(z) ≥ y ≥ ψ
2(z)} is integral in
Rn+1.
Proof: Consider some extreme point (¯ z, y) of ¯ P
n+1. Note that ψ
1(¯ z) >
¯
y > ψ
2(¯ z) cannot hold, because otherwise we could easily construct two points of which (¯ z, y) is a convex combination. ¯
If ψ
1(¯ z) = ¯ y, then ¯ z must be an extreme point of P
n. Otherwise, we can write ¯ z =
PKk=1
λ
kz
kwith z
k∈ P
n, λ
k≥ 0 for k = 1 · · · K and
PKk=1
λ
k= 1.
Then taking y
k= ψ
1(z
k), k = 1, ..., K would yield (¯ z, y) = ¯
PKk=1