On the exact solution of a large class of parallel machine scheduling problems

Transcription

1 1 / 23 On the exact solution of a large class of parallel machine scheduling problems Teobaldo Bulhões 2 Ruslan Sadykov 1 Eduardo Uchoa 2 Anand Subramanian 3 1 Inria Bordeaux and Univ. Bordeaux, France 2 Univ. Federal Fluminense, Brazil 3 Univ. Federal da Paraíba, Brazil MISTA 2017 Kuala-Lumpur, December 7

2 2 / 23 Contents Introduction Set covering formulation and Branch-and-Price Subset-row cuts Computational results

3 3 / 23 The scheduling problem we want to solve Set M of unrelated machines n jobs, each job j J = {1,..., n} has processing time p k j, dependent on the machine release and due dates r j and d j earliness and tardiness unitary penalties α j and β j Given completion time C j of job j J in the schedule, its cost is α j E j + β j T j = α j max{0, d j C j } + β j max{0, C j d j } There is a sequence-dependent setup time s k i,j if job j is scheduled immediately after job i on machine k. The objective is to minimize the total earliness/tardiness cost. Problem s notation: R r j, s k ij j α je j + β j T j

4 Existing exact approaches in the literature for scheduling on parallel machines with sum criteria R sij k α j E j + β j T j Only MIP formulations, up to 5 machines and 12 jobs. R T j A branch-and-bound [Shim and Kim, 2007], up to 5 machines and 20 jobs. R w j T j A branch-and-bound [Liaw et al., 2003], up to 4 machines and 18 jobs. Q sij k E j + T j A MIP and a Benders decomposition [Balakrishnan et al., 1999], up to 20 jobs. P s f T j A branch-and-bound [Schaller, 2014], up to 3 machines and 14 jobs. P r j w j T j A branch-and-bound [Jouglet and Savourey, 2011], up to 5 machines and 20 jobs P w j T j A Branch-Cut-and-Price [Pessoa et al., 2010], up to 4 machines and 100 jobs. P w j C j A Branch-and-Price [Kowalczyk and Leus, 2016], up to 12 machines and 150 jobs 4 / 23

5 5 / 23 Contents Introduction Set covering formulation and Branch-and-Price Subset-row cuts Computational results

6 6 / 23 Set covering (master) formulation Ω k set of pseudo-schedules for machine k M number of times that job j appears in pseudo-schedule ω. a ω j c ω cost of pseudo-schedule ω. Binary variable λ ω k = 1 if and only if pseudo-schedule ω is assigned to machine k M min c ω λ s k M ω Ω u k M ω Ω u a ω j λ ω = 1, j J, ω Ω k λ ω 1, k M, λ ω {0, 1}, ω Ω k, k M.

7 Pricing subproblem for machine k M Extended graph G k Arc (i, j, t) setup time between job i and j is started at time t, and job j is started at time t + s k ij Variable x t ij arc (i, j, t) in the solution or not j = 3 j = 2 j = 1 x 0 02 x 1 23 x 1 02 x 1 21 x 5 33 x 6 32 x 7 11 s d J = {1, 2, 3}, T = 8, p 1 = 4, p 2 = 1, p 3 = 3, s ij = 1, i, j J Pseudo-schedules and are shown 7 / 23

8 8 / 23 Pricing subproblem: dynamic programming Given dual solution π of the restricted master problem, the pricing subproblem is min c ω = c ω aj ω π j = ( ) c t+s ij +p j ω Ω j π j xij t k j J i,j J, i j t T i.e. the shortest path problem in the extended graph. Dynamic program Shortest path problem in an acyclic graph can be solved by a dynamic program with states: S(j, t) best partial schedule with the last job j completing at time t

9 9 / 23 Fixing of arc variables by reduced costs Z RM optimal value of the current restricted master. Z k sub minimum reduced cost for machine k M. Lagrangian lower bound: Z RM + k M Z k sub. Z inc value of the best known integer solution. Zsub k (a) current minimum reduced cost of a path containing arc a G k. Arc a can be removed (it cannot take part of any improving solution) if Z k sub (a) + k M\{k} A good heuristic is very important! Z k sub + Z RM Z inc.

10 Computing Zsub k (a) [Ibaraki and Nakamura, 1994] How to compute the shortest path passing through arc a = (i, j, t) G k? s d 1. F (i, t) the value of the shortest path from s to node (i, t) 2. B(k, t + s k ij + p k j ) the value of the shortest path from d to node (j, t + s k ij + p k j ) 3. Z k sub (a = (i, j, k)) = F(i, t) + B(j, t + sk ij + p k j ) + c t+sk ij +pk j j. Ibaraki, T. and Nakamura, Y. (1994). A dynamic programming method for single machine scheduling. European Journal of Operational Research, 76(1): / 23

11 11 / 23 Dual price smoothing stabilization π current dual solution of the restricted master π dual solution giving the best Lagrangian bound so far We solve the pricing problem using the dual vector where α [0, 1). π = (1 α) π + α π, Parameter α is automatically adjusted in each column generation iteration using the sub-gradient of the Lagrangian function at π [Pessoa et al., 2017]. Pessoa, A., Sadykov, R., Uchoa, E., and Vanderbeck, F. (2017). Automation and combination of linear-programming based stabilization techniques in column generation. INFORMS Journal on Computing, (Forthcoming).

12 Branching Branching on aggregated arc variables 0 t T x tk ij {0, 1}, i.e. job i immediately precedes job j on machine k or not Multi-phase strong branching is used Branching history is kept is used through pseudo-costs 12 / 23

13 13 / 23 Contents Introduction Set covering formulation and Branch-and-Price Subset-row cuts Computational results

14 14 / 23 Subset-Row Cuts (SRCs) [Jepsen et al., 2008] Given C J and a multiplier ρ, the (C, ρ)-subset Row Cut is: ρ aj ω λ ω ρ C k M i C ω Ω k Special case of Chvátal-Gomory rank-1 cuts obtained by rounding of C set-packing constraints in the master Here we use only 1-row and 3-row cuts with ρ = 1 2. We separate them by enumeration. Mads Jepsen and Bjorn Petersen and Simon Spoorendonk and David Pisinger (2008). Subset-Row Inequalities Applied to the Vehicle-Routing Problem with Time Windows. Operations Research, 56(2):

15 15 / 23 Example of a violated 3-row cut 3 1 value = value = value = 0.5 C = {1, 2, 3} coefficient of these three columns in the cut is 1 lhs = 1.5, rhs = 1, violation is 0.5.

16 16 / 23 Impact on the pricing problem Given dual value ν γ < 0 for each active subset row cut γ Γ, defined for subset C γ of jobs, modified reduced cost of pseudo-schedule ω Ω k is : c ω = i,j J, t T ( ) c t+s ij +p j j π j xij t γ Γ 1 2 j C η, i J, i j, t T xij t ν γ An additional binary value for each cut γ Γ in dynamic programming states: S(j, t,..., θ γ,... ), where θ γ is the parity of the number of appearances of jobs in C γ (= 0/1 if pair/odd) Instead of the dynamic program, we use a labeling algorithm with labels L = ( c L, j L, t L, {θγ} L ) γ Γ and the dominance rule j L = j L, t L = t L, c L ν γ c L γ Γ: θ L γ >θl γ

17 The labeling algorithm 17 / 23

18 The labeling algorithm 17 / 23

19 The labeling algorithm 17 / 23

20 The labeling algorithm 17 / 23

21 The labeling algorithm 17 / 23

22 18 / 23 Limited memory cuts [Pecin et al., 2017] For each active cut γ Γ, define a memory M γ : set of jobs which remember value θ γ = 1. If j L M γ, then θ L γ 0. Much less values θ L γ = 1 stronger domination Memory M γ of a cut γ Γ is calculated during separation as the smallest memory which does not decrease the cut violation of the current fractional solution Limited memory cuts are weaker than full memory cuts, however the labeling algorithm is much faster Pecin, D., Pessoa, A., Poggi, M., and Uchoa, E. (2017). Improved branch-cut-and-price for capacitated vehicle routing. Mathematical Programming Computation, 9(1):

23 19 / 23 Contents Introduction Set covering formulation and Branch-and-Price Subset-row cuts Computational results

24 Results for R r j, s k ij α j E j + β j T j, small setup times Initial heuristic and instances by [Kramer and Subramanian, 2017] Size With cuts BKS n m #Solved Root Gap Root Total Improv. #Nodes Gap (%) (%) Time Time (%) #New / m 4m / m 28m / m 35m / h12m 1h37m / m 4h33m Size Without cuts Root Gap Root Total n m #Solved #Nodes Gap (%) (%) Time Time / m 6m / m 1h55m / m 1h13m Kramer, A. and Subramanian, A. (2017). A unified heuristic and an annotated bibliography for a large class of earliness-tardiness scheduling problems. Journal of Scheduling, accepted. 20 / 23

25 Results for R r j, s k ij α j E j + β j T j, larger setup times Initial heuristic and instances by [Kramer and Subramanian, 2017] Size With cuts BKS n m #Solved Root Gap Root Total Improv. #Nodes Gap (%) (%) Time Time (%) #New / m 16m / m 2h56m / m 5h45m / h59m 9h49m / h18m 10h58m Size Without cuts Root Gap Root Total n m #Solved #Nodes Gap (%) (%) Time Time / m 24m / m 7h06m / m 7h05m Kramer, A. and Subramanian, A. (2017). A unified heuristic and an annotated bibliography for a large class of earliness-tardiness scheduling problems. Journal of Scheduling, accepted. 21 / 23

26 Results for R α j E j + β j T j Size Our Branch-Cut-and-Price BKS [Şen and Bülbül, 2015] n m Solv. Root Gap Root Total Nod. Impr. Gap New Solv. Gap(%) (%) Time Time num. (%) (%) Time / m 5m / m / m 12m / m / m 7m / m / m 40m / m / m 16m / m / m 34m / m / m 57m / m / h54m 3h00m / m / h24m 2h12m / m With subset row cuts, root gap is 6 times smaller (40 and 60 jobs instances). In 30 minutes, CPLEX solved 49/60 inst. with 40 jobs, 36/120 inst. with 60 jobs, 3/120 inst. with 80 jobs, 2/60 inst. with 90 jobs. Şen, H. and Bülbül, K. (2015). A strong preemptive relaxation for weighted tardiness and earliness/tardiness problems on unrelated parallel machines. INFORMS Journal on Computing, 27(1): / 23

27 23 / 23 Final remarks First use of non-robust cuts (modifying the structure of the pricing problem) for scheduling problems Significant computational improvement over the existing exact approaches for the problem scales up to 4 machines and 80 jobs for generic instances with setup times solves 532/540 instances without setup times with up to 4 machines and 120 jobs Need more testing on less generic instances Ways to improve results: A better heuristic for generic instances is needed! First convergence is very slow More balanced branching Separation for rank-1 cuts with 4 and more rows Enumeration [Baldacci et al., 2008] Avoid discretisation [Ioachim et al., 1998]

28 References I Balakrishnan, N., Kanet, J. J., and Sridharan, V. (1999). Early/tardy scheduling with sequence dependent setups on uniform parallel machines. Computers and Operations Research, 26(2): Baldacci, R., Christofides, N., and Mingozzi, A. (2008). An exact algorithm for the vehicle routing problem based on the set partitioning formulation with additional cuts. Mathematical Programming, 115: Şen, H. and Bülbül, K. (2015). A strong preemptive relaxation for weighted tardiness and earliness/tardiness problems on unrelated parallel machines. INFORMS Journal on Computing, 27(1): Ibaraki, T. and Nakamura, Y. (1994). A dynamic programming method for single machine scheduling. European Journal of Operational Research, 76(1): / 23

29 25 / 23 References II Ioachim, I., Gélinas, S., Soumis, F., and Desrosiers, J. (1998). A dynamic programming algorithm for the shortest path problem with time windows and linear node costs. Networks, 31(3): Jepsen, M., Petersen, B., Spoorendonk, S., and Pisinger, D. (2008). Subset-row inequalities applied to the vehicle-routing problem with time windows. Operations Research, 56(2): Jouglet, A. and Savourey, D. (2011). Dominance rules for the parallel machine total weighted tardiness scheduling problem with release dates. Computers and Operations Research, 38(9): Kowalczyk, D. and Leus, R. (2016). A branch-and-price algorithm for parallel machine scheduling using zdds and generic branching. Technical Report KBI-1631, Faculty of Economics and Business, KU Leuven.

30 References III Kramer, A. and Subramanian, A. (2017). A unified heuristic and an annotated bibliography for a large class of earliness-tardiness scheduling problems. Journal of Scheduling, accepted. Liaw, C.-F., Lin, Y.-K., Cheng, C.-Y., and Chen, M. (2003). Scheduling unrelated parallel machines to minimize total weighted tardiness. Computers and Operations Research, 30(12): Pecin, D., Pessoa, A., Poggi, M., and Uchoa, E. (2017). Improved branch-cut-and-price for capacitated vehicle routing. Mathematical Programming Computation, 9(1): Pessoa, A., Sadykov, R., Uchoa, E., and Vanderbeck, F. (2017). Automation and combination of linear-programming based stabilization techniques in column generation. INFORMS Journal on Computing, (Forthcoming). 26 / 23

31 References IV Pessoa, A., Uchoa, E., de Aragão, M. P., and Rodrigues, R. (2010). Exact algorithm over an arc-time-indexed formulation for parallel machine scheduling problems. Mathematical Programming Computation, 2: Schaller, J. E. (2014). Minimizing total tardiness for scheduling identical parallel machines with family setups. Computers and Industrial Engineering, 72: Shim, S.-O. and Kim, Y.-D. (2007). Minimizing total tardiness in an unrelated parallel-machine scheduling problem. Journal of the Operational Research Society, 58(3): / 23