17
Canadian Mathematical Society Montréal, December 11 -13, 1999 JacquesD esrosiers École desH autesÉtudesCom m erciales& GERAD M ontréal,Canada H 3T 2A 7 Jacques.Desrosiers@ hec.ca The M athem aticsbehind V ehicle R outing and C rew Scheduling Thispresentation describesthe significantadvancesm ade in tim e-constrained routing and scheduling. H elped by continuously betterinsightsinto problem structuresand rapid advancesin com putertechnology,the optim ization m ethods are becom ing a viable tool forsolving practical size problem s.

Canadian Mathematical Society Montréal, December 11 -13, 1999

  • Upload
    lore

  • View
    50

  • Download
    1

Embed Size (px)

DESCRIPTION

Canadian Mathematical Society Montréal, December 11 -13, 1999. Vehicle Routing with Time Windows Dial-a-Ride for Physically Disabled Persons Urban Transit Crew Scheduling Multiple Depot Vehicle Scheduling Aircraft Routing Crew Pairing Crew Rostering (Pilots & Flight Attendants) - PowerPoint PPT Presentation

Citation preview

Page 1: Canadian Mathematical Society Montréal, December 11 -13, 1999

Canadian Mathematical Society

Montréal, December 11 -13, 1999

Jacques DesrosiersÉcole des Hautes Études Commerciales & GERADMontréal, Canada H3T [email protected]

The Mathematics behind Vehicle Routing and Crew Scheduling

This presentation describes the significant advances madein time-constrained routing and scheduling. Helped bycontinuously better insights into problem structures and rapidadvances in computer technology, the optimization methodsare becoming a viable tool for solving practical size problems.

Page 2: Canadian Mathematical Society Montréal, December 11 -13, 1999

SUCCESSFUL APPLICATIONS

• Vehicle Routing with Time Windows• Dial-a-Ride for Physically Disabled Persons • Urban Transit Crew Scheduling • Multiple Depot Vehicle Scheduling • Aircraft Routing • Crew Pairing • Crew Rostering (Pilots & Flight Attendants) • Locomotive and Car Assignment

Page 3: Canadian Mathematical Society Montréal, December 11 -13, 1999

• CREW-OPT• BUS-OPT• ALTITUDE-Pairings• ALTITUDE-Rosters• ALTITUDE-PBS• RAIL-WAYS

The GENCOL Optimizer

60 installations around the world

… at the Core of Various Software Systems

Page 4: Canadian Mathematical Society Montréal, December 11 -13, 1999

RESEARCH TRENDS

• Accelerating Techniques• Primal - Dual Stabilization• Constraint Aggregation• Sub-Problem Speed-up• Two-level Problems Solved

with Benders Decomposition

• Integer Column Generation with Interior Point Algorithm

Page 5: Canadian Mathematical Society Montréal, December 11 -13, 1999

• Acceleration Techniques

Column Generator Master Problem Global Formulation

Heuristics Re-Optimizers Pre-Processors

…to obtain Primal & Dual Solutions

Page 6: Canadian Mathematical Society Montréal, December 11 -13, 1999

Acceleration Techniques ...

Multiple Columns: selected subset close to expected optimal solution

Partial Pricing in case of many Sub-Problems

Early & MultipleBranching & Cutting: quickly gets local optima

Branching & Cutting: on integer variables !

Page 7: Canadian Mathematical Society Montréal, December 11 -13, 1999

• Primal - Dual Stabilization

0

min

xbAx

cx

cAb

max

21

max

ddcAb

Restricted Dual

2211

21

0,00

min

yyx

byyAxcx

Perturbed Primal

2211

21

2211

0,00

min

yyx

byyAxydydcx

Stabilized Primal

Page 8: Canadian Mathematical Society Montréal, December 11 -13, 1999

Dual Solution Primal Solution Primal Solution Dual Solution

Approximate Primal & Dual

Primal & Dual Solutions

Primal - Dual Stabilization ...

Page 9: Canadian Mathematical Society Montréal, December 11 -13, 1999

• Constraint Aggregation

Massive Degeneracy on Set Partitioning Problems

A pilot covers consecutive flights on the same aircraftA driver covers consecutive legs on the same bus line

Aggregate Identical Constraintson Non-zero Variables

Page 10: Canadian Mathematical Society Montréal, December 11 -13, 1999

Aggregation Algorithm

• Initial Constraint Aggregation• Consider only Compatible VariablesSolve Aggregated Master Problem

Primal & Aggregated Dual SolutionsDual Variables Split-upSolve Sub-Problem• Modify Constraint Aggregation

Page 11: Canadian Mathematical Society Montréal, December 11 -13, 1999

• Sub-Problem Speed-up

Resource Constrained Shortest PathLabels at each node : cost, time, load, …

Resource ProjectionAdjust A dynamicallyGeneralized Lagrangian Relaxation

Results on Sub-Problem cpu time divided by 5 to 10

nmRR mAn

24 RR

Page 12: Canadian Mathematical Society Montréal, December 11 -13, 1999

• Two-Level Problems

Benders Decomposition Algorithmfor Simultaneous Assignment of

Buses and DriversAircraft and Pilots

Pairings and RostersLocomotives and Cars

Page 13: Canadian Mathematical Society Montréal, December 11 -13, 1999

IP(X, Y) for Two-Level Scheduling

MIP(X, y) solved using Benders Decomposition

Master IP(X) Simplex and B&B(X)

Sub-Problem solved by Column Generation MP LP(y) of Set Partitioning SP DP for Constrained Paths

B&B(Y) with MIP(X, y) at each node

Page 14: Canadian Mathematical Society Montréal, December 11 -13, 1999

Benders MP

Benders SP

B &

B

IP

LP

DP

CG MP

CG SP

Page 15: Canadian Mathematical Society Montréal, December 11 -13, 1999

• Column Generation with Interior Point Algorithm

• ACCPM Algorithm (Goffin & Vial)• Applications

Linear ProgrammingNon-Linear ProgrammingStochastic Programming Variational Inequalities

Page 16: Canadian Mathematical Society Montréal, December 11 -13, 1999

• Integer Column Generation with Interior Point Algorithm

• Strategic Grant in Geneva– J.-P. Vial et al.

• Strategic Grant in Montréal– J.-L. Goffin et al.

Design of a Commercial Software System

Page 17: Canadian Mathematical Society Montréal, December 11 -13, 1999

CONCLUSIONS

• Larger Problems to Solve• Mixing of Decomposition Methods• Strong Exact and Heuristic Algorithms• Faster Computers • Parallel Implementations

Still a lot of work to do !!