A HEURISTIC APPROACH TO MINIMISING MAXIMUM LATENESS ON A SINGLE MACHINE

This paper focuses on the problem of scheduling on a single machine to minimise the maximum lateness when each job has a different ready time, processing time, and due date. A simple procedure is developed to find a better solution than the early due date (EDD) algorithm. The new algorithm suggested in this paper is called Least Slack Time Look Ahead (LST-LA), which minimises the maximum lateness problem. Computational results show that when the number of jobs increases, LST-LA outperforms EDD.


INTRODUCTION
This paper considers the problem of finding an effective schedule for n jobs with different release dates on a single machine, in order to minimise the maximum lateness.The single machine scheduling problem is one of the important problem types in machine scheduling models; it can be used to solve the single machine models, or it gives an initial solution to the decomposition of big problems into sub-problems, such as job shops or flow shops.Minimising maximum lateness (L max ) is an important objective if all preceding activities must be completed before the rest can begin in a project; i.e., a very late activity may cause a delay in the project.In addition, L max may be used as an aid for solving other problems [1].
To define a scheduling problem, the well-known three-field notation of Graham et al. [2], α│β│γ, is used, where α, β, and γ represent the machine environment, job characteristics (problem constraints), and objective function respectively.The scheduling problem studied in this work is minimising maximum lateness (L max ) for n jobs, with release dates (r j ) on a single machine.The problem is denoted by 1 │r j │L max and shown as NP-hard by Lenstra et al. [3].When the difference of C j -d j (completion time of job j -due date of job j) is positive, the job is said to be late; if the difference of C j -d j is negative, the job is said to be early; if the result of the difference equals zero, the job is said to be on time.
This paper provides a brief and up-to-date literature review of the single machine maximum lateness with release times.It then proposes a simple and effective heuristic called Least Slack Time -Look Ahead (LST-LA) to solve the 1 | r j │ L max problem.The solutions obtained by the full enumeration (for the problems up to 13 jobs) and early due date (EDD) rule (for the problems with more than 13 jobs) are compared.Experimential results of the study show that the proposed algorithm (LST-LA) outperforms the EDD algorithm, on average, by at least 400 per cent on the Carlier's instances.
The outline of this paper is as follows.In Section 2, the maximum lateness problem is defined.In Section 3, the analysis of the proposed heuristic algorithm, procedures, and a computational example are explained in detail.Section 4 presents computational results based on the randomly generated problem instances for the single machine minimising maximum lateness problem under study.Section 5 presents the statistical analysis of the results.Test results on Carlier's problems are also presented in Section 5.2.Finally, in Section 6, overall conclusions are drawn and future research paths are highlighted.

MINIMISING THE MAXIMUM LATENESS PROBLEM
The problem without release times (1││L max ) is optimally solvable by the EDD first in polynomial time [4].The EDD rule can be defined as the set of n jobs, with known processing times and due dates; the minimum value of L max is achieved by sequencing the jobs in non-decreasing order of their due dates [5].A detailed literature review on the single machine maximum lateness problem with release times (1|r j |L max ) can be found in Sels and Vanhoucke [6].The well-studied problem 1|r j |L max is a special case of problem 1|prec;r j |L max .
Oyetunji and Oluleye [7] proposed a heuristic to reduce the number of tardy jobs by scheduling the jobs according to an ascending order of the job allowance; test results show that the given algorithm is faster than others when the number of jobs is large.
McMahon and Florian [8] provide efficient branch and bound algorithms to solve this problem.Lagaweg et al. [9] studied scheduling jobs on a single machine subject to given release dates and precedence constraints; they described applications to the theory of jobshop scheduling and to a practical scheduling situation.
Frederickson [10] showed that the problem of scheduling n unit-time tasks with integer release times and deadlines is solvable in O(n log n) time, if a sufficient amount of uninitialised space is available.Baker et al. [11] considered that n jobs are to be processed on a single machine, subject to release dates and precedence constraints, and they presented an O(n2) algorithm for this problem.
Gordon [12] considered the optimal assignment of slack due-dates and sequencing in the single-machine shop to the case when pre-emption is allowed and there are precedence constraints and ready times of jobs.The study shows that under special conditions, the presented algorithm may be used when pre-emption is not allowed.
Oyetunji and Oluleye [13] considered the single machine scheduling problem subject to release dateto minimise total completion time and the number of tardy jobs and a proposed a solution algorithm, which was recommended when there are 30 or more jobs in the problem.
Monma and Potts [14] studied the single machine scheduling problem with sequencedependent family setup times.Results of their study showed that "for the maximum lateness problem, there is an optimal schedule where the jobs within each batch are ordered by the EDD rule".
Schrage [15] proposed an algorithm that considers scheduling an available job with the largest tail time.Carlier [16] studied how to solve the 1│r j , q j │L max problem.Results from Carlier's algorithms shows that this is the most promising approach in the literature.
A lot of researchers considered minimising the maximum lateness problem under different constraints.Due to the NP-hard nature of the problem, a number of different heuristics have been developed.In this study, minimising the maximum lateness problem is studied under a release date constraint; and a simple and efficient heuristic algorithm called LST-LA is proposed and tested on randomly-generated problems.
The next section includes detailed information about the proposed heuristic algorithm.

PROPOSED LST-LA ALGORITHM
The problem of 1|r j |L max is strongly NP-hard [15].The problem considers n independent jobs (j=1,2,…,n ) with unequal release dates (r j ) on a single machine to minimise maximum lateness.There are no precedence constraints between jobs, and each job has positive due dates, d j (d j ≥ 0).The machine is continuously available and can process one job at a time.
The problem of 1 ││ L max is the best-known special case of 1 │ prec │ h max .The function h j is then defined as C j -d j , and the algorithm results in the schedule that orders the jobs in increasing order of their due date [14]; in order to minimise the maximum lateness the algorithm processes the jobs in non-decreasing due date order.This dispatching rule is known as EDD, or Jackson's rule, after Jackson [16] who studied it in 1955 [17].
The results obtained by LST-LA are compared with the results from the EDD rule.The notations below are used to describe the scheduling problem.
Problem procedures: the flow chart of the LST-LA algorithm is given in Figure 1.

Notations:
J : set of scheduled operations J d : candidate to schedule jobs at time t, (r j ≤ t) J c : set of unscheduled operations t : scheduling time L max : maximum lateness L j : lateness of job j P j : processing time of job j d j : due date of job j C j : completion time of job j The machine is assumed to be continuously available and can process, at most, one job at a time.
The jobs may not be pre-empted, and each job j is characterised by its processing time p j , its release time r j , and its due date d j .

Algorithm definition
The flow chart of the proposed LST-LA algorithm can be seen in Figure 1.

Figure 1: Flow chart of the LST-LA algorithm
The pseudo code of the proposed model is given in Figure 2.
Step2.t=7 and J d set has only one job (J 5 ), check the next available job (j 2 and r 2 =12), which has next minimum r j value in J c set and calculate L max values for two possible sequences of two jobs, and then schedule the first job in the sequence that results in minimum L j value for the second job in the sequence.
Step3.J c is not an empty set (J c ≠ϕ), so go to Step 2.

TEST PROBLEMS AND RESULTS
First, the problem data is generated as follows: p j is generated from a discrete uniform distribution between 5 to 50 r j is generated from a discrete uniform distribution between 0 and ∑ p j n j=1 d j is generated from a discrete uniform distribution between 0 and [max r j + max p j ] The problem is then tested with 15 independent samples with a constant size of 10.LST-LA, EDD, and full enumeration (FE) solutions are calculated and compared in Table 2. LST-LA obtained an optimal solution eight times out of 15 for randomly-selected problems, the EDD rule obtained an optimal solution only once, and the EDD rule ended up with a better solution than the LST-LA algorithm only once.The percentage differences show that the EDD rule yielded a maximum lateness up to 57 per cent away from the optimum value obtained by the full enumeration, whereas the LST-LA algorithm yielded a maximum lateness up to 19.3 per cent away from the optimum solution.The average percentage differences are calculated to be 23.17 per cent between EDD and FE, and 5.12 per cent between LST-LA and FE.LST-LA yields solutions that are 17.41 per cent lower than EDD, and these results mean that LST-LA gives a better solution than EDD, on average.
Hereafter, the problem set size is increased to 30, 50, 80, 100, and 150 jobs, and the results are listed in Table 3, Table 4, Table 5, Table 6, and Table 7, respectively.
When the job size increases to 30 jobs (Table 3), LST-LA yields solutions that are 8.16 per cent lower than EDD, on average.The LST-LA algorithm obtains better results than EDD in 13 out of the 15 test problems, whereas EDD yields better results than LST-LA only twice out of the 15 test problems.The LST-LA algorithm yields better results than EDD 8.16 per cent of the time, on average.The LST-LA algorithm yields solutions that are 4.61 per cent lower than EDD, on average, for the problems with 50 jobs, as seen in Table 4.The LST-LA algorithm yields solutions that are 8.46 per cent lower than EDD, on average, for the problems with 80 jobs, as seen in Table 5.For 100 job problems, LST-LA yields solutions that are 6.65 per cent lower than EDD, on average, as seen in Table 6.For the problems with 150 jobs, as can be seen in Table 7, improvement of LST-LA's results is 5.44 per cent compared with EDD, on average.

Statistical analysis of the randomly-generated problems
In order to discover the relationship between the two algorithms and to obtain more reliable test results, the data was transferred to SPSS software.First, descriptive statistics were gathered for µ  (mean differences) for six test sets.The results are given in Table 8 where, as can be seen, negative differences show that LST-LA reaches lower maximum lateness values than EDD.
The paired t test is performed for all groups to see whether there is a significant difference between the two algorithms [18].
As can be seen from Table 9, p value = 0.00 <0.05 and H 0 is rejected at level 0.05.Tukey's procedures are then used to look for significant differences among µ   s [17].The ANNOVA table (Table 10) is also used to see whether there is a significant difference between the results of LST-LA and EDD, both between and within groups.
Hypothesis testing is: H o : All µ   s are equal H 1 : At least two of the µ   s are different Tukey's test results can be seen in Table 11..920.967 Group sizes 10, 30, and 50 are not significantly different from each other.Group sizes 80,100, and 150 are also not significantly different from one another, but these two groups are significantly different from each other, as seen in Table 11.This result shows that when the number of jobs increases, LST-LA outperforms EDD on minimising the maximum lateness problem.

Experimental tests on Carlier's benchmark problems
For the additional experimental analysis, test instances were generated in the way defined by Carlier [16].For the generation of problems, the following parameters were used: n= 50, 100,150,200, …, 1000, and K= 16, 17, 18, 19, 20, 21, 22, 23, 24, 25 A sample of 20 instances was generated for each job size and difficulty level.p j is generated from a discrete uniform distribution between 0 and p max = 50, r j is generated from a discrete uniform distribution between 0 and r max =n*K q j is generated from a discrete uniform distribution between 0 and q max =n*K d j = r j +p j +q j where n is the job size, p j is the processing time of the job j, r j is the release date of job j, K is the parameter to define the tightness of due dates, q j is the tail time of job j, p max is the maximum processing time of jobs, r max is the maximum release time, q max is the maximum tail time, and d j is the due date of job j.
In this case, 4,000 instances were analysed in 200 different problem sets; the average maximum lateness values obtained by LST-LA and EDD are summarised in Table 12.A straightforward comparison between LST-LA and EDD for Carlier's benchmark problem shows that LST-LA outperforms EDD.For example, for the job size of 50 and difficulty level of 16, the average difference between LST-LA and EDD rules is 480.18 per cent.

CONCLUSION
Considering the NP-hardness of the 1|rj|L max scheduling problem, the heuristic algorithm called LST-LA was developed to obtain a better solution than the EDD algorithm.The algorithm was first tested on six different job size groups, which were 10, 30, 50, 80,100, and 150 jobs.These job size groups were generated randomly with defined parameters, as presented in Section 4, and the results were tested in SPSS.For each set, computational results show that LST-LA outperforms EDD and that the highest improvement over the EDD rule is obtained on the problems with 10 jobs.
In order to see the performance of the proposed LST-LA algorithm, it was also tested on randomly-generated Carlier's instances, as explained in Section 5.2.In these instances, LST-LA outperformed the EDD rule, even on the hard problems with difficulty levels of K= 18, 19, and 20.
The main contribution of the LST-LA algorithm is that it solves the 1|r j |L max problem as easily as the EDD rule, but with an improved solution performance.This proposed algorithm can be used easily in practice in a make-to-order environment that uses a single machine (e.g., plastic injection machine, moulding machine, or press machine).The proposed algorithm (LST-LA) can also be used to solve more complex scheduling problems, such as the shifting bottleneck algorithm, which iteratively solves a job shop scheduling problem by considering each machine as a single machine sub-problem.
For future work, we plan to use the LST-LA algorithm to boost the performance of the algorithms that solve a more complicated scheduling problem, by partitioning it to single machine sub-problems.

Figure 2 :
Figure 2: Pseudo code of LST-LA algorithm