Integer Programming (reduced to 180 minutes)

Size: px
Start display at page:

Download "Integer Programming (reduced to 180 minutes)"

Transcription

1 Integer Programming (reduced to 10 minutes) 1 1 Departamento de Estadística e Investigación Operativa Universidad de Murcia doc-course Constructive approximation, Optimization and Mathematical Modeling Sevilla 2010

2 SESSION ONE. MOTIVATION

3 An integer (linear) programming problem is min c x >< s.t. Ax b (A x b ) (A x = b ) x Z n + with c R n, A m n = (a ij ), a ij R i, j, b R m For instance, max 40x x 2 >< s.t. x 1 4 6x x 2 33 x 2 2 x 1, x 2 Z +. n = 2, m = 3 c = ( 40, 55) «1 6 0 A = b 33 2 A

4 By removing the integrity constraints, we get the linear relaxation of this formulation. We know how to solve it in an efficient way: (dual) simplex algorithm. In the example, max 40x x 2 >< s.t. x 1 4 6x x 2 33 x 2 2 x 1, x 2 0 the optimal solution `4, 5 11 is not integer. We should not waste our time rounding it: (4, 1) does not satisfy the second constraint and (4, 0) gives an objective value 160, worse than (3, 1).

5 Some academic examples 1 Decide how to invest c e if there are n projects available. To invest in the j-th project costs c j 0 e and gives a profit b j > c j. Variables x j = ( 1 if project j is chosen 0 otherwise >< s.t. max nx (b j c j )x j j=1 nx c j x j c j=1 x j {0, 1} x j 0 j x j 1 j x j Z j j j = 1,..., n

6 Some academic examples 2 A businessman owns a company with n workers. In some moment, n tasks must be done and each worker must do one task. The profit of assigning worker i to task j is b ij. x ij = ( 1 if task j is assigned to worker i 0 otherwise i, j = 1,..., n max >< s.t. nx nx b ij x ij i=1 j=1 nx x ij = 1 j i=1 nx x ij = 1 i j=1 x ij {0, 1} i, j

7 Some academic examples 3 Given some regions, we want to decide where to install emergency centers. The cost of a center in region j is c j. Not all the regions can be attended from a center installed at a given region and there cannot be unattended regions. Data: Variables: a ij = 1 if region i can be attended from region j x j = 1 if we choose region j to install a center >< min s.t. P j c jx j P n j=1 a ijx j 1 x j {0, 1} j i

8 Some academic examples 4 Find a shortest path from s to t on a directed graph (V, A) with lengths l ij > 0. Variables: x ij = 1 if arc (i, j) belongs to the path. min >< s.t. P i P j l ijx ij P k x sk = 1 P k x ik P k x ki = 0 i s, t P k x kt = 1 x ij {0, 1} i, j

9 Some academic examples 5 Find a shortest tour traversing all nodes on a directed graph (V, A) with lengths l ij > 0. Variables: x ij = 1 if arc (i, j) belongs to the tour min >< s.t. P P i j l ijx ij P j x ij = 1 i P i x ij = 1 j x ij {0, 1} i, j X X x ij S 1 S N, 2 S n 1 i S j S

10 Real life applications Facility location Vehicle routing High schools timetables Pick and delivery Inventory control Sensitive data protection Industrial design Task sequencing Military Supply chain management Recycling Polling districts design Tolls Voting systems design Telecom networks design Clustering Data bases design Insurance Archaeology Psychology Sudokus Many more...

11 Combinatorial auctions How to assign items to bidders when bids are done on bundles of objects?

12 Combinatorial auctions Data: J: bidders I : objects S: bundles (subsets of I ) b js money j J offers by s S M bundles somebody is interested in Variables: y js = ( 1 if bundle s is assigned to bidder j 0 otherwise j J, s M >< max s.t. P j J P j J P s M b jsy js P s M:s i y js 1 i I y js {0, 1} j J, s M X y js 1 j J s M

13 Football! In some league of some country, a double round tournament has been designed to satisfy televisions. The only thing we must decide is if team A receives team B at home either in the first or in the second round, in order to minimize the number of times each team plays two consecutive matches a home or as a visitor. Variables (tricky): y i = 1 if team i plays first day at home v it = 1 if team i goes back home after t-th day s it = 1 if team i goes out after t-th day x it = 1 if team i plays at home day t P P max i t (s it + v it ) s.t. x it + x jt = 1 if i plays against j day t >< s it + v it 1 i, t x it + x i,t+(n 1) = 1 i, t x it = y i + P j<t (v ij s ij ) i, t y i = x i1 i x it, y i, v it, s it {0, 1} i, t

14 Proteins

15 Proteins

16 Proteins comparison Unfolded protein Folded protein Representation by means of a (sorted) graph:

17 Proteins comparison Unfolded protein Folded protein Representation by means of a (sorted) graph:

18 Proteins comparison Joints in the second level are used to compare two proteins G 1 = (V i, E 1) G 2 = (V 2, E 2) V 1 = (1,..., n 1) V 2 = (1,..., n 2) looking for i 1 <... < i k j 1 <... < j k in such a way that the number of times an edge (i a, i b ) in graph 1 meets an edge (j a, j b ) in graph 2 be maximized.

19 Proteins comparison

20 Proteins comparison Data: b i1 j 1 i 2 j 2 = 1/2 if (i 1, i 2) E 1 and (j 1, j 2) E 2. Variables: x ij = 1 if node i in first graph matches node j in the second graph Nonlinear! max >< s.t. Pi 1 Pi 2 Pj 1 P j 2 b i1 j 1 i 2 j 2 x i1 j 1 x i2 j P 2 j x ij 1 i P i x ij 1 j x i1 j 1 + x i2 j 2 1 if edges cross each other x ij {0, 1} i, j

21 Formulations Definition A polyhedron P R n is P = {x R n ; Ax b} where (A, b) has order m (n + 1). Definition A polyhedron P R n is a formulation of a set X Z n iff X = P Z n. Same feasible set, different formulations

22 Formulations Definition Given a finite set X, the convex hull of X, denoted conv(x ), is: conv(x ) = {x : x = tx λ i x i, i=1 tx λ i = 1, λ i 0 i i=1 over all subsets {x 1,..., x t } of X } conv(x ) is a polyhedron All the extreme points of conv(x ) yield in X Consequently we could replace by which is a linear programming problem. max{cx : x X } max{cx : x conv(x )},

23 Formulations A formulation P 1 is better than other formulation P 2 if P 1 P 2 X = {(0, 0, 0, 0), (1, 0, 0, 0), (0, 1, 0, 0), (0, 0, 1, 0), (0, 0, 0, 1), (0, 1, 0, 1), (0, 0, 1, 1)}. P 1 = {0 x 1, 3x x x x 4 100} P 2 = {0 x 1, 4x 1 + 3x 2 + 2x 3 + x 4 4} 9 4x 1 + 3x 2 + 2x 3 + x 4 4 >< >= x 1 + x 2 + x 3 1 P 3 = x 1 + x 4 1 >; 0 x 1 conv(x ) = P 3 P 2 P 1

24 SESSION TWO. RESOLUTION

25 Step 1. REFORMULATION Example: p-median problem.

26 Step 1. REFORMULATION Example: p-median problem.

27 Step 1. REFORMULATION Data: n number of points p number of medians distance between i and j d ij Variables: j 1 if j is median y j = 0 otherwise j 1 if point i is allocated to median j x ij = 0 otherwise min s.t. >< P P i j d ijx ij P j x ij = 1 i P i x ij n y j j P j y j = p x ij {0, 1} i, j y j {0, 1} j min s.t. >< P P i j d ijx ij P j x ij = 1 i x ij y j i, j P j y j = p x ij {0, 1} i, j y j {0, 1} j

28 Step 1. REFORMULATION

29 Step 2. CUTTING THE POLYHEDRON Definition An inequality πx π 0, with π R n, π 0 R, is called valid inequality for P R n if it is satisfied by all the points in P.

30 Generating valid inequalities (cutting planes) Start with (P) >< min s.t. cx Ax = b x j Z + Let x be the optimal solution for the linear relaxation of (P). Choose x k such that x k is not integer. Then, an equality x k + X j / B y kj x j = x k can be extracted from the dual simplex final tableau. j

31 Generating valid inequalities (cutting planes) Splitting integer parts and fractional parts x k + X j / B ( y kj + f kj )x j = x k + f k, and then x k + X z } { y kj x k = X f kj x j +f k f k. j / B j / B {z } {z } 0 Z LHS is integer in the feasible region and f k < 1, thus 0 Therefore valid inequality X f kj x j f k j / B 0 can be added to the problem.

32 Example >< max 3x 1 + 4x 2 >< max 3x 1 + 4x 2 s.t. 3x 1 + x 2 + x 3 = 6 s.t. 2x 1 + 3x 2 + x 4 = 9 x x3 1 7 x4 = 9 7 x x x4 = 15 7 From the first equality 3 7 x3 6 7 x From the second equality 5 7 x3 3 7 x4 1 7

33 Generating valid inequalities (cutting planes) 2 min >< s.t. (P) cx Ax b x 0 x j Z j I. Let x be the optimal solution for the linear relaxation of (P). Choose x k, k I, such that x k is not integer. Then, an equality x k + X j / B y kj x j = x k can be extracted from the dual simplex final tableau.

34 Generating valid inequalities (cutting planes) 2 Re-writing: x k x k = f k X j / B y kj x j. We distinguish two cases: 1 If x k x k then x k x k 0 and therefore X y kj x j f k. (1) j / B 2 If x k x k + 1, it follows f k X j / B y kj x j 1 and then X y kj x j f k 1. (2) j / B

35 We define From (1) and From (2) and then B + := {j / B : y kj > 0} B := {j / B : y kj < 0} 0 X z X } { y kj x j y kj x j f k {z} {z} j B + X j B < 0 j B + y kj x j f k. 0 X z X } { y kj x j + y kj x j f k 1 {z} {z} j B j B + > X y kj x j f k 1 X {z } j B < 0 0 j B 0 0 f k 1 f k y kj x j f k.

36 Inequality X j B II : I : X y kj x j f k j B + X f k y kj x j f k 1 f k j B f k y kj x j X 1 f k j B + y kj x j f k is valid since in case I we sum negative terms and in case II we sum also negative terms. Moreover, RHS is negative and then the fractional optimal solution is cut off.

37 Example max 4x 1 + 5x 2 + 3x 3 max 4x 1 + 5x 2 + 3x 3 s.t. 3x 1 + 4x 2 + x 4 = 10 5 >< 2x 1 + x 2 + x 3 + x 5 = 7 >< s.t. 3 x1 + x x5 1 3 x6 = x 1 + 4x 2 + x 3 + x 6 = 12 x1 + x x5 4 3 x6 = x 2, x 4, x 5, x 6 0 x1 + x2 1 3 x x6 = 5 3 x 1, x 3 Z + x i 0 i. From the first equation 5 3 x1 4 3 x5 1 1 {z } 3 2 x6 1 {z } 3. B + B

38 Step 3. CUTTING MORE DEEPLY Definition The dimension of a polyhedron P R n is k if the maximum number of affinely independent points in P is k + 1. P R n has complete dimension if dim(p) = n. Definition If πx π 0 is a valid inequality of P, F = {x P; πx = π 0} is a face of P. Definition A face F of P is a facet of P if dim(f ) = dim(p) 1.

39 Definition Inequality πx π 0 dominates inequality γx γ 0 if a real number µ > 0 exists such that µγ π and π 0 µγ 0. In such a way {x R n +; πx π 0} {x R n +; γx γ 0} Definition A valid inequality of P is maximal if it is not (strictly) dominated by any other inequality of P. Every facet is maximal valid inequality.

40 Example: the set packing problem (SPP) where A is a 0-1 matrix. >< max cx s.t. Ax 1 x {0, 1} n (EX) max >< cx s.t. x 1 + x 2 1 x 1 + x 5 1 x 1 + x 6 1 x 2 + x 3 1 x 2 + x 6 1 x 3 + x 4 1 x 3 + x 6 1 x 4 + x 5 1 x {0, 1} n

41 Why set packing? Auctions problem is set packing: P max >< P s.t. j J j J P s M b jsy js P s M:s i y js 1 i I P s M y js 1 j J y js {0, 1} j J, s M Proteins problem is (almost) set packing: P max Pi 1 Pi 2 Pj 1 j 2 b i1 j 1 i 2 j 2 x i1 j 1 x i2 j P 2 >< s.t. j x ij 1 i P i x ij 1 j x i1 j 1 + x i2 j 2 1 if edges cross each other x ij {0, 1} i, j

42 Why set packing? Consider the partitioning problem with formulation P P >< max i j w ijx ij s.t. x ij x ik + x jk i, j, k x ij {0, 1} i, j where x ij = 1 if nodes i and j are in different clusters. Where are set packing constraints?

43 Why set packing? Defining new variables >< 1 if i / j, k y ijk = x ij x jk = 1 if k / i, j 0 otherwise and adding new constraints like y y (because 1 / 2, 3 implies 1 and 2 are in different clusters 4 / 1, 2 implies 1 and 2 are in the same cluster) we enforce the formulation with set packing constraints.

44 STILL IN Step 3. CUTTING MORE DEEPLY The set packing problem polyhedron has complete dimension: the n + 1 vectors 0 = (0, 0, 0,..., 0) >< e 1 = (1, 0, 0,..., 0) e 2 = (0, 1, 0,..., 0). e n = (0, 0, 0,..., 1) belong to the polyhedron and are affinely independent. Therefore, facets will have dimension n 1.

45 Some facets for SPP (EX) max >< cx s.t. x 1 + x 2 1 x 1 + x 5 1 x 1 + x 6 1 x 2 + x 3 1 x 2 + x 6 1 x 3 + x 4 1 x 3 + x 6 1 x 4 + x 5 1 x {0, 1} n Looking for maximal subsets of variables pairwise incompatible, clique facets are obtained: x 1 + x 2 + x 6 1 x 2 + x 3 + x 6 1 x 1 + x 5 1 x 3 + x 4 1 x 4 + x 5 1

46 Proof for one of them (EX) max >< cx s.t. x 1 + x 2 1 x 1 + x 5 1 x 1 + x 6 1 x 2 + x 3 1 x 2 + x 6 1 x 3 + x 4 1 x 3 + x 6 1 x 4 + x 5 1 x {0, 1} n x 1 + x 2 + x 6 1 Independent points:

47 Example of lifted odd hole facet (EX) max >< cx s.t. x 1 + x 2 1 x 1 + x 5 1 x 1 + x 6 1 x 2 + x 3 1 x 2 + x 6 1 x 3 + x 4 1 x 3 + x 6 1 x 4 + x 5 1 x {0, 1} n x 1 + x 2 + x 3 + x 4 + x 5 + x 6 2 Independent points:

48 Step 4. BRANCH AND BOUND >< min (P) s.t. cx Ax b x j Z + j Solve the linear relaxation of (P). If x a / Z, add x a x a to obtain subproblem P 1 y x a x a to obtain subproblem P 2. Divide and conquer (branching): (P 1) (P) + {x a 4} (P 2) (P) + {x a 5} (P 21) (P 2) + {x b 5} (P 22) (P 2) + {x b 6} Bounding: If the optimal value for the linear relaxation of some subproblem is greater than an upper bound on the optimal value of (P), the optimal solution for (P) is not inside the feasible region of the subproblem.

49 BETTER LOWER BOUNDS: Lagrangian relaxation Start with (PP) >< min s.t. with A m n, b R m, X an arbitrary set. The Lagrangian relaxed problem is: with u R m. (PR(u)) θ(u) = cx Ax b x X, ( min cx + u(ax b) s.t. x X, The Lagrangian dual problem is (PD) ( max θ(u) s.t. u 0.

50 Example min >< s.t. P m P n i=1 j=1 c ijx ij P n j=1 a ijx ij b i i P m i=1 x ij = 1 j x {0, 1} m n Relaxing the first family >< min θ(u) = s.t. P i,j c ijx ij + P i u i( P j a ijx ij b i ) P i x ij = 1 j x ij {0, 1} i, j

51 This problem can be split into n independent subproblems: >< min s.t. j P i (c ij + u i a ij )x ij P i x ij = 1 x ij {0, 1} i with optimal solution Then θ(u) = X j min i {c ij + u i a ij }. min{c ij + u i a ij } X i i b i u i and (PD) max u 0 {X j min{c ij + u i a ij } X i i b i u i }

52 BETTER LOWER BOUNDS: Lagrangian relaxation Denote F ( ) the feasible region of a problem and v( ) its optimal value. Let PP be the linear relaxation of (PP). Theorem (Weak duality) If x F (PP), u F (PD), then cx θ(u). Theorem θ(u) cx + u(ax b) cx. v(pp) v(pd) v(pp) = min {cx : x F (PP)} θ(u) Consequently v(pp) v(pd). v(pp) v(pd) is called duality gap. u F (PD).

53 Corollary If then x is optimal of (PP). x F (P) u F (PD) cx = θ(u)

54 Theorem (Strong duality) If there exist u 0, x such that i) x is optimal for PR(u), ii) x is feasible for (PP), iii) u(ax b) = 0, then x is optimal for (PP). In x the minimum of is reached. Then {cx + u(ax b)} x X θ(u) = cx + u(ax b) = cx.

55 It can be really better bound min cx >< s.t. Ax b, (PP) Qx q, Rx = r, x 0, x j Z j J, min cx >< s.t. Ax b, (PP) Qx q, Rx = r, x 0, with X = {x 0 : Qx q, Rx = r, x j Z j J}. v(pd) = max {min {cx + u(ax b) : Qx q, Rx = r, x 0, x j Z j J}} u 0 max { ub+ min {(c + ua) x : Qx q, Rx = r, x 0}} = u 0 max { ub+ max { qα + rβ : αq + βr c + ua, α 0}} = u 0 max {qα + rβ ub : αq + βr ua c, α 0, u 0} = min {cx : Qx q, Rx = r, Ax b, x 0} = v(pp).

56 Subgradient algorithm Proposition If X is a compact set, then θ is a concave function on R m. Theorem If x is an optimal solution of (PR(u)), then Ax b is a subgradient of θ at u. Subgradient algorithm: u 1 x 1 Ax 1 b u 2... Here u j+1 = u j + t j (Ax j b) with t j a step size.

57 Bibliography Combinatorial auctions S. De Vries and R.V. Vohra, Combinatorial auctions: A survey, INFORMS Journal on Computing 15(3), (2003). L. Escudero, M. Landete, A. Marin. A branch-and-cut algorithm for the Winner Determination Problem. Decision Support Systems 46, , T. Sandholm, S. Suri, A. Gilpin and D. Levine, CABOB: A fast optimal algorithm for winner determination in combinatorial auctions, Management Science 51, (2005). Proteins comparison Caprara, A. y Lancia, G. Structural alignment of large-size proteins via Lagrangian relaxation, Proceedings of the sixth annual international conference on Computational biology, Lancia, G., Carr. R., Walenz, B. e Istrail, S. 101 optimal PDB structure alignments: a branch-and-cut algorithm for the maximum contact map overlap problem Proc. 5th RECOMB, , Lancia, G. e Istrail, S. Protein structure comparison: Algorithms and applications en Protein structure: analysis and design, Springer, Meneses, C., Oliveira, C. y Pardalos, P. Mathematical Programmming formulations for problems in Genomics and Proteomics in: Data Mining in Biomedicine , Springer, 200. Strickland, D., Barnes E. y Sokol, J. Optimal protein structure alignment using maximum cliques, Operations Research 53, , Xie, W. y Sahinidis, N. A reduction-based exact algorithm for the contact map overlap problem Journal of Computational Biology 14, , 2007.

58 Facets for set packing problems Balas, E. y Zemel, E., Critical cutsets of graphs and canonical facets of set-packing polytopes, Maths. of Operations Research 2 (1977) L. Canovas, M. Landete, A. Marin. Facet obtaining procedures for set packing problems. SIAM Journal on Discrete Mathematics 16, , L. Canovas, M. Landete, A. Marin. New facets for the set packing polytope. Operations Research Letters 27, , Cho, D.C., Johnson, E.L., Padberg, M. y Rao, M.R., On the uncapacitated plant location problem. I: Valid inequalities and facets, Mathematics of Operations Research (193) Cho, D.C., Padberg, M. y Rao, M.R., On the uncapacitated plant location problem. II: facets and lifting theorems, Mathematics of Operations Research (193) Chvtal, V., On certain polytopes associated with graphs, Journal of Combinatorial Theory (B), 1 (1975) Nemhauser, G.L. y Trotter, L.E., Properties of vertex packing and independence set polyhedra, Mathematical Programming 6 (1974) Padberg, M., On the facial structure of set packing polyhedra, Mathematical Programming 5 (1973)

59 Lagrangian relaxation Fisher, M.L., The Lagrangian relaxation method for solving integer programming problems, Management Science 27 (191) 1-1. Gavish, B. y Pirkul, H., Algorithms for the multi-resource generalized assignment problem, Management Science 37 (1991) Geoffrion, A.M., Lagrangean relaxation for integer programming, Mathematical Programming Study 2 (1974) Guignard, M. Lagrangean relaxation, Top 11 (2003) Guignard, M. y Kim, S., Lagrangean decomposition for integer programming: theory and applications, R.A.I.R.O. 21 (197) Guignard, M. y Kim, S., Lagrangean decomposition: a model yielding stronger Lagrangean bounds, Mathematical Programming 39 (197)

60 Optimization in sports Ribeiro, OR on the ball: Applications of Combinatorial Optimization in Sports Scheduling and Management, ALIO/EURO, Pars, Schreuder, Combinatorial aspects of construction of competition Dutch Professional Football Leagues, DAM 1992, Trick, A schedule-then-break approach to sports timetabling. Proceedings of the Third PATAT Conference, Integer programming Wolsey. Integer Programming. Wiley, 199. Nemhauser, Wolsey. Integer and Combinatorial Optimization. Wiley, 19. Clique partitioning Borndörfer, Weismantel, Set packing relaxations of some integer programs, Mathematical Programming, , 2000.

61 Exercise 1. Easy FORMULATE: A) Given n points in the plane choose p 1 (centers) in such a way the maximum distance from the n points to their closest center be minimized. B) Given n points in the plane choose p 2 (centers) in such a way the maximum distance from the n points to their second closest center be minimized.

62 Exercise 2. Not so easy FORMULATE: A) Given a n n chess board with benefits associated to the squares (cells), put queens in some cells in such a way that they do not threaten each other and the sum of the benefits of cells with queens be maximized. B) Do the same with horses.

63 Exercise 3. Not so easy Given x ijk = 1 if number k is written in cell (i, j), i, j, k = 1,..., 9 formulate the constraints needed to solve the above sudoku.

64 Exercise 4. Difficult Look for clique facets for the polyhedron given by the constraints of the protein comparison problem. >< P j x ij 1 i P i x ij 1 j x i1 j 1 + x i2 j 2 1 if edges cross each other x ij {0, 1} i, j

65 Exercise 5. More than difficult Build a formulation in order to check if the above sudoku has more than one solution.

66 Exercise 6. Extremely difficult Define variables and formulate the constraints needed to solve the above kenken.

Integer Programming ISE 418. Lecture 12. Dr. Ted Ralphs

Integer Programming ISE 418. Lecture 12. Dr. Ted Ralphs Integer Programming ISE 418 Lecture 12 Dr. Ted Ralphs ISE 418 Lecture 12 1 Reading for This Lecture Nemhauser and Wolsey Sections II.2.1 Wolsey Chapter 9 ISE 418 Lecture 12 2 Generating Stronger Valid

More information

A New Facet Generating Procedure for the Stable Set Polytope

A New Facet Generating Procedure for the Stable Set Polytope 1 / 22 A New Facet Generating Procedure for the Stable Set Polytope Álinson S. Xavier a Manoel Campêlo b a Mestrado e Doutorado em Ciência da Computação Universidade Federal do Ceará Fortaleza, Brazil

More information

Section Notes 8. Integer Programming II. Applied Math 121. Week of April 5, expand your knowledge of big M s and logical constraints.

Section Notes 8. Integer Programming II. Applied Math 121. Week of April 5, expand your knowledge of big M s and logical constraints. Section Notes 8 Integer Programming II Applied Math 121 Week of April 5, 2010 Goals for the week understand IP relaxations be able to determine the relative strength of formulations understand the branch

More information

Solving the MWT. Recall the ILP for the MWT. We can obtain a solution to the MWT problem by solving the following ILP:

Solving the MWT. Recall the ILP for the MWT. We can obtain a solution to the MWT problem by solving the following ILP: Solving the MWT Recall the ILP for the MWT. We can obtain a solution to the MWT problem by solving the following ILP: max subject to e i E ω i x i e i C E x i {0, 1} x i C E 1 for all critical mixed cycles

More information

3.7 Cutting plane methods

3.7 Cutting plane methods 3.7 Cutting plane methods Generic ILP problem min{ c t x : x X = {x Z n + : Ax b} } with m n matrix A and n 1 vector b of rationals. According to Meyer s theorem: There exists an ideal formulation: conv(x

More information

Optimization Exercise Set n. 4 :

Optimization Exercise Set n. 4 : Optimization Exercise Set n. 4 : Prepared by S. Coniglio and E. Amaldi translated by O. Jabali 2018/2019 1 4.1 Airport location In air transportation, usually there is not a direct connection between every

More information

Lecture 9: Dantzig-Wolfe Decomposition

Lecture 9: Dantzig-Wolfe Decomposition Lecture 9: Dantzig-Wolfe Decomposition (3 units) Outline Dantzig-Wolfe decomposition Column generation algorithm Relation to Lagrangian dual Branch-and-price method Generated assignment problem and multi-commodity

More information

Chapter 3: Discrete Optimization Integer Programming

Chapter 3: Discrete Optimization Integer Programming Chapter 3: Discrete Optimization Integer Programming Edoardo Amaldi DEIB Politecnico di Milano edoardo.amaldi@polimi.it Website: http://home.deib.polimi.it/amaldi/opt-16-17.shtml Academic year 2016-17

More information

ON THE INTEGRALITY OF THE UNCAPACITATED FACILITY LOCATION POLYTOPE. 1. Introduction

ON THE INTEGRALITY OF THE UNCAPACITATED FACILITY LOCATION POLYTOPE. 1. Introduction ON THE INTEGRALITY OF THE UNCAPACITATED FACILITY LOCATION POLYTOPE MOURAD BAÏOU AND FRANCISCO BARAHONA Abstract We study a system of linear inequalities associated with the uncapacitated facility location

More information

Introduction to Integer Linear Programming

Introduction to Integer Linear Programming Lecture 7/12/2006 p. 1/30 Introduction to Integer Linear Programming Leo Liberti, Ruslan Sadykov LIX, École Polytechnique liberti@lix.polytechnique.fr sadykov@lix.polytechnique.fr Lecture 7/12/2006 p.

More information

MVE165/MMG631 Linear and integer optimization with applications Lecture 8 Discrete optimization: theory and algorithms

MVE165/MMG631 Linear and integer optimization with applications Lecture 8 Discrete optimization: theory and algorithms MVE165/MMG631 Linear and integer optimization with applications Lecture 8 Discrete optimization: theory and algorithms Ann-Brith Strömberg 2017 04 07 Lecture 8 Linear and integer optimization with applications

More information

Linear and Integer Programming - ideas

Linear and Integer Programming - ideas Linear and Integer Programming - ideas Paweł Zieliński Institute of Mathematics and Computer Science, Wrocław University of Technology, Poland http://www.im.pwr.wroc.pl/ pziel/ Toulouse, France 2012 Literature

More information

Discrete Optimization 2010 Lecture 7 Introduction to Integer Programming

Discrete Optimization 2010 Lecture 7 Introduction to Integer Programming Discrete Optimization 2010 Lecture 7 Introduction to Integer Programming Marc Uetz University of Twente m.uetz@utwente.nl Lecture 8: sheet 1 / 32 Marc Uetz Discrete Optimization Outline 1 Intro: The Matching

More information

Decomposition and Reformulation in Integer Programming

Decomposition and Reformulation in Integer Programming and Reformulation in Integer Programming Laurence A. WOLSEY 7/1/2008 / Aussois and Reformulation in Integer Programming Outline 1 Resource 2 and Reformulation in Integer Programming Outline Resource 1

More information

Combinatorial Auction: A Survey (Part I)

Combinatorial Auction: A Survey (Part I) Combinatorial Auction: A Survey (Part I) Sven de Vries Rakesh V. Vohra IJOC, 15(3): 284-309, 2003 Presented by James Lee on May 10, 2006 for course Comp 670O, Spring 2006, HKUST COMP670O Course Presentation

More information

Lecture 8: Column Generation

Lecture 8: Column Generation Lecture 8: Column Generation (3 units) Outline Cutting stock problem Classical IP formulation Set covering formulation Column generation A dual perspective Vehicle routing problem 1 / 33 Cutting stock

More information

3.3 Easy ILP problems and totally unimodular matrices

3.3 Easy ILP problems and totally unimodular matrices 3.3 Easy ILP problems and totally unimodular matrices Consider a generic ILP problem expressed in standard form where A Z m n with n m, and b Z m. min{c t x : Ax = b, x Z n +} (1) P(b) = {x R n : Ax =

More information

Section Notes 9. IP: Cutting Planes. Applied Math 121. Week of April 12, 2010

Section Notes 9. IP: Cutting Planes. Applied Math 121. Week of April 12, 2010 Section Notes 9 IP: Cutting Planes Applied Math 121 Week of April 12, 2010 Goals for the week understand what a strong formulations is. be familiar with the cutting planes algorithm and the types of cuts

More information

Fixed-charge transportation problems on trees

Fixed-charge transportation problems on trees Fixed-charge transportation problems on trees Gustavo Angulo * Mathieu Van Vyve * gustavo.angulo@uclouvain.be mathieu.vanvyve@uclouvain.be November 23, 2015 Abstract We consider a class of fixed-charge

More information

Integer Programming Reformulations: Dantzig-Wolfe & Benders Decomposition the Coluna Software Platform

Integer Programming Reformulations: Dantzig-Wolfe & Benders Decomposition the Coluna Software Platform Integer Programming Reformulations: Dantzig-Wolfe & Benders Decomposition the Coluna Software Platform François Vanderbeck B. Detienne, F. Clautiaux, R. Griset, T. Leite, G. Marques, V. Nesello, A. Pessoa,

More information

IBM Research Report. On a Connection between Facility Location and Perfect Graphs. Mourad Baïou University of Clermont

IBM Research Report. On a Connection between Facility Location and Perfect Graphs. Mourad Baïou University of Clermont RC24885 (W0910-175) October 28, 2009 Mathematics IBM Research Report On a Connection between Facility Location and Perfect Graphs Mourad Baïou University of Clermont Francisco Barahona IBM Research Division

More information

Extended Formulations, Lagrangian Relaxation, & Column Generation: tackling large scale applications

Extended Formulations, Lagrangian Relaxation, & Column Generation: tackling large scale applications Extended Formulations, Lagrangian Relaxation, & Column Generation: tackling large scale applications François Vanderbeck University of Bordeaux INRIA Bordeaux-Sud-Ouest part : Defining Extended Formulations

More information

3.8 Strong valid inequalities

3.8 Strong valid inequalities 3.8 Strong valid inequalities By studying the problem structure, we can derive strong valid inequalities which lead to better approximations of the ideal formulation conv(x ) and hence to tighter bounds.

More information

Lagrangian Relaxation in MIP

Lagrangian Relaxation in MIP Lagrangian Relaxation in MIP Bernard Gendron May 28, 2016 Master Class on Decomposition, CPAIOR2016, Banff, Canada CIRRELT and Département d informatique et de recherche opérationnelle, Université de Montréal,

More information

MVE165/MMG630, Applied Optimization Lecture 6 Integer linear programming: models and applications; complexity. Ann-Brith Strömberg

MVE165/MMG630, Applied Optimization Lecture 6 Integer linear programming: models and applications; complexity. Ann-Brith Strömberg MVE165/MMG630, Integer linear programming: models and applications; complexity Ann-Brith Strömberg 2011 04 01 Modelling with integer variables (Ch. 13.1) Variables Linear programming (LP) uses continuous

More information

LP Relaxations of Mixed Integer Programs

LP Relaxations of Mixed Integer Programs LP Relaxations of Mixed Integer Programs John E. Mitchell Department of Mathematical Sciences RPI, Troy, NY 12180 USA February 2015 Mitchell LP Relaxations 1 / 29 LP Relaxations LP relaxations We want

More information

Chapter 3: Discrete Optimization Integer Programming

Chapter 3: Discrete Optimization Integer Programming Chapter 3: Discrete Optimization Integer Programming Edoardo Amaldi DEIB Politecnico di Milano edoardo.amaldi@polimi.it Sito web: http://home.deib.polimi.it/amaldi/ott-13-14.shtml A.A. 2013-14 Edoardo

More information

Computational Integer Programming Universidad de los Andes. Lecture 1. Dr. Ted Ralphs

Computational Integer Programming Universidad de los Andes. Lecture 1. Dr. Ted Ralphs Computational Integer Programming Universidad de los Andes Lecture 1 Dr. Ted Ralphs MIP Lecture 1 1 Quick Introduction Bio Course web site Course structure http://coral.ie.lehigh.edu/ ted/teaching/mip

More information

3.10 Lagrangian relaxation

3.10 Lagrangian relaxation 3.10 Lagrangian relaxation Consider a generic ILP problem min {c t x : Ax b, Dx d, x Z n } with integer coefficients. Suppose Dx d are the complicating constraints. Often the linear relaxation and the

More information

Reconnect 04 Introduction to Integer Programming

Reconnect 04 Introduction to Integer Programming Sandia is a multiprogram laboratory operated by Sandia Corporation, a Lockheed Martin Company, Reconnect 04 Introduction to Integer Programming Cynthia Phillips, Sandia National Laboratories Integer programming

More information

A packing integer program arising in two-layer network design

A packing integer program arising in two-layer network design A packing integer program arising in two-layer network design Christian Raack Arie M.C.A Koster Zuse Institute Berlin Takustr. 7, D-14195 Berlin Centre for Discrete Mathematics and its Applications (DIMAP)

More information

Deciding Emptiness of the Gomory-Chvátal Closure is NP-Complete, Even for a Rational Polyhedron Containing No Integer Point

Deciding Emptiness of the Gomory-Chvátal Closure is NP-Complete, Even for a Rational Polyhedron Containing No Integer Point Deciding Emptiness of the Gomory-Chvátal Closure is NP-Complete, Even for a Rational Polyhedron Containing No Integer Point Gérard Cornuéjols 1 and Yanjun Li 2 1 Tepper School of Business, Carnegie Mellon

More information

Network Flows. 6. Lagrangian Relaxation. Programming. Fall 2010 Instructor: Dr. Masoud Yaghini

Network Flows. 6. Lagrangian Relaxation. Programming. Fall 2010 Instructor: Dr. Masoud Yaghini In the name of God Network Flows 6. Lagrangian Relaxation 6.3 Lagrangian Relaxation and Integer Programming Fall 2010 Instructor: Dr. Masoud Yaghini Integer Programming Outline Branch-and-Bound Technique

More information

Introduction into Vehicle Routing Problems and other basic mixed-integer problems

Introduction into Vehicle Routing Problems and other basic mixed-integer problems Introduction into Vehicle Routing Problems and other basic mixed-integer problems Martin Branda Charles University in Prague Faculty of Mathematics and Physics Department of Probability and Mathematical

More information

Optimization Exercise Set n.5 :

Optimization Exercise Set n.5 : Optimization Exercise Set n.5 : Prepared by S. Coniglio translated by O. Jabali 2016/2017 1 5.1 Airport location In air transportation, usually there is not a direct connection between every pair of airports.

More information

Computational Integer Programming. Lecture 2: Modeling and Formulation. Dr. Ted Ralphs

Computational Integer Programming. Lecture 2: Modeling and Formulation. Dr. Ted Ralphs Computational Integer Programming Lecture 2: Modeling and Formulation Dr. Ted Ralphs Computational MILP Lecture 2 1 Reading for This Lecture N&W Sections I.1.1-I.1.6 Wolsey Chapter 1 CCZ Chapter 2 Computational

More information

Cutting Planes in SCIP

Cutting Planes in SCIP Cutting Planes in SCIP Kati Wolter Zuse-Institute Berlin Department Optimization Berlin, 6th June 2007 Outline 1 Cutting Planes in SCIP 2 Cutting Planes for the 0-1 Knapsack Problem 2.1 Cover Cuts 2.2

More information

Submodular Inequalities for the Path Structures of the Capacitated Fixed-Charge Network Flow Problems. Birce Tezel

Submodular Inequalities for the Path Structures of the Capacitated Fixed-Charge Network Flow Problems. Birce Tezel Submodular Inequalities for the Path Structures of the Capacitated Fixed-Charge Network Flow Problems By Birce Tezel A dissertation submitted in partial satisfaction of the requirements for the degree

More information

Integer Programming, Part 1

Integer Programming, Part 1 Integer Programming, Part 1 Rudi Pendavingh Technische Universiteit Eindhoven May 18, 2016 Rudi Pendavingh (TU/e) Integer Programming, Part 1 May 18, 2016 1 / 37 Linear Inequalities and Polyhedra Farkas

More information

Integer Linear Programming Modeling

Integer Linear Programming Modeling DM554/DM545 Linear and Lecture 9 Integer Linear Programming Marco Chiarandini Department of Mathematics & Computer Science University of Southern Denmark Outline 1. 2. Assignment Problem Knapsack Problem

More information

3.7 Strong valid inequalities for structured ILP problems

3.7 Strong valid inequalities for structured ILP problems 3.7 Strong valid inequalities for structured ILP problems By studying the problem structure, we can derive strong valid inequalities yielding better approximations of conv(x ) and hence tighter bounds.

More information

SUNS: A NEW CLASS OF FACET DEFINING STRUCTURES FOR THE NODE PACKING POLYHEDRON CHELSEA NICOLE IRVINE. B.S., Kansas State University, 2012

SUNS: A NEW CLASS OF FACET DEFINING STRUCTURES FOR THE NODE PACKING POLYHEDRON CHELSEA NICOLE IRVINE. B.S., Kansas State University, 2012 SUNS: A NEW CLASS OF FACET DEFINING STRUCTURES FOR THE NODE PACKING POLYHEDRON by CHELSEA NICOLE IRVINE B.S., Kansas State University, 01 A THESIS Submitted in partial fulfillment of the requirements for

More information

Polyhedral Approach to Integer Linear Programming. Tepper School of Business Carnegie Mellon University, Pittsburgh

Polyhedral Approach to Integer Linear Programming. Tepper School of Business Carnegie Mellon University, Pittsburgh Polyhedral Approach to Integer Linear Programming Gérard Cornuéjols Tepper School of Business Carnegie Mellon University, Pittsburgh 1 / 30 Brief history First Algorithms Polynomial Algorithms Solving

More information

Introduction to optimization and operations research

Introduction to optimization and operations research Introduction to optimization and operations research David Pisinger, Fall 2002 1 Smoked ham (Chvatal 1.6, adapted from Greene et al. (1957)) A meat packing plant produces 480 hams, 400 pork bellies, and

More information

Outline. Relaxation. Outline DMP204 SCHEDULING, TIMETABLING AND ROUTING. 1. Lagrangian Relaxation. Lecture 12 Single Machine Models, Column Generation

Outline. Relaxation. Outline DMP204 SCHEDULING, TIMETABLING AND ROUTING. 1. Lagrangian Relaxation. Lecture 12 Single Machine Models, Column Generation Outline DMP204 SCHEDULING, TIMETABLING AND ROUTING 1. Lagrangian Relaxation Lecture 12 Single Machine Models, Column Generation 2. Dantzig-Wolfe Decomposition Dantzig-Wolfe Decomposition Delayed Column

More information

On Disjunctive Cuts for Combinatorial Optimization

On Disjunctive Cuts for Combinatorial Optimization Journal of Combinatorial Optimization, 5, 99 315, 001 c 001 Kluwer Academic Publishers. Manufactured in The Netherlands. On Disjunctive Cuts for Combinatorial Optimization ADAM N. LETCHFORD Department

More information

Section Notes 9. Midterm 2 Review. Applied Math / Engineering Sciences 121. Week of December 3, 2018

Section Notes 9. Midterm 2 Review. Applied Math / Engineering Sciences 121. Week of December 3, 2018 Section Notes 9 Midterm 2 Review Applied Math / Engineering Sciences 121 Week of December 3, 2018 The following list of topics is an overview of the material that was covered in the lectures and sections

More information

Alternative Methods for Obtaining. Optimization Bounds. AFOSR Program Review, April Carnegie Mellon University. Grant FA

Alternative Methods for Obtaining. Optimization Bounds. AFOSR Program Review, April Carnegie Mellon University. Grant FA Alternative Methods for Obtaining Optimization Bounds J. N. Hooker Carnegie Mellon University AFOSR Program Review, April 2012 Grant FA9550-11-1-0180 Integrating OR and CP/AI Early support by AFOSR First

More information

The traveling salesman problem

The traveling salesman problem Chapter 58 The traveling salesman problem The traveling salesman problem (TSP) asks for a shortest Hamiltonian circuit in a graph. It belongs to the most seductive problems in combinatorial optimization,

More information

Introduction to Mathematical Programming IE406. Lecture 21. Dr. Ted Ralphs

Introduction to Mathematical Programming IE406. Lecture 21. Dr. Ted Ralphs Introduction to Mathematical Programming IE406 Lecture 21 Dr. Ted Ralphs IE406 Lecture 21 1 Reading for This Lecture Bertsimas Sections 10.2, 10.3, 11.1, 11.2 IE406 Lecture 21 2 Branch and Bound Branch

More information

On the Polyhedral Structure of a Multi Item Production Planning Model with Setup Times

On the Polyhedral Structure of a Multi Item Production Planning Model with Setup Times CORE DISCUSSION PAPER 2000/52 On the Polyhedral Structure of a Multi Item Production Planning Model with Setup Times Andrew J. Miller 1, George L. Nemhauser 2, and Martin W.P. Savelsbergh 2 November 2000

More information

Cutting Plane Separators in SCIP

Cutting Plane Separators in SCIP Cutting Plane Separators in SCIP Kati Wolter Zuse Institute Berlin DFG Research Center MATHEON Mathematics for key technologies 1 / 36 General Cutting Plane Method MIP min{c T x : x X MIP }, X MIP := {x

More information

SEQUENTIAL AND SIMULTANEOUS LIFTING IN THE NODE PACKING POLYHEDRON JEFFREY WILLIAM PAVELKA. B.S., Kansas State University, 2011

SEQUENTIAL AND SIMULTANEOUS LIFTING IN THE NODE PACKING POLYHEDRON JEFFREY WILLIAM PAVELKA. B.S., Kansas State University, 2011 SEQUENTIAL AND SIMULTANEOUS LIFTING IN THE NODE PACKING POLYHEDRON by JEFFREY WILLIAM PAVELKA B.S., Kansas State University, 2011 A THESIS Submitted in partial fulfillment of the requirements for the degree

More information

Modeling with Integer Programming

Modeling with Integer Programming Modeling with Integer Programg Laura Galli December 18, 2014 We can use 0-1 (binary) variables for a variety of purposes, such as: Modeling yes/no decisions Enforcing disjunctions Enforcing logical conditions

More information

Column Generation. MTech Seminar Report. Soumitra Pal Roll No: under the guidance of

Column Generation. MTech Seminar Report. Soumitra Pal Roll No: under the guidance of Column Generation MTech Seminar Report by Soumitra Pal Roll No: 05305015 under the guidance of Prof. A. G. Ranade Computer Science and Engineering IIT-Bombay a Department of Computer Science and Engineering

More information

Duality in Optimization and Constraint Satisfaction

Duality in Optimization and Constraint Satisfaction Duality in Optimization and Constraint Satisfaction J. N. Hooker Carnegie Mellon University, Pittsburgh, USA john@hooker.tepper.cmu.edu Abstract. We show that various duals that occur in optimization and

More information

Integer Programming ISE 418. Lecture 16. Dr. Ted Ralphs

Integer Programming ISE 418. Lecture 16. Dr. Ted Ralphs Integer Programming ISE 418 Lecture 16 Dr. Ted Ralphs ISE 418 Lecture 16 1 Reading for This Lecture Wolsey, Chapters 10 and 11 Nemhauser and Wolsey Sections II.3.1, II.3.6, II.3.7, II.5.4 CCZ Chapter 8

More information

Integer Programming ISE 418. Lecture 8. Dr. Ted Ralphs

Integer Programming ISE 418. Lecture 8. Dr. Ted Ralphs Integer Programming ISE 418 Lecture 8 Dr. Ted Ralphs ISE 418 Lecture 8 1 Reading for This Lecture Wolsey Chapter 2 Nemhauser and Wolsey Sections II.3.1, II.3.6, II.4.1, II.4.2, II.5.4 Duality for Mixed-Integer

More information

Resource Constrained Project Scheduling Linear and Integer Programming (1)

Resource Constrained Project Scheduling Linear and Integer Programming (1) DM204, 2010 SCHEDULING, TIMETABLING AND ROUTING Lecture 3 Resource Constrained Project Linear and Integer Programming (1) Marco Chiarandini Department of Mathematics & Computer Science University of Southern

More information

Linear and Integer Optimization (V3C1/F4C1)

Linear and Integer Optimization (V3C1/F4C1) Linear and Integer Optimization (V3C1/F4C1) Lecture notes Ulrich Brenner Research Institute for Discrete Mathematics, University of Bonn Winter term 2016/2017 March 8, 2017 12:02 1 Preface Continuous updates

More information

The Strength of Multi-row Aggregation Cuts for Sign-pattern Integer Programs

The Strength of Multi-row Aggregation Cuts for Sign-pattern Integer Programs The Strength of Multi-row Aggregation Cuts for Sign-pattern Integer Programs Santanu S. Dey 1, Andres Iroume 1, and Guanyi Wang 1 1 School of Industrial and Systems Engineering, Georgia Institute of Technology

More information

Decomposition Methods for Integer Programming

Decomposition Methods for Integer Programming Decomposition Methods for Integer Programming J.M. Valério de Carvalho vc@dps.uminho.pt Departamento de Produção e Sistemas Escola de Engenharia, Universidade do Minho Portugal PhD Course Programa Doutoral

More information

Linear Algebra Review: Linear Independence. IE418 Integer Programming. Linear Algebra Review: Subspaces. Linear Algebra Review: Affine Independence

Linear Algebra Review: Linear Independence. IE418 Integer Programming. Linear Algebra Review: Subspaces. Linear Algebra Review: Affine Independence Linear Algebra Review: Linear Independence IE418: Integer Programming Department of Industrial and Systems Engineering Lehigh University 21st March 2005 A finite collection of vectors x 1,..., x k R n

More information

Reformulation and Decomposition of Integer Programs

Reformulation and Decomposition of Integer Programs Reformulation and Decomposition of Integer Programs François Vanderbeck 1 and Laurence A. Wolsey 2 (Reference: CORE DP 2009/16) (1) Université Bordeaux 1 & INRIA-Bordeaux (2) Université de Louvain, CORE.

More information

1 Integer Decomposition Property

1 Integer Decomposition Property CS 598CSC: Combinatorial Optimization Lecture date: Feb 2, 2010 Instructor: Chandra Chekuri Scribe: Siva Theja Maguluri Material taken mostly from [1] (Chapter 19). 1 Integer Decomposition Property A polyhedron

More information

Integer program reformulation for robust branch-and-cut-and-price

Integer program reformulation for robust branch-and-cut-and-price Integer program reformulation for robust branch-and-cut-and-price Marcus Poggi de Aragão Informática PUC-Rio Eduardo Uchoa Engenharia de Produção Universidade Federal Fluminense Outline of the talk Robust

More information

1 Solution of a Large-Scale Traveling-Salesman Problem... 7 George B. Dantzig, Delbert R. Fulkerson, and Selmer M. Johnson

1 Solution of a Large-Scale Traveling-Salesman Problem... 7 George B. Dantzig, Delbert R. Fulkerson, and Selmer M. Johnson Part I The Early Years 1 Solution of a Large-Scale Traveling-Salesman Problem............ 7 George B. Dantzig, Delbert R. Fulkerson, and Selmer M. Johnson 2 The Hungarian Method for the Assignment Problem..............

More information

2007/87. Valid inequalities for the single-item capacitated lot sizing problem with step-wise costs. Ayse Akbalik and Yves Pochet

2007/87. Valid inequalities for the single-item capacitated lot sizing problem with step-wise costs. Ayse Akbalik and Yves Pochet 2007/87 Valid inequalities for the single-item capacitated lot sizing problem with step-wise costs Ayse Akbalik and Yves Pochet CORE DISCUSSION PAPER 2007/87 Valid inequalities for the single-item capacitated

More information

Lagrangian Duality. Richard Lusby. Department of Management Engineering Technical University of Denmark

Lagrangian Duality. Richard Lusby. Department of Management Engineering Technical University of Denmark Lagrangian Duality Richard Lusby Department of Management Engineering Technical University of Denmark Today s Topics (jg Lagrange Multipliers Lagrangian Relaxation Lagrangian Duality R Lusby (42111) Lagrangian

More information

Week Cuts, Branch & Bound, and Lagrangean Relaxation

Week Cuts, Branch & Bound, and Lagrangean Relaxation Week 11 1 Integer Linear Programming This week we will discuss solution methods for solving integer linear programming problems. I will skip the part on complexity theory, Section 11.8, although this is

More information

IP Duality. Menal Guzelsoy. Seminar Series, /21-07/28-08/04-08/11. Department of Industrial and Systems Engineering Lehigh University

IP Duality. Menal Guzelsoy. Seminar Series, /21-07/28-08/04-08/11. Department of Industrial and Systems Engineering Lehigh University IP Duality Department of Industrial and Systems Engineering Lehigh University COR@L Seminar Series, 2005 07/21-07/28-08/04-08/11 Outline Duality Theorem 1 Duality Theorem Introduction Optimality Conditions

More information

Lecture 7: Lagrangian Relaxation and Duality Theory

Lecture 7: Lagrangian Relaxation and Duality Theory Lecture 7: Lagrangian Relaxation and Duality Theory (3 units) Outline Lagrangian dual for linear IP Lagrangian dual for general IP Dual Search Lagrangian decomposition 1 / 23 Joseph Louis Lagrange Joseph

More information

Chapter 1. Preliminaries

Chapter 1. Preliminaries Introduction This dissertation is a reading of chapter 4 in part I of the book : Integer and Combinatorial Optimization by George L. Nemhauser & Laurence A. Wolsey. The chapter elaborates links between

More information

Introduction to Integer Programming

Introduction to Integer Programming Lecture 3/3/2006 p. /27 Introduction to Integer Programming Leo Liberti LIX, École Polytechnique liberti@lix.polytechnique.fr Lecture 3/3/2006 p. 2/27 Contents IP formulations and examples Total unimodularity

More information

Polynomiality of Linear Programming

Polynomiality of Linear Programming Chapter 10 Polynomiality of Linear Programming In the previous section, we presented the Simplex Method. This method turns out to be very efficient for solving linear programmes in practice. While it is

More information

- Well-characterized problems, min-max relations, approximate certificates. - LP problems in the standard form, primal and dual linear programs

- Well-characterized problems, min-max relations, approximate certificates. - LP problems in the standard form, primal and dual linear programs LP-Duality ( Approximation Algorithms by V. Vazirani, Chapter 12) - Well-characterized problems, min-max relations, approximate certificates - LP problems in the standard form, primal and dual linear programs

More information

n-step mingling inequalities: new facets for the mixed-integer knapsack set

n-step mingling inequalities: new facets for the mixed-integer knapsack set Math. Program., Ser. A (2012) 132:79 98 DOI 10.1007/s10107-010-0382-6 FULL LENGTH PAPER n-step mingling inequalities: new facets for the mixed-integer knapsack set Alper Atamtürk Kiavash Kianfar Received:

More information

Convex Analysis 2013 Let f : Q R be a strongly convex function with convexity parameter µ>0, where Q R n is a bounded, closed, convex set, which contains the origin. Let Q =conv(q, Q) andconsiderthefunction

More information

Lecture 2. Split Inequalities and Gomory Mixed Integer Cuts. Tepper School of Business Carnegie Mellon University, Pittsburgh

Lecture 2. Split Inequalities and Gomory Mixed Integer Cuts. Tepper School of Business Carnegie Mellon University, Pittsburgh Lecture 2 Split Inequalities and Gomory Mixed Integer Cuts Gérard Cornuéjols Tepper School of Business Carnegie Mellon University, Pittsburgh Mixed Integer Cuts Gomory 1963 Consider a single constraint

More information

Separation Techniques for Constrained Nonlinear 0 1 Programming

Separation Techniques for Constrained Nonlinear 0 1 Programming Separation Techniques for Constrained Nonlinear 0 1 Programming Christoph Buchheim Computer Science Department, University of Cologne and DEIS, University of Bologna MIP 2008, Columbia University, New

More information

Multicommodity Flows and Column Generation

Multicommodity Flows and Column Generation Lecture Notes Multicommodity Flows and Column Generation Marc Pfetsch Zuse Institute Berlin pfetsch@zib.de last change: 2/8/2006 Technische Universität Berlin Fakultät II, Institut für Mathematik WS 2006/07

More information

Integer programming: an introduction. Alessandro Astolfi

Integer programming: an introduction. Alessandro Astolfi Integer programming: an introduction Alessandro Astolfi Outline Introduction Examples Methods for solving ILP Optimization on graphs LP problems with integer solutions Summary Introduction Integer programming

More information

On the knapsack closure of 0-1 Integer Linear Programs

On the knapsack closure of 0-1 Integer Linear Programs On the knapsack closure of 0-1 Integer Linear Programs Matteo Fischetti 1 Dipartimento di Ingegneria dell Informazione University of Padova Padova, Italy Andrea Lodi 2 Dipartimento di Elettronica, Informatica

More information

Cutting Plane Methods I

Cutting Plane Methods I 6.859/15.083 Integer Programming and Combinatorial Optimization Fall 2009 Cutting Planes Consider max{wx : Ax b, x integer}. Cutting Plane Methods I Establishing the optimality of a solution is equivalent

More information

Column Generation for Extended Formulations

Column Generation for Extended Formulations 1 / 28 Column Generation for Extended Formulations Ruslan Sadykov 1 François Vanderbeck 2,1 1 INRIA Bordeaux Sud-Ouest, France 2 University Bordeaux I, France ISMP 2012 Berlin, August 23 2 / 28 Contents

More information

3. Linear Programming and Polyhedral Combinatorics

3. Linear Programming and Polyhedral Combinatorics Massachusetts Institute of Technology 18.453: Combinatorial Optimization Michel X. Goemans April 5, 2017 3. Linear Programming and Polyhedral Combinatorics Summary of what was seen in the introductory

More information

Sequential pairing of mixed integer inequalities

Sequential pairing of mixed integer inequalities Sequential pairing of mixed integer inequalities Yongpei Guan, Shabbir Ahmed, George L. Nemhauser School of Industrial & Systems Engineering, Georgia Institute of Technology, 765 Ferst Drive, Atlanta,

More information

3.10 Column generation method

3.10 Column generation method 3.10 Column generation method Many relevant decision-making (discrete optimization) problems can be formulated as ILP problems with a very large (exponential) number of variables. Examples: cutting stock,

More information

A new family of facet defining inequalities for the maximum edge-weighted clique problem

A new family of facet defining inequalities for the maximum edge-weighted clique problem A new family of facet defining inequalities for the maximum edge-weighted clique problem Franklin Djeumou Fomeni June 2016 Abstract This paper considers a family of cutting planes, recently developed for

More information

3.10 Column generation method

3.10 Column generation method 3.10 Column generation method Many relevant decision-making problems can be formulated as ILP problems with a very large (exponential) number of variables. Examples: cutting stock, crew scheduling, vehicle

More information

Totally unimodular matrices. Introduction to integer programming III: Network Flow, Interval Scheduling, and Vehicle Routing Problems

Totally unimodular matrices. Introduction to integer programming III: Network Flow, Interval Scheduling, and Vehicle Routing Problems Totally unimodular matrices Introduction to integer programming III: Network Flow, Interval Scheduling, and Vehicle Routing Problems Martin Branda Charles University in Prague Faculty of Mathematics and

More information

Easy and not so easy multifacility location problems... (In 20 minutes.)

Easy and not so easy multifacility location problems... (In 20 minutes.) Easy and not so easy multifacility location problems... (In 20 minutes.) MINLP 2014 Pittsburgh, June 2014 Justo Puerto Institute of Mathematics (IMUS) Universidad de Sevilla Outline 1 Introduction (In

More information

THE EXISTENCE AND USEFULNESS OF EQUALITY CUTS IN THE MULTI-DEMAND MULTIDIMENSIONAL KNAPSACK PROBLEM LEVI DELISSA. B.S., Kansas State University, 2014

THE EXISTENCE AND USEFULNESS OF EQUALITY CUTS IN THE MULTI-DEMAND MULTIDIMENSIONAL KNAPSACK PROBLEM LEVI DELISSA. B.S., Kansas State University, 2014 THE EXISTENCE AND USEFULNESS OF EQUALITY CUTS IN THE MULTI-DEMAND MULTIDIMENSIONAL KNAPSACK PROBLEM by LEVI DELISSA B.S., Kansas State University, 2014 A THESIS submitted in partial fulfillment of the

More information

KNAPSACK PROBLEMS WITH SETUPS

KNAPSACK PROBLEMS WITH SETUPS 7 e Conférence Francophone de MOdélisation et SIMulation - MOSIM 08 - du 31 mars au 2 avril 2008 - Paris - France Modélisation, Optimisation et Simulation des Systèmes : Communication, Coopération et Coordination

More information

Sequence independent lifting for 0 1 knapsack problems with disjoint cardinality constraints

Sequence independent lifting for 0 1 knapsack problems with disjoint cardinality constraints Sequence independent lifting for knapsack problems with disjoint cardinality constraints Bo Zeng and Jean-Philippe P. Richard School of Industrial Engineering, Purdue University, 35 N. Grant Street, West

More information

3. Linear Programming and Polyhedral Combinatorics

3. Linear Programming and Polyhedral Combinatorics Massachusetts Institute of Technology 18.433: Combinatorial Optimization Michel X. Goemans February 28th, 2013 3. Linear Programming and Polyhedral Combinatorics Summary of what was seen in the introductory

More information

Orbitopes. Marc Pfetsch. joint work with Volker Kaibel. Zuse Institute Berlin

Orbitopes. Marc Pfetsch. joint work with Volker Kaibel. Zuse Institute Berlin Orbitopes Marc Pfetsch joint work with Volker Kaibel Zuse Institute Berlin What this talk is about We introduce orbitopes. A polyhedral way to break symmetries in integer programs. Introduction 2 Orbitopes

More information

Exercises NP-completeness

Exercises NP-completeness Exercises NP-completeness Exercise 1 Knapsack problem Consider the Knapsack problem. We have n items, each with weight a j (j = 1,..., n) and value c j (j = 1,..., n) and an integer B. All a j and c j

More information

OPTIMIZATION. joint course with. Ottimizzazione Discreta and Complementi di R.O. Edoardo Amaldi. DEIB Politecnico di Milano

OPTIMIZATION. joint course with. Ottimizzazione Discreta and Complementi di R.O. Edoardo Amaldi. DEIB Politecnico di Milano OPTIMIZATION joint course with Ottimizzazione Discreta and Complementi di R.O. Edoardo Amaldi DEIB Politecnico di Milano edoardo.amaldi@polimi.it Website: http://home.deib.polimi.it/amaldi/opt-15-16.shtml

More information

Integer Programming Methods LNMB

Integer Programming Methods LNMB Integer Programming Methods LNMB 2017 2018 Dion Gijswijt homepage.tudelft.nl/64a8q/intpm/ Dion Gijswijt Intro IntPM 2017-2018 1 / 24 Organisation Webpage: homepage.tudelft.nl/64a8q/intpm/ Book: Integer

More information