Jacques Desrosiers Ecole des HEC & GERAD

Slides:



Advertisements
Similar presentations
1 LP, extended maxflow, TRW OR: How to understand Vladimirs most recent work Ramin Zabih Cornell University.
Advertisements

1 Outline relationship among topics secrets LP with upper bounds by Simplex method basic feasible solution (BFS) by Simplex method for bounded variables.
1 Column Generation. 2 Outline trim loss problem different formulations column generation the trim loss problem master problem and subproblem in column.
1 Branch-and-Price (Column Generation) Solving Integer Programs With a Huge Number of Variables CP-AI-OR02 School on Optimization Le Croisic, France March.
Column Generation: Theory, Algorithms and Applications Dr Natashia Boland Department of Mathematics and Statistics The University of Melbourne.
Dantzig-Wolfe Decomposition
Leena Suhl University of Paderborn, Germany
Introduction to Algorithms
Column Generation n ENGG 6070 n Instructor: Shawki M Areibi n Students: Limin Ma, Hao Qin.
Lecture 10: Integer Programming & Branch-and-Bound
CREW SCHEDULING Past and Future Jacques Desrosiers HEC & GERAD Montréal, Canada.
Crew Scheduling Housos Efthymios, Professor Computer Systems Laboratory (CSL) Electrical & Computer Engineering University of Patras.
Separating Hyperplanes
Introduction to Linear and Integer Programming
Decomposable Optimisation Methods LCA Reading Group, 12/04/2011 Dan-Cristian Tomozei.
Solving the Protein Threading Problem in Parallel Nocola Yanev, Rumen Andonov Indrajit Bhattacharya CMSC 838T Presentation.
Michel Gendreau CIRRELT and MAGI École Polytechnique de Montréal
1 Lecture 4 Maximal Flow Problems Set Covering Problems.
1.3 Modeling with exponentially many constr.  Some strong formulations (or even formulation itself) may involve exponentially many constraints (cutting.
Column Generation Approach for Operating Rooms Planning Mehdi LAMIRI, Xiaolan XIE and ZHANG Shuguang Industrial Engineering and Computer Sciences Division.
Mathematical Modeling and Optimization: Summary of “Big Ideas”
15.082J and 6.855J and ESD.78J Lagrangian Relaxation 2 Applications Algorithms Theory.
Linear Programming Chapter 6. Large Scale Optimization.
Stabilized column generation  Classical column generation often very slow.  Slow convergence (tailing-off effect)  Poor columns in initial stages (head-in.
MILP algorithms: branch-and-bound and branch-and-cut
Minimax Open Shortest Path First (OSPF) Routing Algorithms in Networks Supporting the SMDS Service Frank Yeong-Sung Lin ( 林永松 ) Information Management.
Chapter 1. Formulations 1. Integer Programming  Mixed Integer Optimization Problem (or (Linear) Mixed Integer Program, MIP) min c’x + d’y Ax +
Method of Column Generation Used in IP Jan Pelikán, Jan Fábry ___________________________________________________________________________ MME 2004, Brno.
Chap 10. Integer Prog. Formulations
1 Lagrangean Relaxation --- Bounding through penalty adjustment.
“LOGISTICS MODELS” Andrés Weintraub P
Column Generation By Soumitra Pal Under the guidance of Prof. A. G. Ranade.
Branch-and-Cut Valid inequality: an inequality satisfied by all feasible solutions Cut: a valid inequality that is not part of the current formulation.
Stabilized column generation  Classical column generation often very slow.  Slow convergence (tailing-off effect)  Poor columns in initial stages (head-in.
Approximation Algorithms Department of Mathematics and Computer Science Drexel University.
M Tech Project – First Stage Improving Branch-And-Price Algorithms For Solving 1D Cutting Stock Problem Soumitra Pal [ ]
1/74 Lagrangian Relaxation and Network Optimization Cheng-Ta Lee Department of Information Management National Taiwan University September 29, 2005.
Lagrangean Relaxation
EMIS 8373: Integer Programming Column Generation updated 12 April 2005.
Dominance and Indifference in Airline Planning Decisions NEXTOR Conference: INFORMS Aviation Session June 2 – 5, 2003 Amy Mainville Cohn, KoMing Liu, and.
IE 312 Review 1. The Process 2 Problem Model Conclusions Problem Formulation Analysis.
Linear Programming Chapter 9. Interior Point Methods  Three major variants  Affine scaling algorithm - easy concept, good performance  Potential.
MS&E 348 The L-Shaped Method: Theory and Example 2/5/04 Lecture.
Linear Programming Piyush Kumar Welcome to CIS5930.
Approximation Algorithms based on linear programming.
1 Chapter 5 Branch-and-bound Framework and Its Applications.
Water resources planning and management by use of generalized Benders decomposition method to solve large-scale MINLP problems By Prof. André A. Keller.
Discrete Optimization MA2827 Fondements de l’optimisation discrète Material from P. Van Hentenryck’s course.
The minimum cost flow problem
6.5 Stochastic Prog. and Benders’ decomposition
EMGT 6412/MATH 6665 Mathematical Programming Spring 2016
1.206J/16.77J/ESD.215J Airline Schedule Planning
EMIS 8373: Integer Programming
Frank Yeong-Sung Lin (林永松) Information Management Department
1.3 Modeling with exponentially many constr.
1.206J/16.77J/ESD.215J Airline Schedule Planning
1.206J/16.77J/ESD.215J Airline Schedule Planning
Chapter 6. Large Scale Optimization
1.206J/16.77J/ESD.215J Airline Schedule Planning
1.206J/16.77J/ESD.215J Airline Schedule Planning
Chapter 6. Large Scale Optimization
Chapter 1. Formulations (BW)
1.3 Modeling with exponentially many constr.
Matteo Fischetti, University of Padova
Frank Yeong-Sung Lin (林永松) Information Management Department
6.5 Stochastic Prog. and Benders’ decomposition
Chapter 1. Formulations.
Branch-and-Bound Algorithm for Integer Program
Chapter 6. Large Scale Optimization
Presentation transcript:

Jacques Desrosiers Ecole des HEC & GERAD Column Generation Jacques Desrosiers Ecole des HEC & GERAD

Contents The Cutting Stock Problem Basic Observations LP Column Generation Dantzig-Wolfe Decomposition Dantzig-Wolfe decomposition vs Lagrangian Relaxation Equivalencies Alternative Formulations to the Cutting Stock Problem IP Column Generation Branch-and- ... Acceleration Techniques Concluding Remarks

A Classical Paper : The Cutting Stock Problem P.C. Gilmore & R.E. Gomory A Linear Programming Approach to the Cutting Stock Problem. Oper. Res. 9, 849-859. (1960) : set of items : number of times item i is requested : length of item i : length of a standard roll : set of cutting patterns : number of times item i is cut in pattern j : number of times pattern j is used

The Cutting Stock Problem ... Set can be huge. Solution of the linear relaxation of by column generation. Minimize the number of standard rolls used

The Cutting Stock Problem ... Given a subset and the dual multipliers the reduced cost of any new patterns must satisfy: otherwise, is optimal.

The Cutting Stock Problem ... Reduced costs for are non negative, hence: is a decision variable: the number of times item i is selected in a new pattern. The Column Generator is a Knapsack Problem.

Basic Observations Keep the coupling constraints at a superior level, in a Master Problem; this with the goal of obtaining a Column Generator which is rather easy to solve. At an inferior level, solve the Column Generator, which is often separable in several independent sub-problems; use a specialized algorithm that exploits its particular structure.

Columns Dual Multipliers COLUMN GENERATOR (Sub-problems) LP Column Generation MASTER PROBLEM Columns Dual Multipliers COLUMN GENERATOR (Sub-problems) Optimality Conditions: primal feasibility complementary slackness dual feasibility

Historical Perspective G.B. Dantzig & P. Wolfe Decomposition Principle for Linear Programs. Oper. Res. 8, 101-111. (1960) Authors give credit to: L.R. Ford & D.R. Fulkerson A Suggested Computation for Multi-commodity flows. Man. Sc. 5, 97-101. (1958)

Historical Perspective : a Dual Approach DUAL MASTER PROBLEM Rows Dual Multipliers ROW GENERATOR (Sub-problems) J.E. Kelly The Cutting Plane Method for Solving Convex Programs. SIAM 8, 703-712. (1960)

Dantzig-Wolfe Decomposition : the Principle

Dantzig-Wolfe Decomposition : Substitution

Dantzig-Wolfe Decomposition : The Master Problem

Dantzig-Wolfe Decomposition : The Column Generator Given the current dual multipliers for a subset of columns : coupling constraints convexity constraint generate (if possible) new columns with negative reduced cost :

Remark

Dantzig-Wolfe Decomposition : Block Angular Structure Exploits the structure of many sub-problems. Similar developments & results.

Dantzig-Wolfe Decomposition : Algorithm MASTER PROBLEM Columns Dual Multipliers COLUMN GENERATOR (Sub-problems) Optimality Conditions: primal feasibility complementary slackness dual feasibility

Dantzig-Wolfe Decomposition : a Lower Bound Given the current dual multipliers (coupling constraints) (convexity constraint), a lower bound can be computed at each iteration, as follows: Current solution value + minimum reduced cost column

Lagrangian Relaxation Computes the Same Lower Bound

Dantzig-Wolfe vs Lagrangian Decomposition Relaxation Essentially utilized for Linear Programs Relatively difficult to implement Slow convergence Rarely implemented Essentially utilized for Integer Programs Easy to implement with subgradient adjustment for multipliers  No stopping rule !  6% of OR papers

Equivalencies Dantzig-Wolfe Decomposition & Lagrangian Relaxation if both have the same sub-problems In both methods, coupling or complicating constraints go into a DUAL MULTIPLIERS ADJUSTMENT PROBLEM : in DW : a LP Master Problem in Lagrangian Relaxation :

Equivalencies ... Column Generation corresponds to the solution process used in Dantzig-Wolfe decomposition. This approach can also be used directly by formulating a Master Problem and sub-problems rather than obtaining them by decomposing a Global formulation of the problem. However ...

Equivalencies ... … for any Column Generation scheme, there exits a Global Formulation that can be decomposed by using a generalized Dantzig-Wolfe decomposition which results in the same Master and sub-problems. The definition of the Global Formulation is not unique. A nice example: The Cutting Stock Problem

The Cutting Stock Problem : Kantorovich (1960/1939) : set of available rolls : binary variable, 1 if roll k is cut, 0 otherwise : number of times item i is cut on roll k

The Cutting Stock Problem : Kantorovich ... Kantorovich’s LP lower bound is weak: However, Dantzig-Wolfe decomposition provides the same bound as the Gilmore-Gomory LP bound if sub-problems are solved as ... integer Knapsack Problems, (which provide extreme point columns). Aggregation of identical columns in the Master Problem. Branch & Bound performed on

The Cutting Stock Problem : Valerio de Carvalhó (1996) Network type formulation on graph Example with , and

The Cutting Stock Problem : Valerio de Carvalhó ...

The Cutting Stock Problem : Valerio de Carvalhó ... The sub-problem is a shortest path problem on a acyclic network. This Column Generator only brings back extreme ray columns, the single extreme point being the null vector. The Master Problem appears without the convexity constraint. The correspondence with Gilmore-Gomory formulation is obvious. Branch & Bound performed on

The Cutting Stock Problem : Desaulniers et al. (1998) It can also be viewed as a Vehicle Routing Problem on a acyclic network (multi-commodity flows): Vehicles Rolls Customers Items Demands Capacity Column Generation tools developed for Routing Problems can be used. Columns correspond to paths visiting items the requested number of times. Branch & Bound performed on

IP Column Generation

Integrality Property The sub-problem satisfies the Integrality Property if it has an integer optimal solution for any choice of linear objective function, even if the integrality restrictions on the variables are relaxed. In this case, otherwise i.e., the solution process partially explores the integrality gap.

Integrality Property ... In most cases, the Integrality Property is a undesirable property! Exploiting the non trivial integer structure reveals that ... … some overlooked formulations become very good when a Dantzig-Wolfe decomposition process is applied to them. The Cutting Stock Problem Localization Problems Vehicle Routing Problems ...

IP Column Generation : Branch-and-... Branch-and-Bound : branching decisions on a combination of the original (fractional) variables of a Global Formulation on which Dantzig-Wolfe Decomposition is applied. Branch-and-Cut : cutting planes defined on a combination of the original variables; at the Master level, as coupling constraints; in the sub-problem, as local constraints.

IP Column Generation : Branch-and-... Branching & Cutting decisions Dantzig-Wolfe decomposition applied at all decision nodes

IP Column Generation: Branch-and-... Branch-and-Price : a nice name which hides a well known solution process relatively easy to apply. For alternative methods, see the work of S. Holm & J. Tind C. Barnhart, E. Johnson, G. Nemhauser, P. Vance, M. Savelsbergh, ... F. Vanderbeck & L. Wolsey

Application to Vehicle Routing and Crew Scheduling Problems (1981 - …) J. Desrosiers, Y. Dumas, F. Soumis & M. Solomon Time Constrained Routing and Scheduling Handbooks in OR & MS, 8 (1995) G. Desaulniers et al. A Unified Framework for Deterministic Vehicle Routing and Crew Scheduling Problems T. Crainic & G. Laporte (eds) Fleet Management & Logistics (1998) Global Formulation : Non-Linear Integer Multi-Commodity Flows Master Problem : Covering & Other Linking Constraints Column Generator : Resource Constrained Shortest Paths

Resource Constrained Shortest Path Problem on G=(N,A) P(N, A) :

Integer Multi-Commodity Network Flow Structure

Vehicle Routing and Crew Scheduling Problems ... Sub-Problem is strongly NP-hard It does not posses the Integrality Property Paths  Extreme points Master Problem results in Set Partitioning/Covering type Problems Branching and Cutting decisions are taken on the original network flow, resource and supplementary variables

IP Column Generation : Acceleration Techniques Exploit all the Structures on the Column Generator Master Problem Global Formulation With Fast Heuristics Re-Optimizers Pre-Processors To get Primal & Dual Solutions

IP Column Generation : Acceleration Techniques ... Link all the Structures Be Innovative ! Multiple Columns : selected subset close to expected optimal solution Partial Pricing in case of many Sub-Problems : as in the Simplex Method Early & Multiple Branching & Cutting : quickly gets local optima Primal Perturbation & Dual Restriction : to avoid degeneracy and convergence difficulties Branching & Cutting : on integer variables ! Branch-first, Cut-second Approach : exploit solution structures

Stabilized Column Generation Perturbed Primal Restricted Dual Stabilized Problem

Concluding Remarks DW Decomposition is an intuitive framework that requires all tools discussed to become applicable “easier” for IP very effective in several applications Imagine what could be done with theoretically better methods such as … the Analytic Center Cutting Plane Method (Vial, Goffin, du Merle, Gondzio, Haurie, et al.) which exploits recent developments in interior point methods, and is also compatible with Column Generation.

“Bridging Continents and Cultures” F. Soumis M. Solomon G. Desaulniers P. Hansen J.-L. Goffin O. Marcotte G. Savard O. du Merle O. Madsen P.O. Lindberg B. Jaumard M. Desrochers Y. Dumas M. Gamache D. Villeneuve K. Ziarati I. Ioachim M. Stojkovic G. Stojkovic N. Kohl A. Nöu … et al. Canada, USA, Italy, Denmark, Sweden, Norway, Ile Maurice, France, Iran, Congo, New Zealand, Brazil, Australia, Germany, Romania, Switzerland, Belgium, Tunisia, Mauritania, Portugal, China, The Netherlands, ...