A `Note` on a heuristic to minimize the single machine tardiness

advertisement
A note on a well-known dispatching rule to minimize total tardiness
Jaideep T. Naidu*
Philadelphia University, Philadelphia, PA, USA
Abstract
The single machine tardiness problem is considered. We clarify and correct an earlier
result related to the Modified Due Date (MDD) Rule of Baker and Bertrand and show
that a heuristic does not always satisfy an optimal sequence. However, we present some
interesting special cases of optimal sequences that do satisfy the MDD Rule. We believe
this note is important because the MDD Rule is still considered to be one of the most
efficient rules to minimize the single machine tardiness problem. Because of its
dispatching nature and simplicity, the MDD Rule is found to be very practical. It is
widely applied in both static and dynamic job shop and industrial settings where setup
times if any are negligible or included in the job processing times and hence not an issue.
Keywords: scheduling; single machine; tardiness; optimality; heuristics
1. Introduction
The single machine total tardiness problem may be stated as follows. There is a set N =
{1, …, n} of n jobs at time zero and requires processing on a single machine which is
continuously available. Each of the n jobs (1, …, n) is to be processed without
interruption on a single machine which can handle only one job at a time. Associated
with each job iN, is its processing time pi and due date di. Given a schedule σ = (σ(1),
…, σ(n)) of n jobs, the completion time of each job σ(i) is Cσ(i) = ∑ is=1 pσ(s). The tardiness
of job σ(i) is Tσ(i) = max{Cσ(i) – dσ(i), 0}. Then the total tardiness problem reduces to
finding a schedule σ = (σ(1), …, σ(n)) such that the sum of job tardiness ∑ ni=1 Tσ(i) is
minimum.
Following the standard three-parameter notation of scheduling problems, we designate
this problem as a 1 // ∑ Ti problem where 1 indicates that it is a single machine shop and
∑ Ti indicates that the objective is the minimization of the sum of the tardiness of all n
jobs. The single machine tardiness problem has been shown to be NP-hard [1]. For a
comprehensive survey, see Koulamas [2]. The first thorough study of the problem was
done by Emmons [3]. He proved three fundamental theorems that established the
precedence relations among pairs that must be satisfied in at least one optimal schedule.
Two well known results can also be obtained as corollaries of his theorems. The first is
that the shortest processing time (SPT) sequence (p1 …. pn) is optimal if it yields a
*
Correspondence: JT Naidu, School of Business Administration, Philadelphia University, School House
Lane and Henry Avenue, Philadelphia, PA 19144, USA. E-mail: naiduj@philau.edu
1
sequence where all jobs are tardy; and the second is that the earliest due date (EDD)
sequence (d1 … dn) is optimal if it yields a sequence where at most one job is tardy.
The first successful optimal procedure for the 1//TT problem was given by Potts and Van
Wassenhove [4] based on the decomposition theorem of Lawler [5] that can solve
problems up to 100 jobs. Based on these decomposition principles, a recent algorithm by
Szwarc et al. [6] reports optimal solutions for up to 500 jobs.
Since most job shop settings require very quick solutions, researchers [7, 8, 9] developed
efficient heuristics which generate very quick and approximate solutions even for very
large problem sets. One such heuristic is the well known MDD Rule [7]. In later work,
Panwalkar et al. [9] proposed the PSK Rule which was however shown to be equivalent
to the MDD Rule by Alidaee et al. [10]. The literature review suggests that few
researchers have explored the idea behind the MDD Rule. Rachamadugu [11] presented
local pair wise optimality conditions for the weighted tardiness problem and concluded
that the MDD Rule was a special case of the optimality condition. In this note, we show
that this conclusion is incorrect.
2. The MDD Rule of Baker and Bertrand
The MDD rule at any time schedules the next job from the set of all unscheduled jobs 'U‘
with the smallest priority index given by
i = {max{t + pi, di}}
where ‘t’ is the starting time of the next unscheduled job i (i  U); pi is its processing
time, and di is its due date. Thus, if there are only two jobs j, k to be scheduled at time t,
job j precedes job k if max{t+pj, dj} max{t+pk, dk}.
Notice that the MDD Rule does not need a starting sequence unlike some other leading
heuristics. For instance, the PSK Rule [9] starts with the SPT sequence and the NBR
heuristic [8] starts with an EDD sequence requiring all jobs to be available at time t = 0.
In most practical situations, job shops have dynamic arrivals and the MDD Rule is found
to be very conducive to such settings.
3. Earlier Results and Discussion
Rachamadugu’s adjacent job condition [11]. Consider any two adjacent jobs j, k in an
optimal sequence for the single machine weighted tardiness problem. Either the following
condition holds or an alternate optimal sequence can be constructed by interchanging the
adjacent jobs in the optimal sequence :
(w[j] / p[j] ) [1 – (d[j] – t - p[j] )+ / p[k] ]  (w[k] / p[k] ) [1 – (d[k] – t - p[k] )+ / p[j] ]
where [j] denotes the index of the job in the jth position, [k] denotes the index of the job in
the adjacent kth position, x+ denotes max(0, x) and t is the start time for job j.
2
By setting wi = 1 for all jobs, the above condition with a little algebraic manipulation, can
be rewritten as max (di, t + pi)  max (dj, t + pj). Based on this result, Rachamadugu
presented Remark 1 related to the MDD Rule which is as follows.
Remark 1. For every average tardiness problem, some optimal sequence satisfies the
MDD Rule.
Remark 1 clearly states that for an ‘n’ job problem, if there are ‘m’ optimal sequences,
then at least one of those optimal sequences satisfies the MDD Rule. We claim that this is
incorrect and provide the following reasons. First, his result max(di, t+pi)  max(dj, t+pj)
can be applied as an MDD Rule if there are only two jobs i, j that need to be scheduled.
However, the MDD Rule does not consider two jobs at a time when there are more than
two jobs that need to be scheduled. Instead, it considers the set of all unscheduled jobs
and chooses the job with the least priority index as stated earlier. Secondly, the adjacent
job condition of Rachamadugu [11] holds even for sequences that are not optimal. We
provide a counter example to demonstrate this.
A Counter Example and the Optimal Sequences.
Consider a set of 4 jobs with their processing times and due dates as shown below :
Job
pj
dj
1
2
8
2
14
15
3
3
17
4
4
17
We considered all 24 (4!) sequences this 4 job problem could generate. Of these, there
were a total of 4 optimal sequences (total tardiness equal to 8) with job 2 in the last
position in each of these sequences. The optimal sequences are as follows.
(i) [1, 3, 4, 2] ; (ii) [1, 4, 3, 2] ; (iii) [3, 1, 4, 2] ; and (iv) [4, 1, 3, 2].
Applying the MDD Rule results in the sequence [1, 2, 3, 4] with total tardiness equal to 9.
Observe that none of these optimal sequences satisfy the MDD Rule. The MDD Rule
schedules job 2 in position 2 and no optimal sequence will result by doing so. Another
observation is that the adjacent job condition of Rachamadugu [11] holds even for the
non-optimal sequence [1, 2, 3, 4]. It is important to note that these are only dominant
conditions and are not sufficient for optimality. Hence, these results are incorrect.
In the next section, we show that there however are some special cases of optimal
sequences that do satisfy the MDD Rule. We present and prove three such cases.
4. Optimal Sequences that satisfy the MDD Rule
We present three optimal sequences given by Emmons [3]. We then prove that each of
these optimal sequences also satisfies the MDD Rule.
Emmons’ Corollary 1.3. The SPT schedule is optimal if it is identical with the EDD
schedule.
3
We now present Proposition 1 as follows.
Proposition 1. If there is a sequence that satisfies the EDD and the SPT Rules, then the
resulting optimal sequence satisfies the MDD Rule.
Proof : Consider a set of jobs 1, …, n with p1  …  pn and d1  …  dn as shown below.
The current sequence 1, …, n is optimal according to Emmons’ Corollary 1.3.
Jobs
1 ……… n
Processing times p1……… pn
Due Dates
d1……… dn
At any given time t, we have max {t + pi , di }  max i < k{t + pk, dk} where jobs 1, …, i-1
have already been scheduled. And based on the MDD Rule, job i will be picked at time t
for the next schedule. This concludes that the MDD Rule will pick exactly the same
sequence where p1  …  pn and d1  …  dn. 
Emmons’ Corollary 2.2. The EDD schedule is optimal if it results in waiting (or starting)
times Wi  di (i.e., Ci  di + pi ) for all jobs i.
In other words, this corollary permits any or all jobs within an EDD sequence to possess
tardiness and still be an optimal solution, provided that no job possesses tardiness greater
than its processing time i.e., as long as ti  pi  i = 1,…, n. We next present Proposition 2
as follows.
Proposition 2. If there is an EDD schedule where ti  pi  i = 1, …, n, then the resulting
optimal sequence satisfies the MDD Rule.
Proof: Consider a set of jobs 1, 2, 3,…, n with d1  …  dn and ti  pi  i = 1,…, n. This
sequence is optimal according to Emmons’ Corollary 2.2.
Jobs
Processing times
Due Dates
Tardiness
1
p1
d1
t1
2
p2
d2
t2
3
p3
d3
t3
……… n
……… pn
……… dn
……… tn
At time t = 0, consider at first only jobs 1, 2. The MDD Rule schedules job 1 first if
max{t + p1, d1}  max{t + p2, d2}. We know d1  d2 and t2  p2. And t2  p2  p1 + p2 - d2
 p2  p1  d2  t + p1  d2 (since time t = 0). Since t + p1  d2 and d1  d2, job 1 has a
lower priority index. And t + p1  dk  k = 2, …, n (since d1 … dn). Thus job 1 has the
least priority index from the set of all jobs 1, …, n and thus scheduled first.
Now time t = p1. Consider jobs 2 and 3. The MDD Rule will schedule job 2 next if
max{t + p2, d2}  max{t + p3, d3}. We know d2  d3 and t3  p3. And t3  p3  time + p2
+ p3 - d3  p3  time + p2  d3. Since t + p2  d3 and d2  d3, job 2 has a lower priority
index. And t + p2  dk  k = 3, …, n (since d1 … dn). Hence the MDD Rule schedules
job 2 next since it has the least priority index from the set of all jobs 2, …, n.
It is now easy to conclude that the final sequence obtained by the MDD Rule will be
same as the current optimal sequence 1, …, n. 
4
Emmons’ Corollary 1.4. The SPT schedule is optimal if all jobs are tardy i.e., if Ci > di
for all jobs i = 1, …, n.
Based on Corollary 1.4, we present Proposition 3 as follows.
Proposition 3. If there is an SPT sequence that satisfies the condition Ci > di  i = 1, …,
n, then the resulting optimal sequence satisfies the MDD Rule.
Proof : Consider a set of jobs 1, …, n with p1  …  pn and Ci > di  i = 1, …, n.
This sequence is optimal according to Emmons’ Corollary 1.4.
Jobs
Processing times
Due Dates
1 ……… n
p1……… pn
d1……… dn
At time t = 0, the MDD Rule schedules job 1 first if max{t + p1, d1}  max{t + pk, dk}  k
= 2,…, n. Job 1 is tardy  C1 > d1  t + p1 > d1. Thus max{t + p1, d1}= t + p1. And p1 
pk  k = 2, …, n (since p1  … pn). Hence p1  pk  t + p1  t + pk  k = 3,…, n. Now,
time t = p1. The MDD Rule will schedule job 2 next if max{t + p2, d2}  max{t + pk, dk}
 k = 3, …, n. Since job 2 is tardy, t + p2 > d2. Thus max{t + p2, d2} = t +p2. We know p2
 pk  k = 3, …, n (since p1  … pn). And p2  pk  t + p2  t + pk. Hence job 2 has the
least priority index from the set of jobs 2, …, n and is thus scheduled next. It is now clear
that the final sequence obtained by the MDD Rule will be same as the current optimal
sequence 1, …, n. 
5. Conclusions
We considered the well known MDD Rule to minimize the single machine total tardiness
problem. We corrected an earlier result related to this rule. In conclusion, we stated that
there may only be some special cases of optimal sequences that satisfy a heuristic. We
presented and proved three such cases that do satisfy the MDD Rule.
Acknowledgements – This research was partially supported by a summer grant from
Philadelphia University. Constructive comments from one anonymous reviewer
improved the quality of the paper.
References
[1] Du J and Leung JY-T. Minimizing Total Tardiness on One Machine is NP-Hard.
Mathematics of Operations Research 1990; 15: 483-495.
[2] Koulamas CP. The total tardiness problem: Review and Extensions. Operations
Research 1994; 42:6 1025-1041.
[3] Emmons H. One Machine Sequencing to Minimize Certain Functions of Job
Tardiness. Operations Research 1969; 17: 701-715.
5
[4] Potts CN and Van Wassenhove LN. A Decomposition Algorithm for the Single
Machine Total Tardiness Problem. Operations Research Letters 1982; 1: 177-181.
[5] Lawler EL. A ‘Pseudo-polynomial’ Algorithm for Sequencing Jobs to minimize
Total Tardiness. Annals of Discrete Mathematics 1977; 1: 331-342.
[6] Szwarc W, Grosso A and Della Croce F. Algorithmic paradoxes of the single
machine total tardiness problem. Journal of Scheduling 2001; 4: 55-71.
[7] Baker KR and Bertrand JW. A Dynamic Priority Rule for Scheduling against Duedates. Journal of Operational Management 1982; 3: 37-42.
[8] Holsenback JE and Russell RM. A heuristic Algorithm for Sequencing on One
Machine to minimize Total Tardiness. Journal of Operational Research Society 1992;
43: 53-62.
[9] Panwalkar SS, Smith M and Koulamas CP. A heuristic for the single machine
tardiness problem. European Journal of Operational Research 1993; 70: 304-310.
[10] Alidaee B and Gopalan S. A note on the equivalence of two heuristics to minimize
total tardiness. European Journal of Operational Research 1997; 96: 514-517.
[11] Rachamadugu RV. A note on the weighted tardiness problem. Operations Research
1987; 3: 450-452.
6
Download