BIP Examples: Set Covering Problem. Set Covering Problem formulation

Size: px
Start display at page:

Download "BIP Examples: Set Covering Problem. Set Covering Problem formulation"

Transcription

1 BIP Examples: Set Covering Problem A hospital ER needs to keep doctors on call, so that a qualified individual is available to perform every medical procedure that might be required (there is an o cial list of such procedures). For each of several doctors available for on-call duty, the additional salary they need to be paid, and which procedures they can perform, is known. The goal to choose doctors so that each procedure is covered, at a minimum cost. Example: Doc 1 Doc 2 Doc 3 Doc 4 Doc 5 Doc 6 Procedure 1 X X Procedure 2 X X Procedure 3 X X Procedure 4 X X Procedure 5 X X X Procedure 6 X IOE 518: Introduction to IP, Winter 2012 BIP formulations Page 16 c Marina A. Epelman Set Covering Problem formulation Data representation: incidence matrix. With m procedures and n available doctors, the data can be represented as A 2 R m n, where a ij =1ifdoctorj can perform procedure i and a ij = 0 otherwise. Also, let c j, j =1,...,n be the additional salary that will need to be paid to doctor j for on-call duty. Variables: x j =1ifdoctorj is on call, and 0 otherwise Formulation: min s.t. P n j=1 c jx j (Salaries paid) P n j=1 a ijx j 1, i =1,...,m (At least one doctor must x j 2 {0, 1}, j =1,...,n perform procedure i) IOE 518: Introduction to IP, Winter 2012 BIP formulations Page 17 c Marina A. Epelman

2 Set covering problem: formal statement Suppose we are given a set M, M j M, j =1,...,n are n subsets of M, and weights of the subsets, c j, j =1,...,n Set cover: a collection T {1,...,n} such that [ j2t M j = M. In the above example, M is the entire set of the procedures, M j is the set of procedures doctor j can perform, and c j is doctor j s salary. T is the set of doctors on call; note that it must be a cover of M. In this problem we were looking for a minimum weight set cover: min T < X = < nx c : j : T is a cover ; =min c : j x j : Ax j2t j=1 9 = e, x 2 {0, 1} n ;, where A is the incidence matrix above, and e is a vector of 1 s. IOE 518: Introduction to IP, Winter 2012 BIP formulations Page 18 c Marina A. Epelman Related problem: set packing Again, we are given a set M, M j M, j =1,...,n are n subsets of M, and weights of the subsets, c j, j =1,...,n Set packing: a collection T {1,...,n} such that M j \ M k = ; for all j, k 2 T, j 6= k. Maximum weight set packing problem: < X = < nx = max c T : j : T is a packing ; =max c : j x j : Ax apple e, x 2 {0, 1} n ; j2t j=1 IOE 518: Introduction to IP, Winter 2012 BIP formulations Page 19 c Marina A. Epelman

3 Related problem: set partition Again, we are given a set M, n subsets of M, M j M, j =1,...,n, and weights of the subsets, c j, j =1,...,n Set partition: a collection T {1,...,n} which is both a cover and a packing. Maximum (or minimum) weight set partition problem: < X = < nx = max c T : j : T is a partition ; =max c : j x j : Ax = e, x 2 {0, 1} n ; j2t j=1 IOE 518: Introduction to IP, Winter 2012 BIP formulations Page 20 c Marina A. Epelman BIP Examples: Traveling Salesman Problem (TSP) A candidate for the presidential nomination would like to visit the seat of every county in a state in the days before the caucus, starting out from, and returning to, the state capital, stopping exactly once in each county. Let the set of these cities be N = {1,...,n}. The time it takes to travel from city i to city j is c ij. Find the order in which he should make his tour so as to finish in minimal time. Variables: x ij = 1 if the candidate goes from city i directly to city j; 0 otherwise (x ii are not defined). Objective function: min P n P n i=1 j=1 c ijx ij Constraints: x ij 2 {0, 1} 8i 6= j, X x ij =1, i 2 N (Leaves i exactly once) (1) j:j6=i X x ij =1, j 2 N (Enters j exactly once) (2) i:i6=j Solutions satisfying the above constraints may lead to subtours. IOE 518: Introduction to IP, Winter 2012 TSP Page 21 c Marina A. Epelman

4 Eliminating subtours in TSP Observation: Let S be a non-empty strict subset of N. Any tour must leave S at least once: X X x ij 1, 8S N, S 6= ; (3) i2s j62s Observation: Let S be a non-empty subset of N with cardinality 2 apple S apple n 1. In any tour, there are no more than S 1 edges connecting nodes of S, andiftherearemorethan S 1 edges connecting nodes of S, there must be a subtour! X X x ij apple S 1forS N, 2 apple S apple n 1 (4) i2s j2s Constraints (1), (2), (3) (the cut-set formulation) or (1), (2), (4) (the subtour elimination formulation), together with binary restrictions on the variables, are valid formulations of the TSP. How many variables and constraints do these formulations have? IOE 518: Introduction to IP, Winter 2012 TSP Page 22 c Marina A. Epelman Logical constraints modeled with binary variables I Binary knapsack problem data: b, a j, c j, j =1,...,n I Items 1, 2 and 3 are, respectively, a chocolate bar, a bag of marshmallows, and a packet of graham crackers if all three are brought on a trip, we can make s mores, whose utility is s 6= c 1 + c 2 + c 3 Variables: I x j =1ifitemj is packed, 0 otherwise. I New variable: y = 1 if we can make s mores, 0 otherwise Need to add the following logic to the formulation: I If y = 1, then x 1 = x 2 = x 3 =1 I If y = 0, may have x j = 0 for one of more j =1, 2, 3 (why not must have?) Add this constraint to the knapsack model: I x 1 + x 2 + x 3 3y IOE 518: Introduction to IP, Winter 2012 TSP Page 23 c Marina A. Epelman

5 MIP Example: Disjunctive constraints Disjunctive constraints allow us to model, in form of an MIP, requirements that specify that, out of a collection of constraints, one (or a pre-specified number) need to be satisfied. Radiation therapy example: Let T be the set of pixels in a tumor. At least 95% of these pixels need to receive a dose of 80 Gy or higher. Variables: 0 dose delivered to pixel j 2 T D j y j = 1 if 80 D j apple 0, and y j = 0 otherwise. Requirement representation: P j2t y j 0.95 T 80 D j apple M(1 y j ), j 2 T y j 2 {0, 1}, D j 0, j 2 T Here, M > 0isasu ciently large number, so that any dose D j satisfying other constraints of the problem satisfies 80 D j apple M for all j 2 T. IOE 518: Introduction to IP, Winter 2012 MIP formulations Page 24 c Marina A. Epelman MIP Example: uncapacitated lot sizing (ULS) We need to decide on the production plan for the next n-period horizon for a single product. Data for the problem is as follows: h t unit storage cost in period t, d t demand in period t, Production cost in period t, as a function of amount x produced: ( 0 if x =0 Initial inventory is 0. Variables: f t + p t x if x > 0, I x t amount producedin period t I s t total inventory at the end of period t I y t = 1 if production takes place in period t IOE 518: Introduction to IP, Winter 2012 MIP formulations Page 25 c Marina A. Epelman

6 Uncapacitated lot sizing (ULS) continued Formulation P n min t=1 p tx t + P n t=1 h ts t + P n t=1 f ty t s.t. s t 1 + x t = d t + s t, t =1,...,n (Inventory balance) x t apple My t, t =1,...,n (Forcing constraints) s t, x t 0, y t 2 {0, 1}, t =1,...,n s 0 =0 I Constraints s t period. 0 ensure the demand is satisfied in each I M > 0, a.k.a., the big M is an a priori upper bound on x t, t =1,...,n. I M needs to be large enough not to impose additional restrictions of x t s I Values that are too big cause numerical di culties when a problem is solved I Carefully consider the selection of M in an implementation IOE 518: Introduction to IP, Winter 2012 MIP formulations Page 26 c Marina A. Epelman MIP Example: uncapacitated facility location (UFL) Given a set of potential depots N = {1,...,n} and a set M = {1,...,m} of clients, we need to decide which depots to open, and how to utilize them to serve clients. Costs c ij of supplying the entire demand of client i from depot j, andf j of building depot j are given. Here, each client s demand can be to satisfied by multiple depots. Variables: y j = 1 if depot j is built, y j = 0 otherwise; x ij fraction of demand of client i supplied by depot j Formulation: min X X c ij x ij + X f j y j i2m P j2n j2n s.t. j2n x ij =18i 2 M (Demand satisfied) x ij apple y j 8i 2 M, j 2 N (Forcing constraints) x ij 0 8i 2 M, j 2 N y j 2 {0, 1} 8j 2 N IOE 518: Introduction to IP, Winter 2012 MIP formulations Page 27 c Marina A. Epelman

7 An alternative formulation for UFL Same variables: y j = 1 if depot j is built, y j = 0 otherwise; x ij fraction of demand of client i supplied by depot j Alternative formulation: min X X c ij x ij + X f j y j i2m X j2n j2n s.t. x ij =18i 2 M (Demand satisfied) j2n X x ij apple my j 8j 2 N i2m x ij 0 8i 2 M, j 2 N y j 2 {0, 1} 8j 2 N (Combined forcing constraints) IOE 518: Introduction to IP, Winter 2012 MIP formulations Page 28 c Marina A. Epelman Formulation geometric perspective Informally, a formulation is a mathematical description of a set of (feasible) variable values such that I All values in the feasible set satisfy the mathematical description; and I No infeasible values satisfy the mathematical description (Before, we used the terms model and formulation interchangeably, but now we should be more careful.) Polyhedron A subset of R n (that can be) described by a finite set of linear constraints P = {x 2 R n : Ax apple b} is a polyhedron. Formulation for a set A polyhedron P R n+p is a formulation for a set X Z n R p if and only if X = P \ (Z n R p ). IOE 518: Introduction to IP, Winter 2012 Strength of formulations Page 29 c Marina A. Epelman

8 Formulations for a 2D Set Consider the set X = {(1, 1), (2, 1), (3, 1), (1, 2), (2, 2), (3, 2), (2, 3)}. I What are possible formulations for X (in the sense of the above definition)? I What if we remove point (2, 2) from the set? I The feasible region of an IP or a MIP always has a formulation, in the sense of the above definition IOE 518: Introduction to IP, Winter 2012 Strength of formulations Page 30 c Marina A. Epelman Formulations for a Knapsack set Consider the feasible region of the following 0 1 knapsack problem: X = {x 2 {0, 1} 4 : 83x x x x 4 apple 100} ={(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)} The following are formulations for X : P 1 = {x 2 R 4 :0apple x apple e, 83x x x x 4 apple 100} P 2 = {x 2 R 4 :0apple x apple e, 4x 1 +3x 2 +2x 3 + x 4 apple 4} P 3 ={x 2 R 4 :0apple x apple e, 4x 1 +3x 2 +2x 3 + x 4 apple 4, x 1 + x 2 + x 3 apple 1, x 1 + x 4 apple 1} IOE 518: Introduction to IP, Winter 2012 Strength of formulations Page 31 c Marina A. Epelman

9 When is one formulation better than another? Better formulation definition Given a set X R n and two formulations, P 1 and P 2,forX, P 1 is a better formulation than P 2 if P 1 P 2. I Note: some formulations cannot be compared. I For the formulations of the knapsack above, P 3 P 2 P 1, and, in fact, P 3 P for any formulation P of this set! IOE 518: Introduction to IP, Winter 2012 Strength of formulations Page 32 c Marina A. Epelman LP relaxations jumping ahead What is this definition of a better formulation based on? I Suppose P R n is a formulation for X Z n. To solve (IP) z IP =max{c T x : x 2 X } =max{c T x : x 2 P \ Z n }, we often begin by solving the linear relaxation of this problem: (LP) z RP =max{c T x : x 2 P}, which is an LP. I Note: X P, soz IP apple z LP I Suppose P1 P 2 are both formulations for X.Then z IP apple z LP 1 apple z LP 2 better formulations lead to better bounds on z IP IOE 518: Introduction to IP, Winter 2012 Strength of formulations Page 33 c Marina A. Epelman

10 Comparing formulations for UFL P 1 = {(x, y) 2 R mn+n : X j2n x ij =18i, x ij apple y j 8i, j x ij 0 8i, j, 0 apple y j apple 1 8j}, P 2 = {(x, y) 2 R mn+n : X j2n x ij =18i, X i2m x ij apple my j 8j x ij 0 8i, j, 0 apple y j apple 1 8j}, I Let (x, y) 2 P 1.Then P i2m x ij apple P i2m y j = my j.hence, P 1 P 2. I Suppose, for simplicity, that m = kn, withk 2 and integer. Let each depot serve k clients, assigning x ij = 1 appropriately, and let y j = k/m 8j. Then(x, y) 2 P 2 \ P 1 Conclusion: formulation P 1 is better than P 2. IOE 518: Introduction to IP, Winter 2012 Strength of formulations Page 34 c Marina A. Epelman What would be the best formulation? I Let X be the set of feasible solutions of some IP (or MIP). I What d be the best formulation for X? A polyhedron P? s.t. I X P?,i.e.,P? is a formulation for X,and I For any P which is a formulation for X, P? P Convex hull Given a set S R n,theconvex hull of S, denoted by conv(s), is defined as conv(s) ={x : x = P t i=1 ix i, P t i=1 i =1, i 0 i =1,...,t over all finite subsets {x 1,...,x t } S}. Proposition 1.1 conv(s) is a polyhedron if S is finite, or if it is the set of feasible solutions of some MIP (not true for an arbitrary set S!). Claim: conv(x ) is the best formulation for X : I conv(x ) is a polyhedron I For any P which is a formulation for X, X conv(x ) P. IOE 518: Introduction to IP, Winter 2012 Strength of formulations Page 35 c Marina A. Epelman

11 Additional properties of the ideal formulation I Recall: given P R n a formulation for X Z n, to solve (IP) z IP =max{c T x : x 2 X } =max{c T x : x 2 P \ Z n }, we often begin by solving the linear relaxation of this problem: which is an LP. (LP) z RP =max{c T x : x 2 P}, I Solution x LP will be found at an extreme point of P, and if x LP 2 X, then we found the optimal solution of (IP) just by solving (RP). Proposition 1.2 All extreme points of conv(x )lieinx. Does this mean we are done with studying integer programming? IOE 518: Introduction to IP, Winter 2012 Strength of formulations Page 36 c Marina A. Epelman

Discrete Optimization

Discrete Optimization Discrete Optimization [Chen, Batson, Dang: Applied integer Programming] Chapter 3 and 4.1-4.3 by Johan Högdahl and Victoria Svedberg Seminar 2, 2015-03-31 Todays presentation Chapter 3 Transforms using

More information

CHAPTER 9. Integer Programming

CHAPTER 9. Integer Programming CHAPTER 9 Integer Programming An integer linear program (ILP) is, by definition, a linear program with the additional constraint that all variables take integer values: (9.1) max c T x s t Ax b and x integral

More information

5 INTEGER LINEAR PROGRAMMING (ILP) E. Amaldi Fondamenti di R.O. Politecnico di Milano 1

5 INTEGER LINEAR PROGRAMMING (ILP) E. Amaldi Fondamenti di R.O. Politecnico di Milano 1 5 INTEGER LINEAR PROGRAMMING (ILP) E. Amaldi Fondamenti di R.O. Politecnico di Milano 1 General Integer Linear Program: (ILP) min c T x Ax b x 0 integer Assumption: A, b integer The integrality condition

More information

Dantzig-Wolfe bound and Dantzig-Wolfe cookbook

Dantzig-Wolfe bound and Dantzig-Wolfe cookbook Dantzig-Wolfe bound and Dantzig-Wolfe cookbook thst@man.dtu.dk DTU-Management Technical University of Denmark 1 Outline LP strength of the Dantzig-Wolfe The exercise from last week... The Dantzig-Wolfe

More information

. P. 4.3 Basic feasible solutions and vertices of polyhedra. x 1. x 2

. P. 4.3 Basic feasible solutions and vertices of polyhedra. x 1. x 2 4. Basic feasible solutions and vertices of polyhedra Due to the fundamental theorem of Linear Programming, to solve any LP it suffices to consider the vertices (finitely many) of the polyhedron P of the

More information

Discuss the size of the instance for the minimum spanning tree problem.

Discuss the size of the instance for the minimum spanning tree problem. 3.1 Algorithm complexity The algorithms A, B are given. The former has complexity O(n 2 ), the latter O(2 n ), where n is the size of the instance. Let n A 0 be the size of the largest instance that can

More information

24. The Branch and Bound Method

24. The Branch and Bound Method 24. The Branch and Bound Method It has serious practical consequences if it is known that a combinatorial problem is NP-complete. Then one can conclude according to the present state of science that no

More information

Integer Programming Formulation

Integer Programming Formulation Integer Programming Formulation 1 Integer Programming Introduction When we introduced linear programs in Chapter 1, we mentioned divisibility as one of the LP assumptions. Divisibility allowed us to consider

More information

5.1 Bipartite Matching

5.1 Bipartite Matching CS787: Advanced Algorithms Lecture 5: Applications of Network Flow In the last lecture, we looked at the problem of finding the maximum flow in a graph, and how it can be efficiently solved using the Ford-Fulkerson

More information

Approximation Algorithms

Approximation Algorithms Approximation Algorithms or: How I Learned to Stop Worrying and Deal with NP-Completeness Ong Jit Sheng, Jonathan (A0073924B) March, 2012 Overview Key Results (I) General techniques: Greedy algorithms

More information

3. Linear Programming and Polyhedral Combinatorics

3. Linear Programming and Polyhedral Combinatorics Massachusetts Institute of Technology Handout 6 18.433: Combinatorial Optimization February 20th, 2009 Michel X. Goemans 3. Linear Programming and Polyhedral Combinatorics Summary of what was seen in the

More information

Key words. Mixed-integer programming, mixing sets, convex hull descriptions, lot-sizing.

Key words. Mixed-integer programming, mixing sets, convex hull descriptions, lot-sizing. MIXING SETS LINKED BY BI-DIRECTED PATHS MARCO DI SUMMA AND LAURENCE A. WOLSEY Abstract. Recently there has been considerable research on simple mixed-integer sets, called mixing sets, and closely related

More information

Chapter 11. 11.1 Load Balancing. Approximation Algorithms. Load Balancing. Load Balancing on 2 Machines. Load Balancing: Greedy Scheduling

Chapter 11. 11.1 Load Balancing. Approximation Algorithms. Load Balancing. Load Balancing on 2 Machines. Load Balancing: Greedy Scheduling Approximation Algorithms Chapter Approximation Algorithms Q. Suppose I need to solve an NP-hard problem. What should I do? A. Theory says you're unlikely to find a poly-time algorithm. Must sacrifice one

More information

Integrating Benders decomposition within Constraint Programming

Integrating Benders decomposition within Constraint Programming Integrating Benders decomposition within Constraint Programming Hadrien Cambazard, Narendra Jussien email: {hcambaza,jussien}@emn.fr École des Mines de Nantes, LINA CNRS FRE 2729 4 rue Alfred Kastler BP

More information

Branch and Cut for TSP

Branch and Cut for TSP Branch and Cut for TSP jla,jc@imm.dtu.dk Informatics and Mathematical Modelling Technical University of Denmark 1 Branch-and-Cut for TSP Branch-and-Cut is a general technique applicable e.g. to solve symmetric

More information

Scheduling Home Health Care with Separating Benders Cuts in Decision Diagrams

Scheduling Home Health Care with Separating Benders Cuts in Decision Diagrams Scheduling Home Health Care with Separating Benders Cuts in Decision Diagrams André Ciré University of Toronto John Hooker Carnegie Mellon University INFORMS 2014 Home Health Care Home health care delivery

More information

Noncommercial Software for Mixed-Integer Linear Programming

Noncommercial Software for Mixed-Integer Linear Programming Noncommercial Software for Mixed-Integer Linear Programming J. T. Linderoth T. K. Ralphs December, 2004. Revised: January, 2005. Abstract We present an overview of noncommercial software tools for the

More information

! Solve problem to optimality. ! Solve problem in poly-time. ! Solve arbitrary instances of the problem. !-approximation algorithm.

! Solve problem to optimality. ! Solve problem in poly-time. ! Solve arbitrary instances of the problem. !-approximation algorithm. Approximation Algorithms Chapter Approximation Algorithms Q Suppose I need to solve an NP-hard problem What should I do? A Theory says you're unlikely to find a poly-time algorithm Must sacrifice one of

More information

INTEGER PROGRAMMING. Integer Programming. Prototype example. BIP model. BIP models

INTEGER PROGRAMMING. Integer Programming. Prototype example. BIP model. BIP models Integer Programming INTEGER PROGRAMMING In many problems the decision variables must have integer values. Example: assign people, machines, and vehicles to activities in integer quantities. If this is

More information

How To Solve A Minimum Set Covering Problem (Mcp)

How To Solve A Minimum Set Covering Problem (Mcp) Measuring Rationality with the Minimum Cost of Revealed Preference Violations Mark Dean and Daniel Martin Online Appendices - Not for Publication 1 1 Algorithm for Solving the MASP In this online appendix

More information

Scheduling of Mixed Batch-Continuous Production Lines

Scheduling of Mixed Batch-Continuous Production Lines Université Catholique de Louvain Faculté des Sciences Appliquées Scheduling of Mixed Batch-Continuous Production Lines Thèse présentée en vue de l obtention du grade de Docteur en Sciences Appliquées par

More information

International Doctoral School Algorithmic Decision Theory: MCDA and MOO

International Doctoral School Algorithmic Decision Theory: MCDA and MOO International Doctoral School Algorithmic Decision Theory: MCDA and MOO Lecture 2: Multiobjective Linear Programming Department of Engineering Science, The University of Auckland, New Zealand Laboratoire

More information

Lecture 3. Linear Programming. 3B1B Optimization Michaelmas 2015 A. Zisserman. Extreme solutions. Simplex method. Interior point method

Lecture 3. Linear Programming. 3B1B Optimization Michaelmas 2015 A. Zisserman. Extreme solutions. Simplex method. Interior point method Lecture 3 3B1B Optimization Michaelmas 2015 A. Zisserman Linear Programming Extreme solutions Simplex method Interior point method Integer programming and relaxation The Optimization Tree Linear Programming

More information

Can linear programs solve NP-hard problems?

Can linear programs solve NP-hard problems? Can linear programs solve NP-hard problems? p. 1/9 Can linear programs solve NP-hard problems? Ronald de Wolf Linear programs Can linear programs solve NP-hard problems? p. 2/9 Can linear programs solve

More information

Optimization Modeling for Mining Engineers

Optimization Modeling for Mining Engineers Optimization Modeling for Mining Engineers Alexandra M. Newman Division of Economics and Business Slide 1 Colorado School of Mines Seminar Outline Linear Programming Integer Linear Programming Slide 2

More information

! Solve problem to optimality. ! Solve problem in poly-time. ! Solve arbitrary instances of the problem. #-approximation algorithm.

! Solve problem to optimality. ! Solve problem in poly-time. ! Solve arbitrary instances of the problem. #-approximation algorithm. Approximation Algorithms 11 Approximation Algorithms Q Suppose I need to solve an NP-hard problem What should I do? A Theory says you're unlikely to find a poly-time algorithm Must sacrifice one of three

More information

Cost Models for Vehicle Routing Problems. 8850 Stanford Boulevard, Suite 260 R. H. Smith School of Business

Cost Models for Vehicle Routing Problems. 8850 Stanford Boulevard, Suite 260 R. H. Smith School of Business 0-7695-1435-9/02 $17.00 (c) 2002 IEEE 1 Cost Models for Vehicle Routing Problems John Sniezek Lawerence Bodin RouteSmart Technologies Decision and Information Technologies 8850 Stanford Boulevard, Suite

More information

Linear Programming for Optimization. Mark A. Schulze, Ph.D. Perceptive Scientific Instruments, Inc.

Linear Programming for Optimization. Mark A. Schulze, Ph.D. Perceptive Scientific Instruments, Inc. 1. Introduction Linear Programming for Optimization Mark A. Schulze, Ph.D. Perceptive Scientific Instruments, Inc. 1.1 Definition Linear programming is the name of a branch of applied mathematics that

More information

What is Linear Programming?

What is Linear Programming? Chapter 1 What is Linear Programming? An optimization problem usually has three essential ingredients: a variable vector x consisting of a set of unknowns to be determined, an objective function of x to

More information

Basic Components of an LP:

Basic Components of an LP: 1 Linear Programming Optimization is an important and fascinating area of management science and operations research. It helps to do less work, but gain more. Linear programming (LP) is a central topic

More information

MODELS AND ALGORITHMS FOR WORKFORCE ALLOCATION AND UTILIZATION

MODELS AND ALGORITHMS FOR WORKFORCE ALLOCATION AND UTILIZATION MODELS AND ALGORITHMS FOR WORKFORCE ALLOCATION AND UTILIZATION by Ada Yetunde Barlatt A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy (Industrial

More information

Applied Algorithm Design Lecture 5

Applied Algorithm Design Lecture 5 Applied Algorithm Design Lecture 5 Pietro Michiardi Eurecom Pietro Michiardi (Eurecom) Applied Algorithm Design Lecture 5 1 / 86 Approximation Algorithms Pietro Michiardi (Eurecom) Applied Algorithm Design

More information

Cloud Branching. Timo Berthold. joint work with Domenico Salvagnin (Università degli Studi di Padova)

Cloud Branching. Timo Berthold. joint work with Domenico Salvagnin (Università degli Studi di Padova) Cloud Branching Timo Berthold Zuse Institute Berlin joint work with Domenico Salvagnin (Università degli Studi di Padova) DFG Research Center MATHEON Mathematics for key technologies 21/May/13, CPAIOR

More information

Proximal mapping via network optimization

Proximal mapping via network optimization L. Vandenberghe EE236C (Spring 23-4) Proximal mapping via network optimization minimum cut and maximum flow problems parametric minimum cut problem application to proximal mapping Introduction this lecture:

More information

Linear Programming. March 14, 2014

Linear Programming. March 14, 2014 Linear Programming March 1, 01 Parts of this introduction to linear programming were adapted from Chapter 9 of Introduction to Algorithms, Second Edition, by Cormen, Leiserson, Rivest and Stein [1]. 1

More information

Convex Programming Tools for Disjunctive Programs

Convex Programming Tools for Disjunctive Programs Convex Programming Tools for Disjunctive Programs João Soares, Departamento de Matemática, Universidade de Coimbra, Portugal Abstract A Disjunctive Program (DP) is a mathematical program whose feasible

More information

A Working Knowledge of Computational Complexity for an Optimizer

A Working Knowledge of Computational Complexity for an Optimizer A Working Knowledge of Computational Complexity for an Optimizer ORF 363/COS 323 Instructor: Amir Ali Ahmadi TAs: Y. Chen, G. Hall, J. Ye Fall 2014 1 Why computational complexity? What is computational

More information

4.6 Linear Programming duality

4.6 Linear Programming duality 4.6 Linear Programming duality To any minimization (maximization) LP we can associate a closely related maximization (minimization) LP. Different spaces and objective functions but in general same optimal

More information

Mathematical finance and linear programming (optimization)

Mathematical finance and linear programming (optimization) Mathematical finance and linear programming (optimization) Geir Dahl September 15, 2009 1 Introduction The purpose of this short note is to explain how linear programming (LP) (=linear optimization) may

More information

Chapter 13: Binary and Mixed-Integer Programming

Chapter 13: Binary and Mixed-Integer Programming Chapter 3: Binary and Mixed-Integer Programming The general branch and bound approach described in the previous chapter can be customized for special situations. This chapter addresses two special situations:

More information

Solving NP Hard problems in practice lessons from Computer Vision and Computational Biology

Solving NP Hard problems in practice lessons from Computer Vision and Computational Biology Solving NP Hard problems in practice lessons from Computer Vision and Computational Biology Yair Weiss School of Computer Science and Engineering The Hebrew University of Jerusalem www.cs.huji.ac.il/ yweiss

More information

Equilibrium computation: Part 1

Equilibrium computation: Part 1 Equilibrium computation: Part 1 Nicola Gatti 1 Troels Bjerre Sorensen 2 1 Politecnico di Milano, Italy 2 Duke University, USA Nicola Gatti and Troels Bjerre Sørensen ( Politecnico di Milano, Italy, Equilibrium

More information

2.3 Convex Constrained Optimization Problems

2.3 Convex Constrained Optimization Problems 42 CHAPTER 2. FUNDAMENTAL CONCEPTS IN CONVEX OPTIMIZATION Theorem 15 Let f : R n R and h : R R. Consider g(x) = h(f(x)) for all x R n. The function g is convex if either of the following two conditions

More information

arxiv:cs/0106002v2 [cs.dm] 21 Aug 2001

arxiv:cs/0106002v2 [cs.dm] 21 Aug 2001 Solving Assembly Line Balancing Problems by Combining IP and CP Alexander Bockmayr and Nicolai Pisaruk arxiv:cs/0106002v2 [cs.dm] 21 Aug 2001 Université Henri Poincaré, LORIA B.P. 239, F-54506 Vandœuvre-lès-Nancy,

More information

A Note on the Bertsimas & Sim Algorithm for Robust Combinatorial Optimization Problems

A Note on the Bertsimas & Sim Algorithm for Robust Combinatorial Optimization Problems myjournal manuscript No. (will be inserted by the editor) A Note on the Bertsimas & Sim Algorithm for Robust Combinatorial Optimization Problems Eduardo Álvarez-Miranda Ivana Ljubić Paolo Toth Received:

More information

Facility Location: Discrete Models and Local Search Methods

Facility Location: Discrete Models and Local Search Methods Facility Location: Discrete Models and Local Search Methods Yury KOCHETOV Sobolev Institute of Mathematics, Novosibirsk, Russia Abstract. Discrete location theory is one of the most dynamic areas of operations

More information

In this paper we present a branch-and-cut algorithm for

In this paper we present a branch-and-cut algorithm for SOLVING A TRUCK DISPATCHING SCHEDULING PROBLEM USING BRANCH-AND-CUT ROBERT E. BIXBY Rice University, Houston, Texas EVA K. LEE Georgia Institute of Technology, Atlanta, Georgia (Received September 1994;

More information

Minimal Cost Reconfiguration of Data Placement in a Storage Area Network

Minimal Cost Reconfiguration of Data Placement in a Storage Area Network Minimal Cost Reconfiguration of Data Placement in a Storage Area Network Hadas Shachnai Gal Tamir Tami Tamir Abstract Video-on-Demand (VoD) services require frequent updates in file configuration on the

More information

Recovery of primal solutions from dual subgradient methods for mixed binary linear programming; a branch-and-bound approach

Recovery of primal solutions from dual subgradient methods for mixed binary linear programming; a branch-and-bound approach MASTER S THESIS Recovery of primal solutions from dual subgradient methods for mixed binary linear programming; a branch-and-bound approach PAULINE ALDENVIK MIRJAM SCHIERSCHER Department of Mathematical

More information

Optimizing Call Center Staffing using Simulation and Analytic Center Cutting Plane Methods

Optimizing Call Center Staffing using Simulation and Analytic Center Cutting Plane Methods Optimizing Call Center Staffing using Simulation and Analytic Center Cutting Plane Methods Júlíus Atlason, jatlason@umich.edu Marina A. Epelman, mepelman@umich.edu Shane G. Henderson, sgh9@cornell.edu

More information

Transportation Polytopes: a Twenty year Update

Transportation Polytopes: a Twenty year Update Transportation Polytopes: a Twenty year Update Jesús Antonio De Loera University of California, Davis Based on various papers joint with R. Hemmecke, E.Kim, F. Liu, U. Rothblum, F. Santos, S. Onn, R. Yoshida,

More information

Algorithm Design and Analysis

Algorithm Design and Analysis Algorithm Design and Analysis LECTURE 27 Approximation Algorithms Load Balancing Weighted Vertex Cover Reminder: Fill out SRTEs online Don t forget to click submit Sofya Raskhodnikova 12/6/2011 S. Raskhodnikova;

More information

Optimizing Call Center Staffing using Simulation and Analytic Center Cutting Plane Methods

Optimizing Call Center Staffing using Simulation and Analytic Center Cutting Plane Methods Submitted to Management Science manuscript MS-00998-2004.R1 Optimizing Call Center Staffing using Simulation and Analytic Center Cutting Plane Methods Júlíus Atlason, Marina A. Epelman Department of Industrial

More information

Two objective functions for a real life Split Delivery Vehicle Routing Problem

Two objective functions for a real life Split Delivery Vehicle Routing Problem International Conference on Industrial Engineering and Systems Management IESM 2011 May 25 - May 27 METZ - FRANCE Two objective functions for a real life Split Delivery Vehicle Routing Problem Marc Uldry

More information

11. APPROXIMATION ALGORITHMS

11. APPROXIMATION ALGORITHMS 11. APPROXIMATION ALGORITHMS load balancing center selection pricing method: vertex cover LP rounding: vertex cover generalized load balancing knapsack problem Lecture slides by Kevin Wayne Copyright 2005

More information

IEOR 4404 Homework #2 Intro OR: Deterministic Models February 14, 2011 Prof. Jay Sethuraman Page 1 of 5. Homework #2

IEOR 4404 Homework #2 Intro OR: Deterministic Models February 14, 2011 Prof. Jay Sethuraman Page 1 of 5. Homework #2 IEOR 4404 Homework # Intro OR: Deterministic Models February 14, 011 Prof. Jay Sethuraman Page 1 of 5 Homework #.1 (a) What is the optimal solution of this problem? Let us consider that x 1, x and x 3

More information

New Exact Solution Approaches for the Split Delivery Vehicle Routing Problem

New Exact Solution Approaches for the Split Delivery Vehicle Routing Problem New Exact Solution Approaches for the Split Delivery Vehicle Routing Problem Gizem Ozbaygin, Oya Karasan and Hande Yaman Department of Industrial Engineering, Bilkent University, Ankara, Turkey ozbaygin,

More information

Branch-and-Price Approach to the Vehicle Routing Problem with Time Windows

Branch-and-Price Approach to the Vehicle Routing Problem with Time Windows TECHNISCHE UNIVERSITEIT EINDHOVEN Branch-and-Price Approach to the Vehicle Routing Problem with Time Windows Lloyd A. Fasting May 2014 Supervisors: dr. M. Firat dr.ir. M.A.A. Boon J. van Twist MSc. Contents

More information

Blending petroleum products at NZ Refining Company

Blending petroleum products at NZ Refining Company Blending petroleum products at NZ Refining Company Geoffrey B. W. Gill Commercial Department NZ Refining Company New Zealand ggill@nzrc.co.nz Abstract There are many petroleum products which New Zealand

More information

Largest Fixed-Aspect, Axis-Aligned Rectangle

Largest Fixed-Aspect, Axis-Aligned Rectangle Largest Fixed-Aspect, Axis-Aligned Rectangle David Eberly Geometric Tools, LLC http://www.geometrictools.com/ Copyright c 1998-2016. All Rights Reserved. Created: February 21, 2004 Last Modified: February

More information

Distributionally robust workforce scheduling in call centers with uncertain arrival rates

Distributionally robust workforce scheduling in call centers with uncertain arrival rates Distributionally robust workforce scheduling in call centers with uncertain arrival rates S. Liao 1, C. van Delft 2, J.-P. Vial 3,4 1 Ecole Centrale, Paris, France 2 HEC. Paris, France 3 Prof. Emeritus,

More information

a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2.

a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2. Chapter 1 LINEAR EQUATIONS 1.1 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,..., a n, b are given

More information

Duality of linear conic problems

Duality of linear conic problems Duality of linear conic problems Alexander Shapiro and Arkadi Nemirovski Abstract It is well known that the optimal values of a linear programming problem and its dual are equal to each other if at least

More information

Workforce scheduling with logical constraints: theory and applications in call centers

Workforce scheduling with logical constraints: theory and applications in call centers Workforce scheduling with logical constraints: theory and applications in call centers Gábor Danó This thesis was supervised by Sandjai Bhulai and Ger Koole Department of Mathematics Vrije Universiteit

More information

1. Prove that the empty set is a subset of every set.

1. Prove that the empty set is a subset of every set. 1. Prove that the empty set is a subset of every set. Basic Topology Written by Men-Gen Tsai email: b89902089@ntu.edu.tw Proof: For any element x of the empty set, x is also an element of every set since

More information

Integrated support system for planning and scheduling... 2003/4/24 page 75 #101. Chapter 5 Sequencing and assignment Strategies

Integrated support system for planning and scheduling... 2003/4/24 page 75 #101. Chapter 5 Sequencing and assignment Strategies Integrated support system for planning and scheduling... 2003/4/24 page 75 #101 Chapter 5 Sequencing and assignment Strategies 5.1 Overview This chapter is dedicated to the methodologies used in this work

More information

Lecture 3: Finding integer solutions to systems of linear equations

Lecture 3: Finding integer solutions to systems of linear equations Lecture 3: Finding integer solutions to systems of linear equations Algorithmic Number Theory (Fall 2014) Rutgers University Swastik Kopparty Scribe: Abhishek Bhrushundi 1 Overview The goal of this lecture

More information

EdExcel Decision Mathematics 1

EdExcel Decision Mathematics 1 EdExcel Decision Mathematics 1 Linear Programming Section 1: Formulating and solving graphically Notes and Examples These notes contain subsections on: Formulating LP problems Solving LP problems Minimisation

More information

A Constraint Programming based Column Generation Approach to Nurse Rostering Problems

A Constraint Programming based Column Generation Approach to Nurse Rostering Problems Abstract A Constraint Programming based Column Generation Approach to Nurse Rostering Problems Fang He and Rong Qu The Automated Scheduling, Optimisation and Planning (ASAP) Group School of Computer Science,

More information

Efficient and Robust Allocation Algorithms in Clouds under Memory Constraints

Efficient and Robust Allocation Algorithms in Clouds under Memory Constraints Efficient and Robust Allocation Algorithms in Clouds under Memory Constraints Olivier Beaumont,, Paul Renaud-Goud Inria & University of Bordeaux Bordeaux, France 9th Scheduling for Large Scale Systems

More information

An Expressive Auction Design for Online Display Advertising. AUTHORS: Sébastien Lahaie, David C. Parkes, David M. Pennock

An Expressive Auction Design for Online Display Advertising. AUTHORS: Sébastien Lahaie, David C. Parkes, David M. Pennock An Expressive Auction Design for Online Display Advertising AUTHORS: Sébastien Lahaie, David C. Parkes, David M. Pennock Li PU & Tong ZHANG Motivation Online advertisement allow advertisers to specify

More information

A Branch and Bound Algorithm for Solving the Binary Bi-level Linear Programming Problem

A Branch and Bound Algorithm for Solving the Binary Bi-level Linear Programming Problem A Branch and Bound Algorithm for Solving the Binary Bi-level Linear Programming Problem John Karlof and Peter Hocking Mathematics and Statistics Department University of North Carolina Wilmington Wilmington,

More information

26 Linear Programming

26 Linear Programming The greatest flood has the soonest ebb; the sorest tempest the most sudden calm; the hottest love the coldest end; and from the deepest desire oftentimes ensues the deadliest hate. Th extremes of glory

More information

Single machine parallel batch scheduling with unbounded capacity

Single machine parallel batch scheduling with unbounded capacity Workshop on Combinatorics and Graph Theory 21th, April, 2006 Nankai University Single machine parallel batch scheduling with unbounded capacity Yuan Jinjiang Department of mathematics, Zhengzhou University

More information

On the effect of forwarding table size on SDN network utilization

On the effect of forwarding table size on SDN network utilization IBM Haifa Research Lab On the effect of forwarding table size on SDN network utilization Rami Cohen IBM Haifa Research Lab Liane Lewin Eytan Yahoo Research, Haifa Seffi Naor CS Technion, Israel Danny Raz

More information

Minimizing costs for transport buyers using integer programming and column generation. Eser Esirgen

Minimizing costs for transport buyers using integer programming and column generation. Eser Esirgen MASTER STHESIS Minimizing costs for transport buyers using integer programming and column generation Eser Esirgen DepartmentofMathematicalSciences CHALMERS UNIVERSITY OF TECHNOLOGY UNIVERSITY OF GOTHENBURG

More information

Completely Positive Cone and its Dual

Completely Positive Cone and its Dual On the Computational Complexity of Membership Problems for the Completely Positive Cone and its Dual Peter J.C. Dickinson Luuk Gijben July 3, 2012 Abstract Copositive programming has become a useful tool

More information

Automated SEO. A Market Brew White Paper

Automated SEO. A Market Brew White Paper Automated SEO A Market Brew White Paper Abstract In this paper, we use the term Reach to suggest the forecasted traffic to a particular webpage or website. Reach is a traffic metric that describes an expected

More information

Branch, Cut, and Price: Sequential and Parallel

Branch, Cut, and Price: Sequential and Parallel Branch, Cut, and Price: Sequential and Parallel T.K. Ralphs 1, L. Ladányi 2, and L.E. Trotter, Jr. 3 1 Department of Industrial and Manufacturing Systems Engineering, Lehigh University, Bethlehem, PA 18017,

More information

Optimization Theory for Large Systems

Optimization Theory for Large Systems Optimization Theory for Large Systems LEON S. LASDON CASE WESTERN RESERVE UNIVERSITY THE MACMILLAN COMPANY COLLIER-MACMILLAN LIMITED, LONDON Contents 1. Linear and Nonlinear Programming 1 1.1 Unconstrained

More information

Modeling Integer and Combinatorial Programs

Modeling Integer and Combinatorial Programs Contents 7 Modeling Integer and Combinatorial Programs 287 7.1 Types of Integer Programs, an Example Puzzle Problem, andaclassicalsolutionmethod... 287 7.2 TheKnapsackProblems... 296 7.3 Set Covering,

More information

Setting Penalty Parameters in Electricity Exhaustion Software

Setting Penalty Parameters in Electricity Exhaustion Software On setting penalty parameters in electricity optimal dispatch software Andy Philpott Electric Power Optimization Centre Department of Engineering Science The University of Auckland Private Bag 92019 Auckland

More information

The Multiplicative Weights Update method

The Multiplicative Weights Update method Chapter 2 The Multiplicative Weights Update method The Multiplicative Weights method is a simple idea which has been repeatedly discovered in fields as diverse as Machine Learning, Optimization, and Game

More information

Linear Programming. Widget Factory Example. Linear Programming: Standard Form. Widget Factory Example: Continued.

Linear Programming. Widget Factory Example. Linear Programming: Standard Form. Widget Factory Example: Continued. Linear Programming Widget Factory Example Learning Goals. Introduce Linear Programming Problems. Widget Example, Graphical Solution. Basic Theory:, Vertices, Existence of Solutions. Equivalent formulations.

More information

Improved Algorithms for Data Migration

Improved Algorithms for Data Migration Improved Algorithms for Data Migration Samir Khuller 1, Yoo-Ah Kim, and Azarakhsh Malekian 1 Department of Computer Science, University of Maryland, College Park, MD 20742. Research supported by NSF Award

More information

OPRE 6201 : 2. Simplex Method

OPRE 6201 : 2. Simplex Method OPRE 6201 : 2. Simplex Method 1 The Graphical Method: An Example Consider the following linear program: Max 4x 1 +3x 2 Subject to: 2x 1 +3x 2 6 (1) 3x 1 +2x 2 3 (2) 2x 2 5 (3) 2x 1 +x 2 4 (4) x 1, x 2

More information

On the Capacitated Vehicle Routing Problem

On the Capacitated Vehicle Routing Problem On the Capacitated Vehicle Routing Problem T.K. Ralphs, L. Kopman, W.R. Pulleyblank, and L.E. Trotter, Jr. Revised December 17, 2001 Abstract We consider the Vehicle Routing Problem, in which a fixed fleet

More information

Routing in Line Planning for Public Transport

Routing in Line Planning for Public Transport Konrad-Zuse-Zentrum für Informationstechnik Berlin Takustraße 7 D-14195 Berlin-Dahlem Germany MARC E. PFETSCH RALF BORNDÖRFER Routing in Line Planning for Public Transport Supported by the DFG Research

More information

A linear combination is a sum of scalars times quantities. Such expressions arise quite frequently and have the form

A linear combination is a sum of scalars times quantities. Such expressions arise quite frequently and have the form Section 1.3 Matrix Products A linear combination is a sum of scalars times quantities. Such expressions arise quite frequently and have the form (scalar #1)(quantity #1) + (scalar #2)(quantity #2) +...

More information

VEHICLE ROUTING PROBLEM

VEHICLE ROUTING PROBLEM VEHICLE ROUTING PROBLEM Readings: E&M 0 Topics: versus TSP Solution methods Decision support systems for Relationship between TSP and Vehicle routing problem () is similar to the Traveling salesman problem

More information

Chapter 3. Distribution Problems. 3.1 The idea of a distribution. 3.1.1 The twenty-fold way

Chapter 3. Distribution Problems. 3.1 The idea of a distribution. 3.1.1 The twenty-fold way Chapter 3 Distribution Problems 3.1 The idea of a distribution Many of the problems we solved in Chapter 1 may be thought of as problems of distributing objects (such as pieces of fruit or ping-pong balls)

More information

Lecture 10 Scheduling 1

Lecture 10 Scheduling 1 Lecture 10 Scheduling 1 Transportation Models -1- large variety of models due to the many modes of transportation roads railroad shipping airlines as a consequence different type of equipment and resources

More information

Duality in General Programs. Ryan Tibshirani Convex Optimization 10-725/36-725

Duality in General Programs. Ryan Tibshirani Convex Optimization 10-725/36-725 Duality in General Programs Ryan Tibshirani Convex Optimization 10-725/36-725 1 Last time: duality in linear programs Given c R n, A R m n, b R m, G R r n, h R r : min x R n c T x max u R m, v R r b T

More information

Multi-layer MPLS Network Design: the Impact of Statistical Multiplexing

Multi-layer MPLS Network Design: the Impact of Statistical Multiplexing Multi-layer MPLS Network Design: the Impact of Statistical Multiplexing Pietro Belotti, Antonio Capone, Giuliana Carello, Federico Malucelli Tepper School of Business, Carnegie Mellon University, Pittsburgh

More information

Optimization in R n Introduction

Optimization in R n Introduction Optimization in R n Introduction Rudi Pendavingh Eindhoven Technical University Optimization in R n, lecture Rudi Pendavingh (TUE) Optimization in R n Introduction ORN / 4 Some optimization problems designing

More information

Reductions & NP-completeness as part of Foundations of Computer Science undergraduate course

Reductions & NP-completeness as part of Foundations of Computer Science undergraduate course Reductions & NP-completeness as part of Foundations of Computer Science undergraduate course Alex Angelopoulos, NTUA January 22, 2015 Outline Alex Angelopoulos (NTUA) FoCS: Reductions & NP-completeness-

More information

LECTURE 5: DUALITY AND SENSITIVITY ANALYSIS. 1. Dual linear program 2. Duality theory 3. Sensitivity analysis 4. Dual simplex method

LECTURE 5: DUALITY AND SENSITIVITY ANALYSIS. 1. Dual linear program 2. Duality theory 3. Sensitivity analysis 4. Dual simplex method LECTURE 5: DUALITY AND SENSITIVITY ANALYSIS 1. Dual linear program 2. Duality theory 3. Sensitivity analysis 4. Dual simplex method Introduction to dual linear program Given a constraint matrix A, right

More information

Resource Optimization of Spatial TDMA in Ad Hoc Radio Networks: A Column Generation Approach

Resource Optimization of Spatial TDMA in Ad Hoc Radio Networks: A Column Generation Approach Resource Optimization of Spatial TDMA in Ad Hoc Radio Networks: A Column Generation Approach Patrik Björklund, Peter Värbrand and Di Yuan Department of Science and Technology, Linköping University SE-601

More information

Two-Stage Stochastic Linear Programs

Two-Stage Stochastic Linear Programs Two-Stage Stochastic Linear Programs Operations Research Anthony Papavasiliou 1 / 27 Two-Stage Stochastic Linear Programs 1 Short Reviews Probability Spaces and Random Variables Convex Analysis 2 Deterministic

More information

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS

MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS Systems of Equations and Matrices Representation of a linear system The general system of m equations in n unknowns can be written a x + a 2 x 2 + + a n x n b a

More information