stochastic optimization two-stage problemscermics.enpc.fr/~delara/teaching/twostagesp.pdf1 two-stage...

34
Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method Stochastic Optimization Two-stage problems V. Lecl` ere October 5 2017 Vincent Lecl` ere OS - 2 5/10/2017 1 / 21

Upload: others

Post on 13-Jul-2020

5 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

Stochastic OptimizationTwo-stage problems

V. Leclere

October 5 2017

Vincent Leclere OS - 2 5/10/2017 1 / 21

Page 2: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

Presentation Outline

1 Two-stage Stochastic Programming

2 Some information frameworks

3 L-Shaped decomposition method

Vincent Leclere OS - 2 5/10/2017 1 / 21

Page 3: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

Presentation Outline

1 Two-stage Stochastic Programming

2 Some information frameworks

3 L-Shaped decomposition method

Vincent Leclere OS - 2 5/10/2017 1 / 21

Page 4: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

One-Stage ProblemAssume that ξ has a discrete distribution 1 , withP(ξ = ξs) = ps > 0 for s ∈ J1, SK. Then, the one-stage problem

minu0

E[L(u0, ξ)

]s.t. g(u0, ξ) ≤ 0, P− a.s

can be written

minu0

S∑s=1

psL(u0, ξs)

s.t g(u0, ξs) ≤ 0, ∀s ∈ J1, SK.

1If the distribution is continuous we can sample and work on the sampleddistribution, this is called the Sample Average Approximation approach withlots of guarantee and results

Vincent Leclere OS - 2 5/10/2017 2 / 21

Page 5: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

Newsvendor problem (continued)

We assume that the demand can take value {d s}i∈J1,nK withprobabilities {ps}i∈J1,nK.

In this case the stochastic newsvendor problem reads

minu

S∑s=1

ps(cu − p min(u, d s)

)s.t. u ≥ 0

Vincent Leclere OS - 2 5/10/2017 3 / 21

Page 6: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

Newsvendor problem (continued)

We assume that the demand can take value {d s}i∈J1,nK withprobabilities {ps}i∈J1,nK.In this case the stochastic newsvendor problem reads

minu

S∑s=1

ps(cu − p min(u, d s)

)s.t. u ≥ 0

Vincent Leclere OS - 2 5/10/2017 3 / 21

Page 7: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

Recourse VariableIn most problem we can make a correction u1 once the uncertaintyis known:

u0 ξ1 u1.

As the recourse control u1 is a function of ξ it is a randomvariable. The two-stage optimization problem then reads

minu0,u1

E[L(u0, ξ,u1)

]s.t. g(u0, ξ,u1) ≤ 0, P− a.s

σ(u1) ⊂ σ(ξ)

u0 is called a first stage controlu1 is called a second stage control. It is a random variable.

Vincent Leclere OS - 2 5/10/2017 4 / 21

Page 8: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

Recourse VariableIn most problem we can make a correction u1 once the uncertaintyis known:

u0 ξ1 u1.

As the recourse control u1 is a function of ξ it is a randomvariable. The two-stage optimization problem then reads

minu0,u1

E[L(u0, ξ,u1)

]s.t. g(u0, ξ,u1) ≤ 0, P− a.s

σ(u1) ⊂ σ(ξ)

u0 is called a first stage controlu1 is called a second stage control. It is a random variable.

Vincent Leclere OS - 2 5/10/2017 4 / 21

Page 9: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

Two-stage Problem

The extensive formulation of

minu0,u1

E[L(u0, ξ,u1)

]s.t. g(u0, ξ,u1) ≤ 0, P− a.s

is

minu0,{us

1}s∈J1,SK

n∑s=1

psL(u0, ξs , us

1)

s.t g(u0, ξs , us

1) ≤ 0, ∀s ∈ J1,SK.

It is a deterministic problem that can be solved with standard toolsor specific methods.

Vincent Leclere OS - 2 5/10/2017 5 / 21

Page 10: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

Two-stage newsvendor problem IWe can represent the newsvendor problem in a 2-stage framework.

Let u0 be the number of newspaper bought in the morning.

first stage control

let u1 be the number of newspaper sold during the day.

second stage controlThe problem reads

minu0,u1

E[cu0 − pu1

]s.t. u0 ≥ 0

u1 ≤ u0 P− asu1 ≤ d P− asσ(u1) ⊂ σ(d)

Vincent Leclere OS - 2 5/10/2017 6 / 21

Page 11: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

Two-stage newsvendor problem IWe can represent the newsvendor problem in a 2-stage framework.

Let u0 be the number of newspaper bought in the morning. first stage controllet u1 be the number of newspaper sold during the day. second stage control

The problem reads

minu0,u1

E[cu0 − pu1

]s.t. u0 ≥ 0

u1 ≤ u0 P− asu1 ≤ d P− asσ(u1) ⊂ σ(d)

Vincent Leclere OS - 2 5/10/2017 6 / 21

Page 12: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

Two-stage newsvendor problem IWe can represent the newsvendor problem in a 2-stage framework.

Let u0 be the number of newspaper bought in the morning. first stage controllet u1 be the number of newspaper sold during the day. second stage control

The problem reads

minu0,u1

E[cu0 − pu1

]s.t. u0 ≥ 0

u1 ≤ u0 P− asu1 ≤ d P− asσ(u1) ⊂ σ(d)

Vincent Leclere OS - 2 5/10/2017 6 / 21

Page 13: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

Two-stage newsvendor problem II

In extensive formulation the problem reads

minu0,{us

1}s∈J1,SK

S∑s=1

ps(cu0 − pus1)

s.t. u0 ≥ 0us

1 ≤ u0 ∀s ∈ J1,SKus

1 ≤ d s ∀s ∈ J1,SK

Note that there are as many second-stage control us1 as there are

possible realization of the demand d , but only one first-stagecontrol u0.

Vincent Leclere OS - 2 5/10/2017 7 / 21

Page 14: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

Two-stage newsvendor problem II

In extensive formulation the problem reads

minu0,{us

1}s∈J1,SK

S∑s=1

ps(cu0 − pus1)

s.t. u0 ≥ 0us

1 ≤ u0 ∀s ∈ J1,SKus

1 ≤ d s ∀s ∈ J1,SK

Note that there are as many second-stage control us1 as there are

possible realization of the demand d , but only one first-stagecontrol u0.

Vincent Leclere OS - 2 5/10/2017 7 / 21

Page 15: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

Recourse assumptions

We say that we are in a complete recourse framework, if for allu0, and all possible outcome ξ, every control u1 is admissible.We say that we are in a relatively complete recourseframework, if for all u0, and all possible outcome ξ, thereexists a control u1 that is admissible.For a lot of algorithm relatively complete recourse is acondition of convergence. It means that there is no inducedconstraints.

Vincent Leclere OS - 2 5/10/2017 8 / 21

Page 16: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

Presentation Outline

1 Two-stage Stochastic Programming

2 Some information frameworks

3 L-Shaped decomposition method

Vincent Leclere OS - 2 5/10/2017 8 / 21

Page 17: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

Two-stage framework : three information modelsConsider the problem

minu0,u1

E[L(u0, ξ,u1

]Open-Loop approach : u0 and u1 are deterministic. In thiscase both controls are choosen without any knowledge of thealea ξ. The set of control is small, and an optimal control canbe found through specific method (e.g. Stochastic Gradient).Two-Stage approach : u0 is deterministic and u1 ismeasurable with respect to ξ. This is the problem tackled bythe Stochastic Programming approach.Anticipative approach : u0 and u1 are measurable withrespect to ξ. This approach consists in solving onedeterministic problem per possible outcome of the alea, andtaking the expectation of the value of this problems.

Vincent Leclere OS - 2 5/10/2017 9 / 21

Page 18: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

Two-stage framework : three information modelsConsider the problem

minu0,u1

E[L(u0, ξ,u1

]Open-Loop approach : u0 and u1 are deterministic. In thiscase both controls are choosen without any knowledge of thealea ξ. The set of control is small, and an optimal control canbe found through specific method (e.g. Stochastic Gradient).Two-Stage approach : u0 is deterministic and u1 ismeasurable with respect to ξ. This is the problem tackled bythe Stochastic Programming approach.Anticipative approach : u0 and u1 are measurable withrespect to ξ. This approach consists in solving onedeterministic problem per possible outcome of the alea, andtaking the expectation of the value of this problems.

Vincent Leclere OS - 2 5/10/2017 9 / 21

Page 19: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

Two-stage framework : three information modelsConsider the problem

minu0,u1

E[L(u0, ξ,u1

]Open-Loop approach : u0 and u1 are deterministic. In thiscase both controls are choosen without any knowledge of thealea ξ. The set of control is small, and an optimal control canbe found through specific method (e.g. Stochastic Gradient).Two-Stage approach : u0 is deterministic and u1 ismeasurable with respect to ξ. This is the problem tackled bythe Stochastic Programming approach.Anticipative approach : u0 and u1 are measurable withrespect to ξ. This approach consists in solving onedeterministic problem per possible outcome of the alea, andtaking the expectation of the value of this problems.

Vincent Leclere OS - 2 5/10/2017 9 / 21

Page 20: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

Information models for the Newsvendor I

Open-loop :

minu0,u1

S∑s=1

ps(cu0 − pu1)

s.t. u0 ≥ 0u1 ≤ u0

u1 ≤ d s ∀s ∈ J1, SK

Vincent Leclere OS - 2 5/10/2017 10 / 21

Page 21: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

Information models for the Newsvendor II

Two-stage :

minu0,{us

1}s∈J1,SK

S∑s=1

ps(cu0 − pus1)

s.t. u0 ≥ 0us

1 ≤ u0 ∀s ∈ J1,SKus

1 ≤ d s ∀s ∈ J1,SK

Vincent Leclere OS - 2 5/10/2017 11 / 21

Page 22: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

Information models for the Newsvendor III

Anticipative :

min{us

0,us1}s∈J1,nK

S∑s=1

ps(cu0 − pus1)

s.t. us0 ≥ 0 ∀s ∈ J1, SK

us1 ≤ u0 ∀s ∈ J1, SK

us1 ≤ d s ∀s ∈ J1, SK

Vincent Leclere OS - 2 5/10/2017 12 / 21

Page 23: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

Comparing the information modelsThe three information models can be written this way :

min{us

0,us1}s∈J1,SK

S∑s=1

psL(us0, ξ

s , us1)

s.t. us0 ≥ 0 ∀s ∈ J1,SK

us1 ≤ u0 ∀s ∈ J1,SK

us1 ≤ d s ∀s ∈ J1,SK

us0 = us′

0 for 2-stage and OLus

1 = us′1 for OL

Hence, by simple comparison of constraints we have

V anticipative ≤ V 2−stage ≤ V OL.

Vincent Leclere OS - 2 5/10/2017 13 / 21

Page 24: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

Comparing the information modelsThe three information models can be written this way :

min{us

0,us1}s∈J1,SK

S∑s=1

psL(us0, ξ

s , us1)

s.t. us0 ≥ 0 ∀s ∈ J1,SK

us1 ≤ u0 ∀s ∈ J1,SK

us1 ≤ d s ∀s ∈ J1,SK

us0 = us′

0 for 2-stage and OLus

1 = us′1 for OL

Hence, by simple comparison of constraints we have

V anticipative ≤ V 2−stage ≤ V OL.

Vincent Leclere OS - 2 5/10/2017 13 / 21

Page 25: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

Solving the problems

V OL can be approximated through specific methods (e.g.Stochastic Gradient).V 2−stage is obtained through Stochastic Programming specificmethods. There are two main approaches:

Lagrangian decomposition methods (like Progressive-Hedgingalgorithm).Benders decomposition methods (like L-shaped ornested-decomposition methods).

V anticipative is difficult to compute exactly but can beestimated through Monte-Carlo approach by drawing areasonable number of realizations of ξ, solving thedeterministic problem for each realization ξs and taking themeans of the value of the deterministic problem.

Vincent Leclere OS - 2 5/10/2017 14 / 21

Page 26: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

Presentation Outline

1 Two-stage Stochastic Programming

2 Some information frameworks

3 L-Shaped decomposition method

Vincent Leclere OS - 2 5/10/2017 14 / 21

Page 27: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

Linear 2-stage stochastic programConsider the following problem

min E[c>u0 + q>u1

]s.t. Au0 = b, u0 ≥ 0

Tu0 + W u1 = h, u1 ≥ 0, P− a.s.u0 ∈ Rn, σ(u1) ⊂ σ(q,T ,W ,h︸ ︷︷ ︸

ξ

)

With associated Extended Formulation

min c>u0 +S∑

s=1ps qs · us

1

s.t. Au0 = b, u0 ≥ 0T su0 + W sus

1 = hs , us1 ≥ 0,∀s

Vincent Leclere OS - 2 5/10/2017 15 / 21

Page 28: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

Linear 2-stage stochastic programConsider the following problem

min E[c>u0 + q>u1

]s.t. Au0 = b, u0 ≥ 0

Tu0 + W u1 = h, u1 ≥ 0, P− a.s.u0 ∈ Rn, σ(u1) ⊂ σ(q,T ,W ,h︸ ︷︷ ︸

ξ

)

With associated Extended Formulation

min c>u0 +S∑

s=1ps qs · us

1

s.t. Au0 = b, u0 ≥ 0T su0 + W sus

1 = hs , us1 ≥ 0,∀s

Vincent Leclere OS - 2 5/10/2017 15 / 21

Page 29: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

Relatively complete recourse

We assume here relatively complete recourse. Without thisassumption we would need feasability cuts (see Bender’sdecomposition method).Here, relatively complete recourse means that :

∀u0 ≥ 0, ∀s ∈ J1, SKAu0 = b =⇒ ∃us

1 ≥ 0, W sus1 = hs − T su0.

Vincent Leclere OS - 2 5/10/2017 16 / 21

Page 30: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

Decomposition of linear 2-stage stochastic program

We rewrite the extended formulation as

min c>u0 + θ

s.t. Au0 = b, u0 ≥ 0θ ≥ Q(u0) u0 ∈ Rn

where Q(u0) =∑S

s=1 psQs(u0) with

Qs(u0) := minus

1∈Rmqs · us

1

s.t. T su0 + W sus1 = hs , us

1 ≥ 0

Note that Q(u0) is a polyhedral function of u0, hence θ ≥ Q(u0)can be rewritten θ ≥ α>k u0 + βk ,∀k.

Vincent Leclere OS - 2 5/10/2017 17 / 21

Page 31: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

Obtaining (optimality) cuts I

Recall that

Qs(u0) := minus

1∈Rmqs · us

1

s.t. T su0 + W sus1 = hs , us

1 ≥ 0

can also be written (through strong duality)

Qs(u0) = maxλs∈Rm

λs ·(hs − T su0

)s.t. W s · λs ≤ qs

Vincent Leclere OS - 2 5/10/2017 18 / 21

Page 32: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

Obtaining (optimality) cuts II

(Du0) Qs(u0) = maxλs∈Rm

λs ·(hs − T su0

)s.t. W s · λs ≤ qs

admits for optimal solution λsu0 .

Consider another control u′0, we have

(Du′0) Qs(u′0) = max

λs∈Rmλs ·

(hs − T su′0

)s.t. W s · λs ≤ qs

As λsu0 is admissible for (Du0) it is also admissible for (Du′

0), hence

Qs(u′0) ≥ λsu0 ·

(hs − T su0

).

Vincent Leclere OS - 2 5/10/2017 19 / 21

Page 33: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

Obtaining (optimality) cuts IIIThus we have that,

∀u′0, Qs(u′0) ≥ hs · λsu0︸ ︷︷ ︸

βsk

−λs · T s︸ ︷︷ ︸αs

k

u′0.

Recall that,

∀u′0, Q(u′0) =S∑

s=1psQs(u′0)

thus

∀u′0, Q(u′0) ≥S∑

s=1ps(αs

ku′0 + βsk)

or

∀u′0, Q(u′0) ≥( S∑

s=1psαs

k

)︸ ︷︷ ︸

αk

u′0 +S∑

s=1psβs

k︸ ︷︷ ︸βk

Vincent Leclere OS - 2 5/10/2017 20 / 21

Page 34: Stochastic Optimization Two-stage problemscermics.enpc.fr/~delara/TEACHING/TwoStageSP.pdf1 Two-stage Stochastic Programming 2 Some information frameworks 3 L-Shaped decomposition method

Two-stage Stochastic Programming Some information frameworks L-Shaped decomposition method

L-shaped method

1 We have a collection of K cuts, such that Q(u0) ≥ αku0 + βk .2 Solve the master problem, with optimal primal solution uk

0 .

minAu0=b,u0≥0

c>u0 + θ

s.t. θ ≥ αku0 + βk ∀k ∈ J1,KK3 Solve N slave dual problems, with optimal dual solution λs

maxλs∈Rm

λs ·(hs − T suk

0)

s.t. W s · λs ≤ qs

4 construct new cut with

αK+1 := −S∑

i=1ps (T s)>λs , βK+1 :=

S∑i=1

ps hs · λs .

Vincent Leclere OS - 2 5/10/2017 21 / 21