An Integrated OR/CP Method for Planning and Scheduling

Transcription

1 An Integrated OR/CP Method for Plannng and Schedulng John Hooer Carnege Mellon Unversty IT Unversty of Copenhagen June 2005

2 The Problem Allocate tass to facltes. Schedule tass assgned to each faclty. Subect to deadlnes. Facltes may run at dfferent speeds and ncur dfferent costs. Cumulatve schedulng Several tass may run smultaneously on a faclty. But total resource consumpton must never eceed lmt. 2

3 Approach In practce problem s often solved by gve-and-tae. If schedule doesn t wor schedulers telephone planners and as for a dfferent allocaton Repeat untl everyone can lve wth the soluton. Benders decomposton s a mathematcal formalzaton of ths process. Plannng s the master problem. Schedulng s the subproblem. Telephone calls are Benders cuts. Use logc-based Benders. Classcal Benders requres that the subproblem be a lnear or nonlnear programmng problem. 3

4 Approach Decomposton permts hybrd soluton: Apply MIP to plannng master problem. MIP s generally better at resource allocaton. Apply CP to schedulng subproblem. CP s generally better at schedulng. 4

5 Prevous Wor 995 JH & Yan Apply logc-based Benders to crcut verfcaton. Better than BDDs when crcut contans error JH Formulate general logc-based Benders. Specalzed Benders cuts must be desgned for each problem class. Branch-and-chec proposed. 200 Jan & Grossmann Apply logc-based Benders to multple-machne schedulng usng CP/MIP. Substantal speedup. But easy problem for Benders approach 5

6 200 Thorstensson Apply branch and chec to CP/MIP. -2 orders of magntude speedup on multple machne schedulng 2002 Tmpe Apply logc-based Benders to polypropylene batch processng at BASF. Solved prevously nsoluble problem n 0 mn JH Ottosson Apply logc-based Benders to IP and SAT. Potentally useful for stochastc IP. Substantal advantage when subproblem decouples nto 20 or more scenaros Cambazard et al. Apply logc-based Benders mn conflct cuts to real-tme tas allocaton & schedulng. CP solves both master and subproblem. 6

7 2004 JH Apply logc-based Benders to mn cost and mn maespan plannng & cumulatve schedulng problems. 00 to 000 tmes faster than CP MIP 2005 JH Mn total tardness mn number of late obs. At least 0 tmes faster for mn tardness much better solutons. 00 to 000 tmes faster for mn number of late obs. 7

8 ogc-based Benders Decomposton mn subect to f C y y D y D y Basc dea: Search over values of n master problem. For each eamned solve subproblem for y. mn z Master Problem Subproblem subect to z z B D y all D y mn y subect to C y D y Benders cuts for all teratons f y y Soluton of master problem 8

9 ogc-based Benders Decomposton mn Subproblem subect to f C y y y D y Soluton of subproblem dual s a proof that cost can be no less than the optmal cost when s.t. B Subproblem dual ma v C v R y P P f Q y We use the same proof schema to derve a vald lower bound B for any. z B Benders cut a type of nogood forces master problem to loo at a value of other than to get a lower cost. v 9

10 Applyng Benders to Plannng & Schedulng Decompose problem nto assgnment resource-constraned assgn tass schedulng to facltes schedule tass on each faclty Use logc-based Benders to ln these. Solve: master problem wth MIP -- good at resource allocaton subproblem wth Constrant Programmng -- good at schedulng We wll use Benders cuts that requre no nformaton from the CP soluton process. 0

11 Notaton p processng tme of tas on faclty c resource consumpton of tas on faclty C resources avalable on faclty C tas c Faclty Faclty 2 tas 4 tas 5 C 2 c 22 tas 3 tas 2 p p 22 Total resource consumpton C at all tmes.

12 Obectve functons Mnmze cost g y faclty assgned to tas Fed cost of assgnng tas to faclty y Mnmze maespan ma { t p y } Start tme of tas 2

13 Obectve functons y Mnmze no. late tass δ p δ α f α > 0 0 otherwse t d Due date for tas Mnmze tardness p y d { } α ma 0 α t 3

14 mn subect to Mnmze cost: MIP Model f tas starts at tme pont t on faclty t N t t t t t g t t p t t ' 0 0 < t ' {0} t all all all c t t t ' wth wth Tas starts at one tme on one faclty Tass underway at tme t consume C n C all t resources t d > N p < p t Tass observe tme wndows 4

15 5 p d t C y c y p y t g y y all 0 all cumulatve subect to mn Mnmze Cost: CP Model Observe tme wndows Observe resource lmt on each faclty y faclty assgned to tas start tmes of tass assgned to faclty

16 Mnmze Cost: ogc-based Benders C mn subect to Master Problem: Assgn tass to facltes tas d g d p c all Benders cuts tas 4 tas 5 C d d all all dstnct Relaaton of subproblem: Area d r of tass due before d must ft before d. d 6

17 Subproblem: Schedule tass assgned to each faclty Solve by constrant programmng soluton of master problem cumulatve 0 t d t p c C all et J h set of tass assgned to faclty n teraton h. If subproblem s nfeasble soluton of subproblem dual s a proof that not all tass n J h can be assgned to faclty. Ths provdes the bass for a smple Benders cut. 7

18 mn subect to Master Problem wth Benders Cuts Solve by MIP d c J d h all p r C d all {0} Benders cuts all all dstnct h d 8

19 C Mnmze Maespan: ogc-based Benders Master Problem: Assgn tass to facltes mn subect to M maespan all M p C Benders cuts c all act vty actvty 4 actvty 5 Relaaton of subproblem: Area of tass provdes lower bound on maespan. 9

20 Subproblem: Schedule tass assgned to each faclty Solve by constrant programmng mn M subect to M t 0 t d d cumulatve t p c all all C all et J h set of tass assgned to machne n teraton h. We get a Benders cut even when subproblem s feasble. 20

21 The Benders cut s based on: emma. If we remove tass s from a faclty the mnmum maespan on that faclty s reduced by at most s p ma d s s { d } mn { } Assumng all deadnes d are the same we get the Benders cut * M M h p J h Mn maespan on faclty n last teraton 2

22 M Why does ths wor? Assume all deadlnes are the same. Add tass s sequentally at end of optmal schedule for other tass Case I: resultng schedule meets deadlne Optmal maespan for tass s m Optmal maespan for all tass * Mˆ M ˆ s M p Feasble maespan for all tass tass s m tas tas s s s M ˆ * p M M d * ˆ p Deadlne for all tass 22

23 Case II: resultng schedule eceeds deadlne Optmal maespan for tass s m Optmal maespan for all tass * Mˆ M ˆ s M p Maespan no longer feasble tass s m tas tas s M s Deadlne for all tass * * d and M ˆ p > d M ˆ M p d s 23

24 mn subect to Master Problem: Assgn tass to facltes Assume all deadlnes are the same Solve by MIP M M M C M {0} all * h p J c all p Relaaton all h Benders cuts Maespan on faclty n teraton h 24

25 Mnmze Number of ate Jobs: ogc-based Benders mn s.t. Master Problem: Assgn tass to facltes C d ma Benders cuts d d all c d p 0 { p } all d all Number of late tass Relaaton of subproblem: Dvde ecess area of tass by longest processng tme. all dstnct d 25

26 Benders cuts To etract some dual nformaton re-solve the schedulng subproblem a few tmes wth some tass removed. Use greedy algorthm to dentfy 0 J h et a set of tass that can be ontly removed from J h faclty wthout reducng mn number of late tass a set of tass that can be ontly removed wthout reducng mn no of late tass more than Ths yelds Benders cuts: * h * h * h J * h h \ J 0 h J h \ J h all h all h 26

27 Mnmze Tardness: ogc-based Benders Master Problem: Assgn tass to facltes mn s.t. T T T T p c C d d second relaaton of Benders cuts all T 0 tardness all d all all subproblem Relaaton of subproblem dstnct d 27

28 Second relaaton of subproblem emma. Consder a mn tardness problem that schedules tass n on faclty where d d n. The mn tardness T* s bounded below by n where p π c d π C and π s a permutaton of n such that p π c π p π c π n n 28

29 Idea of proof For a permutaton σ of n let σ σ where σ p π c d π σ C n et σ 0 σ 0 n be order of obs n any optmal soluton so that t and mn tardness s T* t σ 0 σ 0 n Consder bubble sort on σ 0 σ 0 n to obtan n. et σ 0 σ S be resultng sequence of permutatons so that σ s σ s dffer by a swap and σ s. 29

30 30 Now we have T S s s * 0 σ σ σ σ snce c p C t π π n s s s s s n s s s s s 2 2 σ σ σ σ σ σ σ σ σ σ swap and So 0 B A b a b A A a s s s s s s σ σ σ σ σ σ snce A a B b

31 3 From the lemma we can wrte the relaaton n T where d c p C π π π To lnearze ths we wrte n T and M d c p C π π π d c p C M π π where

32 Benders cuts To etract some dual nformaton re-solve the schedulng subproblem a few tmes wth some tass removed. 0 J h et {tass that can be ndvdually removed wthout reducng mn tardness} 0 T h mn tardness f all tass n are removed smultaneously 0 J h Ths yelds Benders cuts: T T T T 0 h * h T T 0 h * h J J h h \ J 0 h all h all h 32

33 Computatonal Results Random problems on facltes. Facltes run at dfferent speeds. All release tmes 0. Mn cost and maespan problems: all tass have same deadlne. Tardness problems: random due date parameters set so that a few tass tend to be late. No precedence or other sde constrants. Maes problem harder. Implement wth OP Studo CPEX for MIP. IOG Scheduler for CP. Use AssgnAlternatves & SetTmes. 33

34 Mn cost 2 facltes Computaton tme n seconds Average of 5 nstances shown Jobs MIP* CP Benders At least one problem n the 5 eceeded 7200 sec 2 hours 34

35 Mn cost 3 facltes Computaton tme n seconds Average of 5 nstances shown Tass MIP* CP Benders * *CPEX ran out of memory on or more problems. At least one problem n the 5 eceeded 7200 sec 2 hours 35

36 Mn cost 4 facltes Computaton tme n seconds Average of 5 nstances shown Jobs MIP* CP Benders * *CPEX ran out of memory on or more problems. At least one problem n the 5 eceeded 7200 sec 2 hours 36

37 Mn maespan 2 facltes Average of 5 nstances shown Jobs MIP CP Benders At least one problem n the 5 eceeded 7200 sec 2 hours 37

38 Mn maespan 3 facltes Average of 5 nstances shown Jobs MIP CP Benders At least one problem n the 5 eceeded 7200 sec 2 hours 38

39 Mn maespan 4 facltes Average of 5 nstances shown Jobs MIP CP Benders At least one problem n the 5 eceeded 7200 sec 2 hours 39

40 Scalng up the Benders Method Average of 5 nstances shown Tass Facltes Mn cost sec Mn maespan sec At least one problem n the 5 eceeded 7200 sec 2 hours 40

41 Bounds Provded by Benders Mn maespan problems unsolved after 2 hours Tass Facltes Best soluton value ower bound

42 Mn number of late tass 3 facltes Smaller problems Tass Tme sec CP MIP Benders Mn late tass error

43 Mn number of late tass 3 facltes arger problems For 6 tass: average tme rato MIP/Benders 295 Tass Tme sec MIP Benders Best soluton MIP Benders > > > > > >7200 > > > > > Boldface optmalty proved 43

44 Mn tardness 3 facltes Smaller problems Tass Tme sec CP MIP Benders Mn tardness > >7200 > > > > > >

45 Mn tardness 3 facltes arger problems For 6 tass: average tme rato MIP/Benders 25 Tass Tme sec MIP Benders Best soluton MIP Benders > >7200 > >7200 > >7200 > >7200 > > > >7200 > >7200 > Boldface optmalty proved 45

46 Future Research Implement branch-and-chec for Benders problem. Eplot dual nformaton from the subproblem soluton process e.g. edge fndng. Eplore other problem classes. Mn maespan cost wth release dates Integrated long- and short-term schedulng Vehcle routng SAT subproblem s renamable Horn Stochastc IP 46