Solving 0-1 Semidefinite Programs for Distributionally Robust - - PowerPoint PPT Presentation

solving 0 1 semidefinite programs for distributionally
SMART_READER_LITE
LIVE PREVIEW

Solving 0-1 Semidefinite Programs for Distributionally Robust - - PowerPoint PPT Presentation

Solving 0-1 Semidefinite Programs for Distributionally Robust Allocation of Surgery Blocks Yiling Zhang 1 Joint work with Prof. Siqian Shen 1 , Prof. S. Ayca Erdogan 2 1 Industrial and Operations Engineering, University of Michigan 2 Industrial


slide-1
SLIDE 1

Solving 0-1 Semidefinite Programs for Distributionally Robust Allocation of Surgery Blocks

Yiling Zhang1 Joint work with Prof. Siqian Shen1 ,

  • Prof. S. Ayca Erdogan2

1 Industrial and Operations Engineering, University of Michigan 2 Industrial and Systems Engineering, San Jose State University

Supporeted by NSF grant #1433066.

1/25

slide-2
SLIDE 2

Outline

Introduction DR Chance-Constrained Model Formulation Ambiguity Set 0-1 SDP Reformulation Solving Approaches Cutting-Plane Method 0-1 SOCP Approximation Computational Studies Setup Results Conclusion

2/25

slide-3
SLIDE 3

Allocation of Surgery Blocks

Operating rooms (ORs):

◮ 40% of a hospital’s total revenues; BUT, a similarly large

proportion of its total expenses1

◮ Average OR runs at only 68% capacity1 ◮ Uncertain service duration of surgical procedure

1Healthcare Financial Management Association 2003

3/25

slide-4
SLIDE 4

Allocation of Surgery Blocks

Operating rooms (ORs):

◮ 40% of a hospital’s total revenues; BUT, a similarly large

proportion of its total expenses1

◮ Average OR runs at only 68% capacity1 ◮ Uncertain service duration of surgical procedure

Works on allocation of surgery blocks:

◮ Blake and Donald (2002): MILP ◮ Denton, Miller, Balasubramanian, and Huschka (2010):

two-stage stochastic integer program

◮ Shylo, Prokopyev, and Schaefer (2012): chance-constrained

formulation

◮ Deng, Shen, and Denton (2016): distributionally robust

formulation

◮ ...

1Healthcare Financial Management Association 2003

3/25

slide-5
SLIDE 5

Applications

Applications with similar settings (bin packing structure):

◮ Cloud computing server planning: uncertain job hours

requested

◮ Shen and Wang (2014)

◮ Machine scheduling: uncertain task duration

◮ Skutella and Uetz (2005)

cloudcomputingcafe.com theideasmith.net

4/25

slide-6
SLIDE 6

Stochastic OR Allocation Problem Surgeries ORs

𝑈

1

𝑈3 𝑈2 𝑡1 𝑡2 𝑡3 𝑡4

5/25

slide-7
SLIDE 7

Stochastic OR Allocation Problem Surgeries ORs

𝑈

1

𝑈3 𝑈2

(random service duration)

𝑡1 𝑡2 𝑡3 𝑡4

5/25

slide-8
SLIDE 8

Stochastic OR Allocation Problem Surgeries ORs

𝑡11 𝑡21 𝑡31 𝑡12 𝑡22 𝑡32 𝑡13 𝑡23 𝑡33 𝑡14 𝑡24 𝑡34 𝑈

1

𝑈3 𝑈2 𝑨1 =? 𝑨2 =? 𝑨3 =?

(random service duration)

5/25

slide-9
SLIDE 9

Stochastic OR Allocation Problem

𝑈

1

𝑈3 𝑈2 𝑨1 = 1 𝑨2 = 1 𝑨3 = 0

Surgeries ORs

(random service duration)

𝑡11 𝑡21 𝑡31 𝑡12 𝑡22 𝑡32 𝑡13 𝑡23 𝑡33 𝑡14 𝑡24 𝑡34

Decisions:

  • zi ∈ {0, 1}: zi = 1 if we open OR i, and = 0 if not.

5/25

slide-10
SLIDE 10

Stochastic OR Allocation Problem

𝑡21 𝑡31 𝑡12 𝑡22 𝑡32 𝑡13 𝑡23 𝑡33 𝑡14 𝑡24 𝑡34 𝑈

1

𝑈3 𝑈2 𝑨1 = 1 𝑨2 = 1 𝑨3 = 0 𝑡11 𝑡11 𝑡12 𝑡13 𝑡24

Surgeries ORs

(random service duration)

Decisions:

  • zi ∈ {0, 1}: zi = 1 if we open OR i, and = 0 if not.
  • yij ∈ {0, 1}: yij = 1 if allocate surgery j to OR i

5/25

slide-11
SLIDE 11

A Chance-Constrained Formulation

Let si = [sij, j ∈ J]T, yi = [yij, j ∈ J]T min

z,y

  • i∈I

cz

i zi +

  • i∈I
  • j∈J

cy

ij yij

  • Objective: Minimize the cost of opening ORs

6/25

slide-12
SLIDE 12

A Chance-Constrained Formulation

Let si = [sij, j ∈ J]T, yi = [yij, j ∈ J]T min

z,y

  • i∈I

cz

i zi +

  • i∈I
  • j∈J

cy

ij yij

s.t. yij ≤ ρijzi ∀i ∈ I, j ∈ J

  • i∈I

yij = 1 ∀j ∈ J yij, zi ∈ {0, 1} ∀i ∈ I, j ∈ J

  • Objective: Minimize the cost of opening ORs
  • Deterministic constraints: Feasible surgery allocation

6/25

slide-13
SLIDE 13

A Chance-Constrained Formulation

Let si = [sij, j ∈ J]T, yi = [yij, j ∈ J]T min

z,y

  • i∈I

cz

i zi +

  • i∈I
  • j∈J

cy

ij yij

s.t. yij ≤ ρijzi ∀i ∈ I, j ∈ J

  • i∈I

yij = 1 ∀j ∈ J yij, zi ∈ {0, 1} ∀i ∈ I, j ∈ J Pfs

  • sT

i yi ≤ Ti

  • ≥ 1 − αi, ∀i ∈ I
  • Objective: Minimize the cost of opening ORs
  • Deterministic constraints: Feasible surgery allocation
  • Chance constraint: “Total operating time ≤ time available in

OR i” at 1 − αi probability, given the distribution fs

6/25

slide-14
SLIDE 14

Outline

Introduction DR Chance-Constrained Model Formulation Ambiguity Set 0-1 SDP Reformulation Solving Approaches Cutting-Plane Method 0-1 SOCP Approximation Computational Studies Setup Results Conclusion

7/25

slide-15
SLIDE 15

Distributionally Robust (DR) Model

min

z,y

  • i∈I

cz

i zi +

  • i∈I
  • j∈J

cy

ij yij

(2) s.t. yij ≤ ρijzi ∀i ∈ I, j ∈ J (3)

  • i∈I

yij = 1 ∀j ∈ J (4) yij, zi ∈ {0, 1} ∀i ∈ I, j ∈ J (5) inf

fs∈Di Pf

  • sT

i yi ≤ Ti

  • ≥ 1 − αi, ∀i ∈ I

(6)

◮ (6): The worst-case probability given by any fs ∈ Di is

guaranteed at least 1 − αi (a DR chance constraint).

8/25

slide-16
SLIDE 16

Literature Review

Distributionally robust optimization

◮ Scarf, Arrow, and Karlin (1958); Delage and Ye (2010);

Bertsimas, Doan, Natarajan, and Teo (2010); Goh and Sim (2010), Wiesemann, Kuhn, and Sim (2014), Esfahani and Kuhn (2016)... Distributionally robust chance-constrained programming

◮ Zymler, Kuhn, and Rustem (2013); Jiang and Guan (2015)

Jointly chance-constrained binary packing

◮ Song, Luedtke, and K¨

u¸ c¨ ukyavuz (2014) DR chance-constrained knapsack/bin packing

◮ Zhang, Denton, and Xie (2015): mean + variance ◮ Wagner (2008): mean + covariance ◮ Cheng, Delage, and Lisser (2014): mean + covariance 9/25

slide-17
SLIDE 17

Outline

Introduction DR Chance-Constrained Model Formulation Ambiguity Set 0-1 SDP Reformulation Solving Approaches Cutting-Plane Method 0-1 SOCP Approximation Computational Studies Setup Results Conclusion

10/25

slide-18
SLIDE 18

Moment-based Ambiguity Set

◮ Ambiguity set (Delage and Ye, 2010):

Di = DM

i (µ0 i , Σ0 i , γ1, γ2) =

  • f (si) :
  • si ∈Ξ∗

i f (si)dsi = 1

(E[si] − µ0

i )T(Σ0 i )−1(E[si] − µ0 i ) ≤ γ1

E[(si − µ0

i )(si − µ0 i )T] γ2Σ0 i

  • ∗Ξi = R|J|

11/25

slide-19
SLIDE 19

Moment-based Ambiguity Set

◮ Ambiguity set (Delage and Ye, 2010):

Di = DM

i (µ0 i , Σ0 i , γ1, γ2) =

  • f (si) :
  • si ∈Ξ∗

i f (si)dsi = 1

(E[si] − µ0

i )T(Σ0 i )−1(E[si] − µ0 i ) ≤ γ1

E[(si − µ0

i )(si − µ0 i )T] γ2Σ0 i

  • ∗Ξi = R|J|

◮ decrease γ1 with fixed γ2

γ1 = 5

𝛎 𝚻𝟐/𝟑

𝜹𝟐, 𝜹𝟑 = (𝟐, 𝟔) 𝜹𝟐, 𝜹𝟑 = (𝟑, 𝟔) 𝜹𝟐, 𝜹𝟑 = (𝟔, 𝟔)

◮ decrease γ2 with fixed γ1

γ2 = 5

𝛎 𝚻𝟐/𝟑

𝜹𝟐, 𝜹𝟑 = (𝟐, 𝟐) 𝜹𝟐, 𝜹𝟑 = (𝟐, 𝟑) 𝜹𝟐, 𝜹𝟑 = (𝟐, 𝟔)

∗(µ, Σ): True mean and covariance pair 11/25

slide-20
SLIDE 20

Moment-based Ambiguity Set

◮ Ambiguity set (Delage and Ye, 2010):

Di = DM

i (µ0 i , Σ0 i , γ1, γ2) =

  • f (si) :
  • si ∈Ξ∗

i f (si)dsi = 1

(E[si] − µ0

i )T(Σ0 i )−1(E[si] − µ0 i ) ≤ γ1

E[(si − µ0

i )(si − µ0 i )T] γ2Σ0 i

  • ∗Ξi = R|J|

◮ decrease γ1 with fixed γ2

γ1 = 2

𝛎 𝚻𝟐/𝟑

𝜹𝟐, 𝜹𝟑 = (𝟐, 𝟔) 𝜹𝟐, 𝜹𝟑 = (𝟑, 𝟔) 𝜹𝟐, 𝜹𝟑 = (𝟔, 𝟔)

◮ decrease γ2 with fixed γ1

γ2 = 2

𝛎 𝚻𝟐/𝟑

𝜹𝟐, 𝜹𝟑 = (𝟐, 𝟐) 𝜹𝟐, 𝜹𝟑 = (𝟐, 𝟑) 𝜹𝟐, 𝜹𝟑 = (𝟐, 𝟔)

∗(µ, Σ): True mean and covariance pair 11/25

slide-21
SLIDE 21

Moment-based Ambiguity Set

◮ Ambiguity set (Delage and Ye, 2010):

Di = DM

i (µ0 i , Σ0 i , γ1, γ2) =

  • f (si) :
  • si ∈Ξ∗

i f (si)dsi = 1

(E[si] − µ0

i )T(Σ0 i )−1(E[si] − µ0 i ) ≤ γ1

E[(si − µ0

i )(si − µ0 i )T] γ2Σ0 i

  • ∗Ξi = R|J|

◮ decrease γ1 with fixed γ2

γ1 = 1

𝛎 𝚻𝟐/𝟑

𝜹𝟐, 𝜹𝟑 = (𝟐, 𝟔) 𝜹𝟐, 𝜹𝟑 = (𝟑, 𝟔) 𝜹𝟐, 𝜹𝟑 = (𝟔, 𝟔)

◮ decrease γ2 with fixed γ1

γ2 = 1

𝛎 𝚻𝟐/𝟑

𝜹𝟐, 𝜹𝟑 = (𝟐, 𝟐) 𝜹𝟐, 𝜹𝟑 = (𝟐, 𝟑) 𝜹𝟐, 𝜹𝟑 = (𝟐, 𝟔)

∗(µ, Σ): True mean and covariance pair 11/25

slide-22
SLIDE 22

Outline

Introduction DR Chance-Constrained Model Formulation Ambiguity Set 0-1 SDP Reformulation Solving Approaches Cutting-Plane Method 0-1 SOCP Approximation Computational Studies Setup Results Conclusion

12/25

slide-23
SLIDE 23

0-1 SDP Reformulation with Di = DM

i

Jiang and Guan (2015) show that

◮ By introducing the dual variables, the DR chance constraints

(6) ⇔ SDP constraints (exact): γ2Σ0

i · Gi + 1 − ri + Σ0 i · Hi + γ1qi − αiλi ≤ 0

(7a) Gi −pi −pT

i

1 − ri

1 2yi 1 2yT i

λi + yT

i µ0 i − Tizi

  • (7b)

Gi −pi −pT

i

1 − ri

  • ∈ S(|J|+1)×(|J|+1)

+

, Hi pi pT

i

qi

  • ∈ S(|J|+1)×(|J|+1)

+

, λi ≥ 0. (7c)

13/25

slide-24
SLIDE 24

0-1 SDP Reformulation with Di = DM

i

Jiang and Guan (2015) show that

◮ By introducing the dual variables, the DR chance constraints

(6) ⇔ SDP constraints (exact): γ2Σ0

i · Gi + 1 − ri + Σ0 i · Hi + γ1qi − αiλi ≤ 0

(7a) Gi −pi −pT

i

1 − ri

1 2yi 1 2yT i

λi + yT

i µ0 i − Tizi

  • (7b)

Gi −pi −pT

i

1 − ri

  • ∈ S(|J|+1)×(|J|+1)

+

, Hi pi pT

i

qi

  • ∈ S(|J|+1)×(|J|+1)

+

, λi ≥ 0. (7c) However, 0-1 SDP CANNOT be directly solved in solvers.

13/25

slide-25
SLIDE 25

Outline

Introduction DR Chance-Constrained Model Formulation Ambiguity Set 0-1 SDP Reformulation Solving Approaches Cutting-Plane Method 0-1 SOCP Approximation Computational Studies Setup Results Conclusion

14/25

slide-26
SLIDE 26

Master Problem

Recall the DR model: min

z,y

  • i∈I

cz

i zi +

  • i∈I
  • j∈J

cy

ij yij

s.t. yij ≤ ρijzi ∀i ∈ I, j ∈ J

  • i∈I

yij = 1 ∀j ∈ J yij, zi ∈ {0, 1} ∀i ∈ I, j ∈ J inf

fs∈Di Pfs

  • sT

i yi ≤ Ti

  • ≥ 1 − αi, ∀i ∈ I

15/25

slide-27
SLIDE 27

Master Problem

Master problem: min

z,y

  • i∈I

cz

i zi +

  • i∈I
  • j∈J

cy

ij yij

s.t. yij ≤ ρijzi ∀i ∈ I, j ∈ J

  • i∈I

yij = 1 ∀j ∈ J yij, zi ∈ {0, 1} ∀i ∈ I, j ∈ J Cℓ

i yi ≤ cℓ i zi, ℓ = 1, . . . , ki, i ∈ I

(8)

◮ (8): set of linear cuts with OR i, i ∈ I 15/25

slide-28
SLIDE 28

Subproblem

◮ Given a solution (ˆ

yi, ˆ zi) from the master problem γ2Σ0

i · Gi + 1 − ri + Σ0 i · Hi + γ1qi − αiλi ≤ 0

Gi −pi −pT

i

1 − ri

1 2 ˆ

yi

1 2 ˆ

yT

i

λi + ˆ yT

i µ0 i − Ti ˆ

zi

  • Gi

−pi −pT

i

1 − ri

  • ∈ S(|J|+1)×(|J|+1)

+

, Hi pi pT

i

qi

  • ∈ S(|J|+1)×(|J|+1)

+

, λi ≥ 0.

16/25

slide-29
SLIDE 29

Subproblem

◮ Given a solution (ˆ

yi, ˆ zi) from the master problem γ2Σ0

i · Gi + 1 − ri + Σ0 i · Hi + γ1qi − αiλi ≤ 0

Gi −pi −pT

i

1 − ri

1 2 ˆ

yi

1 2 ˆ

yT

i

λi + ˆ yT

i µ0 i − Ti ˆ

zi

  • Gi

−pi −pT

i

1 − ri

  • ∈ S(|J|+1)×(|J|+1)

+

, Hi pi pT

i

qi

  • ∈ S(|J|+1)×(|J|+1)

+

, λi ≥ 0. Is it feasible for the SDP constraints?

16/25

slide-30
SLIDE 30

Subproblem

◮ Given a solution (ˆ

yi, ˆ zi) from the master problem VP = min γ2Σ0

i · Gi + 1 − ri + Σ0 i · Hi + γ1qi − αiλi

≤ 0 s.t. Gi −pi −pT

i

1 − ri

1 2 ˆ

yi

1 2 ˆ

yT

i

λi + ˆ yT

i µ0 i − Ti ˆ

zi

  • Gi

−pi −pT

i

1 − ri

  • ∈ S(|J|+1)×(|J|+1)

+

, Hi pi pT

i

qi

  • ∈ S(|J|+1)×(|J|+1)

+

, λi ≥ 0.

16/25

slide-31
SLIDE 31

Subproblem

◮ The dual of the SDP problem:

VD = max

Qi,di,ui,vi

ˆ yT

i di + (ˆ

yT

i µ0 i − Ti ˆ

zi)ui ≤ 0 (9a) s.t. γ2Σ0

i

vi vT

i

1

Qi di dT

i

ui

  • (9b)

ui − αi ≥ 0 (9c) Σ0

i

−vi −vT

i

γ1

  • (9d)

vi ∈ R|J|, Qi di dT

i

ui

  • ∈ S(|J|+1)×(|J|+1)

+

(9e)

◮ Strong duality holds: VD = VP ≤ 0 16/25

slide-32
SLIDE 32

Subproblem

◮ The dual of the SDP problem:

VD = max

Qi,di,ui,vi

ˆ yT

i di + (ˆ

yT

i µ0 i − Ti ˆ

zi)ui ≤ 0 (9a) s.t. γ2Σ0

i

vi vT

i

1

Qi di dT

i

ui

  • (9b)

ui − αi ≥ 0 (9c) Σ0

i

−vi −vT

i

γ1

  • (9d)

vi ∈ R|J|, Qi di dT

i

ui

  • ∈ S(|J|+1)×(|J|+1)

+

(9e)

◮ Strong duality holds: VD = VP ≤ 0 ◮ The linear CUT: yT i ˆ

di + (yT

i µ0 i − Tizi)ˆ

ui ≤ 0 The dual solution: ˆ di, ˆ ui

16/25

slide-33
SLIDE 33

Outline

Introduction DR Chance-Constrained Model Formulation Ambiguity Set 0-1 SDP Reformulation Solving Approaches Cutting-Plane Method 0-1 SOCP Approximation Computational Studies Setup Results Conclusion

17/25

slide-34
SLIDE 34

0-1 SOCP Reformulation with Di = DC

i

◮ Exactly match the given µ0 i and Σ0 i :

Di = DC

i (µ0 i , Σ0 i ) =

     f (si) :

  • si∈Ξi f (si)dsi = 1,

E[si] = µ0

i

E[(si − µ0

i )(si − µ0 i )T] = Σ0 i

    

18/25

slide-35
SLIDE 35

0-1 SOCP Reformulation with Di = DC

i

◮ Exactly match the given µ0 i and Σ0 i :

Di = DC

i (µ0 i , Σ0 i ) =

     f (si) :

  • si∈Ξi f (si)dsi = 1,

E[si] = µ0

i

E[(si − µ0

i )(si − µ0 i )T] = Σ0 i

     𝛎 𝚻𝟐/𝟑

𝑬𝒋

𝑵 𝟐, 𝟔

18/25

slide-36
SLIDE 36

0-1 SOCP Reformulation with Di = DC

i

◮ Exactly match the given µ0 i and Σ0 i :

Di = DC

i (µ0 i , Σ0 i ) =

     f (si) :

  • si∈Ξi f (si)dsi = 1,

E[si] = µ0

i

E[(si − µ0

i )(si − µ0 i )T] = Σ0 i

     𝛎 𝚻𝟐/𝟑

𝑬𝒋

𝑵 𝟐, 𝟔

𝑬𝒋

𝑫

18/25

slide-37
SLIDE 37

0-1 SOCP Reformulation with Di = DC

i

Following a variant of Chebyshev’s inequality (Wagner, 2008), the DR chance constraint (6) is equivalent to

  • yT

i Σ0 i yi ≤

  • αi

1 − αi

  • Ti − (µ0

i )Tyi

  • , ∀i ∈ I

(10) That is, the DR model is equivalent to a 0-1 SOCP. 𝛎 𝚻𝟐/𝟑

𝑬𝒋

𝑵 𝟐, 𝟔

𝑬𝒋

𝑫

18/25

slide-38
SLIDE 38

0-1 SOCP Reformulation with Di = DC

i

Following a variant of Chebyshev’s inequality (Wagner, 2008), the DR chance constraint (6) is equivalent to

  • yT

i Σ0 i yi ≤

  • αi

1 − αi

  • Ti − (µ0

i )Tyi

  • , ∀i ∈ I

(10) That is, the DR model is equivalent to a 0-1 SOCP. 𝛎 𝚻𝟐/𝟑

𝑬𝒋

𝑵 𝟐, 𝟔

𝑬𝒋

𝑫

18/25

slide-39
SLIDE 39

0-1 SOCP Reformulation with Di = DC

i

Following a variant of Chebyshev’s inequality (Wagner, 2008), the DR chance constraint (6) is equivalent to

  • yT

i Σ0 i yi ≤

  • αi

1 − αi

  • Ti − (µ0

i )Tyi

  • , ∀i ∈ I

(10) That is, the DR model is equivalent to a 0-1 SOCP. 𝛎 𝚻𝟐/𝟑

𝑬𝒋

𝑵 𝟐, 𝟔

𝑬𝒋

𝑫

18/25

slide-40
SLIDE 40

0-1 SOCP Approximation with Di = DM

i

𝛎 𝚻𝟐/𝟑

19/25

slide-41
SLIDE 41

0-1 SOCP Approximation with Di = DM

i

𝛎 𝚻𝟐/𝟑

19/25

slide-42
SLIDE 42

0-1 SOCP Approximation with Di = DM

i

𝛎 𝚻𝟐/𝟑

19/25

slide-43
SLIDE 43

0-1 SOCP Approximation with Di = DM

i

𝛎 𝚻𝟐/𝟑

19/25

slide-44
SLIDE 44

0-1 SOCP Approximation with Di = DM

i

◮ Given sufficiently large sample size, the mean µi and

covariance matrix Σi of any f (si) in DM

i

lie in set Ai with probability 1. (Adopted from Delage and Ye, 2010) Ai(µ0

i , Σ0 i , a, b) =

  • (µi, Σi) :

(µ0

i − µi)T(Σi)−1(µ0 i − µi) ≤ b

Σi

1 1−a−bΣ0 i

  • ◮ a, b: γ1 =

b 1−a−b, γ2 = 1+b 1−a−b 19/25

slide-45
SLIDE 45

0-1 SOCP Approximation with Di = DM

i

◮ Given sufficiently large sample size, the mean µi and

covariance matrix Σi of any f (si) in DM

i

lie in set Ai with probability 1. (Adopted from Delage and Ye, 2010) Ai(µ0

i , Σ0 i , a, b) =

  • (µi, Σi) :

(µ0

i − µi)T(Σi)−1(µ0 i − µi) ≤ b

Σi

1 1−a−bΣ0 i

  • ◮ a, b: γ1 =

b 1−a−b, γ2 = 1+b 1−a−b ◮ 0-1 SOC constraint:

  • 1

1 − a − b

  • 1 +
  • αib

1 − αi yT

i Σ0 i yi ≤

  • αi

1 − αi

  • Tizi − (µ0

i )Tyi

  • 19/25
slide-46
SLIDE 46

Outline

Introduction DR Chance-Constrained Model Formulation Ambiguity Set 0-1 SDP Reformulation Solving Approaches Cutting-Plane Method 0-1 SOCP Approximation Computational Studies Setup Results Conclusion

20/25

slide-47
SLIDE 47

Computational Setup

Approaches (γ1, γ2) = (0, 1)

◮ “Cutting-plane” approach ◮ “0-1 SOCP” approximation approach ◮ “MILP” –Sample Average Approximation approach

2Gul, S., Denton, B. T., Fowler, J. W., and Huschka, T. R. (2011).

Bi-criteria scheduling of surgical services for an outpatient procedure center. Production and Operations Management, 20(3):406417.

21/25

slide-48
SLIDE 48

Computational Setup

Approaches (γ1, γ2) = (0, 1)

◮ “Cutting-plane” approach ◮ “0-1 SOCP” approximation approach ◮ “MILP” –Sample Average Approximation approach

ORs

◮ |I| = 6, Ti = 8 hrs, cz i = 1

2Gul, S., Denton, B. T., Fowler, J. W., and Huschka, T. R. (2011).

Bi-criteria scheduling of surgical services for an outpatient procedure center. Production and Operations Management, 20(3):406417.

21/25

slide-49
SLIDE 49

Computational Setup

Approaches (γ1, γ2) = (0, 1)

◮ “Cutting-plane” approach ◮ “0-1 SOCP” approximation approach ◮ “MILP” –Sample Average Approximation approach

ORs

◮ |I| = 6, Ti = 8 hrs, cz i = 1

Surgeries

◮ |J| = 32, cy ij ∼ Uniform[0, 0.1] ◮ Surgery service duration sij

2Gul, S., Denton, B. T., Fowler, J. W., and Huschka, T. R. (2011).

Bi-criteria scheduling of surgical services for an outpatient procedure center. Production and Operations Management, 20(3):406417.

21/25

slide-50
SLIDE 50

Computational Setup

Approaches (γ1, γ2) = (0, 1)

◮ “Cutting-plane” approach ◮ “0-1 SOCP” approximation approach ◮ “MILP” –Sample Average Approximation approach

ORs

◮ |I| = 6, Ti = 8 hrs, cz i = 1

Surgeries

◮ |J| = 32, cy ij ∼ Uniform[0, 0.1] ◮ Surgery service duration sij

◮ Log-Normal distribution2 2Gul, S., Denton, B. T., Fowler, J. W., and Huschka, T. R. (2011).

Bi-criteria scheduling of surgical services for an outpatient procedure center. Production and Operations Management, 20(3):406417.

21/25

slide-51
SLIDE 51

Computational Setup

Approaches (γ1, γ2) = (0, 1)

◮ “Cutting-plane” approach ◮ “0-1 SOCP” approximation approach ◮ “MILP” –Sample Average Approximation approach

ORs

◮ |I| = 6, Ti = 8 hrs, cz i = 1

Surgeries

◮ |J| = 32, cy ij ∼ Uniform[0, 0.1] ◮ Surgery service duration sij

◮ Log-Normal distribution2 ◮ high mean: 25 min, low mean: 12.5 min ◮ high variance: std/mean = 1.0, low variance: std/mean = 0.3 2Gul, S., Denton, B. T., Fowler, J. W., and Huschka, T. R. (2011).

Bi-criteria scheduling of surgical services for an outpatient procedure center. Production and Operations Management, 20(3):406417.

21/25

slide-52
SLIDE 52

Computational Setup

Approaches (γ1, γ2) = (0, 1)

◮ “Cutting-plane” approach ◮ “0-1 SOCP” approximation approach ◮ “MILP” –Sample Average Approximation approach

ORs

◮ |I| = 6, Ti = 8 hrs, cz i = 1

Surgeries

◮ |J| = 32, cy ij ∼ Uniform[0, 0.1] ◮ Surgery service duration sij

◮ Log-Normal distribution2 ◮ high mean: 25 min, low mean: 12.5 min ◮ high variance: std/mean = 1.0, low variance: std/mean = 0.3 ◮ In-sample: mix (8 hMhV, 8 hMℓV, 8 ℓMℓV, 8 ℓMhV) ◮ Out-of-sample: hMhV 2Gul, S., Denton, B. T., Fowler, J. W., and Huschka, T. R. (2011).

Bi-criteria scheduling of surgical services for an outpatient procedure center. Production and Operations Management, 20(3):406417.

21/25

slide-53
SLIDE 53

Outline

Introduction DR Chance-Constrained Model Formulation Ambiguity Set 0-1 SDP Reformulation Solving Approaches Cutting-Plane Method 0-1 SOCP Approximation Computational Studies Setup Results Conclusion

22/25

slide-54
SLIDE 54

Computational Results I

Table: CPU time (in second) and optimal solutions

1 − αi Approach CPU (sec)

  • Obj. Cost

# of open ORs 95% Cutting-plane 10.86 4.50 4 0-1 SOCP 124.50 3.66 3 MILP 107.47 2.95 2 90% Cutting-plane 7.77 3.65 3 0-1 SOCP 40.95 3.00 2 MILP 109.04 2.95 2

∗Sample size: DR approaches –20, MILP –1000 23/25

slide-55
SLIDE 55

Computational Results I

Table: CPU time (in second) and optimal solutions

1 − αi Approach CPU (sec)

  • Obj. Cost

# of open ORs 95% Cutting-plane 10.86 4.50 4 0-1 SOCP 124.50 3.66 3 MILP 107.47 2.95 2 90% Cutting-plane 7.77 3.65 3 0-1 SOCP 40.95 3.00 2 MILP 109.04 2.95 2

∗Sample size: DR approaches –20, MILP –1000 23/25

slide-56
SLIDE 56

Computational Results I

Table: CPU time (in second) and optimal solutions

1 − αi Approach CPU (sec)

  • Obj. Cost

# of open ORs 95% Cutting-plane 10.86 4.50 4 0-1 SOCP 124.50 3.66 3 MILP 107.47 2.95 2 90% Cutting-plane 7.77 3.65 3 0-1 SOCP 40.95 3.00 2 MILP 109.04 2.95 2

∗Sample size: DR approaches –20, MILP –1000 23/25

slide-57
SLIDE 57

Computational Results II

◮ Reliability of each open OR i =

# scenarios with sT

i yi ≤ Ti

N = 10, 000

Table: Average reliability performance in out-of-sample data with only “hMhV” surgeries

1 − αi Approach OR #1 OR #2 OR #3 OR #4 95% Cutting-plane 0.99 0.99 1.00 0.99 0-1 SOCP 0.98 0.98 N/A 0.99 MILP 0.81 N/A N/A 0.82 90% Cutting-plane 0.96 0.98 N/A 0.99 0-1 SOCP 0.81 0.81 N/A N/A MILP 0.81 N/A N/A 0.82

∗N/A: the corresponding OR is not open and thus no reliability

result.

24/25

slide-58
SLIDE 58

Computational Results II

◮ Reliability of each open OR i =

# scenarios with sT

i yi ≤ Ti

N = 10, 000

Table: Average reliability performance in out-of-sample data with only “hMhV” surgeries

1 − αi Approach OR #1 OR #2 OR #3 OR #4 95% Cutting-plane 0.99 0.99 1.00 0.99 0-1 SOCP 0.98 0.98 N/A 0.99 MILP 0.81 N/A N/A 0.82 90% Cutting-plane 0.96 0.98 N/A 0.99 0-1 SOCP 0.81 0.81 N/A N/A MILP 0.81 N/A N/A 0.82

∗N/A: the corresponding OR is not open and thus no reliability

result.

24/25

slide-59
SLIDE 59

Conclusions

In this talk,

◮ Cutting-plane approach for 0-1 SDP reformulations ◮ 0-1 SOCP approximation for 0-1 SDP reformulations

3Zhang, Y., Jiang, R., and Shen, S. (2016). Distributionally Robust

Chance-Constrained Bin Packing. Available on Optimization Online https://arxiv.org/pdf/1610.00035.pdf

25/25

slide-60
SLIDE 60

Conclusions

In this talk,

◮ Cutting-plane approach for 0-1 SDP reformulations ◮ 0-1 SOCP approximation for 0-1 SDP reformulations

Future research

◮ Derive exact reformulations when sij’s have arbitrary

correlations3

◮ Develop cuts to improve the computation3 ◮ Apply to practical problems with bin packing structure

3Zhang, Y., Jiang, R., and Shen, S. (2016). Distributionally Robust

Chance-Constrained Bin Packing. Available on Optimization Online https://arxiv.org/pdf/1610.00035.pdf

25/25

slide-61
SLIDE 61

Conclusions

In this talk,

◮ Cutting-plane approach for 0-1 SDP reformulations ◮ 0-1 SOCP approximation for 0-1 SDP reformulations

Future research

◮ Derive exact reformulations when sij’s have arbitrary

correlations3

◮ Develop cuts to improve the computation3 ◮ Apply to practical problems with bin packing structure

Thank you!

3Zhang, Y., Jiang, R., and Shen, S. (2016). Distributionally Robust

Chance-Constrained Bin Packing. Available on Optimization Online https://arxiv.org/pdf/1610.00035.pdf

25/25