Controlling Open Stacks and Flow Time in a Cutting Process

Size: px
Start display at page:

Download "Controlling Open Stacks and Flow Time in a Cutting Process"

Transcription

1 6 th ESICUP Meeting Controlling Open Stacks and Flow Time in a Cutting Process C. Arbib, F. Marinelli and F. Pezzella marinelli@diiga.univpm.it Dip. Ingegneria Informatica, Gestionale e dell Automazione Università Politecnica delle Marche Valencia, Spain, March 25 27, 2009 EU Cooperative esearch Project SCOOP (contract n ), coordinated by Università Politecnica delle Marche, Ancona, Italy

2 Outline Cutting plans, open stacks and flow time of part-types Cutting stock problem with bounded open stacks (LOSP) Flow time conditions A heuristic algorithm for controlling open stacks and flow time Some computational results

3 The D Cutting Stock Problem CSP: Small objects (parts) must be cut from large objects (stocks) in order to fulfill the requirement of parts and minimize the total trim loss. Input data w = the length of a single stock (a sufficient number of stocks is available) B = the set of part-types forming the production bill ( B = m). (w i, d i ) = the length and the demand of the i-th part-type, i B Output A set K of p distinct cutting patterns a,, a p and relevant activation levels x,, x p The cutting pattern a j = (a j,, a mj ) describes a way to cut parts out of a stock; a ij is the number of parts of type i yielded from a single stock by applying the cutting pattern a j. The activation level x j is the number of applications of the cutting pattern a j

4 Cutting Plans The cutting machine produces parts from stocks by sequentially applying cutting patterns cutting machine Piles of finished parts Common practice Cutting Plan: order in which cutting patterns are applied Each cutting pattern is applied once, up to its activation level (cutting pattern changeover requires a time consuming machine set-up) Parts of the same type are in general stacked together. A new stack is open when a new part-type starts processing and is closed when the part-type is consolidated (homogeneous stacks help to minimize handling, breakage, and facilitate identification of part-types)

5 Open stacks as performance indicator The number of open stacks between cutting pattern i and cutting pattern i + ( i p ) measures the work-in-process MOSP: Minimize the as technological constraint sum of open stacks: is related to the work-in-process and to the flow time of part-types the maximum number of open stacks: indicates the minimum number of required out-buffers Because the cutting machine is equipped with a limited number s of out-buffers, at most s open stacks can be maintained throughout the cutting process LOSP: Minimize the trim loss under a given number s of open stacks

6 Heuristics drawbacks drawbacks First-cut-then-sequence Algorithms for LOSP CSP and MOSP are solved sequentially (M.G. de la Banda and P.J. Stukey, JoC 2007) The value of a MOSP optimal solution strongly depends from the set of cutting patterns and there are many different CSP optimal set of cutting patterns. Solutions can be infeasible for LOSP and it s not trivial how to make them feasible; Sequential approach A LOSP solution is constructed sequentially, pattern by pattern, controlling and limiting the number of open stacks (G. Belov and G. Scheithauer, JoC 2007) Local search Cutting patterns are built without any consideration on the part-type work-in-process The output sequence of part-type cannot be directly controlled An initial LOSP solution is constructed heuristically and then a local search is performed on the input sequence of part-types (F. Alvelos et al., 2008). Exact Algorithms are not present in the literature

7 LOSP and flow time of part-types Both performance indicators (trim loss and flow time) and technological constraints (bounded out-buffers) are important issues in a real manufacturing system First-sequence-then-cut approach. An output sequence of part-types is defined, and then 2. a particular cutting problem LOSP( ) is solved. A solution of LOSP( ) is a cutting plan K() that a) produce the sequence with at most s open stacks b) minimize trim loss and limit the flow time of part-types. Let CSP(s) be the cutting stock problem allowing at most s distinct part-type per pattern z z CSP ( s) LOSP LOSP ( ) z by column generation by local search on sequences by column generation and rounding

8 Step 2: the cutting problem LOSP() For any output sequence of part-types, the set K() of patterns can be partitioned into stages, the i-th stage consisting of the patterns needed to complete the i-th part-type in the sequence. Example s = Cutting patterns in K( ) Stage Stage 2 Stage Output sequence B ={,,6} B 2 ={2,,5} B ={,4,5} Necessary feasibility condition K() is a feasible solution of LOSP() if no more than s distinct part-types are processed by each pattern and by patterns belonging to the same stage.

9 LOSP() and flow time of part-types Flow time condition Let (i) be the position of part-type i in the sequence. Only part-types in B t ={i B t (i) t + s } can be produced at stage t, t =,, m s + Example s = Cutting patterns in K( ) Stage Stage 2 Stage Output sequence B ={, 2,} B 2 ={2,,4} B ={,4,5} Each part-type can be produced at most at s consecutive stages

10 A heuristic for LOSP() Master Problem min ms t kk t x k variable x k indicates the activation level of cutting pattern k ( i) tmax{, ( i) s} kk t a ik x k d i i B The model is solved by column generation x k 0 k K t, t,..., m s The pricing problem is an unbounded integer knapsack, i B i Pricing problem for stage t t ak There is a distinct pricing for each stage but each single pricing is easier because involves few (i.e., s) part-types max ib t a i i ib t w a i i w, a i 0, integer variable a i indicates the number of parts of types i in the cutting pattern

11 Step : a starting output sequence CSP(s) is a relaxation of LOSP the optimal set K of cutting patterns for the linear relaxation of CSP(s) gives CSP ( s) information on how part-types should be sequenced in order to obtain good LOSP solution satisfying the flow time condition: Part-types in the same pattern should be close to each other. K CSP () the linear arrangement of nodes costs the linear arrangement of nodes costs A good linear arrangement of a graph where nodes are part-types and there is a clique for each cutting pattern of provides a good starting sequence K CSP ( s)

12 A double local search for LOSP Generate Solve LOSP() local search update the current best solution local search restart output the best solution found. z LOSP z LOSP 2. generate an output sequence of part-types; z =. repeat improved = false = best sequence in the neighborhood N () if z LOSP z LOSP z; ( ) z then 2 = best sequence in the neighborhood N 2 ( ) = 2 ; end if until improved z improved = true z LOSP 4. if then end if 5. goto 2. z z z LOSP ) LOSP ( 2 K LOSP ( ) = rounding( )

13 Structure of neighborhoods CSP is a relaxation of LOSP( ) part-types in a promising cutting pattern a * for the linear relaxation of CSP should be close to each other in the output sequence Neighborhood N ( ): put part-types of a * consecutively in the sequence and shift the subsequence in all the positions,, m a * + Neighborhood N 2 ( ): 2-swap between part-types in B and those in B, with a * B B Example: = and a* = {2 4} N ( ) = = N 2 ( ) = with B a *

14 Computational results Sample features 2 groups of 20 random instances from G. Belov and G. Scheithauer, JoC 2007 s = 2,,4,6,0 m w w i d i group [00,7000] [,00] group [00,7000] [,00] Algorithm configuration Full exploration of 2-swap neighborhood, i.e., B B in N 2 ( ) 20 local search restart 600 seconds of allowed CPU time

15 Computational results s CSP gap (%) CSP (s ) gap (%) fist-sequence-than-cut vs. sequential #Cols CPU time (sec.) CPU Best Int (sec.) mean mean mean (max) mean mean (# limit ) mean flow time per part-type (#patterns) mean (max) group ( 0.66 ) (.5 ) group ( ) ( 4.85 ) group ( -. ) ( 6.5 ) group ( -.80 ) ( 8.00 ) group ( ) (.0 ) group ( -.4 ) (.70 ) group ( -.2 ) ( 4 ) ( 5.05 ) group ( ) ( ) ( 6.50 ) group ( -.6 ) ( ) ( 8.85 ) group ( -0. ) ( ) ( 4.5 ) CSP gap z z LOSP zcsp CSP 00 CSP(s) gap z LOSP z z CSP ( s) CSP ( s) 00

16 6 th ESICUP Meeting Controlling Open Stacks and Flow Time in a Cutting Process C. Arbib, F. Marinelli and F. Pezzella marinelli@diiga.univpm.it Dip. Ingegneria Informatica, Gestionale e dell Automazione Università Politecnica delle Marche Valencia, Spain, March 25 27, 2009 EU Cooperative esearch Project SCOOP (contract n ), coordinated by Università Politecnica delle Marche, Ancona, Italy

Column Generation Based Primal Heuristics

Column Generation Based Primal Heuristics Column Generation Based Primal Heuristics C. Joncour, S. Michel, R. Sadykov, D. Sverdlov, F. Vanderbeck University Bordeaux 1 & INRIA team RealOpt Outline 1 Context Generic Primal Heuristics The Branch-and-Price

More information

Graph Coloring via Constraint Programming-based Column Generation

Graph Coloring via Constraint Programming-based Column Generation Graph Coloring via Constraint Programming-based Column Generation Stefano Gualandi Federico Malucelli Dipartimento di Elettronica e Informatica, Politecnico di Milano Viale Ponzio 24/A, 20133, Milan, Italy

More information

Optimal Crane Scheduling

Optimal Crane Scheduling Optimal Crane Scheduling IonuŃ Aron Iiro Harjunkoski John Hooker Latife Genç Kaya March 2007 1 Problem Schedule 2 cranes to transfer material between locations in a manufacturing plant. For example, copper

More information

Implementation of pattern generation algorithm in forming Gilmore and Gomory model for two dimensional cutting stock problem

Implementation of pattern generation algorithm in forming Gilmore and Gomory model for two dimensional cutting stock problem IOP Conference Series: Materials Science and Engineering PAPER OPEN ACCESS Implementation of pattern generation algorithm in forming Gilmore and Gomory model for two dimensional cutting stock problem To

More information

Crew Scheduling Problem: A Column Generation Approach Improved by a Genetic Algorithm. Santos and Mateus (2007)

Crew Scheduling Problem: A Column Generation Approach Improved by a Genetic Algorithm. Santos and Mateus (2007) In the name of God Crew Scheduling Problem: A Column Generation Approach Improved by a Genetic Algorithm Spring 2009 Instructor: Dr. Masoud Yaghini Outlines Problem Definition Modeling As A Set Partitioning

More information

3 No-Wait Job Shops with Variable Processing Times

3 No-Wait Job Shops with Variable Processing Times 3 No-Wait Job Shops with Variable Processing Times In this chapter we assume that, on top of the classical no-wait job shop setting, we are given a set of processing times for each operation. We may select

More information

Branch-price-and-cut for vehicle routing. Guy Desaulniers

Branch-price-and-cut for vehicle routing. Guy Desaulniers Guy Desaulniers Professor, Polytechnique Montréal, Canada Director, GERAD, Canada VeRoLog PhD School 2018 Cagliari, Italy, June 2, 2018 Outline 1 VRPTW definition 2 Mathematical formulations Arc-flow formulation

More information

COLUMN GENERATION IN LINEAR PROGRAMMING

COLUMN GENERATION IN LINEAR PROGRAMMING COLUMN GENERATION IN LINEAR PROGRAMMING EXAMPLE: THE CUTTING STOCK PROBLEM A certain material (e.g. lumber) is stocked in lengths of 9, 4, and 6 feet, with respective costs of $5, $9, and $. An order for

More information

Algorithms for the Bin Packing Problem with Conflicts

Algorithms for the Bin Packing Problem with Conflicts Algorithms for the Bin Packing Problem with Conflicts Albert E. Fernandes Muritiba *, Manuel Iori, Enrico Malaguti*, Paolo Toth* *Dipartimento di Elettronica, Informatica e Sistemistica, Università degli

More information

Arc-Flow Model for the Two-Dimensional Cutting Stock Problem

Arc-Flow Model for the Two-Dimensional Cutting Stock Problem Arc-Flow Model for the Two-Dimensional Cutting Stock Problem Rita Macedo Cláudio Alves J. M. Valério de Carvalho Centro de Investigação Algoritmi, Universidade do Minho Escola de Engenharia, Universidade

More information

Algorithms for Integer Programming

Algorithms for Integer Programming Algorithms for Integer Programming Laura Galli November 9, 2016 Unlike linear programming problems, integer programming problems are very difficult to solve. In fact, no efficient general algorithm is

More information

A Row-and-Column Generation Method to a Batch Machine Scheduling Problem

A Row-and-Column Generation Method to a Batch Machine Scheduling Problem The Ninth International Symposium on Operations Research and Its Applications (ISORA 10) Chengdu-Jiuzhaigou, China, August 19 23, 2010 Copyright 2010 ORSC & APORC, pp. 301 308 A Row-and-Column Generation

More information

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

Introduction to Mathematical Programming IE406. Lecture 20. Dr. Ted Ralphs Introduction to Mathematical Programming IE406 Lecture 20 Dr. Ted Ralphs IE406 Lecture 20 1 Reading for This Lecture Bertsimas Sections 10.1, 11.4 IE406 Lecture 20 2 Integer Linear Programming An integer

More information

February 19, Integer programming. Outline. Problem formulation. Branch-andbound

February 19, Integer programming. Outline. Problem formulation. Branch-andbound Olga Galinina olga.galinina@tut.fi ELT-53656 Network Analysis and Dimensioning II Department of Electronics and Communications Engineering Tampere University of Technology, Tampere, Finland February 19,

More information

Fundamentals of Integer Programming

Fundamentals of Integer Programming Fundamentals of Integer Programming Di Yuan Department of Information Technology, Uppsala University January 2018 Outline Definition of integer programming Formulating some classical problems with integer

More information

sbb COIN-OR Simple Branch-and-Cut

sbb COIN-OR Simple Branch-and-Cut sbb COIN-OR Simple Branch-and-Cut John Forrest Lou Hafer lou@cs.sfu.ca CORS/INFORMS Joint Meeting Banff, May 2004 p.1/12 Outline Basic Branch-and-Bound Branching Node Selection Cuts and Heuristics Using

More information

Parallel Machine and Flow Shop Models

Parallel Machine and Flow Shop Models Outline DM87 SCHEDULING, TIMETABLING AND ROUTING 1. Resume and Extensions on Single Machine Models Lecture 10 Parallel Machine and Flow Shop Models 2. Parallel Machine Models Marco Chiarandini 3. Flow

More information

Using Decomposition Techniques for Solving Large-Scale Capacitated Hub Location Problems with Single Assignment

Using Decomposition Techniques for Solving Large-Scale Capacitated Hub Location Problems with Single Assignment Using Decomposition Techniques for Solving Large-Scale Capacitated Hub Location Problems with Single Assignment Ivan Contreras*, Elena Fernández Department of Statistics and Operations Research Technical

More information

L2: Algorithms: Knapsack Problem & BnB

L2: Algorithms: Knapsack Problem & BnB L2: Algorithms: Knapsack Problem & BnB This tutorial covers the basic topics on creating a forms application, common form controls and the user interface for the optimization models, algorithms and heuristics,

More information

Outline of the talk. Local search meta-heuristics for combinatorial problems. Constraint Satisfaction Problems. The n-queens problem

Outline of the talk. Local search meta-heuristics for combinatorial problems. Constraint Satisfaction Problems. The n-queens problem Università G. D Annunzio, maggio 00 Local search meta-heuristics for combinatorial problems Luca Di Gaspero Dipartimento di Ingegneria Elettrica, Gestionale e Meccanica Università degli Studi di Udine

More information

COT 6936: Topics in Algorithms! Giri Narasimhan. ECS 254A / EC 2443; Phone: x3748

COT 6936: Topics in Algorithms! Giri Narasimhan. ECS 254A / EC 2443; Phone: x3748 COT 6936: Topics in Algorithms! Giri Narasimhan ECS 254A / EC 2443; Phone: x3748 giri@cs.fiu.edu http://www.cs.fiu.edu/~giri/teach/cot6936_s12.html https://moodle.cis.fiu.edu/v2.1/course/view.php?id=174

More information

Weight Annealing Heuristics for Solving the Two-Dimensional Bin Packing Problem

Weight Annealing Heuristics for Solving the Two-Dimensional Bin Packing Problem Weight Annealing Heuristics for Solving the Two-Dimensional Bin Packing Problem Kok-Hua Loh, Nanyang Technological University Bruce Golden, University of Maryland Edward Wasil, American University th ICS

More information

Outline. Column Generation: Cutting Stock A very applied method. Introduction to Column Generation. Given an LP problem

Outline. Column Generation: Cutting Stock A very applied method. Introduction to Column Generation. Given an LP problem Column Generation: Cutting Stock A very applied method thst@man.dtu.dk Outline History The Simplex algorithm (re-visited) Column Generation as an extension of the Simplex algorithm A simple example! DTU-Management

More information

Column Generation: Cutting Stock

Column Generation: Cutting Stock Column Generation: Cutting Stock A very applied method thst@man.dtu.dk DTU-Management Technical University of Denmark 1 Outline History The Simplex algorithm (re-visited) Column Generation as an extension

More information

Solving Large Aircraft Landing Problems on Multiple Runways by Applying a Constraint Programming Approach

Solving Large Aircraft Landing Problems on Multiple Runways by Applying a Constraint Programming Approach Solving Large Aircraft Landing Problems on Multiple Runways by Applying a Constraint Programming Approach Amir Salehipour School of Mathematical and Physical Sciences, The University of Newcastle, Australia

More information

A Note on the Separation of Subtour Elimination Constraints in Asymmetric Routing Problems

A Note on the Separation of Subtour Elimination Constraints in Asymmetric Routing Problems Gutenberg School of Management and Economics Discussion Paper Series A Note on the Separation of Subtour Elimination Constraints in Asymmetric Routing Problems Michael Drexl March 202 Discussion paper

More information

Assigning Judges to Competitions Using Tabu Search Approach

Assigning Judges to Competitions Using Tabu Search Approach Assigning Judges to Competitions Using Tabu Search Approach Amina Lamghari Jacques A. Ferland Computer science and OR dept. University of Montreal Faculty of Information Technology University of Science

More information

Search Algorithms. IE 496 Lecture 17

Search Algorithms. IE 496 Lecture 17 Search Algorithms IE 496 Lecture 17 Reading for This Lecture Primary Horowitz and Sahni, Chapter 8 Basic Search Algorithms Search Algorithms Search algorithms are fundamental techniques applied to solve

More information

Retiming. Adapted from: Synthesis and Optimization of Digital Circuits, G. De Micheli Stanford. Outline. Structural optimization methods. Retiming.

Retiming. Adapted from: Synthesis and Optimization of Digital Circuits, G. De Micheli Stanford. Outline. Structural optimization methods. Retiming. Retiming Adapted from: Synthesis and Optimization of Digital Circuits, G. De Micheli Stanford Outline Structural optimization methods. Retiming. Modeling. Retiming for minimum delay. Retiming for minimum

More information

One-dimensional cutting stock model for joinery manufacturing

One-dimensional cutting stock model for joinery manufacturing INSTITUTE OF INFORMATION AND COMMUNICATION TECHNOLOGIES BULGARIAN ACADEMY OF SCIENCE One-dimensional cutting stock model for joinery manufacturing Ivan Mustakerov and Daniela Borissova 18th International

More information

Integer Programming. Xi Chen. Department of Management Science and Engineering International Business School Beijing Foreign Studies University

Integer Programming. Xi Chen. Department of Management Science and Engineering International Business School Beijing Foreign Studies University Integer Programming Xi Chen Department of Management Science and Engineering International Business School Beijing Foreign Studies University Xi Chen (chenxi0109@bfsu.edu.cn) Integer Programming 1 / 42

More information

GENERAL ASSIGNMENT PROBLEM via Branch and Price JOHN AND LEI

GENERAL ASSIGNMENT PROBLEM via Branch and Price JOHN AND LEI GENERAL ASSIGNMENT PROBLEM via Branch and Price JOHN AND LEI Outline Review the column generation in Generalized Assignment Problem (GAP) GAP Examples in Branch and Price 2 Assignment Problem The assignment

More information

Pseudo-polynomial formulations for bin packing and cutting stock problems

Pseudo-polynomial formulations for bin packing and cutting stock problems Pseudo-polynomial formulations for bin packing and cutting stock problems Maxence Delorme (1) Manuel Iori (2) (1) DEI, University of Bologna, Italy, (2) DISMI, University of Modena and Reggio Emilia, Italy

More information

Column Generation and its applications

Column Generation and its applications Column Generation and its applications Murat Firat, dept. IE&IS, TU/e BPI Cluster meeting Outline Some real-life decision problems Standard formulations Basics of Column Generation Master formulations

More information

VARIANTS OF THE CUTTING STOCK PROBLEM AND THE SOLUTION METHODS. M. M. Malik Abu Dhabi University Assistant Professor

VARIANTS OF THE CUTTING STOCK PROBLEM AND THE SOLUTION METHODS. M. M. Malik Abu Dhabi University Assistant Professor VARIANTS OF THE CUTTING STOCK PROBLEM AND THE SOLUTION METHODS M. M. Malik Abu Dhabi University Assistant Professor E-mail: mohsin.malik@adu.ac.ae J. H. Taplin University of Western Australia Professor

More information

Neighborhood Search: Mixing Gecode and EasyLocal++

Neighborhood Search: Mixing Gecode and EasyLocal++ : Mixing Gecode and EasyLocal++ Raffaele Cipriano 1 Luca Di Gaspero 2 Agostino 1 1) DIMI - Dip. di Matematica e Informatica Università di Udine, via delle Scienze 206, I-33100, Udine, Italy 2) DIEGM -

More information

Introduction to Algorithms. Lecture 24. Prof. Patrick Jaillet

Introduction to Algorithms. Lecture 24. Prof. Patrick Jaillet 6.006- Introduction to Algorithms Lecture 24 Prof. Patrick Jaillet Outline Decision vs optimization problems P, NP, co-np Reductions between problems NP-complete problems Beyond NP-completeness Readings

More information

ROBUSTNESS IN DYNAMIC CONSTRAINT SATISFACTION PROBLEMS. Laura Climent, Miguel A. Salido and Federico Barber. Received January 2011; revised May 2011

ROBUSTNESS IN DYNAMIC CONSTRAINT SATISFACTION PROBLEMS. Laura Climent, Miguel A. Salido and Federico Barber. Received January 2011; revised May 2011 International Journal of Innovative Computing, Information and Control ICIC International c 2012 ISSN 1349-4198 Volume 8, Number 4, April 2012 pp. 2513 2532 ROBUSTNESS IN DYNAMIC CONSTRAINT SATISFACTION

More information

A Computational Study of Conflict Graphs and Aggressive Cut Separation in Integer Programming

A Computational Study of Conflict Graphs and Aggressive Cut Separation in Integer Programming A Computational Study of Conflict Graphs and Aggressive Cut Separation in Integer Programming Samuel Souza Brito and Haroldo Gambini Santos 1 Dep. de Computação, Universidade Federal de Ouro Preto - UFOP

More information

Benders Decomposition

Benders Decomposition Benders Decomposition Using projections to solve problems thst@man.dtu.dk DTU-Management Technical University of Denmark 1 Outline Introduction Using projections Benders decomposition Simple plant location

More information

Multiple-Depot Integrated Vehicle and Crew Scheduling

Multiple-Depot Integrated Vehicle and Crew Scheduling Multiple-Depot Integrated Vehicle and Crew Scheduling Dennis Huisman, Richard Freling and Albert P.M. Wagelmans Erasmus Center for Optimization in Public Transport (ECOPT) & Econometric Institute, Erasmus

More information

Learning decomposable models with a bounded clique size

Learning decomposable models with a bounded clique size Learning decomposable models with a bounded clique size Achievements 2014-2016 Aritz Pérez Basque Center for Applied Mathematics Bilbao, March, 2016 Outline 1 Motivation and background 2 The problem 3

More information

Cutting Stock with Binary Patterns: Arc-flow Formulation with Graph Compression

Cutting Stock with Binary Patterns: Arc-flow Formulation with Graph Compression Cutting Stock with Binary Patterns: Arc-flow Formulation with Graph Compression Filipe Brandão INESC TEC and Faculdade de Ciências, Universidade do Porto, Portugal fdabrandao@dcc.fc.up.pt arxiv:1502.02899v1

More information

Bin Packing and Related Problems: General Arc-flow Formulation with Graph Compression

Bin Packing and Related Problems: General Arc-flow Formulation with Graph Compression Bin Packing and Related Problems: General Arc-flow Formulation with Graph Compression Filipe Brandão INESC TEC and Faculdade de Ciências, Universidade do Porto, Portugal fdabrandao@dcc.fc.up.pt João Pedro

More information

Other approaches. Marco Kuhlmann & Guido Tack Lecture 11

Other approaches. Marco Kuhlmann & Guido Tack Lecture 11 Other approaches Marco Kuhlmann & Guido Tack Lecture 11 Plan for today CSP-based propagation Constraint-based local search Linear programming CSP-based propagation History of CSP-based propagation AI research

More information

Manpower Planning: Task Scheduling. Anders Høeg Dohn

Manpower Planning: Task Scheduling. Anders Høeg Dohn : Task Scheduling Anders Høeg Dohn Scope During these lectures I will: Go over some of the practical problems encountered in manpower planning. Rostering Task Scheduling Propose models that can be used

More information

Branch-and-price algorithms for the Bi-Objective Vehicle Routing Problem with Time Windows

Branch-and-price algorithms for the Bi-Objective Vehicle Routing Problem with Time Windows Branch-and-price algorithms for the Bi-Objective Vehicle Routing Problem with Time Windows Estèle Glize, Nicolas Jozefowiez, Sandra Ulrich Ngueveu To cite this version: Estèle Glize, Nicolas Jozefowiez,

More information

Hierarchical Clustering of Process Schemas

Hierarchical Clustering of Process Schemas Hierarchical Clustering of Process Schemas Claudia Diamantini, Domenico Potena Dipartimento di Ingegneria Informatica, Gestionale e dell'automazione M. Panti, Università Politecnica delle Marche - via

More information

Outline. Optimales Recycling - Tourenplanung in der Altglasentsorgung

Outline. Optimales Recycling - Tourenplanung in der Altglasentsorgung 1 Optimales Recycling - Ruhr-Universität Bochum, 15.02.2013 2 1. Introduction and Motivation 2. Problem Definition 3. Literature Review 4. Mathematical Model 5. Variable Neighborhood Search 6. Numerical

More information

An evolutionary algorithm for the one-dimensional cutting stock. problem

An evolutionary algorithm for the one-dimensional cutting stock. problem International Transactions in Operations Research: aceito para publicação em 2010 An evolutionary algorithm for the one-dimensional cutting stock problem Silvio A. Araujo a, Ademir A. Constantino b and

More information

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

MVE165/MMG631 Linear and integer optimization with applications Lecture 9 Discrete optimization: theory and algorithms MVE165/MMG631 Linear and integer optimization with applications Lecture 9 Discrete optimization: theory and algorithms Ann-Brith Strömberg 2018 04 24 Lecture 9 Linear and integer optimization with applications

More information

On Modularity Clustering. Group III (Ying Xuan, Swati Gambhir & Ravi Tiwari)

On Modularity Clustering. Group III (Ying Xuan, Swati Gambhir & Ravi Tiwari) On Modularity Clustering Presented by: Presented by: Group III (Ying Xuan, Swati Gambhir & Ravi Tiwari) Modularity A quality index for clustering a graph G=(V,E) G=(VE) q( C): EC ( ) EC ( ) + ECC (, ')

More information

Implementing Scalable Parallel Search Algorithms for Data-Intensive Applications

Implementing Scalable Parallel Search Algorithms for Data-Intensive Applications Implementing Scalable Parallel Search Algorithms for Data-Intensive Applications Ted Ralphs Industrial and Systems Engineering Lehigh University http://www.lehigh.edu/~tkr2 Laszlo Ladanyi IBM T.J. Watson

More information

Lecture 11: Maximum flow and minimum cut

Lecture 11: Maximum flow and minimum cut Optimisation Part IB - Easter 2018 Lecture 11: Maximum flow and minimum cut Lecturer: Quentin Berthet 4.4. The maximum flow problem. We consider in this lecture a particular kind of flow problem, with

More information

Toward the joint design of electronic and optical layer protection

Toward the joint design of electronic and optical layer protection Toward the joint design of electronic and optical layer protection Massachusetts Institute of Technology Slide 1 Slide 2 CHALLENGES: - SEAMLESS CONNECTIVITY - MULTI-MEDIA (FIBER,SATCOM,WIRELESS) - HETEROGENEOUS

More information

Conflict Graphs for Combinatorial Optimization Problems

Conflict Graphs for Combinatorial Optimization Problems Conflict Graphs for Combinatorial Optimization Problems Ulrich Pferschy joint work with Andreas Darmann and Joachim Schauer University of Graz, Austria Introduction Combinatorial Optimization Problem CO

More information

Methods and Models for Combinatorial Optimization Exact methods for the Traveling Salesman Problem

Methods and Models for Combinatorial Optimization Exact methods for the Traveling Salesman Problem Methods and Models for Combinatorial Optimization Exact methods for the Traveling Salesman Problem L. De Giovanni M. Di Summa The Traveling Salesman Problem (TSP) is an optimization problem on a directed

More information

Recursive column generation for the Tactical Berth Allocation Problem

Recursive column generation for the Tactical Berth Allocation Problem Recursive column generation for the Tactical Berth Allocation Problem Ilaria Vacca 1 Matteo Salani 2 Michel Bierlaire 1 1 Transport and Mobility Laboratory, EPFL, Lausanne, Switzerland 2 IDSIA, Lugano,

More information

Solutions for Operations Research Final Exam

Solutions for Operations Research Final Exam Solutions for Operations Research Final Exam. (a) The buffer stock is B = i a i = a + a + a + a + a + a 6 + a 7 = + + + + + + =. And the transportation tableau corresponding to the transshipment problem

More information

Chapter 10 Part 1: Reduction

Chapter 10 Part 1: Reduction //06 Polynomial-Time Reduction Suppose we could solve Y in polynomial-time. What else could we solve in polynomial time? don't confuse with reduces from Chapter 0 Part : Reduction Reduction. Problem X

More information

3 INTEGER LINEAR PROGRAMMING

3 INTEGER LINEAR PROGRAMMING 3 INTEGER LINEAR PROGRAMMING PROBLEM DEFINITION Integer linear programming problem (ILP) of the decision variables x 1,..,x n : (ILP) subject to minimize c x j j n j= 1 a ij x j x j 0 x j integer n j=

More information

Implicit Hitting Set Problems

Implicit Hitting Set Problems Implicit Hitting Set Problems Paul A. Rubin April 15, 2016 Paul A. Rubin Implicit Hitting Set Problems April 15, 2016 1 / 39 Thank you INFORMS Student Chapter at the for the invitation to speak today.

More information

Heuristics in MILP. Group 1 D. Assouline, N. Molyneaux, B. Morén. Supervisors: Michel Bierlaire, Andrea Lodi. Zinal 2017 Winter School

Heuristics in MILP. Group 1 D. Assouline, N. Molyneaux, B. Morén. Supervisors: Michel Bierlaire, Andrea Lodi. Zinal 2017 Winter School Heuristics in MILP Group 1 D. Assouline, N. Molyneaux, B. Morén Supervisors: Michel Bierlaire, Andrea Lodi Zinal 2017 Winter School 0 / 23 Primal heuristics Original paper: Fischetti, M. and Lodi, A. (2011).

More information

Introduction to Machine Learning

Introduction to Machine Learning Introduction to Machine Learning Clustering Varun Chandola Computer Science & Engineering State University of New York at Buffalo Buffalo, NY, USA chandola@buffalo.edu Chandola@UB CSE 474/574 1 / 19 Outline

More information

CSE 460. Today we will look at" Classes of Optimization Problems" Linear Programming" The Simplex Algorithm"

CSE 460. Today we will look at Classes of Optimization Problems Linear Programming The Simplex Algorithm CSE 460 Linear Programming" Today we will look at" Classes of Optimization Problems" Linear Programming" The Simplex Algorithm" Classes of Optimization Problems" Optimization" unconstrained"..." linear"

More information

Solving lexicographic multiobjective MIPs with Branch-Cut-Price

Solving lexicographic multiobjective MIPs with Branch-Cut-Price Solving lexicographic multiobjective MIPs with Branch-Cut-Price Marta Eso (The Hotchkiss School) Laszlo Ladanyi (IBM T.J. Watson Research Center) David Jensen (IBM T.J. Watson Research Center) McMaster

More information

CS Sorting Terms & Definitions. Comparing Sorting Algorithms. Bubble Sort. Bubble Sort: Graphical Trace

CS Sorting Terms & Definitions. Comparing Sorting Algorithms. Bubble Sort. Bubble Sort: Graphical Trace CS 704 Introduction to Data Structures and Software Engineering Sorting Terms & Definitions Internal sorts holds all data in RAM External sorts use Files Ascending : Low to High Descending : High to Low

More information

Outline. Alternative Benders Decomposition Explanation explaining Benders without projections. Primal-Dual relations

Outline. Alternative Benders Decomposition Explanation explaining Benders without projections. Primal-Dual relations Alternative Benders Decomposition Explanation explaining Benders without projections Outline Comments on Benders Feasibility? Optimality? thst@man..dtu.dk DTU-Management Technical University of Denmark

More information

LECTURE 3:CPU SCHEDULING

LECTURE 3:CPU SCHEDULING LECTURE 3:CPU SCHEDULING 1 Outline Basic Concepts Scheduling Criteria Scheduling Algorithms Multiple-Processor Scheduling Real-Time CPU Scheduling Operating Systems Examples Algorithm Evaluation 2 Objectives

More information

Approximation Basics

Approximation Basics Milestones, Concepts, and Examples Xiaofeng Gao Department of Computer Science and Engineering Shanghai Jiao Tong University, P.R.China Spring 2015 Spring, 2015 Xiaofeng Gao 1/53 Outline History NP Optimization

More information

Bi-Objective Optimization for Scheduling in Heterogeneous Computing Systems

Bi-Objective Optimization for Scheduling in Heterogeneous Computing Systems Bi-Objective Optimization for Scheduling in Heterogeneous Computing Systems Tony Maciejewski, Kyle Tarplee, Ryan Friese, and Howard Jay Siegel Department of Electrical and Computer Engineering Colorado

More information

The MIP-Solving-Framework SCIP

The MIP-Solving-Framework SCIP The MIP-Solving-Framework SCIP Timo Berthold Zuse Institut Berlin DFG Research Center MATHEON Mathematics for key technologies Berlin, 23.05.2007 What Is A MIP? Definition MIP The optimization problem

More information

Introduction to optimization

Introduction to optimization Introduction to optimization G. Ferrari Trecate Dipartimento di Ingegneria Industriale e dell Informazione Università degli Studi di Pavia Industrial Automation Ferrari Trecate (DIS) Optimization Industrial

More information

CS 440 Theory of Algorithms /

CS 440 Theory of Algorithms / CS 440 Theory of Algorithms / CS 468 Algorithms in Bioinformaticsi Brute Force. Design and Analysis of Algorithms - Chapter 3 3-0 Brute Force A straightforward approach usually based on problem statement

More information

Effects of flexible timetables in real-time scheduling of rail operations

Effects of flexible timetables in real-time scheduling of rail operations 1 Effects of flexible timetables in real-time scheduling of rail operations Andrea D Ariano Dario Pacciarelli Marco Pranzo Department of Transport and Planning - Delft University of Technology, The Netherlands

More information

Integer Programming Theory

Integer Programming Theory Integer Programming Theory Laura Galli October 24, 2016 In the following we assume all functions are linear, hence we often drop the term linear. In discrete optimization, we seek to find a solution x

More information

Solving the Maximum Cardinality Bin Packing Problem with a Weight Annealing-Based Algorithm

Solving the Maximum Cardinality Bin Packing Problem with a Weight Annealing-Based Algorithm Solving the Maximum Cardinality Bin Packing Problem with a Weight Annealing-Based Algorithm Kok-Hua Loh Nanyang Technological University Bruce Golden University of Maryland Edward Wasil American University

More information

Part II Process Management Chapter 6: Process Synchronization

Part II Process Management Chapter 6: Process Synchronization Part II Process Management Chapter 6: Process Synchronization 1 Process Synchronization Why is synchronization needed? Race Conditions Critical Sections Pure Software Solutions Hardware Support Semaphores

More information

Branch-and-Cut and GRASP with Hybrid Local Search for the Multi-Level Capacitated Minimum Spanning Tree Problem

Branch-and-Cut and GRASP with Hybrid Local Search for the Multi-Level Capacitated Minimum Spanning Tree Problem Branch-and-Cut and GRASP with Hybrid Local Search for the Multi-Level Capacitated Minimum Spanning Tree Problem Eduardo Uchoa Túlio A.M. Toffolo Mauricio C. de Souza Alexandre X. Martins + Departamento

More information

Using the OPTMODEL Procedure in SAS/OR to Solve Complex Problems. Rob Pratt, Senior R&D Manager, SAS/OR

Using the OPTMODEL Procedure in SAS/OR to Solve Complex Problems. Rob Pratt, Senior R&D Manager, SAS/OR Using the OPTMODEL Procedure in SAS/OR to Solve Complex Problems Rob Pratt, Senior R&D Manager, SAS/OR Outline 1 Recent Features in PROC OPTMODEL 2 Graph Partitioning with Connectivity Constraints 2 /

More information

Integer Programming and Network Modeis

Integer Programming and Network Modeis H.A. Eiselt C.-L. Sandblom Integer Programming and Network Modeis With Contributions by K. Spielberg, E. Richards, B.T. Smith, G. Laporte, B.T. Boffey With 165 Figures and 43 Tables &m Springer CONTENTS

More information

Integer Programming as Projection

Integer Programming as Projection Integer Programming as Projection H. P. Williams London School of Economics John Hooker Carnegie Mellon University INFORMS 2015, Philadelphia USA A Different Perspective on IP Projection of an IP onto

More information

Hybrid Constraint Programming and Metaheuristic methods for Large Scale Optimization Problems

Hybrid Constraint Programming and Metaheuristic methods for Large Scale Optimization Problems Hybrid Constraint Programming and Metaheuristic methods for Large Scale Optimization Problems Fabio Parisini Tutor: Paola Mello Co-tutor: Michela Milano Final seminars of the XXIII cycle of the doctorate

More information

Lagrangean relaxation - exercises

Lagrangean relaxation - exercises Lagrangean relaxation - exercises Giovanni Righini Set covering We start from the following Set Covering Problem instance: min z = x + 2x 2 + x + 2x 4 + x 5 x + x 2 + x 4 x 2 + x x 2 + x 4 + x 5 x + x

More information

ON WEIGHTED RECTANGLE PACKING WITH LARGE RESOURCES*

ON WEIGHTED RECTANGLE PACKING WITH LARGE RESOURCES* ON WEIGHTED RECTANGLE PACKING WITH LARGE RESOURCES* Aleksei V. Fishkin, 1 Olga Gerber, 1 Klaus Jansen 1 1 University of Kiel Olshausenstr. 40, 24118 Kiel, Germany {avf,oge,kj}@informatik.uni-kiel.de Abstract

More information

Improved Gomory Cuts for Primal Cutting Plane Algorithms

Improved Gomory Cuts for Primal Cutting Plane Algorithms Improved Gomory Cuts for Primal Cutting Plane Algorithms S. Dey J-P. Richard Industrial Engineering Purdue University INFORMS, 2005 Outline 1 Motivation The Basic Idea Set up the Lifting Problem How to

More information

Part 4. Decomposition Algorithms Dantzig-Wolf Decomposition Algorithm

Part 4. Decomposition Algorithms Dantzig-Wolf Decomposition Algorithm In the name of God Part 4. 4.1. Dantzig-Wolf Decomposition Algorithm Spring 2010 Instructor: Dr. Masoud Yaghini Introduction Introduction Real world linear programs having thousands of rows and columns.

More information

Finding irreducible infeasible sets in inconsistent constraint satisfaction problems. Alain Hertz

Finding irreducible infeasible sets in inconsistent constraint satisfaction problems. Alain Hertz Finding irreducible infeasible sets in inconsistent constraint satisfaction problems Alain Hertz GERAD École Polytechnique Montréal, Canada This is a joint work with Philippe Galinier and Christian Desrosiers

More information

15.083J Integer Programming and Combinatorial Optimization Fall Enumerative Methods

15.083J Integer Programming and Combinatorial Optimization Fall Enumerative Methods 5.8J Integer Programming and Combinatorial Optimization Fall 9 A knapsack problem Enumerative Methods Let s focus on maximization integer linear programs with only binary variables For example: a knapsack

More information

Homework 3. Constraint Satisfaction Problems, Optimization problems

Homework 3. Constraint Satisfaction Problems, Optimization problems Homework 3 Constraint Satisfaction Problems, Optimization problems (Max score: 100 - Available points: 120) 15-381-Q: Artificial Intelligence (Fall 2018) OUT: October 6, 2018 DUE: October 14, 2018 at 23:55pm

More information

Selected Topics in Column Generation

Selected Topics in Column Generation Selected Topics in Column Generation February 1, 2007 Choosing a solver for the Master Solve in the dual space(kelly s method) by applying a cutting plane algorithm In the bundle method(lemarechal), a

More information

Backtracking. Chapter 5

Backtracking. Chapter 5 1 Backtracking Chapter 5 2 Objectives Describe the backtrack programming technique Determine when the backtracking technique is an appropriate approach to solving a problem Define a state space tree for

More information

New developments in the primal-dual column generation technique

New developments in the primal-dual column generation technique New developments in the primal-dual column generation technique Jacek Gondzio a, Pablo González-Brevis a,1,, Pedro Munari b,2 a School of Mathematics, The University of Edinburgh, James Clerk Maxwell Building,

More information

Experimental Study on Speed-Up Techniques for Timetable Information Systems

Experimental Study on Speed-Up Techniques for Timetable Information Systems Experimental Study on Speed-Up Techniques for Timetable Information Systems Reinhard Bauer (rbauer@ira.uka.de) Daniel Delling (delling@ira.uka.de) Dorothea Wagner (wagner@ira.uka.de) ITI Wagner, Universität

More information

Lecture 14: Linear Programming II

Lecture 14: Linear Programming II A Theorist s Toolkit (CMU 18-859T, Fall 013) Lecture 14: Linear Programming II October 3, 013 Lecturer: Ryan O Donnell Scribe: Stylianos Despotakis 1 Introduction At a big conference in Wisconsin in 1948

More information

Multi-scale Techniques for Document Page Segmentation

Multi-scale Techniques for Document Page Segmentation Multi-scale Techniques for Document Page Segmentation Zhixin Shi and Venu Govindaraju Center of Excellence for Document Analysis and Recognition (CEDAR), State University of New York at Buffalo, Amherst

More information

Delay Minimization for Relay-based Cooperative Data Exchange with Network Coding

Delay Minimization for Relay-based Cooperative Data Exchange with Network Coding Delay Minimization for Relay-based Cooperative Data Exchange with Network Coding Zheng Dong,XiuminWang,S.H.Dau, Chau Yuen Singapore University of Technology and Design, Singapore Hefei University of Technology,

More information

An Improved Hybrid Genetic Algorithm for the Generalized Assignment Problem

An Improved Hybrid Genetic Algorithm for the Generalized Assignment Problem An Improved Hybrid Genetic Algorithm for the Generalized Assignment Problem Harald Feltl and Günther R. Raidl Institute of Computer Graphics and Algorithms Vienna University of Technology, Vienna, Austria

More information

A mixed integer program for cyclic scheduling of flexible flow lines

A mixed integer program for cyclic scheduling of flexible flow lines BULLETIN OF THE POLISH ACADEMY OF SCIENCES TECHNICAL SCIENCES, Vol. 62, No. 1, 2014 DOI: 10.2478/bpasts-2014-0014 A mixed integer program for cyclic scheduling of flexible flow lines T. SAWIK AGH University

More information

On step fixed-charge hub location problem

On step fixed-charge hub location problem On step fixed-charge hub location problem Marcos Roberto Silva DEOP - Departamento de Engenharia Operacional Patrus Transportes Urgentes Ltda. 07934-000, Guarulhos, SP E-mail: marcos.roberto.silva@uol.com.br

More information