Page 1
Large-Scale Systems and Benders Decomposition
MS&E348Winter 2011/2012
Professor Gerd Infanger
Page 2
Winter 2011/2012 MS&E348/Infanger 2
Block diagonal
Page 3
Winter 2011/2012 MS&E348/Infanger 3
Staircase systems
Page 4
Winter 2011/2012 MS&E348/Infanger 4
Block angular
Primal block angular:connecting constraints +block diagonal D-W decomposition
Dual block angular:connecting variables +block diagonalBenders decomposition
Page 5
Winter 2011/2012 MS&E348/Infanger 5
Benders decomposition (1)
A
B D
Page 6
The problem
Winter 2011/2012 MS&E348/Infanger 6
Page 7
The subproblem
Winter 2011/2012 MS&E348/Infanger 7
Page 8
Finiteness
Winter 2011/2012 MS&E348/Infanger 8
Page 9
Feasibility
Winter 2011/2012 MS&E348/Infanger 9
Page 10
Feasibility (cont.)
Winter 2011/2012 MS&E348/Infanger 10
Page 11
Outer-linearization
Winter 2011/2012 MS&E348/Infanger 11
Page 12
Full master problem
Winter 2011/2012 MS&E348/Infanger 12
Page 13
Relaxation
Winter 2011/2012 MS&E348/Infanger 13
Page 14
Relaxation (cont.)
Winter 2011/2012 MS&E348/Infanger 14
Page 15
Benders decomposition for linear programs
Winter 2011/2012 MS&E348/Infanger 15
Page 16
Decomposition of the 2-stage stochastic linear program
Winter 2011/2012 MS&E348/Infanger 16
Page 17
L-shaped Method (Van Slyke and Wets, 1969)
Winter 2011/2012 MS&E348/Infanger 17
Page 18
Winter 2011/2012 MS&E348/Infanger 18
Page 19
Multi-cut algorithm (Birge and Louveaux, 1985)
Winter 2011/2012 MS&E348/Infanger 19
Page 20
Winter 2011/2012 MS&E348/Infanger 20
Page 21
Winter 2011/2012 MS&E348/Infanger 21
Feasibility
Page 22
Winter 2011/2012 MS&E348/Infanger 22
Page 23
Winter 2011/2012 MS&E348/Infanger 23
Page 24
Winter 2011/2012 MS&E348/Infanger 24
Benders decomposition (2)
Page 25
Winter 2011/2012 MS&E348/Infanger 25
Page 26
Winter 2011/2012 MS&E348/Infanger 26
x
z(x)
The hyper-plane should be support
Page 27
Winter 2011/2012 MS&E348/Infanger 27
Page 28
Winter 2011/2012 MS&E348/Infanger 28
Benders decomposition (3)
Page 29
Winter 2011/2012 MS&E348/Infanger 29