Chapter 3: Discrete Optimization Integer Programming
|
|
- Janel Matthews
- 5 years ago
- Views:
Transcription
1 Chapter 3: Discrete Optimization Integer Programming Edoardo Amaldi DEIB Politecnico di Milano Website: Academic year Edoardo Amaldi (PoliMI) Optimization Academic year / 26
2 3.1 Integer Programming models A huge variety of practical decision-making problems arising in science, engineering and management can be formulated/approximated as linear optimization problems where (some of) the variables must take integer/discrete values. Generic discrete optimization problem: min c(x) x X where X is a discrete set and c : X R is the objective function. Example: X { all subsets of a given finite set }. A natural and systematic way to study/investigate such problems is to express them as integer (programming) optimization problems. Edoardo Amaldi (PoliMI) Optimization Academic year / 26
3 Definitions: A Mixed Integer Linear Programming (MILP) problem is an optimization problem like min c t 1 x + ct 2 y s.t. A 1x + A 2y b x 0 integer, y 0 with matrices A 1 Z m n 1 and A 2 Z m n 2, and vectors c 1 Z n 1, c 2 Z n 2 and b Z m. If all the variables are restricted to be integer, we have an Integer Linear Programming (ILP) problem: min c t x s.t. Ax b (1) x 0 integer. If in (1) all the variables x i {0, 1}, we have a Binary Linear Programming (0-1-ILP) problem. Without loss of generality: only inequalities and all coefficients are integer. Edoardo Amaldi (PoliMI) Optimization Academic year / 26
4 Observation: The integrality restriction on x i is a nonlinear constraint since it can be formulated as sin(πx i ) = 0. Proposition: 0-1-ILP is NP-hard, and ILP/MILP are at least as difficult. Theory: No algorithm can find, for every instance of 0-1-ILP (ILP/MILP), an optimal solution in polynomial time in the instance size, unless P=NP. Practice: Many medium-size (M)ILPs are extremely challenging! Examples of feasible regions of an ILP and a MILP: (Mixed) Integer Linear Programming is a powerful and versatile modeling framework for expressing and tackling discrete optimization problems. Edoardo Amaldi (PoliMI) Optimization Academic year / 26
5 Modeling techniques and examples Binary variables allow to model a choice between two (several) alternatives or the association between two (several) entities. Example 1: Binary Knapsack problem Given n objects profit p i and weight a i for each object i, with 1 i n knapsack maximum total weight b (capacity) decide which objects to select so as to maximize total profit while respecting the capacity constraint. ILP formulation Variables: x i = 1 if the i-th object is selected and x i = 0 otherwise, 1 i n max n i=1 p ix i n i=1 a ix i b x i {0, 1} i Edoardo Amaldi (PoliMI) Optimization Academic year / 26
6 A number of direct applications (projects, investments,...) or indirect applications (as subproblem). Proposition: Binary Knapsack is NP-hard. Variants with additional constraints - at most one object among a given subset of objects - if i-th object selected then also j-th one - multiple resource constraints (e.g., on volume, cost,...) -... Edoardo Amaldi (PoliMI) Optimization Academic year / 26
7 Example 2: Assignment problem Given n projects (jobs) and n persons (machines) cost c ij for assigning project i to person j, i, j {1,..., n} decide which project to assign to each person so as to minimize the total cost while completing all the projects. Assumption: every person can perform any project, and each person (project) must be assigned to a single project (person). Number of feasible solutions: n! ILP formulation Variables: x ij = 1 if i-th project is assigned to j-th person and x ij = 0 otherwise, min s.t. n i=1 n j=1 c ijx ij n i=1 x ij = 1 n j=1 x ij = 1 x ij {0, 1} j i i, j with 1 i, j n Variants with: bipartite graph representing competences, different number of projects and persons, resource constraints,... Edoardo Amaldi (PoliMI) Optimization Academic year / 26
8 Example 3: Set Covering/Packing/Partitioning problems Given finite groundset M = {1, 2,..., m} with 1 i m, collection {M 1,..., M n} of n subsets of M indexed by N = {1,..., n} (namely M j M for j N), a cost c j for each subset M j with j N, we say that a subset of indices F N defines a cover of M if j F M j = M (i.e., each groundset element i is covered at least once), a packing of M if M j1 M j2 = for all j 1, j 2 F with j 1 j 2 (i.e., each groundset element i is covered at most once), a partition of M if it is both a cover and a packing of M (i.e., each groundset element i is covered exactly once). The total cost/weight of a subset indexed by F N is defined as j F c j. Examples: Edoardo Amaldi (PoliMI) Optimization Academic year / 26
9 Set Covering problem: Given a finite groundset M = {1, 2,..., m}, a collection {M 1,..., M n} of n subsets of M indexed by N = {1,..., n}, and a cost c j of M j for each j N, find a cover of M of minimum total cost. ILP formulation Variables: x j = 1 if subset M j is selected and x j = 0 otherwise, with j N min s.t. n j=1 c jx j j:i M j x j 1 i (2) x j {0, 1} j where the inequalities (2) are the so-called covering constraints. Proposition: Set Covering is NP-hard. Edoardo Amaldi (PoliMI) Optimization Academic year / 26
10 Matrix notation: { n } min c j x j : Ax 1, x {0, 1} n j=1 where A = [a ij ] with a ij = 1 if i M j and a ij = 0 otherwise, and 1 = (1, 1,..., 1) t Example: Emergency service location (ambulances or fire stations) M = { areas to be covered } N = { candidate sites } M j = { areas reachable in at most τ = 10 minutes from candidate site j } Decide where to locate ambulances so as to minimize the total cost, while guaranteeing that the next call is served in at most τ minutes. Edoardo Amaldi (PoliMI) Optimization Academic year / 26
11 Set Packing problem: { n } max c j x j : Ax 1, x {0, 1} n j=1 where the parameters c j represent profits Example: Combinatorial auctions Determine the winner of each item so as to maximize the total revenue (see introduction): max S M b(s)x S s.t. S M : i S x S 1 i M x S {0, 1} S M, Proposition: Set Packing is NP-hard. Edoardo Amaldi (PoliMI) Optimization Academic year / 26
12 Set Partitioning problem: { n } min or max c j x j : Ax = 1, x {0, 1} n where the weights c j may represent costs or profits Example: Airline crew scheduling Consider a predefined planning horizon. j=1 M = { flight legs } where a flight leg consists of a single takeoff-landing phase to be carried out within a predefined time window. M j = { feasible subsets of flight legs } where a subset of flight legs is feasible if it can be carried out by a same crew while respecting different constraints (e.g., compatible flights, rest periods, total flight time,...). Assign the crews to the flight legs so as to minimize total cost. Other example: distribution planning (assign customers to routes) Proposition: Set Partitioning is NP-hard. Edoardo Amaldi (PoliMI) Optimization Academic year / 26
13 Example 4: Asymmetric Traveling Salesman Problem (ATSP) Given a complete directed graph G = (V, A) with n = V nodes a cost c ij R for each arc (i, j) A (in case c ij = ) determine a Hamiltonian circuit (tour), i.e., a circuit that visits exactly once each node and comes back to the starting node, of minimum total cost. Example: Since G is complete, number of Hamiltonian circuits : (n 1)! Proposition: ATSP is NP-hard. Variety of applications: logistics, microchip manufacturing, scheduling, (DNA) sequencing,... Edoardo Amaldi (PoliMI) Optimization Academic year / 26
14 Also symmetric TSP version with undirected graph G. Website devoted to TSP: Many variants with - time windows (earliest and latest arrival time) - precedence constraints - capacity constraint - several vehicles ( Vehicle Routing Problem VRP) -... Edoardo Amaldi (PoliMI) Optimization Academic year / 26
15 An ILP formulation Variables: x ij = 1 if arc (i, j) is included in the Hamiltonian circuit and x ij = 0 otherwise, with (i, j) A min s.t. (i,j) A c ijx ij j V :j i x ij = 1 i (3) i V :i j x ij = 1 j (4) (i,j) δ + (S) x ij 1 S V, S (5) x ij {0, 1} (i, j) A where equations (3) and (4) are the assignment constraints, δ + (S) = {(i, j) A : i S, j V \ S}, and constraints (5) are the so-called cut-set inequalities. Observation: The number of constraints (5) grows exponentially with the number of nodes n. Edoardo Amaldi (PoliMI) Optimization Academic year / 26
16 Alternative ILP formulation Substitute the cut-set inequalities x ij 1 (i,j) δ + (S) S V, S with the so-called subtour elimination inequalities: x ij S 1 S V, 2 S n 1 (6) (i,j) E(S) where E(S) = {(i, j) A : i S, j S} for S V. Example: The number of constraints (6) is still exponential w.r.t. the number of nodes. n. Edoardo Amaldi (PoliMI) Optimization Academic year / 26
17 MILP models 1) Pairs of continuous and binary variables allow to model objective functions with fixed costs. Example 5: Uncapacitated Facility Location (UFL) Given M = {1, 2,..., m} set of clients N = {1, 2,..., n} set of candidate sites where a depot can be located fixed cost f j for opening a depot in candidate site j, j N c ij transportation cost if the whole demand of client i is served from depot j, i M and j N decide where to locate the depots and how to serve the clients so as to minimize the total (transportation and fixed) costs while satisfying all demands. Example: Proposition: UFL is NP-hard. Edoardo Amaldi (PoliMI) Optimization Academic year / 26
18 MILP formulation Variables: x ij = fraction of demand of client i served by depot j, with 1 i m and 1 j n y j = 1 if depot j is opened and y j = 0 otherwise, with 1 j n min i M j N c ijx ij + j N f jy j s.t. j N x ij = 1 i M i M x ij my j j N (7) y j {0, 1} j N 0 x ij 1 i M, j N where the n constraints (7) link the corresponding variables x ij and y j. Capacitated FL variant: If d i is the demand of client i and k j the capacity of depot j, capacity constraints: d i x ij k j y j j N i M N.B.: The solution with, for all i and a given j, x ij = 0 and y j = 1 is feasible for MILP, but it cannot be optimal (minimization with f j > 0). Edoardo Amaldi (PoliMI) Optimization Academic year / 26
19 Example 6: Uncapacitated Lot-Sizing (ULS) Plan the production of a single type of product for the next n periods. Assumption: the stock is empty at the beginning and it must be empty at the end. Given f t fixed cost for producing during period t p t unit production cost in period t h t unit storage cost in period t d t demand in period t determine a production plan for the next n periods that minimizes the total (production and storage) costs, while satisfying the demand in each period. MILP formulation Variables: x t = amount produced in period t, with 1 t n s t = amount in stock at the end of period t, with 0 t n y t = 1 if production occurs in period t and y t = 0 otherwise, with 1 t n Edoardo Amaldi (PoliMI) Optimization Academic year / 26
20 MILP formulation Variables: x t = amount produced in period t, with 1 t n s t = amount in stock at the end of period t, with 0 t n y t = 1 if production occurs in period t and y t = 0 otherwise, with 1 t n min n t=1 ptxt + n t=1 htst + n t=1 ftyt s.t. s t = s t 1 + x t d t t x t My t s 0 = 0, s n = 0 s t, x t 0 y t {0, 1} where M > 0 is large enough (upper bound on the maximum amount produced during any period). For instance: x t ( n t=1 dt + sn s0)yt N.B.: Since s t = t i=1 x i + s 0 t i=1 d i, it is possible to delete the storage variables s t How can we account for a minimum lot sizes? t t t t Edoardo Amaldi (PoliMI) Optimization Academic year / 26
21 2) Binary variables also allow to impose disjunctive constraints such as: either a 1 x b 1 or a 2 x b 2 with x R and 0 x u, where u is the upper bound vector. Illustration of feasible region: Introduce a binary variable y i for each original constraint a i x b i, with 1 i 2, and consider the following constraints: where M max 1 i 2 {a i x b i a i x b i M(1 y i ) for i = 1, 2 y 1 + y 2 = 1 y i {0, 1} for i = 1, 2 0 x u, : 0 x u}. Clearly, if y 1 = 1 then x satisfies a 1 x b 1 while a 2 x b 2 is inactive, and conversely if y 2 = 1. Edoardo Amaldi (PoliMI) Optimization Academic year / 26
22 Example 8: Scheduling problem Given m machines and n products for each product j, the deadline d j and the time p jk needed to process product j on machine k, for k m determine an optimal schedule so as to minimize the time needed to complete all products, while satisfying all deadlines. Assumptions: products cannot be processed simultaneously on the same machine whenever started, the execution of a product on a machine cannot be interrupted (non-preemptive scheduling). For simplicity s sake, also assume: each product must be processed on all the machines according to the order of the machine indices. Edoardo Amaldi (PoliMI) Optimization Academic year / 26
23 MILP formulation Variables: t jk = time when product j is started on machine k, with 1 j n and 1 k m t time when all the products are completed y ijk = 1 if product i is processed before product j on machine k, and y ijk = 0 otherwise, with 1 i, j n and 1 k m min t s.t. t jm + p jm t j t jm + p jm d j t jk + p jk t j,k+1 j, k {1,..., m 1} j t ik + p ik t jk + M(1 y ijk ) k, i, j with i < j (8) t jk + p jk t ik + My ijk k, i, j with i < j (9) t 0, t jk 0, y ijk {0, 1} i, j, k, where M is a large enough parameter (e.g., M = n j=1 d j). Constraints (8) and (9) ensure that no pair i, j of products are processed simultaneously on the same machine (either i preceds j or j preceds i). Extension: each product must be processed on subset of machines in arbitrary order. Edoardo Amaldi (PoliMI) Optimization Academic year / 26
24 3) An appropriate combination of continuous and binary variables allows to model arbitrary (nonconvex) piecewise linear cost functions. Example 7: Minimization of piecewise linear cost functions Consider an arbitrary (not necessarily convex) piecewise linear function f (x), with f : [x 1, x k ] R. Suppose that x 1 < x 2 <... < x k and that f (x) is specified by the points (x i, f (x i )), for i = 1,..., k. Example of min x [x 1,x k ] f (x): Any x [x 1, x k ] and the corresponding value f (x) can be expressed as k k k x = λ i x i and f (x) = λ i f (x i ) with λ i = 1 and λ 1,..., λ k 0, i=1 i=1 i=1 Clearly, the choice of the coefficients λ i is not unique. Edoardo Amaldi (PoliMI) Optimization Academic year / 26
25 It becomes unique if we require that at most two consecutive λ i can be nonzero. Any x [x i, x i+1 ] is then represented as x = λ i x i + λ i+1 x i+1 with λ i + λ i+1 = 1 and λ i 0, λ i+1 0. By defining y i = 1 if x i x x i+1 and y i = 0 otherwise, for i = 1,..., k 1 the problem min x [x 1,x k ] f (x) can be formulated as follows: min s.t. k i=1 λ if (x i ) k i=1 λ i = 1 k 1 i=1 y i = 1 λ 1 y 1, λ k y k 1 λ i y i 1 + y i i = 2,..., k 1 λ i 0, y i {0, 1} i = 1,..., k N.B.: If y j = 1 then λ i = 0 for all i, 1 i n, different from j or j + 1. Edoardo Amaldi (PoliMI) Optimization Academic year / 26
26 Linearization of products of variables - Linearizing the product of two (several) binary variables: The product z = y 1 y 2, with y i {0, 1} for i = 1, 2 and z {0, 1}, can be replaced by z y 1 z y 2 z y 1 + y 2 1 Readily extendable to the product of three or more binary variables. - Linearizing the product of a binary variable and bounded continuous variable: The product z = x y, with x [0, u], y {0, 1} and z [0, u], can be replaced by 0 z uy z x z x (1 y)u As we shall see, the product of two continuous variables cannot be linearized exactly. Edoardo Amaldi (PoliMI) Optimization Academic year / 26
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 information5 Integer Linear Programming (ILP) E. Amaldi Foundations of Operations Research Politecnico di Milano 1
5 Integer Linear Programming (ILP) E. Amaldi Foundations of Operations Research Politecnico di Milano 1 Definition: An Integer Linear Programming problem is an optimization problem of the form (ILP) min
More information3.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 information3.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 information3.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 information3.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 information3.4 Relaxations and bounds
3.4 Relaxations and bounds Consider a generic Discrete Optimization problem z = min{c(x) : x X} with an optimal solution x X. In general, the algorithms generate not only a decreasing sequence of upper
More information3.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 informationOPTIMIZATION. 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 informationModeling 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 information3.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 information3.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 informationCHAPTER 3 FUNDAMENTALS OF COMPUTATIONAL COMPLEXITY. E. Amaldi Foundations of Operations Research Politecnico di Milano 1
CHAPTER 3 FUNDAMENTALS OF COMPUTATIONAL COMPLEXITY E. Amaldi Foundations of Operations Research Politecnico di Milano 1 Goal: Evaluate the computational requirements (this course s focus: time) to solve
More informationTravelling Salesman Problem
Travelling Salesman Problem Fabio Furini November 10th, 2014 Travelling Salesman Problem 1 Outline 1 Traveling Salesman Problem Separation Travelling Salesman Problem 2 (Asymmetric) Traveling Salesman
More informationCombinatorial optimization problems
Combinatorial optimization problems Heuristic Algorithms Giovanni Righini University of Milan Department of Computer Science (Crema) Optimization In general an optimization problem can be formulated as:
More informationWhat is an integer program? Modelling with Integer Variables. Mixed Integer Program. Let us start with a linear program: max cx s.t.
Modelling with Integer Variables jesla@mandtudk Department of Management Engineering Technical University of Denmark What is an integer program? Let us start with a linear program: st Ax b x 0 where A
More informationComputational 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 informationMVE165/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 informationIntroduction 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 informationIntroduction 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 informationInteger 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 information15.081J/6.251J Introduction to Mathematical Programming. Lecture 24: Discrete Optimization
15.081J/6.251J Introduction to Mathematical Programming Lecture 24: Discrete Optimization 1 Outline Modeling with integer variables Slide 1 What is a good formulation? Theme: The Power of Formulations
More informationwhere X is the feasible region, i.e., the set of the feasible solutions.
3.5 Branch and Bound Consider a generic Discrete Optimization problem (P) z = max{c(x) : x X }, where X is the feasible region, i.e., the set of the feasible solutions. Branch and Bound is a general semi-enumerative
More informationTotally 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 informationAsymmetric Traveling Salesman Problem (ATSP): Models
Asymmetric Traveling Salesman Problem (ATSP): Models Given a DIRECTED GRAPH G = (V,A) with V = {,, n} verte set A = {(i, j) : i V, j V} arc set (complete digraph) c ij = cost associated with arc (i, j)
More informationInteger 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 informationLecture 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 informationIntroduction to integer programming III:
Introduction to integer programming III: Network Flow, Interval Scheduling, and Vehicle Routing Problems Martin Branda Charles University in Prague Faculty of Mathematics and Physics Department of Probability
More informationModelling linear and linear integer optimization problems An introduction
Modelling linear and linear integer optimization problems An introduction Karen Aardal October 5, 2015 In optimization, developing and analyzing models are key activities. Designing a model is a skill
More information2 GRAPH AND NETWORK OPTIMIZATION. E. Amaldi Introduction to Operations Research Politecnico Milano 1
2 GRAPH AND NETWORK OPTIMIZATION E. Amaldi Introduction to Operations Research Politecnico Milano 1 A variety of decision-making problems can be formulated in terms of graphs and networks Examples: - transportation
More information16.410/413 Principles of Autonomy and Decision Making
6.4/43 Principles of Autonomy and Decision Making Lecture 8: (Mixed-Integer) Linear Programming for Vehicle Routing and Motion Planning Emilio Frazzoli Aeronautics and Astronautics Massachusetts Institute
More informationExercises 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 informationInteger Linear Programming (ILP)
Integer Linear Programming (ILP) Zdeněk Hanzálek, Přemysl Šůcha hanzalek@fel.cvut.cz CTU in Prague March 8, 2017 Z. Hanzálek (CTU) Integer Linear Programming (ILP) March 8, 2017 1 / 43 Table of contents
More informationMethods and Models for Combinatorial Optimization
Methods and Models for Combinatorial Optimization Modeling by Linear Programming Luigi De Giovanni, Marco Di Summa Dipartimento di Matematica, Università di Padova De Giovanni, Di Summa MeMoCO 1 / 35 Mathematical
More informationIntroduction to Bin Packing Problems
Introduction to Bin Packing Problems Fabio Furini March 13, 2015 Outline Origins and applications Applications: Definition: Bin Packing Problem (BPP) Solution techniques for the BPP Heuristic Algorithms
More informationMODELING (Integer Programming Examples)
MODELING (Integer Programming Eamples) IE 400 Principles of Engineering Management Integer Programming: Set 5 Integer Programming: So far, we have considered problems under the following assumptions:
More information21. Set cover and TSP
CS/ECE/ISyE 524 Introduction to Optimization Spring 2017 18 21. Set cover and TSP ˆ Set covering ˆ Cutting problems and column generation ˆ Traveling salesman problem Laurent Lessard (www.laurentlessard.com)
More informationDetermine the size of an instance of the minimum spanning tree problem.
3.1 Algorithm complexity Consider two alternative algorithms A and B for solving a given problem. Suppose A is O(n 2 ) and B is O(2 n ), where n is the size of the instance. Let n A 0 be the size of the
More informationOutline. 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 information4/12/2011. Chapter 8. NP and Computational Intractability. Directed Hamiltonian Cycle. Traveling Salesman Problem. Directed Hamiltonian Cycle
Directed Hamiltonian Cycle Chapter 8 NP and Computational Intractability Claim. G has a Hamiltonian cycle iff G' does. Pf. Suppose G has a directed Hamiltonian cycle Γ. Then G' has an undirected Hamiltonian
More informationDiscrete (and Continuous) Optimization WI4 131
Discrete (and Continuous) Optimization WI4 131 Kees Roos Technische Universiteit Delft Faculteit Electrotechniek, Wiskunde en Informatica Afdeling Informatie, Systemen en Algoritmiek e-mail: C.Roos@ewi.tudelft.nl
More informationOptimization 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 informationModels and Cuts for the Two-Echelon Vehicle Routing Problem
Models and Cuts for the Two-Echelon Vehicle Routing Problem Guido Perboli Roberto Tadei Francesco Masoero Department of Control and Computer Engineering, Politecnico di Torino Corso Duca degli Abruzzi,
More informationScheduling and Optimization Course (MPRI)
MPRI Scheduling and optimization: lecture p. /6 Scheduling and Optimization Course (MPRI) Leo Liberti LIX, École Polytechnique, France MPRI Scheduling and optimization: lecture p. /6 Teachers Christoph
More informationRecoverable Robustness in Scheduling Problems
Master Thesis Computing Science Recoverable Robustness in Scheduling Problems Author: J.M.J. Stoef (3470997) J.M.J.Stoef@uu.nl Supervisors: dr. J.A. Hoogeveen J.A.Hoogeveen@uu.nl dr. ir. J.M. van den Akker
More informationON COST MATRICES WITH TWO AND THREE DISTINCT VALUES OF HAMILTONIAN PATHS AND CYCLES
ON COST MATRICES WITH TWO AND THREE DISTINCT VALUES OF HAMILTONIAN PATHS AND CYCLES SANTOSH N. KABADI AND ABRAHAM P. PUNNEN Abstract. Polynomially testable characterization of cost matrices associated
More information15.083J/6.859J Integer Optimization. Lecture 2: Efficient Algorithms and Computational Complexity
15.083J/6.859J Integer Optimization Lecture 2: Efficient Algorithms and Computational Complexity 1 Outline Efficient algorithms Slide 1 Complexity The classes P and N P The classes N P-complete and N P-hard
More informationA Mixed-Integer Linear Program for the Traveling Salesman Problem with Structured Time Windows
A Mixed-Integer Linear Program for the Traveling Salesman Problem with Structured Time Windows Philipp Hungerländer Christian Truden 5th January 2017 Abstract In this extended abstract we introduce the
More informationInternational ejournals
ISSN 0976 1411 Available online at www.internationalejournals.com International ejournals International ejournal of Mathematics and Engineering 2 (2017) Vol. 8, Issue 1, pp 11 21 Optimization of Transportation
More informationNP-Completeness. NP-Completeness 1
NP-Completeness Reference: Computers and Intractability: A Guide to the Theory of NP-Completeness by Garey and Johnson, W.H. Freeman and Company, 1979. NP-Completeness 1 General Problems, Input Size and
More informationComputational complexity theory
Computational complexity theory Introduction to computational complexity theory Complexity (computability) theory deals with two aspects: Algorithm s complexity. Problem s complexity. References S. Cook,
More informationTechnische Universität München, Zentrum Mathematik Lehrstuhl für Angewandte Geometrie und Diskrete Mathematik. Combinatorial Optimization (MA 4502)
Technische Universität München, Zentrum Mathematik Lehrstuhl für Angewandte Geometrie und Diskrete Mathematik Combinatorial Optimization (MA 4502) Dr. Michael Ritter Problem Sheet 1 Homework Problems Exercise
More informationRevisiting the Hamiltonian p-median problem: a new formulation on directed graphs and a branch-and-cut algorithm
Revisiting the Hamiltonian p-median problem: a new formulation on directed graphs and a branch-and-cut algorithm Tolga Bektaş 1, Luís Gouveia 2, Daniel Santos 2 1 Centre for Operational Research, Management
More informationAdvanced linear programming
Advanced linear programming http://www.staff.science.uu.nl/~akker103/alp/ Chapter 10: Integer linear programming models Marjan van den Akker 1 Intro. Marjan van den Akker Master Mathematics TU/e PhD Mathematics
More informationComputational complexity theory
Computational complexity theory Introduction to computational complexity theory Complexity (computability) theory deals with two aspects: Algorithm s complexity. Problem s complexity. References S. Cook,
More informationThe Multiple Traveling Salesman Problem with Time Windows: Bounds for the Minimum Number of Vehicles
The Multiple Traveling Salesman Problem with Time Windows: Bounds for the Minimum Number of Vehicles Snežana Mitrović-Minić Ramesh Krishnamurti School of Computing Science, Simon Fraser University, Burnaby,
More informationAlgorithms. NP -Complete Problems. Dong Kyue Kim Hanyang University
Algorithms NP -Complete Problems Dong Kyue Kim Hanyang University dqkim@hanyang.ac.kr The Class P Definition 13.2 Polynomially bounded An algorithm is said to be polynomially bounded if its worst-case
More informationUnit 1A: Computational Complexity
Unit 1A: Computational Complexity Course contents: Computational complexity NP-completeness Algorithmic Paradigms Readings Chapters 3, 4, and 5 Unit 1A 1 O: Upper Bounding Function Def: f(n)= O(g(n)) if
More informationIntroduction 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 informationVehicle Routing and MIP
CORE, Université Catholique de Louvain 5th Porto Meeting on Mathematics for Industry, 11th April 2014 Contents: The Capacitated Vehicle Routing Problem Subproblems: Trees and the TSP CVRP Cutting Planes
More informationData Structures in Java
Data Structures in Java Lecture 21: Introduction to NP-Completeness 12/9/2015 Daniel Bauer Algorithms and Problem Solving Purpose of algorithms: find solutions to problems. Data Structures provide ways
More informationNew Integer Programming Formulations of the Generalized Travelling Salesman Problem
American Journal of Applied Sciences 4 (11): 932-937, 2007 ISSN 1546-9239 2007 Science Publications New Integer Programming Formulations of the Generalized Travelling Salesman Problem Petrica C. Pop Department
More informationBounds on the Traveling Salesman Problem
Bounds on the Traveling Salesman Problem Sean Zachary Roberson Texas A&M University MATH 613, Graph Theory A common routing problem is as follows: given a collection of stops (for example, towns, stations,
More informationPart III: Traveling salesman problems
Transportation Logistics Part III: Traveling salesman problems c R.F. Hartl, S.N. Parragh 1/282 Motivation Motivation Why do we study the TSP? c R.F. Hartl, S.N. Parragh 2/282 Motivation Motivation Why
More informationPart III: Traveling salesman problems
Transportation Logistics Part III: Traveling salesman problems c R.F. Hartl, S.N. Parragh 1/74 Motivation Motivation Why do we study the TSP? it easy to formulate it is a difficult problem many significant
More informationPartial Path Column Generation for the Vehicle Routing Problem with Time Windows
Partial Path Column Generation for the Vehicle Routing Problem with Time Windows Bjørn Petersen & Mads Kehlet Jepsen } DIKU Department of Computer Science, University of Copenhagen Universitetsparken 1,
More informationA comparison of sequencing formulations in a constraint generation procedure for avionics scheduling
A comparison of sequencing formulations in a constraint generation procedure for avionics scheduling Department of Mathematics, Linköping University Jessika Boberg LiTH-MAT-EX 2017/18 SE Credits: Level:
More informationWeek 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 informationAnalysis of Algorithms. Unit 5 - Intractable Problems
Analysis of Algorithms Unit 5 - Intractable Problems 1 Intractable Problems Tractable Problems vs. Intractable Problems Polynomial Problems NP Problems NP Complete and NP Hard Problems 2 In this unit we
More informationResource 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 informationOptimization 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 informationIntroduction 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 informationComplexity of Routing Problems with Release Dates and Deadlines
Complexity of Routing Problems with Release Dates and Deadlines Alan Erera, Damian Reyes, and Martin Savelsbergh H. Milton Stewart School of Industrial and Systems Engineering Georgia Institute of Technology
More informationNP-COMPLETE PROBLEMS. 1. Characterizing NP. Proof
T-79.5103 / Autumn 2006 NP-complete problems 1 NP-COMPLETE PROBLEMS Characterizing NP Variants of satisfiability Graph-theoretic problems Coloring problems Sets and numbers Pseudopolynomial algorithms
More informationNetwork 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 informationDiscrete Optimization in a Nutshell
Discrete Optimization in a Nutshell Integer Optimization Christoph Helmberg : [,] Contents Integer Optimization 2: 2 [2,2] Contents Integer Optimization. Bipartite Matching.2 Integral Polyhedra ( and directed
More informationThe Multiple Traveling Salesperson Problem on Regular Grids
Philipp Hungerländer Anna Jellen Stefan Jessenitschnig Lisa Knoblinger Manuel Lackenbucher Kerstin Maier September 10, 2018 Abstract In this work we analyze the multiple Traveling Salesperson Problem (mtsp)
More informationTraveling Salesman Problem
Traveling Salesman Problem Zdeněk Hanzálek hanzalek@fel.cvut.cz CTU in Prague April 17, 2017 Z. Hanzálek (CTU) Traveling Salesman Problem April 17, 2017 1 / 33 1 Content 2 Solved TSP instances in pictures
More informationDiscrete (and Continuous) Optimization WI4 131
Discrete (and Continuous) Optimization WI4 131 Kees Roos Technische Universiteit Delft Faculteit Electrotechniek, Wiskunde en Informatica Afdeling Informatie, Systemen en Algoritmiek e-mail: C.Roos@ewi.tudelft.nl
More informationApplied Integer Programming: Modeling and Solution
Applied Integer Programming: Modeling and Solution Chen, Batson, Dang Section 6. - 6.3 Blekinge Institute of Technology April 5, 05 Modeling Combinatorical Optimization Problems II Traveling Salesman Problem
More informationPolynomial-time Reductions
Polynomial-time Reductions Disclaimer: Many denitions in these slides should be taken as the intuitive meaning, as the precise meaning of some of the terms are hard to pin down without introducing the
More informationA Mixed Integer Linear Program for Optimizing the Utilization of Locomotives with Maintenance Constraints
A Mixed Integer Linear Program for with Maintenance Constraints Sarah Frisch Philipp Hungerländer Anna Jellen Dominic Weinberger September 10, 2018 Abstract In this paper we investigate the Locomotive
More informationThe network maintenance problem
22nd International Congress on Modelling and Simulation, Hobart, Tasmania, Australia, 3 to 8 December 2017 mssanz.org.au/modsim2017 The network maintenance problem Parisa Charkhgard a, Thomas Kalinowski
More informationECS122A Handout on NP-Completeness March 12, 2018
ECS122A Handout on NP-Completeness March 12, 2018 Contents: I. Introduction II. P and NP III. NP-complete IV. How to prove a problem is NP-complete V. How to solve a NP-complete problem: approximate algorithms
More information1 Column Generation and the Cutting Stock Problem
1 Column Generation and the Cutting Stock Problem In the linear programming approach to the traveling salesman problem we used the cutting plane approach. The cutting plane approach is appropriate when
More informationHow to Relax. CP 2008 Slide 1. John Hooker Carnegie Mellon University September 2008
How to Relax Slide 1 John Hooker Carnegie Mellon University September 2008 Two ways to relax Relax your mind and body. Relax your problem formulations. Slide 2 Relaxing a problem Feasible set of original
More informationCS 301: Complexity of Algorithms (Term I 2008) Alex Tiskin Harald Räcke. Hamiltonian Cycle. 8.5 Sequencing Problems. Directed Hamiltonian Cycle
8.5 Sequencing Problems Basic genres. Packing problems: SET-PACKING, INDEPENDENT SET. Covering problems: SET-COVER, VERTEX-COVER. Constraint satisfaction problems: SAT, 3-SAT. Sequencing problems: HAMILTONIAN-CYCLE,
More informationComputers and Intractability. The Bandersnatch problem. The Bandersnatch problem. The Bandersnatch problem. A Guide to the Theory of NP-Completeness
Computers and Intractability A Guide to the Theory of NP-Completeness The Bible of complexity theory Background: Find a good method for determining whether or not any given set of specifications for a
More informationBranch-and-Bound. Leo Liberti. LIX, École Polytechnique, France. INF , Lecture p. 1
Branch-and-Bound Leo Liberti LIX, École Polytechnique, France INF431 2011, Lecture p. 1 Reminders INF431 2011, Lecture p. 2 Problems Decision problem: a question admitting a YES/NO answer Example HAMILTONIAN
More informationIntroduction 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 informationComputers and Intractability
Computers and Intractability A Guide to the Theory of NP-Completeness The Bible of complexity theory M. R. Garey and D. S. Johnson W. H. Freeman and Company, 1979 The Bandersnatch problem Background: Find
More informationClassification of Dantzig-Wolfe Reformulations for MIP s
Classification of Dantzig-Wolfe Reformulations for MIP s Raf Jans Rotterdam School of Management HEC Montreal Workshop on Column Generation Aussois, June 2008 Outline and Motivation Dantzig-Wolfe reformulation
More informationAM 121: Intro to Optimization Models and Methods Fall 2018
AM 121: Intro to Optimization Models and Methods Fall 2018 Lecture 11: Integer programming Yiling Chen SEAS Lesson Plan Integer programs Examples: Packing, Covering, TSP problems Modeling approaches fixed
More informationChapter 2: Preliminaries and elements of convex analysis
Chapter 2: Preliminaries and elements of convex analysis Edoardo Amaldi DEIB Politecnico di Milano edoardo.amaldi@polimi.it Website: http://home.deib.polimi.it/amaldi/opt-14-15.shtml Academic year 2014-15
More informationA Time Bucket Formulation for the TSP with Time Windows
A Time Bucket Formulation for the TSP with Time Windows Sanjeeb Dash, Oktay Günlük IBM Research Andrea Lodi, Andrea Tramontani University of Bologna November 10, 2009 Abstract The Traveling Salesman Problem
More informationTRAVELING SALESMAN PROBLEM WITH TIME WINDOWS (TSPTW)
TRAVELING SALESMAN PROBLEM WITH TIME WINDOWS (TSPTW) Aakash Anuj 10CS30043 Surya Prakash Verma 10AE30026 Yetesh Chaudhary 10CS30044 Supervisor: Prof. Jitesh Thakkar TSP Given a list of cities and the distances
More informationSolving a Production Scheduling Problem as a Time-Dependent Traveling Salesman Problem
Solving a Production Scheduling Problem as a Time-Dependent Traveling Salesman Problem GABRIELLA STECCO Department of Applied Mathematics, University Ca Foscari of Venice, Dorsoduro n. 3825/E, 30123 Venice,
More informationWeek 8. 1 LP is easy: the Ellipsoid Method
Week 8 1 LP is easy: the Ellipsoid Method In 1979 Khachyan proved that LP is solvable in polynomial time by a method of shrinking ellipsoids. The running time is polynomial in the number of variables n,
More informationCS 6901 (Applied Algorithms) Lecture 3
CS 6901 (Applied Algorithms) Lecture 3 Antonina Kolokolova September 16, 2014 1 Representative problems: brief overview In this lecture we will look at several problems which, although look somewhat similar
More information