- Groupe de Travail Bermudes

An efficient heuristic for scheduling on
parallel identical machines to minimize
total tardiness
Benjamin Vincent
Nikolay Tchernev
Christophe Duhamel
Libo Ren
1
MIM 2016, 28-30 juin 2016, Troyes
Context
Process industries :
Production
line 1
Products ๐‘ƒ๐‘–
Raw
material
Production
line n
Demands :
๐‘ƒ1
๐‘ƒ2
๐‘ƒ3
๐‘ƒ4
๐‘ƒ5
๐‘ƒ6
๐‘ƒ7
๐‘ƒ8
๐‘ƒ9
๐‘ƒ10
๐‘ƒ11
๐‘ƒ12
Time
2
Outline
I.
Problem formulation
I.
II.
III.
Definition
Formulation
State of the art
II. Method
I.
II.
III.
IV.
V.
Simulated Annealing based heuristic
Dominance properties
Pretreatment heuristic
Building an initial solution
Neighborhood definition
III. Results
IV. Conclusion and further research
3
Problem formulation
Definition
Parallel machines :
Jobs have to be scheduled without pre-emption on one of the
identical parallel machines. Each machine can process at most one job at a
time. All the jobs and the machines are supposed to be available at time 0.
4
Problem formulation
Definition
Parallel machines :
Jobs have to be scheduled without pre-emption on one of the
identical parallel machines. Each machine can process at most one job at a
time. All the jobs and the machines are supposed to be available at time 0.
machine 1
J1
J2
J1
Jobs to be
scheduled
J2
J3
J3
J4
J4
J5
Demands :
J5
machine n
๐‘ƒ1
๐‘ƒ2
๐‘ƒ3
๐‘ƒ4
๐‘ƒ5
๐‘ƒ6
๐‘ƒ7
๐‘ƒ8
๐‘ƒ9
๐‘ƒ10
๐‘ƒ11
๐‘ƒ12
Time
5
Problem formulation
Formulation
n
m
: number of jobs
: number of machines
๐‘‡๐‘– : tardiness of job i
๐‘ฅ๐‘–,๐‘— : 1 if job i is scheduled
before job j
๐‘‘๐‘– : due date of job i
๐ถ๐‘– : completion time of job i
๐‘๐‘– : processing time of job i
R : large enough
6
Problem formulation
States of the art
Parallel machines problems:
โ€ข Yin, Y., Cheng, S.R., Cheng, T.C.E., Wang, D.J., Wu, C.C. (2015). Just-in-time
scheduling with two competing agents on unrelated parallel machines. Omega,
63, pp. 41โ€“47.
โ€ข Zinder, Y., Walker, S., (2015). Algorithms for scheduling with integer preemptions
on parallel machines to minimize the maximum lateness, Discrete Applied
Mathematics, 196, pp. 28โ€“53.
โ€ข Liu, Z., Lee, W.C., Wang, J.Y. (2016). Resource consumption minimization with a
constraint of maximum tardiness on parallel machines. Computers & Industrial
Engineering, 97,pp. 191โ€“201.
โ€ข Schwerdfeger, S., Walter, R. (2016) .A fast and effective subset sum based
improvement procedure for workload balancing on identical parallel machines.
Computers & Operations Research, 73, pp. 84โ€“91.
โ€ข Yin, Y., Cheng, T. C. E., Wang, D.J. (2016). Rescheduling on identical parallel
machines with machine disruptions to minimize total completion time.
European Journal of Operational Research, 252, pp. 737โ€“749.
7
Problem formulation
States of the art
Non-exact methods for total tardiness minimization:
โ€ข Biskup, D., Herrmann, J., & Gupta, J. N. (2008). Scheduling identical parallel
machines to minimize total tardiness. International Journal of Production
Economics, 115(1), pp. 134-142.
โ€ข Demirel, T., Ozkir, V., Demirel, N. C., & TaลŸdelen, B. (2011). A genetic algorithm
approach for minimizing total tardiness in parallel machine scheduling
problems. In Proceedings of the World Congress on Engineering (2).
Exact methods:
โ€ข Azizoglu, M., & Kirca, O. (1998). Tardiness minimization on parallel machines.
International Journal of Production Economics, 55(2), pp. 163-168.
โ€ข Yalaoui, F., & Chu, C. (2002). Parallel machine scheduling to minimize total
tardiness. International Journal of Production Economics, 76(3), pp. 265-279.
โ€ข Tanaka, S., and Araki, M. (2008). A branch-and-bound algorithm with Lagrangian
relaxation to minimize total tardiness on identical parallel machines,
International Journal of Production Economics, 113(1), pp. 446-458.
8
Method
Simulated Annealing based heuristic
Build the Initial
solution
There is an
empty machine
Yes
No
Choose a
neighborhood
Insert a job on the
empty machine
90%
10%
Switch two jobs
Insert a job after
an other
The current solution
is improved
Yes
No
Test the acceptance
criterion
Update the
current solution
Yes
No
Update the current
solution and temperature
9
Maximal iteration reached
Yes
Return best solution
No
Method
Dominance properties
Proposition 1: There exists an optimal schedule in which the sum of processing time of the jobs
processed on each machine does not exceed the value given by the following equation:
n
๏ƒฅ
1
[
pi ๏€ซ (m ๏€ญ 1) * max i ( pi )]
m i ๏€ฝ1
Corollary 1: There exists an optimal schedule in which job j is processed at final position on any one
of the machines if the following inequality holds:
n
๏ƒฅ
1
dj ๏‚ณ [
pi ๏€ซ (m ๏€ญ 1) * max i ( pi )]
m i ๏€ฝ1
Proposition 2: If all jobs have identical processing times then the Early Due Date (EDD) rule is
optimal.
Proposition 3: If the process time exceeds due date for all jobs the Shortest Processing Time (SPT)
rule is optimal.
10
Azizoglu et Kirca (1998)
Method
Pretreatment heuristic
Initial data: list of jobs
Processing Time
8
6
9
4
7
5
Due date
20
13
35
12
10
41
Corollary 1 criteria :
39
Processing Time
8
6
9
4
7
5
Due date
20
13
35
12
10
41
Reiterate on the remaining list of jobs :
34
Processing Time
8
6
9
4
7
Due date
20
13
35
12
10
Last iterate :
25
11
Method
Building an initial solution
Early Due Date:
Processing Time
7
4
6
8
Due date
10
12
13
20
Processing Time
4
6
7
8
Due date
12
13
10
20
9
Shortest Processing Time:
12
Minimum Slack Time: The schedule depends on the difference between the due date and the
completion time.
Processing Time
7
6
4
8
Due date
10
13
12
20
10
12
Method
Neighborhood
Initial schedule:
Machine 1
Job 4
Job 1
Job 7
Job 5
Machine 2
Job 6
Job 2
Job 8
Job 3
Machine 1
Job 4
Job 8
Job 7
Job 5
Machine 2
Job 6
Job 2
Job 1
Job 3
Switch two jobs:
Insert a job after an other:
Machine 1
Job 4
Job 7
Job 5
Machine 2
Job 6
Job 2
Job 1
Job 8
Job 3
Insert a job on an empty machine:
Machine 1
Job 4
Machine 2
Job 1
Job 8
13
Job 7
Job 5
Job 6
Job 2
Job 3
Method
Temperature
Probability to accept a solution j with a current solution i:
if f ( j ) ๏‚ฃ f (i )
๏ƒฌ1
๏ƒฏ๏ƒฏ
Pk ๏€ฝ ๏ƒญ
f (i ) ๏€ญ f ( j ) otherwise
๏ƒฏexp (
)
๏ƒฏ๏ƒฎ
Tk
Kirkpatrick et al. (1983), Cerny (1995)
Temperature update :
Tk ๏€ฝ T0
ln k 0
ln k
Tk ๏€ซ1 ๏€ฝ cTk
14
Ingber (1989)
Results
Dataset
Dataset:
125 instances
m = 2 machines
n = 20 jobs
https://sites.google.com/site/shunjitanaka/pmtt
Yalaoui et Chu (2002): Branch and Bound, 25 groups of 5 instances
Tanaka and Araki (2008): Lagrangian relaxation + Branch and Bound
15
Results
our heuristic
Instances
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
Average
S
Temps
0%
20%
100%
100%
100%
20%
20%
0%
0%
20%
80%
60%
60%
40%
40%
80%
100%
100%
60%
60%
100%
100%
100%
100%
100%
0,529
0,520
0,523
0,519
0,527
0,524
0,525
0,526
0,524
0,542
0,522
0,527
0,520
0,524
0,527
0,534
0,536
0,523
0,539
0,527
0,531
0,521
0,529
0,530
0,529
0,527
62%
BAB YC1
S
20%
0%
20%
40%
80%
0%
40%
40%
60%
80%
20%
0%
0%
20%
60%
100%
60%
40%
20%
80%
100%
100%
100%
60%
60%
48%
Temps
1518,2
1594,6
1288,2
1021,6
1447,8
1082,8
1109,0
577,3
1470,3
1538,3
1259,9
762,5
924,3
1083,1
1564,3
1482,2
0,6
42,1
748,2
775,3
1027,3
1062,7
Yalaoui and Chu (2002)
BAB YC2
S
20%
0%
20%
40%
80%
0%
40%
40%
60%
80%
20%
0%
0%
20%
40%
100%
60%
40%
20%
80%
100%
100%
100%
60%
60%
47%
Temps
1520,5
1594,6
1324,2
1049,5
1473,5
1083,2
1043,8
669,5
1472,5
1566,4
1390,2
782,1
982,2
1083,3
1632,0
1259,9
0,7
56,9
855,3
790,5
1119,6
1083,4
โ€ข
6% from the optimality on average for
the unsolved instances (47/125)
โ€ข
16 optima found on 17 for the no-late
instances
16
Results
Comparison with the Lagrangian relaxation:
Av. Time
Max. Time
Solutions at Less than 1%
from optimum
Our heuristic
Tanaka and Araki
0,527
0,557
0.656
2.282
84/125
105/125
Tanaka and Araki (2008)
17
Conclusion and further research
Conclusion:
โ€ข An efficient heuristic for scheduling on parallel identical machines
Further research:
โ€ข Test on larger datasets
โ€ข Build a Branch and Bound method
18
Thanks for your attention
19