Académique Documents
Professionnel Documents
Culture Documents
We study several joint facility location and inventory management problems with stochastic retailer demand. In particular,
we consider cases with uncapacitated facilities, capacitated facilities, correlated retailer demand, stochastic lead times, and
multicommodities. We show how to formulate these problems as conic quadratic mixed-integer problems. Valid inequalities,
including extended polymatroid and extended cover cuts, are added to strengthen the formulations and improve the com-
putational results. Compared to the existing modeling and solution methods, the new conic integer programming approach
not only provides a more general modeling framework but also leads to fast solution times in general.
Subject classifications: integrated supply chain; risk pooling; conic mixed-integer program; polymatroids; covers.
Area of review: Transportation.
History: Received December 2010; revisions received July 2011, October 2011; accepted November 2011.
The main contributions in this paper can be summarized or when the demand is deterministic. In these cases the
as follows: objective function simplifies to one with a single nonlinear
1. We propose a new approach to modeling and solving (concave) term for each retailer, which underlies the effi-
integrated supply chain problems with stochastic demand. cient solution approach. Shu et al. (2005) and Shen and Qi
The conic integer programming based approach is general, (2007) study more general models in which these assump-
flexible, and efficient. tions on demand are relaxed. As a result, multiple nonlinear
2. We show how to reformulate different types of non- terms appear in the objective functions. Specifically, Shu
linearities arising in joint location-inventory problems as et al. (2005) study a subproblem with two concave terms
conic quadratic integer programs. and Shen and Qi (2007) added a third term to accommo-
3. We address for the first time the joint location- date routing costs. More general problems are studied by
inventory problems with distinct variance-to-mean ratio for Qi and Shen (2007), Shen (2005), Shen and Daskin (2005),
each retailer, correlated retailer demand, stochastic lead and Snyder et al. (2007).
times, and correlated multicommodity demand. Özsen et al. (2008) consider the capacitated version of
4. We strengthen the conic quadratic integer formula- the models in Shen et al. (2003) and Daskin et al. (2002).
tions with cutting planes for their efficient solution. They propose a Lagrangian relaxation based solution algo-
5. We perform computational studies, comparing the rithm to solve the problem, where the Lagrangian subprob-
new approach with earlier ones in the literature that deal lems are nonlinear integer program which include concave
with special cases of our general model, and investigate the and fractional terms. For more detailed review on inte-
impact of correlated demand on the supply chain design. grated location-inventory models, we refer the reader to
The rest of the paper is organized as follows. In §2 Shen (2007).
we review the relevant literature on integrated location and Multicommodity problems have been studied in the loca-
inventory optimization and recent developments in conic tion literature and are of our interest for the present paper.
programming. In §3 we formally define a conic quadratic Geoffrion and Graves (1974) utilize a Bender’s decompo-
mixed-integer program and review the notation and param- sition to solve multicommodity problems with capacitated
eters used in the paper. In §4 we address the basic unca- plants and DCs. Dasci and Verter (2001) consider eco-
pacitated model and give a conic quadratic mixed-integer nomies of scale by introducing concave technology selec-
formulation for it. In §5 we study the capacitated model and tion cost into the objective function of a multicommodity
its respective equivalent conic mixed-integer reformulation. location model. To handle concavity of the objective func-
In these two sections, we also show how to utilize rele- tion, they solve the problem with a series of piecewise linear
vant polymatroid and cover inequalities for strengthening underestimations. In the integrated supply chain design lit-
the conic quadratic formulations. In §6 we generalize the erature, Shen (2005) presents a multicommodity model that
models to incorporate correlated retailer demand, stochastic includes economies of scale cost terms in the objective func-
lead times, and multicommodities. Each model is accompa- tion. The author proposes a Lagrangian relaxation solution
nied by its equivalent conic quadratic formulation. In §7 we algorithm with a low-order polynomial algorithm to solve
present our computational results with the conic quadratic the Lagrangian relaxation subproblems.
MIP approach, provide comparisons with earlier studies, Correlated demand has received much attention in the
and investigate the impact of correlations and stochastic inventory management literature, and it can be studied
lead times. Finally, in §8 we conclude with a few final across time, sites, and products. Johnson and Thompson
remarks. (1975) are among the first to study correlated demand in a
single item and a single location setting. Erkip et al. (1990)
consider a multi-echelon inventory system where demand is
2. Literature Review a first-order autoregressive process and is correlated across
In this section we review the literature on integrated sup- sites and time. These authors solve for the optimal safety
ply chain design models, especially the papers that model stock level and show the impact of demand correlation over
fixed location costs and nonlinear inventory costs. We men- time. Charnes et al. (1995) assume that the sequence of
tion some work related to multicommodity in supply chain demand is a covariance-stationary Gaussian stochastic pro-
design and retailers’ and products’ demand correlation. cess. The literature on supply chain problems with correla-
Recent developments on conic integer programming are tion between different products is scarce. Inderfurth (1991)
also reviewed. studies the effects of correlation between different items
Daskin et al. (2002) and Shen et al. (2003) propose on the optimal safety stock in stochastic multi-stage pro-
the first location-inventory model with nonlinear inventory duction/distribution systems. Fine and Freund (1990) and
costs. They propose Lagrangian relaxation and column gen- Goyal and Netessine (2011) study the correlation between
eration methods for its solution, respectively. Both methods products in the context of product and volume flexibility.
employ the same subproblem, which is solved in O4n log n5 Recently, there has been a number of advances in the the-
for two special cases: when the variance of the demand is ory of conic integer programming. Atamtürk and Narayanan
proportional to the mean (as in the Poisson demand case), (2010) give conic mixed-integer rounding inequalities for
Atamtürk, Berenguer, and Shen: Joint Location-Inventory Problems
368 Operations Research 60(2), pp. 366–381, © 2012 INFORMS
conic quadratic mixed-integer programs and Çezik and gj : fixed cost per shipment from the central plant to DC j,
Iyengar (2005) give convex quadratic cuts for mixed 0-1 h: unit inventory holding cost per year.
conic programs. Atamtürk and Narayanan (2011) propose Weights
lifting methods for conic mixed-integer programming. : weight associated with the transportation costs,
Atamtürk and Narayanan (2009) propose cover-type : weight associated with the inventory costs.
inequalities for submodular knapsack sets and Atamtürk Other parameters
and Narayanan (2008) introduce polymatroid inequalities : days worked per year,
that can help with solving special structured conic quadratic : service level,
programs efficiently. We have utilized these recently intro- z : standard normal deviation associated with service
duced valid inequalities for the efficient solution of our joint level ,
location-inventory models. Lj : lead time in days at DCj.
Decision variables
3. Preliminaries
11 if a distribution center (DC) is located at
A conic quadratic mixed-integer program (CQMIP) is an
xj = retailer site j1
optimization problem of the form
01 otherwise3
min c 0 x1
s.t. Ai x + bi 2 ¶ di0 x + ei 1 i = 11 0 0 0 1 p1
11 if retailer i is assigned to DC located at
yij = retailer site j1
where x ∈ n × m , · 2 is the Euclidean norm and all
parameters are rational. Observe that a linear constraint can 01 otherwise0
be written as a special case of a conic quadratic constraint
by letting Ai = bi = 0. Similarly, a convex quadratic con- 4. Model with Uncapacitated Facilities
straint can be written as a special case by letting di0 = 0. We start with the basic uncapacitated location-inventory
For an introduction to (convex) conic quadratic program- model, which was originally studied by Daskin et al. (2002)
ming we refer the reader to Ben-Tal and Nemirovski (2001) and Shen et al. (2003). Their model assumes the following:
and Alizadeh and Goldfarb (2003). In recent years there • Shipments are direct from DCs to retailers.
have been significant developments on the computation of • Demand at each retailer is independent and Gaussian.
conic quadratic mixed-integer programs. Due to the rise in • Each retailer is supplied from exactly one DC.
demand for solution of CQMIP, commercial optimization
software vendors such as CPLEX and Mosek have added to 4.1. Model 1
their offerings branch-and-bound based solvers for CQMIP.
During the last decade, conic quadratic programs have Under the assumptions listed above, the joint location-
been employed to solve problems in different areas such inventory model is formulated as follows:
as portfolio optimization, scheduling, and energy planning. rX
Indeed, basic uncapacitated facility location problems have fj xj + dˆij yij + Kj
X X
min i yij
been formulated as conic quadratic programs (e.g., Kuo j∈J i∈I i∈I
and Mittelmann 2004). In this paper, we show how to rX
model nonlinear mixed 0-1 optimization models arising in + qj i2 yij 1
complex supply chain design problems as conic quadratic i∈I
5. Model with Capacitated Facilities how to transform (P2) into the following equivalent conic
In this section we consider the generalization of (P1) with quadratic MIP, which leads to an exact solution of the prob-
facility capacities and show how to reformulate it as a conic lem. Consider
quadratic MIP. Özsen et al. (2008) present a generalization 4CQMIP25
of the integrated inventory-location model (P1) by intro-
fj xj + dˆij yij + qj tj + hzj 1
X X
ducing inventory capacity constraints for the DCs. These min
constraints are defined for a 4Q1 r5 inventory control policy j∈J i∈I 2
with type-I service level. Compared with model (P1), their q X
model contains additional nonlinear terms: s.t. Qj + z Lj tj + Lj i yij ¶ Cj xj 1 j ∈ J 1 (9)
i∈I
• Nonlinear (concave) capacity constraints for each DC, X
• Nonlinear (fractional) terms in the objective function. i2 yij2 ¶ tj2 1 ∀j ∈ J1 (10)
As in the uncapacitated counterparts of Daskin et al. i∈I
(2002) and Shen et al. (2003), in order to simplify the prob- zj 2 z2j
X
lem, Özsen et al. (2008) also assume the variance of each Hj i yij2 + Qj − − ¶ 01 j ∈ J1 (11)
i∈I 2 4
retailer’s demand to be proportional to the mean demand.
In particular, i2 = i ∀ i. We do not make this assumption tj 1 zj ¾ 01 j ∈ J1 (12)
here. 415–4351 4851
5.1. Model 2 where Hj = Fˆj /44h5/25.
Let Cj be the maximum inventory capacity of DC j and Constraints (1)–(3), and (8) are still present in the trans-
Qj be the reorder quantity for DC j. Then, the integrated formed problem. Constraints (7) are linearized as (9). An
inventory-location model with capacitated facilities is for- auxiliary variable tj is introduced for each j and defined
mulated as the following nonlinear mixed 0-1 optimization by the constraints (10). Constraints (9) have stronger right
problem: hand sides than constraints 475. We linearize the objective
by using tj and the auxiliary variables for zj for each j.
4P25 Variables zj are defined by the constraints (11) and (12).
P
i yij
i∈I Proposition 1. Problem (P2) is equivalent to (CQMIP2).
dˆij yij + Fˆj
X X
min fj xj +
j∈J i∈I Qj Proof. Variables q tj and constraint (10) are used to sub-
Qj 2
P
stitute the terms i∈I i yij as in (MIPCQ1). The sec-
rX
+qj i2 yij + h 1
i∈I 2 ond
P substitution for the third and fifth inventory terms
q rX X 4 i∈I i yij 5/Qj + Qj follows from the following identities:
s.t. Qj + z Lj i2 yij + Lj i yij ¶ Cj 1 P
i∈I i yi
X
i∈I i∈I +Q¶z ⇔ i yi + Q2 ¶ Qz 4as Q > 05
Q i∈I
j ∈ J1 (7) X
⇔ i yi2 + Q2 ¶ Qz 4as yi = yi2 5
Qj ¾ 01 j ∈ J1 (8) i∈I
415–4351 X
z
2
z2
⇔ i yi2 + Q− ¶ 0
where Fˆj = 4Fj + gj 5. i∈I 2 4
The third term in the objective is the expected fixed cost
of placing an order at DC j and the expected fixed cost per 5.3. Extended Cover Cuts
shipment from the central plant to DC j. The fifth term is To strengthen formulation (CQMIP2) we add cover type
new; it is the average inventory holding cost at DC j. inequalities derived from nonlinear knapsack relaxations of
Constraints (7) define the capacity of each DC to be the formulation. Toward this end, consider the capacity con-
the sum of the order quantity Qj and the reorder point. straints (9). For each j, we relax the left-hand side of the
Note that in defining the DC capacity, we consider the constraint by dropping Qj . Furthermore, we substitute tj
worst-case scenario, i.e., no demand is observed during with the left-hand side of constraint (10) to arrive at the
lead time. The reorder point is the sum of the safety stock, nonlinear 0-1 knapsack constraint
p qP
z Lj 2 y , and the expected demand during lead q rX
P i∈I i ij
X
time, Lj i∈I i yij . z Lj i2 yij + Lj i yij ¶ Cj 0 (13)
i∈I i∈I
5.2. An Equivalent Conic Quadratic MIP Model For simplicity of notation, we drop the subscript j to
define the inequalities. For inequality (13), define the set
The objective of (P2) is neither concave nor convex. Özsen
function f 2 2I → , where
et al. (2008) develop a Lagrangian relaxation based heuris- √ p
tic algorithm to solve this problem. In this section we show f 4S5 = z L 2 4S5 + L4S51
Atamtürk, Berenguer, and Shen: Joint Location-Inventory Problems
Operations Research 60(2), pp. 366–381, © 2012 INFORMS 371
2 4S5 2= i∈S i2 and 4S5 2= i∈S i . Using submodular- 6. Generalized Models
P P
ity of f , Atamtürk and Narayanan (2009) give cover and In this section, we exploit the expressive power of conic
extended cover cuts for the submodular knapsack set, programming to present more general integrated location-
Y = 8y ∈ 801 19I 2 f 4y5 ¶ C9 inventory models than considered to date. In addition
to facility capacities, which have been introduced in the
√ rX
past, we now consider realistic aspects such as correlation
I 2
X
= y ∈ 801 19 2 z L i yi + L i yi ¶ C 0
i∈I i∈I between retailers’ demand, stochastic lead times, and multi-
commodities.
They show that given a subset of indices S ⊆ I and the
conic quadratic 0-1 knapsack set Y , we can find valid cover
inequalities that depend on the cover set. 6.1. Model 3: Correlated Demands
Let the retailer demand be a multinormal random variable
Definition
√ p 3. S ⊆ I is called a cover for Y if
with mean and variance-covariance matrix V . General-
z L 2 4S5 + L4S5 > C.
izing the safety stock term in the previous section, in the
Atamtürk and Narayanan (2009) show that for cover S presence of demandpcorrelation, the safety stock at DC j
p
the corresponding cover inequality can be stated as z Lj h y0j0 Vy0j , where y0j is the assign-
X ment decision vector for the jth DC.
yi ¶ S − 1
The mathematical model for the correlated demand is the
i∈S
same as (P2) except that the variance terms are replaced
is valid for Y . with the more general variance-covariance matrix:
As with polymatroid inequalities, a separation algorithm P
i∈I i yij
generates the cover constraints at the root node of the min
X
fj xj + dˆij yij + Fˆj
X
branch-and-bound tree for each j. Given y ∗ ∈ 601 17I a vio- j∈J i∈I Qj
lated cover inequality can be found by solving the follow-
Qj
ing nonlinear 0-1 separation problem:
p 0
+ qj y0j Vy0j + h 1
2
√ rX
X (14)
= min ȳ 0 z2 z L i2 zi +L i zi > C1 z ∈ 80119I 1
q q X
i∈I i∈I
4P35 s.t. Qj + z Lj y0j0 Vy0j + Lj i yij ¶ Cj xj 1
i∈I
∗
where ȳ = 1 − y . If < 1, then the cover inequality cor- j ∈ J1
responding to optimal z cuts off y ∗ . We employ a heuristic
algorithm based on rounding the convex relaxation of the 415–4351 4850
separation as proposed in Atamtürk and Narayanan (2009).
As in CQMIP2, we formulate (P3) by introducing aux-
For completeness, this algorithm is stated in Appendix C.
iliary variables and linearizing the objective as a conic
Cover inequalities can be strengthened by extending
quadratic mixed 0-1 program:
them with noncover variables. To introduce extended cover
inequalities, we first need to define the difference function
and the notion of extension.
dˆij yij + qj tj + hzj 1
X X
min fj xj +
Definition 4. Given a set function f on I and i ∈ I, the j∈J i∈I 2
difference function is defined as i 4S5 2= f 4S ∪ i5 − f 4S5 p 0 (15)
4CQMIP35 s.t. y0j Vy0j ¶ tj 1 j ∈ J 1
for S ⊆ I\i.
415–4351 4851 4951 41151 41250
Definition 5. Let = 4k415 1 0 0 0 1 k4I−S5 5 be a permuta-
tion of the indices in I\S. Define S` = S ∪ 8k415 1 0 0 0 1 k4`5 9 6.2. Model 4: Stochastic Lead Times
for ` = 11 0 0 0 1 I − S, where S0 = S. The extension of S
corresponding to permutation is In a real-life setting orders at DCs might arrive before or
after the expected receiving time. Hence, in addition to
E 4S5 2= S ∪ U 4S51 where correlated demand, a realistic aspect to be considered is
U 4S5 = k4`5 2 k4`5 4S`−1 5 ¾ i 45 ∀ i ∈ S 0 stochastic lead times. To illustrate this situation, we define
lead time between the central warehouse and each DC j as
Atamtürk and Narayanan (2009) also show that for given a normal distribution with mean Lj and standard deviation
cover S and permutation , the corresponding extended Lj . We assume that successive lead times are independent
cover inequality and orders do not cross (Nahmias 1993).
X Lead time variability and correlated demands affect the
yi ¶ S − 1 amount of safety stock at the DC level. In particular, we
i∈E 4S5
define the safety stock as follows:
is valid for Y . We utilize extended cover inequalities in our q
computations presented in §7. z h Lj D2 j + L2j 2Dj 1
Atamtürk, Berenguer, and Shen: Joint Location-Inventory Problems
372 Operations Research 60(2), pp. 366–381, © 2012 INFORMS
where the variance of the demand at DC j is D2 j = y0j0 Vy0j Fjl : fixed cost of placing an order at DC j for commod-
P
and the average demand at DC j is Dj = i∈I i yij . Thus, ity l,
2Dj = y0j0 My0j where ajl : unit cost of shipment from the central plant to DC j
for commodity l,
21 1 2 000 1 I
gjl : fixed cost per shipment from the central plant to DC j
for commodity l,
22
2 1 000 2 I hl : unit inventory holding cost per unit of commodity l
M =
00 00 00 0
0 per year.
0 0
Other parameters
I 1 I 2 000 2I zl : standard normal deviation associated with service
level of commodity l, l ,
With this notation, the integrated inventory-location Ljl : lead time in days at DC j for commodity l,
model with capacitated facilities, correlated demand, and Ljl : standard deviation of lead time in days at DC j for
stochastic lead times is then formulated as the following commodity l.
problem: Decision variables
P
11 if demand for commodity l of retailer i is
i yij
min
X
fj xj +
X
dˆij yij + Fˆj
i∈I
yijl = assigned to DC at retailer site j1
j∈J i∈I Qj
Qj 01 otherwise0
q
+q̃j y0j0 4Lj V + L2j M5y0j + h 1
2 Qjl : reorder quantity for DC j of commodity l.
q (16) Under the notation defined above, the multicommodity
4P45 s.t. Qj + z y0j0 4Lj V + L2j M5y0j joint location-inventory model with capacitated facilities,
X
+ Lj i yij ¶ Cj xj 1 j ∈ J 1 stochastic lead times, and correlated retailers’ demand is
i∈I formulated as follows:
415–4351 4851 4P55
P
i∈I il yijl
where q̃j = z h. min
X
f j xj +
X X
ˆ ˆ
dijl yijl + Fjl
The equivalent conic quadratic MIP (CQMIP4) is derived j∈J l∈L i∈I Qjl
by employing the same substitution technique used for
Qjl
q
(CQMIP2): 0 2
+ q̃jl y0jl 4Ljl Vl + Ljl Ml 5y0jl + hl 1
2
X X
ˆ q
min fj xj + dij yij + q̃j tj + hzj 1
X 0
2 s.t. Qjl + zl hl y0jl 4Ljl Vl + L2jl Ml 5y0jl
j∈J i∈I l∈L
X
4CQMIP45 s.t. Qj + z tj + Lj i yij ¶ Cj xj 1 X
i∈I + Ljl il yijl ¶ Cj xj 1 j ∈ J1 (19)
i∈I
j ∈ J 1 (17) X
q yijl = 11 i ∈ I1 l ∈ L1 (20)
y0j0 4Lj V + L2j M5y0j ¶ tj 1 j ∈ J 1 (18) j∈J
Consequently, we have the following the conic quadratic is a block vector for the jth DC,
reformulation of (P5):
U11 0 0 0 U1L
4CQMIP55 00 00
U = 0
0
ˆ
X X X
min fj xj + dijl yijl + q̃jl tjl + hl zjl 1 UL1 000 ULL
j∈J l∈L i∈I 2
X
X
is an L × L block matrix with I × I matrices
s.t. Qjl + tjl + Ljl il yijl ¶ Cj xj 1 j ∈ J 1 (23)
l∈L i∈I 1l1 1l2 12 1l1 2l2 0 0 0 1I 1l1 Il2
q
0 21 2l 1l 2l1 2l2 0 0 0 000
y0jl 4Ljl Vl + L2jl Ml 5y0jl ¶ tjl 1 j ∈ J 1 l ∈ L1 (24)
Ul1 l2 = l1 l2
00
1 2
00 00
1
0 0 0
zjl 2 z2jl
X 2
Hjl i yijl + Qjl − − ¶ 01 I1 Il1 1l2 000 0 0 0 Il1 Il2
i∈I 2 4
and
j ∈ J 1 l ∈ L1 (25)
W11 000 W1L
tjl 1 zjl ¾ 01 j ∈ J 1 l ∈ L1 (26) 00 00
W = 0 0
4205–42251
WL1 000 WLL
where Hjl = Fˆjl /44hl 5/25.
is an L × L block matrix with I × I matrices
6.4. Model 6: Multiple Commodities
with Correlated Demand 1l1 1l2 1l1 2l2 0 0 0 1l1 Il2
In this last model, we consider the correlation among 2l 1l 2l 2l 000 000
Wl1 l2 = 1
00
2 1
00
2
00
0
the demand of different commodities. Under this situa-
tion and for the simplicity of notation, we assume that
0 0 0
the correlation coefficients related to commodities’ demand Il1 1l2 000 0 0 0 Il1 Il2
are retailer-independent, and they are defined as l1 l2 Model 6 is the most general model we consider in this
∀ l1 1 l2 ∈ L. Similarly, the correlation coefficients of retail- paper, and due to the flexibility of conic quadratic MIP
ers’ demand are commodity-independent and defined as approach, we arrive at the following formulation using the
i1 i2 ∀ i1 1 i2 ∈ I. Furthermore, we assume that the service same transformations employed in special cases presented
level, inventory cost, and lead time parameters are the same earlier:
regardless of commodity type (i.e., zl = z , hl = h, Ljl =
Lj , and L2jl = L2j ∀ l ∈ L). 4CQMIP65
Under the notation defined above, the multicommodity
X X X
ˆ
joint location-inventory model with capacitated facilities, min f j xj + dijl yijl + hzjl + q̃j tj 1
stochastic lead times, and correlated retailer and commod- j∈J l∈L i∈I 2
ity demand is formulated as follows: X
X
s.t. Qjl + Lj il yijl + tj ¶ Cj xj 1 j ∈ J 1 (28)
P
i∈I il yijl
dˆijl yijl + Fˆjl
X X X
min fj xj + l∈L i∈I
j∈J l∈L i∈I Qjl q
0
y0j0 4Lj U +L2j W 5y0j0 ¶ tj 1 j ∈J1 (29)
Qjl
q
0 2
+ h + q̃j y0j0 4Lj U + Lj W 5y0j0 1
2 zjl 2 z2jl
X 2
H̃jl i yijl + Qjl − − ¶ 01
X X i∈I 2 4
4P65 s.t. Qjl + Ljl il yijl + z
l∈L i∈I j ∈ J 1 l ∈ L1 (30)
q
0
· y0j0 4Lj U + L2j W 5y0j0 ¶ Cj xj 1 j ∈ J 1 (27) tj 1 zjl ¾ 01 j ∈ J 1 l ∈ L1 (31)
4205–42251 4205–42251
where where H̃jl = Fˆjl /44h5/25.
y0j1
–
6.5. Polymatroid Cuts
y0j0 =
00 The cuts proposed in §§4 and 5 are also pertinent to the
0
generalized models presented in this section. It is reason-
–
able to assume that retailers’ demand are positively corre-
y0jL lated as they are typically affected in the same direction
Atamtürk, Berenguer, and Shen: Joint Location-Inventory Problems
374 Operations Research 60(2), pp. 366–381, © 2012 INFORMS
by economic factors. Then we may employ polymatroid cuts (Tables 4 and 5) and for those showing scalability
inequalities by reformulating the models using new binary for our most general model (Table 7), in which we report
variables for the products of binary variables. In particular, the averages for 10 randomly generated instances per row.
for model 3 we can replace the products yi1 j yi2 j with wi1 i2 j Each random instance is generated by adding noise to the
by introducing constraints demand multiplying mean and standard deviation defined
in the data files by 41 +
i 5 ∀ i, where
i is drawn from
wi1 i2 l ¶ yi1 j 1 wi1 i2 l ¶ yi2 j 1 yi1 j + yi2 j ¶ 1 + wi1 i2 j 1 Uniform 6−0011 0017. We also draw fixed cost from Uni-
i1 1 i2 ∈ I1 j ∈ J 0 (32) form 64010001 5010007. See Table D.1 in Appendix D for a
summary of the parameter values used in all experiments.
These constraints ensure that wi1 i2 j = 1 if and only if yi1 j = All computations are done on a 2.393-GHz Linux x86 com-
yi2 j = 1. Noting that wi1 i2 j is equivalent to wi21 i2 j , the safety puter using CPLEX 11.0.
stock at location j can now be written as
q s
X 7.1. Numerical Experiments on
z Lj h Vi1 i2 wi21 i2 j 0 the Uncapacitated Case
4i1 i2 5∈I×I
To study the impact of inventory and transportation costs
on the first model, we vary the values of and , which
Thus we replace (15) with (32) and
are the weights of the transportation and inventory costs,
s
X respectively. We report computational results for different
Vi1 i2 wi21 i2 j ¶ tj 1 j ∈ J 0 (33) choices of 41 5. Observing that when is larger than ,
4i1 i2 5∈I×I
solution method require more time to arrive at optimality,
we focus our attention on these cases. Higher values of
As constraints (33) define the following extended
assign more weight on the nonlinear terms of the objective
polymatroid
terms.
X
s
X
For the experiments reported in Table 1, we use the
EPg = ∈ I×I 2 i1 i2 ¶ Vi1 i2 1 ∀ S ⊆ I ×I 1 88- and 150-node data sets. For each run (row), we report
4i1 i2 5∈S 4i1 i2 5∈S
the number of nodes (retailers), the transportation and inven-
tory weights, the number of columns generated by the algo-
we can now generate polymatroid cuts from EPg in the
rithm of Shen et al. (2003), and the corresponding CPU
same manner as in §4.3. Benefits of these cuts for model 3
time, as well as the number of polymatroid cuts and CPU
are illustrated in §7.
time of the conic integer programming approach.
So that we can directly compare the results, we ran the
7. Computational Results column generation method of Shen et al. (2003) and the
In this section we present our computational results on conic integer model (CQMIP1) on the same computer using
solving the corresponding conic quadratic MIP formula- the same version of CPLEX. No branching was necessary
tions of the joint location-inventory problems discussed in for either approach for this data set. Indeed, as the poly-
the previous sections. We compare our results with the ear- matriod cuts define the convex hull of the nonlinear sub-
lier approaches based on Lagrangian relaxation and column problem of Shen et al. (2003), both approaches give to the
generation methods for the special cases. We also study same relaxation values. We observe in this table that the
the impact of facility capacities, stochastic lead times, and conic method clearly outperforms the column generation
demand correlations on the solutions. method for both the 88-node and 150-node data sets. The
The numerical experiments in this paper use data from the aggregate times showed in Table 2 allow us to state that the
1990 U.S. Census described in Daskin (1995). We employ proposed conic integer programming approach is fast and
four different data sets: a 15-node, 25-node, 88-node, and robust.
150-node data set. The 15-node data set reports the node This experiment also provides managerial insight. When
demand (population) of the 15 most populous U.S. states. the inventory cost is relatively larger than the transporta-
The 25-node data set reports the node demand of the tion cost, fewer DCs are opened in an optimal solution
25 largest cities in the United States. The 88-node data set (observe DCs column in Table 1). Thus, under our model,
reports the demand of each of the lower 48 U.S. state cap- a risk pooling strategy is favored when inventory costs are
itals plus Washington DC and the 50 largest U.S. cities proportionally larger.
(eliminating duplicates). The 150-node data set reports the
demand of the 150 most populous U.S. cities. All data sets
can be downloaded from the site http://sitemaker.umich.edu/ 7.2. Numerical Experiments on
msdaskin/software]SITATION_Software. the Capacitated Case
We use these data files in all our experiments except In Table 3, we report the results obtained by running conic
for those showing the computational benefits of adding integer program (CQMIP2) along with the results presented
Atamtürk, Berenguer, and Shen: Joint Location-Inventory Problems
Operations Research 60(2), pp. 366–381, © 2012 INFORMS 375
in Özsen et al. (2008). We caution the reader that this created additional problem instances by progressively tight-
table is descriptive, and we do not aim to directly com- ening the DC capacity until reaching 16.287% (below this
pare the running time of the two approaches. The com- percentage the problem becomes infeasible). In Table 4
putations in Özsen et al. (2008) were done on a 107-GHz we report the CPU time in seconds and the number of
computer, while we used a 20393-GHz computer. In addi- nodes explored with and without adding cover and extended
tion, we employ CPLEX software, whereas computations cover inequalities. We observe that problems generally
in Özsen et al. (2008) are based on their own code written become more difficult to solve as the capacity becomes
in C++. tighter and that adding cover and extended cover inequal-
We report the run number, the number of retailers, the ities reduces the solution times and the number of nodes
objective value, the number of nodes explored, and the CPU significantly.
time for both approaches. Focusing on the results obtained
by the conic integer programming approach, we observe 7.3. Numerical Experiments on Correlated
that all our runs reach optimality fast. Some instances, such Retailer Demand Case
as with 150 retailers, do not even require any branching. Here we investigate the impact of correlated retailer
Hence, we can state that our approach performs well in this demand on the joint location-inventory problem. First, to
experiment. get an insight, we illustrate the effect of retailer demand
We have noticed that the facility capacities in the data set correlations on a small example from the 25-node set data
from Özsen et al. (2008) were often loose. To see the sensi- using the parameter values listed in Table D.1. The dark
tivity of our approach to the tightness of facility capacities, links on Figure 1 show the retailer assignments in the opti-
we performed an additional experiment. Toward this end, mal solution when there are no correlations. In this case
we first created a problem instance where the capacity for four DCs are opened in New York, Los Angeles, Chicago,
each potential DC, C, was set to 19% of the total daily and Houston, and the expected total cost is 100,910. To
P
average demand, i.e., 4C/ i∈I i 5 × 100 = 19%. Then we see how correlations change the solution, we add correla-
tion to the demand of the retailers served by Chicago and
Table 2. Summary statistic. New York. Namely, we set the correlation between retailers
Chicago, Detroit, Milwaukee, Indianapolis, and Columbus
Aggregate time, Aggregate time,
Data set Shen et al. (2003) set covering Conic formulation to 80% and similarly set the correlation between retail-
ers New York, Philadelphia, Baltimore, and Washington to
88-node 364 60 80%. This naturally increases the safety stock levels that
150-node 959 360
need to be kept in Chicago and New York and the cost
Atamtürk, Berenguer, and Shen: Joint Location-Inventory Problems
376 Operations Research 60(2), pp. 366–381, © 2012 INFORMS
of doing so. We see that in this case, the current solution uncorrelated retailers that were served from New York and
is no longer optimal. Indeed, it is infeasible because the Houston are assigned to Indianapolis. Thus, as expected,
maximum capacity at the New York DC is smaller than the optimal solution pools more of the uncorrelated demand
the required inventory levels at this DC when account- into the same DC and reduces pooling of correlated demand
ing for correlated demands. The optimal solution (in light to keep the inventory levels and subsequent costs low. The
color) replaces the DC in Chicago with Indianapolis, and expected total cost is 108,948.
Figure 1. The effect of correlated retailer demand on at the root node of the search tree (rgap), and the num-
the supply chain. ber of branch-and-bound nodes explored. We observe that
computational difficulty increases with higher correlation.
However, the cuts are beneficial in reducing the computa-
tional burden.
49,300 17
Optimal number of DCs
Table 6. Impact of lead time variability. rows, and more than 6 million binary variables) to solve.
Our computer runs out of 8 GB memory during model gen-
Lj Cost DCs Opened DCs Closed DCs
eration with IBM ILOG Concert Technology. This suggests
0 1011868 4 New York, Los Angeles, — that for solutions of very large-scale models, column and/or
Chicago, Houston row generation methods would be needed.
0.1 1251231 4 Philadelphia, Indiana New York, Finally, we show an example of the impact of product
Chicago correlation on the 25-node supply chain with two products.
0.2 1341529 5 New York, San Diego, Philadelphia,
Baltimore Los Angeles To isolate the correlation effect, we assume that lead time
0.3 1411152 5 — — is fixed, retailer demand is uncorrelated, and all DCs are
0.4 1471305 5 Philadelphia, New York, uncapacitated. The latter assumption causes both products
San Antonio Houston to share the same DCs and assignments between DC and
0.5 1521090 6 Houston, San Francisco San Antonio retailer. This way we are able to exclusively focus on the
lead time of one at each DC (i.e. block matrices U and Figure 4. Number of DCs as a function of retailers’
W are diagonal). Experiment 2 assumes nonzeros in all the demand correlation and lead time variability.
elements of our block matrices. In particular, there is a cor-
relation of 0.1 between different retailers, 0.1 between dif-
Optimal number of DCs
19
ferent products, and a 0.1 standard deviation of all DCs’
18
lead times. In each run we take the average of 10 random
instances based on some randomly generated parameters 17
Figure 3. Cost as a function of retailers’ demand cor- Figure 5. The effect of correlated product demand on
relation and lead time variability. the supply chain.
Objective values (costs)
70,000
60,000
50,000
40,000 0
0.2
0.4
Correlation 0.6
(retailers’ demand) 0.5
0.8 0.4
70,000–77,000 0.3
60,000–70,000 0.2 Lead time
50,000–60,000 1.0 0.1 standard
0
40,000–50,000
Atamtürk, Berenguer, and Shen: Joint Location-Inventory Problems
Operations Research 60(2), pp. 366–381, © 2012 INFORMS 379
impact of product correlation. The links and circled cities in assumptions and consider other novel generalized aspects
dark color on Figure 5 show the optimal supply chain design and still are able to solve the problems efficiently.
when demand of both products is uncorrelated. In this case, We solve each of the models by recasting them as equiv-
there are nine opened DCs, and the expected total cost is alent conic quadratic mixed-integer programs, which can
148,521. Next, we assume that the products have 80% corre- be solved to optimality using commercial software pack-
lation. As in the retailer demand correlation case, if we keep ages. This reduces the burden of developing special purpose
the same assignments as in the uncorrelated case, the safety algorithms for each special case. However, in cases where
stock levels increase, causing this design to be no longer optimality cannot be easily reached, we may employ valid
optimal. If we keep the same design as in the uncorrelated cuts to improve the computational performance.
case, total costs would reach 159,062, which represents a We also make some general recommendations about how
0.35% increase compared with the new optimal expected best to respond to changes in the model structure. If all
total cost of 158,503. DCs in Detroit, Seattle, and San Jose demands are uncorrelated, we show that a risk pooling
are no longer considered for the new optimal design (in strategy deals effectively with increasing inventory costs.
light color). Retailers assigned to Detroit are reassigned to Another situation has been observed when dealing with
Chicago and a new DC in San Francisco supplies San Jose uncapacitated DCs and incremental positive correlated
and Seattle. demands. A diversified location strategy is appropriate when
Note that in this experiment, positive correlation between safety stock costs become more relevant than other costs
different commodities may cause the pooling effect (DCs such as fixed location costs. Yet, a pooling strategy can be
go from nine to seven) as opposed to the diversified effect optimal if fixed costs are relatively higher.
that resulted in Figures 2 and 4 when retailers’ demand cor- The conic integer programming approach introduced in
relation increased. From these two results we can conclude this paper is versatile and can be applied to other non-
that the decision to build more or fewer DCs compared to linear supply chain models as well. In particular, our
the uncorrelated base case depends on the specific trade- approach could be extended to study pure inventory man-
off between fixed location and safety stock costs (DCs are agement models or integrated production and transportation
uncapacitated). If location fixed costs are more relevant, a
planning models, to name a few. Finally, other integrated
pooling strategy will be considered, and a diversified strat-
location-inventory models with vehicle routing, service, or
egy when the contrary occurs.
unreliable supply would benefit from the conic integer pro-
gramming approach as well.
8. Conclusions
In this paper we describe a conic integer programming Appendix
approach to stochastic facility location and inventory man-
A. Derivation of Expected Working Inventory
agement models with risk pooling. This new approach
not only reasonably leads to similar or better computa- Following Shen et al. (2003), we describe how the expected work-
tional solution times than previous column generation and ing inventory cost at DC j in (P1) is derived. For simplicity, we
Lagrangian based methods, but more importantly allows one drop the subscript j from the formulation. The working inventory
cost includes the total fixed cost of placing n orders per year F n,
to model more general problems than considered up to now.
the shipment cost per year v4D/n5n, and the average working
The solution algorithms developed in Shen et al. (2003),
inventory cost 4hD5/42n5.
Daskin et al. (2002), and Ozsen et al. (2008) assume that There are n orders per year, and the annual expected demand
the mean and variance of demand are uniform across retail- P
is D = i∈I i yij . Consider the expression F n + v4D/n5n +
ers. Shu et al. (2005) and Shen and Qi (2007) offer more 44hD5/42n55. We take the derivative of this expression with
flexible methods and allow the proportion of retailer mean respect to n and assume that v4 · 5 is linear (v4x5 = ax + g). We
and variance to be nonuniform. However, these latter refer- obtain F + g + a4D/n5 − a4D/n5 − p 44hD5/42n2 55 = F +
ences solve the uncapacitated facility problem with uncor- 2
g − 44hD5/42n 55 = 0. Solve for n, n = hD/24Fp + g5, and
related demands. In this paper, we remove these restrictive substitute n into the above equation to get 2hD4F + g5 +
Atamtürk, Berenguer, and Shen: Joint Location-Inventory Problems
380 Operations Research 60(2), pp. 366–381, © 2012 INFORMS
p pP P
aD = 2h4F + g5 i∈I i yij + a i∈I i yij . This expres- Table D.1. Continued
sion is part of the objective function in (P1).
Table 3 (151 881 150 nodes)
fj From Daskin (1995) divided by
B. Algorithm to Find Polymatroid Cuts 100, if 15 or 88 nodes 100,000,
if 150 nodes
The following is the implementation of Edmond’s greedy algo- i , i2 Description in Özsen et al.
rithm (Edmonds 1970) for our separation problem. For each j ∈ (2008), i
J , do: 41 5 (00000011 00001)
1. Given yj∗ ∈ 601 17I and tj∗ , sort yij∗ in nonincreasing order
Table 4 (88 nodes)
∗ ∗
fj Uniform [4010001 501000]
y415j ¾ y425j ¾ ··· 0 i , i2 Description in Özsen et al. (2008)
41 +
i 5, j 41 +
i 5
qP2. For i = q 11 0 0 0 1 I, let Si = 84151 4251 0 0 0 1 4i59 and 4i5 = 41 5 (0000041 10)
2 P 2
k∈Si 4k5 − k∈Si−1 4k5 . Figure 1 (25 nodes)
∗ ∗
3. If j = yj > tj , we add the extended polymatroid cut fj 10,000
yj ¶ tj to the formulation. i , i Demand 1 from Daskin (1995),
demand 2 from Daskin (1995)
41 51 Cj (00000011 00001), 17,000,000
C. Heuristic to Find Cover Cuts Figures 2, 3, 4 (25 nodes)
The following is the implementation of Atamtürk and Narayanan’s fj 1,000
cover inequality separation algorithm (Atamtürk and Narayanan i , i Demand 1 from Daskin (1995),
2009) for our problem. Let ȳij = 1 − yij∗ for i ∈ I1 j ∈ J . For each demand 2 from Daskin (1995)
j ∈ J and for each distinct pair i1 and i2 in I do: 41 51 Cj (00000011 00001), 200,000,000
1. Solve the following system of equations on variables Table 5 (25 nodes)
and : fj Uniform [4010001 501000]
i , i Demand 1 from Daskin (1995)
ȳi1 j = Lj i1 + z2 Lj i21 1 41 +
i 5, demand 2 from Daskin
(1995) 41 +
i 5
ȳi2 j = Lj i2 + z2 Lj i22 0 41 51 Cj (00000011 000001), 17,500,000
Table 6 (25 nodes)
2. If 41 5 ¾ 0, then sort each i in nondecreasing order of fj 10,000
ȳij /4Lj i1 + z2 Lj i2 5; that is, i ,i Demand 1 from Daskin (1995),
demand 2 from Daskin (1995)
ȳ415j ȳ425j 41 51 Cj (00000011 00001), 17,000,000
2
¶ 2
¶ ··· 0
Lj 415 + z2 Lj 415 Lj 425 + z2 Lj 425 Table 7 (25 nodes)
fj Uniform [4010001 501000]
3. Assign z4i5 = 1 following the established order until il , il Demand 1 from Daskin (1995)
p qP 2 P 41 +
il 5, demand 2 from Daskin
z Lj i∈I i zij + Lj i∈I i zij > Cj .
P (1995) 41 +
il 5
4. If = ȳz < 1, then we add the cover cut i∈S xi ¶ S − 1 41 51 Cj (000011 00001), 2,000,000,000
to the formulation, where S is the ground set for z.
Figure 5 (25 nodes)
fj 6,000
D. Parameter Values i1 1 i12 Demand 1 from Daskin (1995)
divided by 100, i1
Table D.1. Parameters used in all experiments. i2 1 i22 Demand 2 from Daskin (1995)
divided by 100, i2
Parameter Value 41 51 Cj (000011 001), 2,000,000,000
Used in all experiments
dij Great circle distance Acknowledgments
Fj , gj 10
aj 5 The authors thank Lian Qi and Leyla Özsen for sharing their
h, , Lj 1 computer programs with the authors. They are also grateful to the
0.975 anonymous referees and the associate editor for their insightful
z 1.96 comments. This research was partially supported by the National
Table 1 (881 150 nodes) Science Foundation [Grant CMMI 1068862].
fj From Daskin (1995) divided by
100, if 88 nodes 100, if 150
nodes References
i , i2 Demand 1 from Daskin (1995)
Alizadeh, F., D. Goldfarb. 2003. Second-order cone programming. Math.
divided by 1,000, i
Programming 95(1) 3–51.
Atamtürk, Berenguer, and Shen: Joint Location-Inventory Problems
Operations Research 60(2), pp. 366–381, © 2012 INFORMS 381
Atamtürk, A., V. Narayanan. 2008. Polymatroids and mean-risk minimiza- Goyal, M., S. Netessine. 2011. Volume flexibility, product flexibility or
tion in discrete optimization. Oper. Res. Lett. 36(5) 618–622. both: The role of demand correlation and product substitution. Man-
Atamtürk, A., V. Narayanan. 2009. The submodular knapsack polytope. ufacturing Service Oper. Management 13(2) 180–193.
Discrete Optim. 6(4) 333–344. Inderfurth, K. 1991. Safety stock optimization in multi-stage inventory
Atamtürk, A., V. Narayanan. 2010. Conic mixed-integer rounding cuts. systems. Internat. J. Production Econom. 24(1–2) 103–113.
Math. Programming 122(1) 1–20. Johnson, G. D., H. E. Thompson. 1975. Optimality of myopic inventory
Atamtürk, A., V. Narayanan. 2011. Lifting for conic mixed-integer pro- policies for certain dependent demand processes. Management Sci.
gramming. Math. Programming 126(2) 351–363. 21(11) 1303–1307.
Ben-Tal, A., A. S. Nemirovski. 2001. Lectures on Modern Convex Opti- Kuo, Y. J., H. D. Mittelmann. 2004. Interior point methods for second-
mization: Analysis, Algorithms, and Engineering Applications, Vol. 2. order cone programming and OR applications. Comput. Optim. Appl.
Society for Industrial and Applied Mathematics, Philadelphia, PA. 28(3) 255–285.
Çezik, M. T., G. Iyengar. 2005. Cuts for mixed 0-1 conic programming. Nahmias, S. 1993. Production and Operations Analysis. Irwin Professional
Math. Programming 104(1) 179–202. Publishing, Homewood, IL.
Charnes, J. M., H. Marmorstein, W. Zinn. 1995. Safety stock determina- Özsen, L., C. R. Coullard, M. S. Daskin. 2008. Capacitated ware-
tion with serially correlated demand in a periodic-review inventory house location model with risk pooling. Naval Res. Logist. 55(4)
system. J. Oper. Res. Soc. 46(8) 1006–1013. 295–312.
Dasci, A., V. Verter. 2001. The plant location and technology acquisition Shen, Z. J. M. 2005. A multi-commodity supply chain design problem.
problem. IIE Trans. 33(11) 963–974. IIE Trans. 37(8) 753–762.
Daskin, M. S. 1995. Network and Discrete Location: Models, Algorithms Shen, Z. J. M. 2007. Integrated stochastic supply chain design models.
and Applications. Wiley, New York. Comput. Sci. Engrg. 9(2) 50–59.
Daskin, M. S., C. R. Coullard, Z. J. M. Shen. 2002. An inventory-location Shen, Z. J. M., M. S. Daskin. 2005. Trade-offs between customer service
model: Formulation, solution algorithm and computational results. and cost in integrated supply chain design. Manufacturing Service
Ann. Oper. Res. 110(1) 83–106. Oper. Management 7(3) 188–207.
Edmonds, J. 1970. Submodular functions, matroids, and certain polyhedra. Shen, Z. J. M., L. Qi. 2007. Incorporating inventory and routing costs in
Combin. Structures and Their Appl. 11 69–87. strategic location models. Eur. J. Oper. Res.179(2) 372–389.
Erkip, N., W. H. Hausman, S. Nahmias. 1990. Optimal centralized Shen, Z. J. M., C. Coullard, M. S. Daskin. 2003. A joint location-inventory
ordering policies in multi-echelon inventory systems with correlated model. Transportation Sci. 37(1) 40–55.
demands. Management Sci. 36(3) 381–392. Shu, J., C. P. Teo, Z. J. M. Shen. 2005. Stochastic transportation-inventory
Fine, C. H., R. M. Freund. 1990. Optimal investment in product-flexible network design problem. Oper. Res. 53(1) 48–60.
manufacturing capacity. Management Sci. 36(4) 449–466. Snyder, L. V., M. S. Daskin, C. P. Teo. 2007. The stochastic location
Geoffrion, A. M., G. W. Graves. 1974. Multicommodity distribution model with risk pooling. Eur. J. Oper. Res. 179(3) 1221–1238.
system design by Benders decomposition. Management Sci. 20(5) Qi, L., Z. J. M. Shen. 2007. A supply chain design model with unreliable
822–844. supply. Naval Res. Logist. 54(8) 829–844.