The Branch-and-Sandwich Algorithm for Mixed-Integer Nonlinear Bilevel Problems
|
|
- Ashlyn Edwards
- 6 years ago
- Views:
Transcription
1 The Branch-and-Sandwich Algorithm for Mixed-Integer Nonlinear Bilevel Problems Polyxeni-M. Kleniati and Claire S. Adjiman MINLP Workshop June 2, 204, CMU Funding Bodies EPSRC & LEVERHULME TRUST
2 OUTLINE INTRODUCTION 2 PROPOSED METHOD 3 BOUNDING PROBLEMS: INITIAL NODE 4 BRANCHING & BOUNDING ON SUBDOMAINS 5 NUMERICAL RESULTS 6 CONCLUSIONS IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 2 / 9
3 OUTLINE INTRODUCTION 2 PROPOSED METHOD 3 BOUNDING PROBLEMS: INITIAL NODE 4 BRANCHING & BOUNDING ON SUBDOMAINS 5 NUMERICAL RESULTS 6 CONCLUSIONS IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 2 / 9
4 BILEVEL OPTIMISATION PROBLEM PROBLEM FORMULATION A two-person, non-cooperative game in which the play is sequential The Mixed-Integer Nonlinear Bilevel Problem is min x i,x c,y i,y c F(x i, x c, y i, y c) s.t. G(x i, x c, y i, y c) 0 (y i, y c) arg min y i Y I,y c Y C {f (x i, x c, y i, y c) s.t. g(x i, x c, y i, y c) 0} x i X I ZZ n, x c X C IR n n y i Y I ZZ m, y c Y C IR m m (MINBP) Subscripts i and c stand for integer and continuous, respectively Typical assumptions apply, such as continuity of all functions and compactness of the host sets Assume also twice differentiability of the continuous relaxations of the functions No special class or convexity assumptions are made IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 3 / 9
5 OPTIMAL VALUE EQUIVALENT REFORMULATION Define the inner optimal value function w(x i, x c) = min y i,y c {f (x i, x c, y i, y c) s.t. g(x i, x c, y i, y c) 0, y i Y I, y c Y C} Then problem (e.g. Dempe and Zemkoho, 20): min x i,x c,y i,y c F(x i, x c, y i, y c) s.t. G(x i, x c, y i, y c) 0 g(x i, x c, y i, y c) 0 f (x i, x c, y i, y c) w(x i, x c) x i X I, x c X C y i Y I, y c Y C is equivalent to MINBP without any convexity assumptions whatsoever USEFUL PROPERTY A restriction of the inner problem yields a relaxation of the overall problem and vice versa (Mitsos and Barton, 2006) IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 4 / 9
6 OPTIMAL VALUE EQUIVALENT REFORMULATION Define the inner optimal value function w(x i, x c) = min y i,y c {f (x i, x c, y i, y c) s.t. g(x i, x c, y i, y c) 0, y i Y I, y c Y C} Then problem (e.g. Dempe and Zemkoho, 20): min x i,x c,y i,y c F(x i, x c, y i, y c) s.t. G(x i, x c, y i, y c) 0 g(x i, x c, y i, y c) 0 f (x i, x c, y i, y c) w(x i, x c) x i X I, x c X C y i Y I, y c Y C is equivalent to MINBP without any convexity assumptions whatsoever USEFUL PROPERTY A restriction of the inner problem yields a relaxation of the overall problem and vice versa (Mitsos and Barton, 2006) IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 4 / 9
7 PROPOSED APPROACHES FOR DISCRETE BILEVEL PROGRAMMING INFLUENTIAL WORKS BY BARD ET AL., DEMPE ET AL. AND VICENTE ET AL., e.g. The Mixed Integer Linear Bilevel Programming Problem, Moore & Bard (990) 2 An Algorithm for the Mixed-Integer Nonlinear Bilevel Program. Prob., Edmunds & Bard (992) 3 The Discrete Linear Bilevel Programming Problem, Vicente, Savard & Judice (996) 4 Practical Bilevel Optimization, Bard (998) 5 Foundations of Bilevel Programming, Dempe (2002) 6 Discrete Bilevel Programming, Dempe, Kalashnikov & Ríos-Mercado (2005) 7 Bilevel programming with discrete lower level problems, Fanghänel & Dempe (2009) ADVANCES ON MORE GENERAL CLASSES Global Optimization of Mixed-Integer Bilevel Program. Prob., Gümüş and Floudas (2005) 2 Global Solution of Nonlinear Mixed-Integer Bilevel Programs, Mitsos (200) IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 5 / 9
8 CHALLENGES : ILLUSTRATIVE EXAMPLE (MOORE AND BARD, 990) min x [0,8] s.t. x 0y x ZZ y arg min{y s.t. y Y(x), y ZZ} y [0,4] 4 25x + 20y 30 Y(x) : Inner Feasible Region 3 x + 2y 0 y 2 (2, 2) (2, 22) (f(x,y),f(x,y)) 2x 0y 5 (, 3) (, 4) (, 5) (, 6) (, 7) (, 8) 2x y x IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 6 / 9
9 CHALLENGES : ILLUSTRATIVE EXAMPLE (MOORE AND BARD, 990) min x [0,8] s.t. x 0y x ZZ y arg min{y s.t. y Y(x), y ZZ} y [0,4] 4 25x + 20y 30 Y(x) : Inner Feasible Region 3 x + 2y 0 y 2 (2, 2) (2, 22) (f(x,y),f(x,y)) 2x 0y 5 (, 3) (, 4) (, 5) (, 6) (, 7) (, 8) 2x y x IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 6 / 9
10 CHALLENGE : CONSTRUCTING A CONVERGENT LOWER BOUNDING PROBLEM min x,y s.t. x 0y y Y(x) x [0, 8], y [0, 4] x, y ZZ 4 25x + 20y 30 (4, 42) Y(x) : Inner Feasible Region 3 (3, 32) (3, 33) x + 2y 0 (3, 34) y 2 (2, 2) (2, 22) (2, 23) (2, 24) (2, 25) (2, 26) (f(x,y),f(x,y)) 2x 0y 5 (, 3) (, 4) (, 5) (, 6) (, 7) (, 8) 2x y x IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 6 / 9
11 CHALLENGE 2 : PARTITIONING THE INNER REGION min x [0,8] s.t. x 0y x ZZ y arg min{y s.t. y Y(x), y ZZ} y [0,] min x [0,8] s.t. x 0y x ZZ y arg min{y s.t. y Y(x), y ZZ} y [2,4] 4 25x + 20y 30 Y(x) : Inner Feasible Region 3 x + 2y 0 y 2 (2, 2) (2, 22) (2, 23) (2, 24) (2, 25) (2, 26) y 2 (f(x,y),f(x,y)) y (, 3) (, 4) (, 5) (, 6) (, 7) (, 8) 2x 0y 5 2x y x IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 6 / 9
12 OUTLINE INTRODUCTION 2 PROPOSED METHOD 3 BOUNDING PROBLEMS: INITIAL NODE 4 BRANCHING & BOUNDING ON SUBDOMAINS 5 NUMERICAL RESULTS 6 CONCLUSIONS IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 6 / 9
13 BRANCH-AND-SANDWICH ALGORITHM,2 CONNECTION TO EARLIER WORK A deterministic global optimisation algorithm for bilevel programs with twice continuously differentiable functions 2 continuous decision variables 3 nonconvex inner problem satisfying regularity The Branch-and-Sandwich algorithm was proved to be ε-convergent based on exhaustiveness and the general convergence theory (Horst and Tuy, 996) Branch-and-Sandwich was tested on 33 small problems with promising numerical results Kleniati, P. M. and Adjiman, C. S., 20, Proceedings of the 2 st European Symposium on Computer-Aided Process Engineering, Computer-Aided Chemical Engineering, 29, , 204, Parts I & II, JOGO, DOI 0.007/s ; DOI 0.007/s IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 7 / 9
14 WE EXTEND THE BRANCH-AND-SANDWICH ALGORITHM TO TACKLE MIXED-INTEGER NONLINEAR BILEVEL PROBLEMS CONVERGENT LOWER BOUNDING PROBLEM Employ the optimal value reformulation and replace the inner optimal value function w(x i, x c) by a constant upper bound the relaxed problem has one constraint (cut) only the right hand side of the cut is updated when appropriate PARTITIONING THE INNER REGION Branching scheme that allows branching on the inner variables consider all inner subregions where (inner) global optima may lie SUMMARY OF FEATURES Generation of two sets of upper and lower bounds for the inner and outer objective values the resulting bounding problems are MINLPs Tree management with auxiliary lists of nodes as well as inner and outer fathoming rules exploration of two decision spaces using a single branch-and-bound tree IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 8 / 9
15 OUTLINE INTRODUCTION 2 PROPOSED METHOD 3 BOUNDING PROBLEMS: INITIAL NODE 4 BRANCHING & BOUNDING ON SUBDOMAINS 5 NUMERICAL RESULTS 6 CONCLUSIONS IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 8 / 9
16 INNER PROBLEM BOUNDING SCHEME INNER LOWER BOUND CONSIDER NO BRANCHING YET The inner bounding scheme is based on finding valid lower and upper bounds on w(x i, x c) for all values of the outer vector variable (x i, x c) The inner lower bounding problem is f L = min x i,x c,y i,y c f (x i, x c, y i, y c) s.t. g(x i, x c, y i, y c) 0 x i X I, x c X C, y i Y I, y c Y C A convex relaxation can be derived for problem class considered use of techniques suitable for MINLPs, e.g. Adjiman et al. (2000), Tawarmalani and Sahinidis (2004) f = min f (xi, x x i,x c,y i,y c, y i, y c) c s.t. ğ(x i, x c, y i, y c) 0 x i X I, x c X C, y i Y I, y c Y C IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 9 / 9
17 INNER PROBLEM BOUNDING SCHEME INNER UPPER BOUND CONSIDER NO BRANCHING YET The inner bounding scheme is based on finding valid lower and upper bounds on w(x i, x c) for all values of the outer vector variable (x i, x c) The inner upper bounding problem is the robust counterpart of the inner problem f U = min y i,y c,t s.t. f (x i, x c, y i, y c) t (x i, x c) X I X C g(x i, x c, y i, y c) 0 (x i, x c) X I X C y i Y I, y c Y C t An upper bound can be derived by using SIP techniques, e.g. Bhattacharjee et al. (2005), & interval arithmetic extended to mixed-integer problems, e.g. Apt and Zoeteweij (2007), Berger and Granvilliers (2009) f = min y i,y c,t s.t. t f (XI, X C, y i, y c) t ḡ(x I, X C, y i, y c) 0 y i Y I, y c Y C IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 0 / 9
18 INNER PROBLEM BOUNDING SCHEME (CONT.) MOTIVATION : WE MUST HAVE VALID INNER BOUNDS OVER THE CURRENT SUBDOMAIN FIGURE: Inner lower bound FIGURE: Inner upper bound 6 5 x = 0 x = 0.5 x = Plot of f(x,y) = x 2 y + sin(y) 6 4 Plot of f(x,y) = y 2 /x x =, F * = 3 x = 2, F * = 6 x = 4, F * = f(x,y) (x,y) = (,) (x *,y * ) = (0,4.724) y f(x,y) (x *,y * ) = (,2) (x,y) = (2,2) y IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP / 9
19 OUTER PROBLEM BOUNDING SCHEME CONSIDER NO BRANCHING YET The proposed lower bounding problem is min x i,x c,y i,y c F(x i, x c, y i, y c) s.t. G(x i, x c, y i, y c) 0 g(x i, x c, y i, y c) 0 f (x i, x c, y i, y c) f x i X I, x c X C, y i Y I, y c Y C to tighten, add the inner KKT conditions with respect to the continuous inner variables y c based on regularity being satisfied for all the parameter values any feasible solution in the (MINBP) is feasible in the proposed relaxation For (x i, x c) = ( x i, x c), the upper bounding problem is (Mitsos et al., 2008) min F( x y i,y i, x c, y i, y c) c s.t. G( x i, x c, y i, y c) 0 g( x i, x c, y i, y c) 0 f ( x i, x c, y i, y c) w( x i, x c) + ε f y i Y I, y c Y C any feasible solution in the upper bounding problem is feasible in the (MINBP) set F UB := min{ F, } to express the incumbent IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 2 / 9
20 OUTER PROBLEM BOUNDING SCHEME CONSIDER NO BRANCHING YET The proposed lower bounding problem is min x i,x c,y i,y c F(x i, x c, y i, y c) s.t. G(x i, x c, y i, y c) 0 g(x i, x c, y i, y c) 0 f (x i, x c, y i, y c) f x i X I, x c X C, y i Y I, y c Y C to tighten, add the inner KKT conditions with respect to the continuous inner variables y c based on regularity being satisfied for all the parameter values any feasible solution in the (MINBP) is feasible in the proposed relaxation For (x i, x c) = ( x i, x c), the upper bounding problem is (Mitsos et al., 2008) min F( x y i,y i, x c, y i, y c) c s.t. G( x i, x c, y i, y c) 0 g( x i, x c, y i, y c) 0 f ( x i, x c, y i, y c) w( x i, x c) + ε f y i Y I, y c Y C any feasible solution in the upper bounding problem is feasible in the (MINBP) set F UB := min{ F, } to express the incumbent IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 2 / 9
21 OUTLINE INTRODUCTION 2 PROPOSED METHOD 3 BOUNDING PROBLEMS: INITIAL NODE 4 BRANCHING & BOUNDING ON SUBDOMAINS 5 NUMERICAL RESULTS 6 CONCLUSIONS IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 2 / 9
22 LIST MANAGEMENT AUXILIARY LISTS L: is the classical list of open nodes, corresponding to the outer problem L I : is the list of exclusively inner open nodes L Xp : is the list of (outer & inner) nodes that cover the whole Y for a subdomain X p of X, p n p Number n p equals the number of partition sets X p X s.t. : for each subdomain X p, the whole Y is maintained Two lists L Xp, L Xp2 are called independent if L Xp L Xp2 = two lists with common nodes, e.g. S X p and S 2 X p, are sublists of L Xp C 0 C D B A 2 B 2 C X A B Y X 0 A Y B X 0 A Y X 0 A B Y (a) L [,] (b) L [,] (c) L [,] (d) L [,0], L [0,] For each p, best inner upper bound lowest over Y, but largest over X p: f UB X p = max{ min { f (j) },..., min { f (j) }}. j S Xp j S Xp s IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 3 / 9
23 MODIFIED BOUNDING PROBLEMS ALLOW BRANCHING & CONSIDER A NODE k OUTER UPPER BOUND k := arg min j L Xp w (j) ( x i, x c ) F (k ) = L Xp min F( x i, x y i,y c, y i, y c) c s.t. G( x i, x c, y i, y c) 0 g( x i, x c, y i, y c) 0 f ( x i, x c, y i, y c) w (k ) ( x i, x c) + ε f y i Y (k ) I, y c Y (k ) C INNER LOWER BOUND f (k) = min f (k) (x i, x x i,x c,y i,y c, y i, y c) c s.t. ğ (k) (x i, x c, y i, y c) 0 x i X (k) I, x c X (k) C y i Y (k) I, y c Y (k) C OUTER LOWER BOUND F (k) = min x i,x c,y i,y c F(x i, x c, y i, y c) s.t. G(x i, x c, y i, y c) 0 g(x i, x c, y i, y c) 0 INNER UPPER BOUND f (k) = min y i,y c,t s.t. t f (x i, x c, y i, y c) fx UB p x i X (k) I, x c X (k) C y i Y (k) I, y c Y (k) C f (X (k) I ḡ(x (k) I y i Y (k) I, X (k) C, y i, y c) t, X (k) C, y i, y c) 0, y c Y (k) C IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 4 / 9
24 NODE FATHOMING RULES NODE k L L Xp INNER FATHOMING RULES IF f (k) = or 2 f (k) > fx UB p then fathom, i.e. delete from L (or L I ) and L Xp. OUTER FATHOMING RULES IF F (k) = or 2 F (k) F UB ε F then OUTER FATHOM, i.e. move from L to L I. Hence, k L I L Xp. IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 5 / 9
25 NODE FATHOMING RULES NODE k L L Xp INNER FATHOMING RULES IF f (k) = or 2 f (k) > fx UB p then fathom, i.e. delete from L (or L I ) and L Xp. OUTER FATHOMING RULES IF F (k) = or 2 F (k) F UB ε F then OUTER FATHOM, i.e. move from L to L I. Hence, k L I L Xp. IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 5 / 9
26 OUTLINE INTRODUCTION 2 PROPOSED METHOD 3 BOUNDING PROBLEMS: INITIAL NODE 4 BRANCHING & BOUNDING ON SUBDOMAINS 5 NUMERICAL RESULTS 6 CONCLUSIONS IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 5 / 9
27 ILLUSTRATIVE EXAMPLE REVISITED : EXTENDED-TREE VERSION min { x 0y s.t. x Z, y arg min{y s.t. y Y(x), y Z}} WITH F = 22 AT (x, y ) = (2, 2) x [0,8] y [0,4] 8 X Y f () =, f () =4, F () = 42, x () =2, w( x)=2, F () = 22 IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 6 / 9
28 ILLUSTRATIVE EXAMPLE REVISITED : EXTENDED-TREE VERSION min { x 0y s.t. x Z, y arg min{y s.t. y Y(x), y Z}} WITH F = 22 AT (x, y ) = (2, 2) x [0,8] y [0,4] X f () =, f UB X =4, F () = 42, F UB = Y y y f (2) =, f (2) =4, F (2) = 8 f (3) =2, f (3) =4, F (3) = 42, x (3) =2, w (3) ( x)=2 (lowest), F (3) = 22 IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 6 / 9
29 ILLUSTRATIVE EXAMPLE REVISITED : EXTENDED-TREE VERSION min { x 0y s.t. x Z, y arg min{y s.t. y Y(x), y Z}} WITH F = 22 AT (x, y ) = (2, 2) x [0,8] y [0,4] X f () =, f UB X =4, F () = 42, F UB = Y y y f (2) =, f (2) =4, F (2) = 8 f (3) =2, f (3) =4, F (3) = 42, x (3) =2, w (3) ( x)=2 (lowest), F (3) = 22 IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 6 / 9
30 ILLUSTRATIVE EXAMPLE REVISITED : EXTENDED-TREE VERSION min { x 0y s.t. x Z, y arg min{y s.t. y Y(x), y Z}} WITH F = 22 AT (x, y ) = (2, 2) x [0,8] y [0,4] X X f () =, f UB X =4, F () = 42, F UB = Y y y 2 2 F (2) = 8 f (3) =2, F (3) = 42 3 x 3 x 4 x 3 x f (6) =, f UB X =4 f (7) =, f UB X 2 = f (4) =2, f (4) =4 f (5) =2 > f UB X 2 IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 6 / 9
31 ILLUSTRATIVE EXAMPLE REVISITED : EXTENDED-TREE VERSION min { x 0y s.t. x Z, y arg min{y s.t. y Y(x), y Z}} WITH F = 22 AT (x, y ) = (2, 2) x [0,8] y [0,4] X f () =, f UB X =4, F () = 42, F UB = Y y y 2 2 F (2) = 8 f (3) =2, F (3) = 42 3 x 3 x 4 x 3 x f (6) =, f UB X =4 f (7) =, f UB X 2 = f (4) =2, f (4) =4, F (4) = 42 f (5) =2 > f UB X 2 IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 6 / 9
32 ILLUSTRATIVE EXAMPLE REVISITED : EXTENDED-TREE VERSION min { x 0y s.t. x Z, y arg min{y s.t. y Y(x), y Z}} WITH F = 22 AT (x, y ) = (2, 2) x [0,8] y [0,4] X2 f () =, f UB X =4, F () = 42, F UB = X y y 2 Y 2 F (2) = 8 f (3) =2, F (3) = 42 3 x 3 x 4 x 3 x 4 6 f (6) = 7 4 f (4) =2, F (4) = 42 5 x x 2 f (7) =, f UB X 2 = x x 2 f (5) =2 > f UB X f (0) = f () =, f () =4 f (8) =2, f UB X =4 F (8) = 2 f (9) =2, f UB X 2 =2, F (9) = 22 IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 6 / 9
33 ILLUSTRATIVE EXAMPLE REVISITED : EXTENDED-TREE VERSION min { x 0y s.t. x Z, y arg min{y s.t. y Y(x), y Z}} WITH F = 22 AT (x, y ) = (2, 2) x [0,8] y [0,4] X2 f () =, f UB X =4, F () = 42, F UB = y y 2 Y 2 F (2) = 8 f (3) =2, F (3) = 42 3 x 3 x 4 x 3 x 4 6 f (6) = 7 4 f (4) =2, F (4) = 42 5 x x 2 f (7) =, f UB X 2 = x x 2 f (5) =2 > f UB X f (0) = f () =, f () =4 f (8) =2 F (8) = 2 f (9) =2, f UB X 2 =2, F (9) = 22 IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 6 / 9
34 ILLUSTRATIVE EXAMPLE REVISITED : EXTENDED-TREE VERSION min { x 0y s.t. x Z, y arg min{y s.t. y Y(x), y Z}} WITH F = 22 AT (x, y ) = (2, 2) x [0,8] y [0,4] f () =, f UB X =4, F () = 42, F UB = y y 2 Y 2 F (2) = 8 f (3) =2, F (3) = 42 3 x 3 x 4 x 3 x 4 6 f (6) = 7 4 f (4) =2, F (4) = 42 5 x x 2 f (7) =, f UB X 2 = x x 2 f (5) =2 > f UB X f (0) = f () =, f () =4 f (8) =2 F (8) = 2 f (9) =2, f UB X 2 =2, F (9) = 22 IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 6 / 9
35 PRELIMINARY NUMERICAL RESULTS WITH ε f = 0 5 AND ε F = 0 3 Number of variables No. Source Problem x i xc y i yc F UB Nodes Moore & Bard (990) Example Moore & Bard (990) Example Edmunds & Bard (992) Equation Sahin & Ciric (998) Example Dempe (2002) Equation Mitsos (200) am Mitsos (200) am Mitsos (200) am Mitsos (200) am Mitsos (200) am IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 7 / 9
36 OUTLINE INTRODUCTION 2 PROPOSED METHOD 3 BOUNDING PROBLEMS: INITIAL NODE 4 BRANCHING & BOUNDING ON SUBDOMAINS 5 NUMERICAL RESULTS 6 CONCLUSIONS IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 7 / 9
37 CONCLUDING REMARKS Branch-and-Sandwich is a deterministic global optimisation algorithm that can be applied to mixed-integer nonlinear bilevel problems Key features : encompasses implicitly two branch-and-bound trees 2 introduces simple bounding problems, always obtained from the bounding problems of the parent node 3 allows branch-and-bound with respect to x and y, but at the same time it keeps track of the partitioning of Y for successively refined subdomains of X Performance is linked to the tightness of the inner upper bounds f UB X p Numerical results appear promising Implementation & computational experience to investigate alternative choices in the way each step of the proposed algorithm is performed different branching strategies IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 8 / 9
38 ACKNOWLEDGMENTS IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 9 / 9
39 INTRODUCTION BOUNDING SCHEME: INITIAL NODE CONVERGENCE NUMERICAL RESULTS PROBLEM FORMULATION : CONTINUOUS CASE The optimistic bilevel problem is a LEADER-follower game The leader (outer) problem is: min F(x, y) s.t. G(x, y) 0, (x, y) X Y, y Y(x) (BPP) x,y Y(x) is the global optimal solution set of the follower (inner) problem: Y(x) = arg min f (x, y) g(x, y) 0 y Y Common assumptions should apply, such as continuity of all functions and compactness of X and Y Assume also twice differentiability of all functions For the inner problem, assume constraint qualifications No convexity assumption is made IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 9 / 9
40 INTRODUCTION BOUNDING SCHEME: INITIAL NODE CONVERGENCE NUMERICAL RESULTS CONSTRAINT QUALIFICATION FOR THE INNER PROBLEM RECALL THE INNER PROBLEM min{f (x, y) g(x, y) 0} y Y Assume that a constraint qualification holds for all values of x Regularity ensures that the KKT conditions can be employed and are necessary If we replace y Y by the corresponding bound constraints y L y y U, the KKT conditions of the inner problem define the set below: yf (x, y) + µ yg(x, y) λ + ν = 0, Ω KKT = (x, y, µ, λ, ν) µ T g(x, y) = 0, µ 0, λ T (y L. y) = 0, λ 0, ν T (y y U ) = 0, ν 0. Ω KKT contains all points satisfying the KKT conditions of the inner problem If the inner problem is convex with a unique optimal solution for all values of x the KKT conditions are also sufficient IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 9 / 9
41 INTRODUCTION BOUNDING SCHEME: INITIAL NODE CONVERGENCE NUMERICAL RESULTS MOTIVATING EXAMPLE (MITSOS AND BARTON, 200) min y [,] y s.t. y arg min 6y 4 + 2y 3 8y 2 3/2y + /2 y [,] 9 Plot of f(y) = 6y 4 + 2y 3 8y 2 3/2y + /2 9 Plot of f(y) = 6y 4 + 2y 3 8y 2 3/2y + / f(y) 4 f(y) y (e) y 0 0 y * = y (f) 0 y IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 9 / 9
42 INTRODUCTION BOUNDING SCHEME: INITIAL NODE CONVERGENCE NUMERICAL RESULTS INNER PROBLEM BOUNDING SCHEME CONSIDER NO BRANCHING YET The auxiliary relaxed inner problem is: f L = The auxiliary restricted inner problem is: f U = max min f (x, y) s.t. g(x, y) 0 x X,y Y min x X y Y f (x, y) s.t. g(x, y) 0 IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 9 / 9
43 INTRODUCTION BOUNDING SCHEME: INITIAL NODE CONVERGENCE NUMERICAL RESULTS INNER PROBLEM BOUNDING SCHEME (CONT.) CONSIDER NO BRANCHING YET The auxiliary relaxed inner problem is: f = min fx,y(x, y) s.t. ğ x X,y Y x,y(x, y) 0 Relaxation using convex underestimators f x,y(x, y) and ğ x,y(x, y) (e.g. Floudas, 2000, Tawarmalani and Sahinidis, 2002) The auxiliary restricted inner problem is: f = max x 0,x,y,µ,λ,ν x 0, s.t. x 0 f (x, y) 0, g(x, y) 0, (x, y) X Y, (x, y, µ, λ, ν) Ω KKT. Relaxation using the KKT-approach (Still, 2004, Stein and Still, 2002) IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 9 / 9
44 INTRODUCTION BOUNDING SCHEME: INITIAL NODE CONVERGENCE NUMERICAL RESULTS OUTER PROBLEM BOUNDING SCHEME CONSIDER NO BRANCHING YET The proposed lower bounding problem is: F = min x,y,µ,λ,ν F(x, y), s.t. G(x, y) 0, g(x, y) 0, f (x, y) f, (x, y) X Y, (x, y, µ, λ, ν) Ω KKT, any feasible solution in the BPP is feasible in the proposed relaxation need to solve to global optimality For x = x, the upper bounding problem is (Mitsos et al., 2008): F = min y Y F( x, y) s.t. G( x, y) 0, g( x, y) 0, f ( x, y) w( x) + ε f In this work, w( x) = min fy( x, y) s.t. ğ y Y y( x, y) 0 Any feasible solution ȳ in the restricted problem is feasible in the BPP: f ( x, ȳ) ε f w( x) w( x) f ( x, ȳ) + ε f IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 9 / 9
45 INTRODUCTION BOUNDING SCHEME: INITIAL NODE CONVERGENCE NUMERICAL RESULTS OUTER UPPER BOUNDING PROBLEM REQUIRES PARTITIONING OF THE INNER SPACE Y Convexifying the inner problem for fixed x requires some form of refinement of Y in order to compute tighter and tighter approximations of the inner problem over refined subregions of Y Subdivision of Y is usually applied to semi-infinite programs, but no branching with respect to y the whole Y is always considered in subproblems e.g. Bhattacharjee et al. (2005a;b), Floudas and Stein (2007), Mitsos et al. (2008a) We use partitioning of Y no distinction between the inner and outer decision spaces during branching possible to consider only some subregions of Y and eliminate others via fathoming all Y subregions where global optima may lie are considered IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 9 / 9
46 INTRODUCTION BOUNDING SCHEME: INITIAL NODE CONVERGENCE NUMERICAL RESULTS AFTER FATHOMING : A USEFUL PRELIMINARY THEORETICAL RESULT Every independent list L Xp, p {,..., n p}, still contains all promising subregions of Y where global optimal solutions may lie for any x X p Define the set of fathomed Y domains for X p as follows: F Xp := { d Y (d) Y (d) Y deleted for all x X p}. Then, we prove by contradiction that Y(x) F Xp = x X p The sets F Xp, p =,..., n p, are infeasible in the BPP X p Y (d) IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 9 / 9
47 INTRODUCTION BOUNDING SCHEME: INITIAL NODE CONVERGENCE NUMERICAL RESULTS THE BRANCH-AND-SANDWICH ALGORITHM IS ε-convergent AT TERMINATION, AN ε-optimal SOLUTION OF THE BILEVEL PROBLEM IS COMPUTED Convergent best inner upper bound lim q f UB X pq = min j S x { f (j) } = min j S x min y Y (j){f ( x, y) s.t. g( x, y) 0} = w( x) ε f -finite Convergent inner B-&-B scheme Certain-in-the-limit fathoming by outer infeasibility rule f ( x, ȳ) fx UB } pq fx UB pq w( x) ε f q q f ( x, ȳ) w( x) + ε f ȳ / Y εf ( x) f ( x, ȳ) > w( x) + ε f Consistent bounding scheme: F (kq) and F (kq) are identical in the limit Bound-improving selection operation The Branch-and-Sandwich algorithm is ε-convergent by Horst and Tuy (996) IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 9 / 9
48 INTRODUCTION BOUNDING SCHEME: INITIAL NODE CONVERGENCE NUMERICAL RESULTS PRELIMINARY NUMERICAL RESULTS WITH ε f = 0 5 AND ε F = 0 3 FOR ALL PROBLEMS, EXCEPT NO. 20 WHERE ε F = 0 No. NC Inner n m r F UB Nodes Yes No No Yes Yes Yes Yes No No Yes 0 3 Yes Yes Yes Yes Yes Yes No. NC Inner n m r F UB Nodes 8 Yes Yes Yes Yes Yes Yes Yes Yes Yes No No Yes No No Yes Yes Yes IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 9 / 9
49 INTRODUCTION BOUNDING SCHEME: INITIAL NODE CONVERGENCE NUMERICAL RESULTS BRANCH-AND-BOUND TREE FOR PROBLEM NO. f () = 52.50, f UB [0.,] =0.57, F() = 0.50, F () = y [,0] y [0,] 2 f (2) = 24, f (2) =0.57, F (2) = 3 f (3) = 22.60, f UB [0.,] = 0.0, F (3) =0.50, F (3) = x [0.,0.55] 6 f (6) = 4.50, f (6) =0.3 y [, 0.5] x [0.55,] 7 f (7) = 6, f (7) =0.57 y [ 0.5,0] x [0.,0.55] 4 f (4) = 4.20, f (4) = 0.0, F (4) =0.50, F (4) = y [0,0.5] x [0.55,] 5 f (5) = 5.40, f [0.55,] UB = 0.55, F (5) =0.50, F (5) = y [0.5,] 0 f (0) = 4.60, f (0) =0 f () =.70, f () =0.57 f (8) = 2, f (8) = 0.55, F (8) =0.50, F UB = f (9) = 4.70, f (9) = 0.55, F (9) =0.50, F (9) =0.50 IMPERIAL COLLEGE LONDON BRANCH-AND-SANDWICH ALGORITHM MINLP WORKSHOP 9 / 9
Stochastic Separable Mixed-Integer Nonlinear Programming via Nonconvex Generalized Benders Decomposition
Stochastic Separable Mixed-Integer Nonlinear Programming via Nonconvex Generalized Benders Decomposition Xiang Li Process Systems Engineering Laboratory Department of Chemical Engineering Massachusetts
More informationGlobal Solution of Mixed-Integer Dynamic Optimization Problems
European Symposium on Computer Arded Aided Process Engineering 15 L. Puigjaner and A. Espuña (Editors) 25 Elsevier Science B.V. All rights reserved. Global Solution of Mixed-Integer Dynamic Optimization
More informationA NEW SEQUENTIAL CUTTING PLANE ALGORITHM FOR SOLVING MIXED INTEGER NONLINEAR PROGRAMMING PROBLEMS
EVOLUTIONARY METHODS FOR DESIGN, OPTIMIZATION AND CONTROL P. Neittaanmäki, J. Périaux and T. Tuovinen (Eds.) c CIMNE, Barcelona, Spain 2007 A NEW SEQUENTIAL CUTTING PLANE ALGORITHM FOR SOLVING MIXED INTEGER
More informationA robust optimization based approach to the general solution of mp-milp problems
21 st European Symposium on Computer Aided Process Engineering ESCAPE 21 E.N. Pistikopoulos, M.C. Georgiadis and A. Kokossis (Editors) 2011 Elsevier B.V. All rights reserved. A robust optimization based
More informationA PACKAGE FOR DEVELOPMENT OF ALGORITHMS FOR GLOBAL OPTIMIZATION 1
Mathematical Modelling and Analysis 2005. Pages 185 190 Proceedings of the 10 th International Conference MMA2005&CMAM2, Trakai c 2005 Technika ISBN 9986-05-924-0 A PACKAGE FOR DEVELOPMENT OF ALGORITHMS
More informationB553 Lecture 12: Global Optimization
B553 Lecture 12: Global Optimization Kris Hauser February 20, 2012 Most of the techniques we have examined in prior lectures only deal with local optimization, so that we can only guarantee convergence
More informationBilinear Programming
Bilinear Programming Artyom G. Nahapetyan Center for Applied Optimization Industrial and Systems Engineering Department University of Florida Gainesville, Florida 32611-6595 Email address: artyom@ufl.edu
More informationAn Introduction to Bilevel Programming
An Introduction to Bilevel Programming Chris Fricke Department of Mathematics and Statistics University of Melbourne Outline What is Bilevel Programming? Origins of Bilevel Programming. Some Properties
More informationLinear Bilevel Programming With Upper Level Constraints Depending on the Lower Level Solution
Linear Bilevel Programming With Upper Level Constraints Depending on the Lower Level Solution Ayalew Getachew Mersha and Stephan Dempe October 17, 2005 Abstract Focus in the paper is on the definition
More informationReview of Mixed-Integer Nonlinear and Generalized Disjunctive Programming Methods
Carnegie Mellon University Research Showcase @ CMU Department of Chemical Engineering Carnegie Institute of Technology 2-2014 Review of Mixed-Integer Nonlinear and Generalized Disjunctive Programming Methods
More informationAn Exact Penalty Function Approach for Solving the Linear Bilevel Multiobjective Programming Problem
Filomat 29:4 (2015), 773 779 DOI 10.2298/FIL1504773L Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat An Exact Penalty Function
More informationLaGO - A solver for mixed integer nonlinear programming
LaGO - A solver for mixed integer nonlinear programming Ivo Nowak June 1 2005 Problem formulation MINLP: min f(x, y) s.t. g(x, y) 0 h(x, y) = 0 x [x, x] y [y, y] integer MINLP: - n
More informationLimits and Continuity: section 12.2
Limits and Continuity: section 1. Definition. Let f(x,y) be a function with domain D, and let (a,b) be a point in the plane. We write f (x,y) = L if for each ε > 0 there exists some δ > 0 such that if
More informationReliable Nonlinear Parameter Estimation Using Interval Analysis: Error-in-Variable Approach
Reliable Nonlinear Parameter Estimation Using Interval Analysis: Error-in-Variable Approach Chao-Yang Gau and Mark A. Stadtherr Λ Department of Chemical Engineering University of Notre Dame Notre Dame,
More informationMVE165/MMG630, Applied Optimization Lecture 8 Integer linear programming algorithms. Ann-Brith Strömberg
MVE165/MMG630, Integer linear programming algorithms Ann-Brith Strömberg 2009 04 15 Methods for ILP: Overview (Ch. 14.1) Enumeration Implicit enumeration: Branch and bound Relaxations Decomposition methods:
More informationOn the Global Solution of Linear Programs with Linear Complementarity Constraints
On the Global Solution of Linear Programs with Linear Complementarity Constraints J. E. Mitchell 1 J. Hu 1 J.-S. Pang 2 K. P. Bennett 1 G. Kunapuli 1 1 Department of Mathematical Sciences RPI, Troy, NY
More informationA Nonlinear Presolve Algorithm in AIMMS
A Nonlinear Presolve Algorithm in AIMMS By Marcel Hunting marcel.hunting@aimms.com November 2011 This paper describes the AIMMS presolve algorithm for nonlinear problems. This presolve algorithm uses standard
More informationAn Extension of the Multicut L-Shaped Method. INEN Large-Scale Stochastic Optimization Semester project. Svyatoslav Trukhanov
An Extension of the Multicut L-Shaped Method INEN 698 - Large-Scale Stochastic Optimization Semester project Svyatoslav Trukhanov December 13, 2005 1 Contents 1 Introduction and Literature Review 3 2 Formal
More informationApplied Lagrange Duality for Constrained Optimization
Applied Lagrange Duality for Constrained Optimization Robert M. Freund February 10, 2004 c 2004 Massachusetts Institute of Technology. 1 1 Overview The Practical Importance of Duality Review of Convexity
More informationInteger Programming Chapter 9
1 Integer Programming Chapter 9 University of Chicago Booth School of Business Kipp Martin October 30, 2017 2 Outline Branch and Bound Theory Branch and Bound Linear Programming Node Selection Strategies
More informationLaGO. Ivo Nowak and Stefan Vigerske. Humboldt-University Berlin, Department of Mathematics
LaGO a Branch and Cut framework for nonconvex MINLPs Ivo Nowak and Humboldt-University Berlin, Department of Mathematics EURO XXI, July 5, 2006 21st European Conference on Operational Research, Reykjavik
More informationImplementing a B&C algorithm for Mixed-Integer Bilevel Linear Programming
Implementing a B&C algorithm for Mixed-Integer Bilevel Linear Programming Matteo Fischetti, University of Padova 8th Cargese-Porquerolles Workshop on Combinatorial Optimization, August 2017 1 Bilevel Optimization
More informationMATHEMATICS II: COLLECTION OF EXERCISES AND PROBLEMS
MATHEMATICS II: COLLECTION OF EXERCISES AND PROBLEMS GRADO EN A.D.E. GRADO EN ECONOMÍA GRADO EN F.Y.C. ACADEMIC YEAR 2011-12 INDEX UNIT 1.- AN INTRODUCCTION TO OPTIMIZATION 2 UNIT 2.- NONLINEAR PROGRAMMING
More informationA Deterministic Global Optimization Method for Variational Inference
A Deterministic Global Optimization Method for Variational Inference Hachem Saddiki Mathematics and Statistics University of Massachusetts, Amherst saddiki@math.umass.edu Andrew C. Trapp Operations and
More informationarxiv: v3 [math.oc] 3 Nov 2016
BILEVEL POLYNOMIAL PROGRAMS AND SEMIDEFINITE RELAXATION METHODS arxiv:1508.06985v3 [math.oc] 3 Nov 2016 JIAWANG NIE, LI WANG, AND JANE J. YE Abstract. A bilevel program is an optimization problem whose
More informationA PARAMETRIC SIMPLEX METHOD FOR OPTIMIZING A LINEAR FUNCTION OVER THE EFFICIENT SET OF A BICRITERIA LINEAR PROBLEM. 1.
ACTA MATHEMATICA VIETNAMICA Volume 21, Number 1, 1996, pp. 59 67 59 A PARAMETRIC SIMPLEX METHOD FOR OPTIMIZING A LINEAR FUNCTION OVER THE EFFICIENT SET OF A BICRITERIA LINEAR PROBLEM NGUYEN DINH DAN AND
More informationShiqian Ma, MAT-258A: Numerical Optimization 1. Chapter 2. Convex Optimization
Shiqian Ma, MAT-258A: Numerical Optimization 1 Chapter 2 Convex Optimization Shiqian Ma, MAT-258A: Numerical Optimization 2 2.1. Convex Optimization General optimization problem: min f 0 (x) s.t., f i
More informationPreprint Stephan Dempe, Alina Ruziyeva The Karush-Kuhn-Tucker optimality conditions in fuzzy optimization ISSN
Fakultät für Mathematik und Informatik Preprint 2010-06 Stephan Dempe, Alina Ruziyeva The Karush-Kuhn-Tucker optimality conditions in fuzzy optimization ISSN 1433-9307 Stephan Dempe, Alina Ruziyeva The
More informationLagrangean relaxation - exercises
Lagrangean relaxation - exercises Giovanni Righini Set covering We start from the following Set Covering Problem instance: min z = x + 2x 2 + x + 2x 4 + x 5 x + x 2 + x 4 x 2 + x x 2 + x 4 + x 5 x + x
More informationExact Algorithms for Mixed-Integer Bilevel Linear Programming
Exact Algorithms for Mixed-Integer Bilevel Linear Programming Matteo Fischetti, University of Padova (based on joint work with I. Ljubic, M. Monaci, and M. Sinnl) Lunteren Conference on the Mathematics
More informationThis article was originally published in a journal published by Elsevier, and the attached copy is provided by Elsevier for the author s benefit and for the benefit of the author s institution, for non-commercial
More informationIntroduction to Stochastic Combinatorial Optimization
Introduction to Stochastic Combinatorial Optimization Stefanie Kosuch PostDok at TCSLab www.kosuch.eu/stefanie/ Guest Lecture at the CUGS PhD course Heuristic Algorithms for Combinatorial Optimization
More informationGraph Coloring via Constraint Programming-based Column Generation
Graph Coloring via Constraint Programming-based Column Generation Stefano Gualandi Federico Malucelli Dipartimento di Elettronica e Informatica, Politecnico di Milano Viale Ponzio 24/A, 20133, Milan, Italy
More informationLECTURE 18 LECTURE OUTLINE
LECTURE 18 LECTURE OUTLINE Generalized polyhedral approximation methods Combined cutting plane and simplicial decomposition methods Lecture based on the paper D. P. Bertsekas and H. Yu, A Unifying Polyhedral
More informationResearch Interests Optimization:
Mitchell: Research interests 1 Research Interests Optimization: looking for the best solution from among a number of candidates. Prototypical optimization problem: min f(x) subject to g(x) 0 x X IR n Here,
More informationFoundations of Computing
Foundations of Computing Darmstadt University of Technology Dept. Computer Science Winter Term 2005 / 2006 Copyright c 2004 by Matthias Müller-Hannemann and Karsten Weihe All rights reserved http://www.algo.informatik.tu-darmstadt.de/
More information3 No-Wait Job Shops with Variable Processing Times
3 No-Wait Job Shops with Variable Processing Times In this chapter we assume that, on top of the classical no-wait job shop setting, we are given a set of processing times for each operation. We may select
More informationPenalty Alternating Direction Methods for Mixed- Integer Optimization: A New View on Feasibility Pumps
Penalty Alternating Direction Methods for Mixed- Integer Optimization: A New View on Feasibility Pumps Björn Geißler, Antonio Morsi, Lars Schewe, Martin Schmidt FAU Erlangen-Nürnberg, Discrete Optimization
More informationGlobal Optimization of MINLP Problems in Process Synthesis and Design
Global Optimization of MINLP Problems in Process Synthesis and Design C.S. Adjiman, I.P. Androulakis and C.A. Floudas 1 Department of Chemical Engineering, Princeton University, Princeton, NJ 08544, USA
More informationSimplicial Global Optimization
Simplicial Global Optimization Julius Žilinskas Vilnius University, Lithuania September, 7 http://web.vu.lt/mii/j.zilinskas Global optimization Find f = min x A f (x) and x A, f (x ) = f, where A R n.
More informationThe Supporting Hyperplane Optimization Toolkit A Polyhedral Outer Approximation Based Convex MINLP Solver Utilizing a Single Branching Tree Approach
The Supporting Hyperplane Optimization Toolkit A Polyhedral Outer Approximation Based Convex MINLP Solver Utilizing a Single Branching Tree Approach Andreas Lundell a, Jan Kronqvist b, and Tapio Westerlund
More information2 The Service Provision Problem The formulation given here can also be found in Tomasgard et al. [6]. That paper also details the background of the mo
Two-Stage Service Provision by Branch and Bound Shane Dye Department ofmanagement University of Canterbury Christchurch, New Zealand s.dye@mang.canterbury.ac.nz Asgeir Tomasgard SINTEF, Trondheim, Norway
More informationInteger Programming ISE 418. Lecture 7. Dr. Ted Ralphs
Integer Programming ISE 418 Lecture 7 Dr. Ted Ralphs ISE 418 Lecture 7 1 Reading for This Lecture Nemhauser and Wolsey Sections II.3.1, II.3.6, II.4.1, II.4.2, II.5.4 Wolsey Chapter 7 CCZ Chapter 1 Constraint
More informationRecent Developments in Model-based Derivative-free Optimization
Recent Developments in Model-based Derivative-free Optimization Seppo Pulkkinen April 23, 2010 Introduction Problem definition The problem we are considering is a nonlinear optimization problem with constraints:
More informationLecture 12: Feasible direction methods
Lecture 12 Lecture 12: Feasible direction methods Kin Cheong Sou December 2, 2013 TMA947 Lecture 12 Lecture 12: Feasible direction methods 1 / 1 Feasible-direction methods, I Intro Consider the problem
More informationTIM 206 Lecture Notes Integer Programming
TIM 206 Lecture Notes Integer Programming Instructor: Kevin Ross Scribe: Fengji Xu October 25, 2011 1 Defining Integer Programming Problems We will deal with linear constraints. The abbreviation MIP stands
More informationFinding Euclidean Distance to a Convex Cone Generated by a Large Number of Discrete Points
Submitted to Operations Research manuscript (Please, provide the manuscript number!) Finding Euclidean Distance to a Convex Cone Generated by a Large Number of Discrete Points Ali Fattahi Anderson School
More informationSome Advanced Topics in Linear Programming
Some Advanced Topics in Linear Programming Matthew J. Saltzman July 2, 995 Connections with Algebra and Geometry In this section, we will explore how some of the ideas in linear programming, duality theory,
More informationCharacterizing Improving Directions Unconstrained Optimization
Final Review IE417 In the Beginning... In the beginning, Weierstrass's theorem said that a continuous function achieves a minimum on a compact set. Using this, we showed that for a convex set S and y not
More informationThe AIMMS Outer Approximation Algorithm for MINLP
The AIMMS Outer Approximation Algorithm for MINLP (using GMP functionality) By Marcel Hunting marcel.hunting@aimms.com November 2011 This document describes how to use the GMP variant of the AIMMS Outer
More informationStochastic branch & bound applying. target oriented branch & bound method to. optimal scenario tree reduction
Stochastic branch & bound applying target oriented branch & bound method to optimal scenario tree reduction Volker Stix Vienna University of Economics Department of Information Business Augasse 2 6 A-1090
More informationGeneral properties of staircase and convex dual feasible functions
General properties of staircase and convex dual feasible functions JÜRGEN RIETZ, CLÁUDIO ALVES, J. M. VALÉRIO de CARVALHO Centro de Investigação Algoritmi da Universidade do Minho, Escola de Engenharia
More informationStandard dimension optimization of steel frames
Computer Aided Optimum Design in Engineering IX 157 Standard dimension optimization of steel frames U. Klanšek & S. Kravanja University of Maribor, Faculty of Civil Engineering, Slovenia Abstract This
More informationA Comparison of Mixed-Integer Programming Models for Non-Convex Piecewise Linear Cost Minimization Problems
A Comparison of Mixed-Integer Programming Models for Non-Convex Piecewise Linear Cost Minimization Problems Keely L. Croxton Fisher College of Business The Ohio State University Bernard Gendron Département
More informationSelected Topics in Column Generation
Selected Topics in Column Generation February 1, 2007 Choosing a solver for the Master Solve in the dual space(kelly s method) by applying a cutting plane algorithm In the bundle method(lemarechal), a
More informationImproving the heuristic performance of Benders decomposition
Improving the heuristic performance of Benders decomposition Stephen J. Maher Department of Management Science, Lancaster University, Bailrigg, Lancaster LA1 4YX, UK Abstract A general enhancement of the
More informationBilinear Modeling Solution Approach for Fixed Charged Network Flow Problems (Draft)
Bilinear Modeling Solution Approach for Fixed Charged Network Flow Problems (Draft) Steffen Rebennack 1, Artyom Nahapetyan 2, Panos M. Pardalos 1 1 Department of Industrial & Systems Engineering, Center
More informationBenders in a nutshell Matteo Fischetti, University of Padova
Benders in a nutshell Matteo Fischetti, University of Padova ODS 2017, Sorrento, September 2017 1 Benders decomposition The original Benders decomposition from the 1960s uses two distinct ingredients for
More informationThe AIMMS Outer Approximation Algorithm for MINLP
The AIMMS Outer Approximation Algorithm for MINLP (using GMP functionality) By Marcel Hunting Paragon Decision Technology BV An AIMMS White Paper November, 2011 Abstract This document describes how to
More informationRevisiting the Upper Bounding Process in a Safe Branch and Bound Algorithm
Revisiting the Upper Bounding Process in a Safe Branch and Bound Algorithm Alexandre Goldsztejn 1, Yahia Lebbah 2,3, Claude Michel 3, and Michel Rueher 3 1 CNRS / Université de Nantes 2, rue de la Houssinière,
More informationLecture 2 September 3
EE 381V: Large Scale Optimization Fall 2012 Lecture 2 September 3 Lecturer: Caramanis & Sanghavi Scribe: Hongbo Si, Qiaoyang Ye 2.1 Overview of the last Lecture The focus of the last lecture was to give
More informationPessimistic bilevel linear optimization
Pessimistic bilevel linear optimization S. Dempe, G. Luo 2, S. Franke. TU Bergakademie Freiberg, Germany, Institute of Numerical Mathematics and Optimization 2. Guangdong University of Finance, China,
More informationEmbedding Formulations, Complexity and Representability for Unions of Convex Sets
, Complexity and Representability for Unions of Convex Sets Juan Pablo Vielma Massachusetts Institute of Technology CMO-BIRS Workshop: Modern Techniques in Discrete Optimization: Mathematics, Algorithms
More informationLECTURE NOTES Non-Linear Programming
CEE 6110 David Rosenberg p. 1 Learning Objectives LECTURE NOTES Non-Linear Programming 1. Write out the non-linear model formulation 2. Describe the difficulties of solving a non-linear programming model
More information9.4 SOME CHARACTERISTICS OF INTEGER PROGRAMS A SAMPLE PROBLEM
9.4 SOME CHARACTERISTICS OF INTEGER PROGRAMS A SAMPLE PROBLEM Whereas the simplex method is effective for solving linear programs, there is no single technique for solving integer programs. Instead, a
More informationUnit.9 Integer Programming
Unit.9 Integer Programming Xiaoxi Li EMS & IAS, Wuhan University Dec. 22-29, 2016 (revised) Operations Research (Li, X.) Unit.9 Integer Programming Dec. 22-29, 2016 (revised) 1 / 58 Organization of this
More informationGeneralized subinterval selection criteria for interval global optimization
Generalized subinterval selection criteria for interval global optimization Tibor Csendes University of Szeged, Institute of Informatics, Szeged, Hungary Abstract The convergence properties of interval
More informationTopology problem set Integration workshop 2010
Topology problem set Integration workshop 2010 July 28, 2010 1 Topological spaces and Continuous functions 1.1 If T 1 and T 2 are two topologies on X, show that (X, T 1 T 2 ) is also a topological space.
More informationA Center-Cut Algorithm for Quickly Obtaining Feasible Solutions and Solving Convex MINLP Problems
A Center-Cut Algorithm for Quickly Obtaining Feasible Solutions and Solving Convex MINLP Problems Jan Kronqvist a, David E. Bernal b, Andreas Lundell a, and Tapio Westerlund a a Faculty of Science and
More informationA Note on Smoothing Mathematical Programs with Equilibrium Constraints
Applied Mathematical Sciences, Vol. 3, 2009, no. 39, 1943-1956 A Note on Smoothing Mathematical Programs with Equilibrium Constraints M. A. Tawhid Department of Mathematics and Statistics School of Advanced
More informationGraph Theory and Optimization Approximation Algorithms
Graph Theory and Optimization Approximation Algorithms Nicolas Nisse Université Côte d Azur, Inria, CNRS, I3S, France October 2018 Thank you to F. Giroire for some of the slides N. Nisse Graph Theory and
More informationLagrangean Relaxation of the Hull-Reformulation of Linear Generalized Disjunctive Programs and its use in Disjunctive Branch and Bound
Lagrangean Relaxation of the Hull-Reformulation of Linear Generalized Disjunctive Programs and its use in Disjunctive Branch and Bound Francisco Trespalacios, Ignacio E. Grossmann Department of Chemical
More informationInvestigating Mixed-Integer Hulls using a MIP-Solver
Investigating Mixed-Integer Hulls using a MIP-Solver Matthias Walter Otto-von-Guericke Universität Magdeburg Joint work with Volker Kaibel (OvGU) Aussois Combinatorial Optimization Workshop 2015 Outline
More informationPrinciples of Network Economics
Hagen Bobzin Principles of Network Economics SPIN Springer s internal project number, if known unknown Monograph August 12, 2005 Springer Berlin Heidelberg New York Hong Kong London Milan Paris Tokyo Contents
More informationTMA946/MAN280 APPLIED OPTIMIZATION. Exam instructions
Chalmers/GU Mathematics EXAM TMA946/MAN280 APPLIED OPTIMIZATION Date: 03 05 28 Time: House V, morning Aids: Text memory-less calculator Number of questions: 7; passed on one question requires 2 points
More information3 INTEGER LINEAR PROGRAMMING
3 INTEGER LINEAR PROGRAMMING PROBLEM DEFINITION Integer linear programming problem (ILP) of the decision variables x 1,..,x n : (ILP) subject to minimize c x j j n j= 1 a ij x j x j 0 x j integer n j=
More informationTilburg University. Document version: Publisher final version (usually the publisher pdf) Publication date: Link to publication
Tilburg University Multi-stage Adjustable Robust Mixed-Integer Optimization via Iterative Splitting of the Uncertainty set (Revision of CentER Discussion Paper 2014-056) Postek, Krzysztof; den Hertog,
More informationA New Bound for the Midpoint Solution in Minmax Regret Optimization with an Application to the Robust Shortest Path Problem
A New Bound for the Midpoint Solution in Minmax Regret Optimization with an Application to the Robust Shortest Path Problem André Chassein and Marc Goerigk Fachbereich Mathematik, Technische Universität
More informationMixed Integer Optimization in the Chemical Process Industry - Experience, Potential and Future Perspectives
Mixed Integer Optimization in the Chemical Process Industry - Experience, Potential and Future Perspectives Josef Kallrath BASF-AG, ZDP/C (Scientific Computing), C13, D-67056 Ludwigshafen, e-mail: josef.kallrath@basf-ag.de
More informationA Lifted Linear Programming Branch-and-Bound Algorithm for Mixed Integer Conic Quadratic Programs
A Lifted Linear Programming Branch-and-Bound Algorithm for Mixed Integer Conic Quadratic Programs Juan Pablo Vielma Shabbir Ahmed George L. Nemhauser H. Milton Stewart School of Industrial and Systems
More informationProbabilistic Graphical Models
School of Computer Science Probabilistic Graphical Models Theory of Variational Inference: Inner and Outer Approximation Eric Xing Lecture 14, February 29, 2016 Reading: W & J Book Chapters Eric Xing @
More informationA Little Point Set Topology
A Little Point Set Topology A topological space is a generalization of a metric space that allows one to talk about limits, convergence, continuity and so on without requiring the concept of a distance
More informationMathematical and Algorithmic Foundations Linear Programming and Matchings
Adavnced Algorithms Lectures Mathematical and Algorithmic Foundations Linear Programming and Matchings Paul G. Spirakis Department of Computer Science University of Patras and Liverpool Paul G. Spirakis
More informationWorkshop on Global Optimization: Methods and Applications
Workshop on Global Optimization: Methods and Applications May 11-12, 2007 Fields Institute, Toronto Organizers Thomas Coleman (University of Waterloo) Panos Pardalos (University of Florida) Stephen Vavasis
More informationContinuous Piecewise Linear Delta-Approximations for. Univariate Functions: Computing Minimal Breakpoint. Systems
Noname manuscript No. (will be inserted by the editor) 1 2 3 Continuous Piecewise Linear Delta-Approximations for Univariate Functions: Computing Minimal Breakpoint Systems 4 Steffen Rebennack Josef Kallrath
More informationTechnische Universität Ilmenau Institut für Mathematik
Technische Universität Ilmenau Institut für Mathematik Preprint No. M 18/11 An algorithmic approach to multiobjective optimization with decision uncertainty Gabriele Eichfelder, Julia Niebling, Stefan
More informationDistance-to-Solution Estimates for Optimization Problems with Constraints in Standard Form
Distance-to-Solution Estimates for Optimization Problems with Constraints in Standard Form Philip E. Gill Vyacheslav Kungurtsev Daniel P. Robinson UCSD Center for Computational Mathematics Technical Report
More information2 is not feasible if rounded. x =0,x 2
Integer Programming Definitions Pure Integer Programming all variables should be integers Mied integer Programming Some variables should be integers Binary integer programming The integer variables are
More informationMethods and Models for Combinatorial Optimization Exact methods for the Traveling Salesman Problem
Methods and Models for Combinatorial Optimization Exact methods for the Traveling Salesman Problem L. De Giovanni M. Di Summa The Traveling Salesman Problem (TSP) is an optimization problem on a directed
More informationAgenda. Understanding advanced modeling techniques takes some time and experience No exercises today Ask questions!
Modeling 2 Agenda Understanding advanced modeling techniques takes some time and experience No exercises today Ask questions! Part 1: Overview of selected modeling techniques Background Range constraints
More informationSVMs for Structured Output. Andrea Vedaldi
SVMs for Structured Output Andrea Vedaldi SVM struct Tsochantaridis Hofmann Joachims Altun 04 Extending SVMs 3 Extending SVMs SVM = parametric function arbitrary input binary output 3 Extending SVMs SVM
More informationA Truncated Newton Method in an Augmented Lagrangian Framework for Nonlinear Programming
A Truncated Newton Method in an Augmented Lagrangian Framework for Nonlinear Programming Gianni Di Pillo (dipillo@dis.uniroma1.it) Giampaolo Liuzzi (liuzzi@iasi.cnr.it) Stefano Lucidi (lucidi@dis.uniroma1.it)
More informationMINLP applications, part II: Water Network Design and some applications of black-box optimization
MINLP applications, part II: Water Network Design and some applications of black-box optimization Claudia D Ambrosio CNRS & LIX, École Polytechnique dambrosio@lix.polytechnique.fr 5th Porto Meeting on
More informationConvergence of Nonconvex Douglas-Rachford Splitting and Nonconvex ADMM
Convergence of Nonconvex Douglas-Rachford Splitting and Nonconvex ADMM Shuvomoy Das Gupta Thales Canada 56th Allerton Conference on Communication, Control and Computing, 2018 1 What is this talk about?
More informationFINITE DISJUNCTIVE PROGRAMMING CHARACTERIZATIONS FOR GENERAL MIXED-INTEGER LINEAR PROGRAMS
FINITE DISJUNCTIVE PROGRAMMING CHARACTERIZATIONS FOR GENERAL MIXED-INTEGER LINEAR PROGRAMS BINYUAN CHEN, SİMGE KÜÇÜKYAVUZ, SUVRAJEET SEN Abstract. In this paper, we give a finite disjunctive programming
More informationCombined Reformulation of Bilevel Programming Problems
Schedae Informaticae Vol. 21 (2012): 65 79 doi: 10.4467/20838476SI.12.005.0815 Combined Reformulation of Bilevel Programming Problems Maria Pilecka Department of Mathematics and Computer Science, TU Bergakademie
More informationConvex Optimization MLSS 2015
Convex Optimization MLSS 2015 Constantine Caramanis The University of Texas at Austin The Optimization Problem minimize : f (x) subject to : x X. The Optimization Problem minimize : f (x) subject to :
More informationMonotone Paths in Geometric Triangulations
Monotone Paths in Geometric Triangulations Adrian Dumitrescu Ritankar Mandal Csaba D. Tóth November 19, 2017 Abstract (I) We prove that the (maximum) number of monotone paths in a geometric triangulation
More informationThe goal of this paper is to develop models and methods that use complementary
for a Class of Optimization Problems Vipul Jain Ignacio E. Grossmann Department of Chemical Engineering, Carnegie Mellon University, Pittsburgh, Pennsylvania, 15213, USA Vipul_Jain@i2.com grossmann@cmu.edu
More informationMTAEA Convexity and Quasiconvexity
School of Economics, Australian National University February 19, 2010 Convex Combinations and Convex Sets. Definition. Given any finite collection of points x 1,..., x m R n, a point z R n is said to be
More information