ArticlePDF Available

Efficient constructive and composite heuristics for the Permutation Flowshop to minimise total earliness and tardiness

Authors:

Abstract and Figures

In this paper we address the problem of scheduling jobs in a permutation flowshop with a just-in-time objective, i.e. the minimization of the sum of total tardiness and total earliness. Since the problem is NP-hard, there are several approximate procedures available for the problem, although their performance largely depends on the due dates of the specific instance to be solved. After an in-depth analysis of the problem, different cases or sub-problems are identified and, by incorporating this knowledge, four heuristics are proposed: a fast constructive heuristic, and three different local search procedures that use the proposed constructive heuristic as initial solution.
Content may be subject to copyright.
1 1 1
1
F m|prmu|Ej+Tj
F m|prmu|Tj
ΠIO := (πI O
1, . . . πI O
n)
Π1Π1=
(π1
1) = (πIO
1)
k= 2 k=n πI O
k
Πk1k
πIO
kΠk1
lΠk= (πk1
1, . . . πk1
l1, πI O
k, πk1
l, . . . πk1
k1
F m|prmu|Tj
n
n2·m n·m O(n3m)O(n2m)
F m|prmu|Tj
n
m j
tij djΠ := (π1, . . . πn)Cij(Π)
j i Π
Cm,πn(Π) = Cmax(Π)
Cij(Π)
Cij(Π) = max{Ci1,j(Π), Ci,j 1(Π)}+tij
jΠTj(Π) = max{Cmj(Π)dj,0}
Ej(Π) = max{djCmj(Π),0}
Tj(Π) = jmax{Cmj(Π) dj,0}Ej(Π) = jmax{djCmj(Π),0}
F m|prmu|Ej+Tj
IF m|prmu|Ej+TjW M
djW M jI
F m|prmu| − CjI
W M
djCmj(Π) djW M Cm,j (Π),j, Π
jmax{Cm,j(Π) dj,0}+jmax{djCm,j(Π),0}= 0 + jdjCm,j (Π) =
jdjjCm,j(Π) = const jCm,j(Π)
IF m|prmu|Ej+Tjdj
m
i=1 tij jI
F m|prmu|CjI
djtjj Cm,j(Π) Π
djtjjjmax{Cm,j(Π)
dj,0}+jmax{djCm,j(Π),0}=j(Cm,j(Π) dj) + 0 = jCm,j(Π) jdj=
jCm,j(Π) + const
F m|prmu|Cj
F m|prmu| − Cj
F m|prmu|Ej+Tj
F m|prmu|Ej+Tj
ξujk (Π) Πk:= (π1, ..., πk)
kUkujk
j j [1, n k]N Tk
kUkUkξujk k)
Πkk+ 1 Πk+1
F m|prmu|Cj
F m|prmu| − Cj
F m|prmu|Ej+Tj
F m|prmu|Cj
F m|prmu|Cj
ξ1
ujk k)
uik
j[1, n k]
ξujk k) = ξ1
ujk k) = (nk2)
4·ITujk k) + Cm,ujk k)
ITjk)
ITujk k) =
m
i=2
m·max{Ci1,ujk k)Ci,πkk),0}
i1 + k·(mi+ 1)/(n2)
k
a
a·100% NTk/(nk)a)a
F m|prmu|Cja
F m|prmu| − Cj
F m|prmu| − Cj
ξujk k) = ξ1
ujk k)
nk > 3k
Cm,ujk k)< dujk j N Ek=nk N Ek
Uk(nk)·c
b·(nk)NEk< n k
ξ2Eujk k)ξ1
ξujk k) = ξ2
ujk k) = (nk2)
4·ITujk k)Cm,ujk k) + Eujk k)
b c
F m|prmu|Ej+Tj
ξujk k)
NTk/(nk)aξ1
ujk k)
NTk>3
Cm,ujk k)< dujk j
ξ1
ujk k)
nk > 3
NEk=nk
Cm,ujk k)< dujk j
ξ2
ujk k)
nk > 3
b·(nk)NEk< n k
ξ3
ujk k)
ξujk k) = ξ3
ujk k) = Eujk k)
ξujk k)
ITujk k)
O(m)
m
m(n+1)·n
2·mO(n2·m
ITj,0CTj,0Ej,0
π1:= Ej,0ITj,0
Π1= (π1)
k= 1 n1
ITujk k)Cm,ujk k)N TkN EkEujk k)j[1, n
k]
NTk/(nk)a&NTk>3
j= 1 kn
ξujk k) = ξ1
ujk k) = (nk2)
4·ITujk k) + Cm,ujk k)
&nk > 3 & N Ek=nk
j= 1 kn
ξujk k) = ξ1
ujk k) = (nk2)
4·ITujk k)Cm,ujk k)
&nk > 3 & b·(nk)N Ek< n k
j= 1 kn
ξujk k) = ξ2
ujk k) = (nk2)
4·ITujk k)Cm,ujk k) + Eujk k)
j= 1 kn
ξujk k) = ξ3
ujk k) = Eujk k)
α ξujk k)k
ITujk k)
Πk+1 αΠk
,Ej+Tj) = ACH1()
,Ej+Tj) = BLS,Ej+Tj)
P1P2
P1 = min{PAS, Pedd}
P2 = max{PAS, Pedd}
Pedd πjPAS πj
EπjTπj
πjP1P2
πjP1P2n
BLS Π, OF
OFb=OF
j= 1 n
Π0:= πjΠ
P1P2
πjP1P2 Π0
Π := πjj[P1, P 2] Π0
OF
OF < OFb
OFb=OF
Πb:= Π
ΠbOFb
,Ej+Tj) = ACH1()
,Ej+Tj) = iBRLS,Ej+Tj)
iBRLS Π, OF
OFb=OF
h= 1
i= 1
Πb:= Π
i <=n
j:= h n
Π0:= πjΠ
P1P2
πjP1P2 Π0
Π := πjj[P1, P 2] Π0
OF
OF < OFb
OFb=OF
i= 1
Πb:= Π
i+ +
h+ +
ΠbOFb
,Ej+Tj) = ACH1()
,Ej+Tj) = iLS,Ej+Tj)
iLS Π, OF
OFb=OF
flag :=
flag =
flag :=
j= 1 n
Π0:= πjΠ
πjΠ0
Π := πjjΠ0
OF
OF < OFb
OFb=OF
Πb:= Π
flag :=
ΠbOFb
πj
F m|prmu|Ej+TjΠkk
l j [1, k + 1]
Πkl
j j
a b c
• B1
n={50,150,250,350}
m={10,30,50}T={0.2,0.4,0.6}R={0.2,0.6,1.0}T R
P·(1 TR/2) P·(1 T+R/2)
P
• B2
n={50,150,250,350}m={10,30,50}
T={0.2,0.4,0.6}R={0.2,0.6,1.0}
a b c
B1
a={0.8,0.85,0.9,0.95,1}
b={0.4,0.45,0.5,0.55,0.6}
c={25,30,35,40,45,50,55}
RP D1 = OF Base
Base ·100
OF Base
p a b c
c a b c
a= 0.90 b= 0.55 c= 30
F m|prmu|Tj
F m|prmu|Cj
F m|prmu|Cj
F m|prmu|Cj
F m|prmu|Cmax
F m|prmu|Ej+Tj
ARP D
ACT
ACTi=jTi,j
J
ARP Di=jRP D2i,j
J
Ti,j i j
J ARP DiRP D2i,j
i
RP D2i,j =OFi,j BestConstj
BestConstj
·100
OFi,j i j BestConstj
AC T ARP Ti
i
ARP Ti=jRP Ti,j
J+ 1
RP Ti,j i j
RP Ti,j =Ti,j ACTj
ACTj
RP D RP T e
ARP D ARP T
A
B2
ARP D n m
n m AC T ARP T
ACT
ARP T
ARP Ds
A
1
2 2
3 4
4 6
5 8
6 10
7 12
8
p
A
RP D
ACT
ARP T
ACT ARP T
T
T
T
R
R
R
n
n
n
n
m
m
m
ARP D
ARP D ACT ACT
AARP D
A
n·m·t/2
t= 5,10,15,20,25,30
ARP D
ARP D ARP T ACT
i Hip α/(ki+ 1)
8
10
12
2
4
6
t
ARP D I LS
ARP Ds
ARP D t = 10
ARP D t = 30
1t= 5
2t= 10
3t= 15
4t= 20
5t= 25
6t= 30
p
i Hip α/(ki+ 1)
t= 5
t= 10
t= 15
t= 20
t= 25
t= 30
F m|prmu|Cj
F m|prmu|Cj
ARP D
... (2018c) for total completion times (F m|prmu| C j ); in Vallada et al. (2008); Framinan and Leisten (2008); Fernandez-Viagas and Framinan (2015c) for total tardiness (F m|prmu| T j ); and in Fernandez-Viagas et al. (2016a); Schaller and Valente (2013); M'Hallah (2014) for total tardiness and earliness (F m|prmu| E j + T j ). Among these methods, some of the most efficient ones employ an insertion-type of neighbourhood to construct high-quality solutions, or to improve an existing solution via local search. ...
... For these objectives, other types of accelerations have been proposed (see e.g. Li et al., 2009;Framinan and Leisten, 2008;Fernandez-Viagas et al., 2016a), but they are not able to achieve a substantial reduction of the computational effort. ...
... Finally, a lower bound is used in Pagnozzi and Stützle (2017) to discard the evaluation of some insertions in the PFSP with weighted total tardiness (F m|prmu| w j T j ). (Taillard, 1990, Nowicki andSmutnicki, 1996) C j (Li et al., 2009) T j (Framinan and Leisten, 2008) w j T j E j + T j (Fernandez-Viagas et al., 2016a) (C max /T max ) (Fernandez-Viagas and Framinan (2015b)) ...
Article
Full-text available
The scheduling literature is abundant on approximate methods for permutation flowshop scheduling, as this problem is NP-hard for the majority of objectives usually considered. Among these methods, some of the most efficient ones use an insertion-type of neighbourhood to construct high-quality solutions. It is not then surprising that using accelerations to speed up the computation of the objective function can greatly reduce the running time of these methods, since a good part of their computational effort is spent in the evaluation of the objective function. Undoubtedly, the best-known of these accelerations has been employed for makespan minimisation (commonly denoted as Taillard’s accelerations). These accelerations have been extended to other related problems, but they cannot be employed for the classical permutation flowshop problem if the objective is other than the makespan. In these cases, other types of accelerations have been proposed, but they are not able to achieve a substantial reduction of the computational effort. In this paper, we propose a new speed-up procedure for permutation flowshop scheduling using objectives related to completion times. We first present some theoretical insights based on the concept of critical path. We also provide an efficient way to compute the critical path (indeed Taillard’s accelerations appear as a specific case of these results). The results show that the computational effort is substantially reduced for total completion time, total tardiness, and total earliness and tardiness, thus outperforming the existing accelerations for these problems.
... In a JIT scheduling system, jobs that are done early must be held in inventory until their due dates, whereas jobs that are performed after their due dates may decrease customer satisfaction [8]. Given the widespread adoption of just-in-time systems, there has been an increasing interest in scheduling problems in which both earliness and tardiness are penalized [9]. ...
... [11] proposed a heuristic method. Four new efficient heuristics are proposed by [9]. In order to reduce and accelerate the search space of the heuristics, these heuristics integrate several properties and a speed up procedure. ...
Article
Full-text available
This paper considers the permutation flow shop scheduling problem to minimize total earliness and tardiness. We initiated a metaheuristic algorithm, namely a crossbreed discrete artificial bee colony. We modifications to the essential artificial bee colony and propose two versions of the crossbreed discrete artificial bee colony. Taguchi experimental design is used to test the performance of this. Several computational experiments using Vallada's benchmark instances have been carried out to prove the performance of the proposed algorithms. The statistical test results show that the proposed algorithms have the largest negative mean of BRE's value, each of-0.1959 for CDABC_ver1 and-0.1954 for CDABC_ver2. It means that the proposed algorithms perform significantly better than other algorithms. The results of the Kruskal Wallis H test show that the proposed algorithm has better performance than some dispatching rules and heuristic algorithms. Furthermore, the proposed algorithms can deliver better results in less time than mathematical model solution.
... No geral, a distância não foi mais do que 1.71% em relação aosótimos. Fernandez-Viagas et al. [2016] propuseram uma heurística construtiva para o FSP com minimização da somatória dos adiantamentos e atrasos com datas de entrega diferentes. A heurística, a cada iteração, seleciona uma tarefa baseada em uma lista de prioridades dinâmica que considera os tempos ociosos, os instantes de término de processamento, os adiantamentos e os atrasos de cada tarefa. ...
... This solution approach is compared to the best of the bounds obtained by six existing metaheuristics, presenting better results. Fernandez-Viagas et al. (2016) considered the flowshop with the sum of total earliness and tardiness minimization. The constructive heuristic adaptive constructive heuristic 1 (ACH1) was proposed to find an initial solution and the composite heuristics adaptive con-structive heuristic 2 (ACH2), adaptive constructive heuristic 3 (ACH3), and adaptive constructive heuristic 4 (ACH4) were developed combining distinct local search procedures after the initial solution generated by ACH1. ...
Article
Full-text available
An important and realistic class of scheduling problems is considered in this paper: the total earliness and tardiness minimization in the blocking flowshop, where there is no intermediate buffer between machines. Blocking occurs when a completed item or product remains on the machine until the next machine is available. We proposed a new hybrid evolutionary algorithm: the Genetic Iterated Greedy Algorithm (GIGA). In our innovative solution approach, a genetic algorithm presents a hybrid crossover based on the Iterated Greedy metaheuristic. The hybrid crossover considers the Hamming distance as an indicator of the diversity of the current population. In the first generations, the crossover will adopt larger values for the destruction parameter, and this value is gradually reduced throughout the search process. Our proposal is compared to four competitive metaheuristics reported for earliness and tardiness flowshop. Two performance indicators are considered: the Average Relative Percentage Deviation (ARPD) and the Success Rate (SR). Based on the statistical analysis of the computational experimentation, our GIGA outperformed all the implemented algorithms of the literature with statistical significance. Concerning the performance indicators, GIGA achieved ARPD = 0.02% and SR = 83.5%, pointing to the superiority of the proposed solution approach.
... Behnamian et al. [17] considered the problem of parallel machine scheduling to minimize both makespan and total earliness and tardiness. Fernandez-Viagas et al. [11] studied the problem of scheduling jobs in a permutation flow shop to minimize the sum of total tardiness and earliness. They developed and compared four heuristics to deal with the problem. ...
Chapter
Online scheduling has been an attractive field of research for over three decades. Some recent developments suggest that Reinforcement Learning (RL) techniques can effectively deal with online scheduling issues. Driven by an industrial application, in this paper we apply four of the most important RL techniques, namely Q-learning, Sarsa, Watkins’s Q(λ\lambda ), and Sarsa(λ\lambda ), to the online single-machine scheduling problem. Our main goal is to provide insights into how such techniques perform in the scheduling process. We will consider the minimization of two different and widely used objective functions: the total tardiness and the total earliness and tardiness of the jobs. The computational experiments show that Watkins’s Q(λ\lambda ) performs best in minimizing the total tardiness. At the same time, it seems that the RL approaches are not very effective in minimizing the total earliness and tardiness over large time horizons.
Chapter
In this work a systematic procedure for multidimensional sensitivity analysis in the area of air pollution modeling by an optimized latin hypercube sampling has been done. The Unified Danish Eulerian Model (UNI-DEM) is used in our investigation, because this is one of the most advanced large-scale mathematical models that describes adequately all physical and chemical processes. We study the sensitivity of concentration variations of some of the most dangerous air pollutants with respect to the anthropogenic emissions levels and with respect to some chemical reactions rates.
Article
Scheduling jobs in a no-wait flow shop with the objective of minimising total earliness and tardiness is the problem addressed in this paper. Idle time may be needed on the first machine due to the no-wait restriction. A model is developed that shows additional idle can be inserted on the first machine to help reduce earliness. Several dispatching heuristics previously used in other environments were modified and tested. A two-phased procedure was also developed, estimating additional idle in the first phase, and applying dispatching heuristics in the second phase. Several versions of an insertion improvement procedure were also developed. The procedures are tested on instances of various sizes and due date tightness and range. The results show the two-phase heuristics are more effective than the simple rules, and the insertion search improvement procedure can provide considerable improvements.
Article
This paper considers the problem of scheduling jobs in a no-wait flow shop with the objective of minimizing total earliness and tardiness. An exact branch-and-bound algorithm is developed for the problem. Several dispatching heuristics used previously for other environments and two new heuristics were tested under a variety of conditions. It was found that one of the new heuristics consistently performed well compared to the others. An insertion search improvement procedure with speed up methods based on the structure of the problem was proposed and was found to deliver much improved solutions in a reasonable amount of time.
Article
Full-text available
This paper focuses on the problem of scheduling jobs in a permutation flowshop with the objective of makespan minimisation subject to a maximum allowed tardiness for the jobs, a problem that combines two desirable manufacturing objectives related to machine utilisation and to customer satisfaction. Although several approximate algorithms have been proposed for this NP-hard problem, none of them can use the excellent speed-up method by [22] for makespan minimisation due to the special structure of the problem under consideration. In this paper, several properties of the problem are defined in order to be able to partly apply Taillard's acceleration. This mechanism, together with a novel feasible tabu local search method, allows us to further exploit the structure of solutions of the problem, and are incorporated in two proposed algorithms: a bounded-insertion-based constructive heuristic and an advanced non-population-based algorithm. These algorithms are compared with state-of-the-art algorithms under the same computer conditions. The results show that both algorithms improve existing ones and therefore, constitute the new state-of-art approximate solution procedures for the problem.
Article
Full-text available
Since Johnson׳s seminal paper in 1954, scheduling jobs in a permutation flowshop has been receiving the attention of hundreds of practitioners and researchers, being one of the most studied topics in the Operations Research literature. Among the different objectives that can be considered, minimising the total tardiness (i.e. the sum of the surplus of the completion time of each job over its due date) is regarded as a key objective for manufacturing companies, as it entails the fulfilment of the due dates committed to customers. Since this problem is known to be NP-hard, most research has focused on proposing approximate procedures to solve it in reasonable computation times. Particularly, several constructive heuristics have been proposed, with NEHedd being the most efficient one, serving also to provide an initial solution for more elaborate approximate procedures. In this paper, we first analyse in detail the decision problem depending on the generation of the due dates of the jobs, and discuss the similarities with different related decision problems. In addition, for the most characteristic tardiness scenario, the analysis shows that a huge number of ties appear during the construction of the solutions done by the NEHedd heuristic, and that wisely breaking the ties greatly influences the quality of the final solution. Since no tie-breaking mechanism has been designed for this heuristic up to now, we propose several mechanisms that are exhaustively tested. The results show that some of them outperform the original NEHedd by about 25% while keeping the same computational requirements.
Article
Full-text available
As the interest of practitioners and researchers in scheduling in a multi-factory environment is growing, there is an increasing need to provide efficient algorithms for this type of decision problems, characterised by simultaneously addressing the assignment of jobs to different factories/workshops and their subsequent scheduling. Here we address the so-called distributed permutation flowshop scheduling problem, in which a set of jobs has to be scheduled over a number of identical factories, each one with its machines arranged as a flowshop. Several heuristics have been designed for this problem, although there is no direct comparison among them. In this paper, we propose a new heuristic which exploits the specific structure of the problem. The computational experience carried out on a well-known testbed shows that the proposed heuristic outperforms existing state-of-the-art heuristics, being able to obtain better upper bounds for more than one quarter of the problems in the testbed.
Article
Full-text available
This paper addresses the problem of scheduling jobs in a permutation flowshop with the objective of total completion time minimisation. Since this problem is known to be NP-hard, most research has focussed on obtaining procedures – heuristics – able to provide good, but not necessarily optimal, solutions with a reasonable computational effort. Therefore, a full set of heuristics efficiently balancing both aspects (quality of solutions and computational effort) has been developed. 12 out of these 14 efficient procedures are composite heuristics based on the LR heuristic by Liu and Reeves (2001), which is of complexity n3mn3m. In our paper, we propose a new heuristic of complexity n2mn2m for the problem, which turns out to produce better results than LR. Furthermore, by replacing the heuristic LR by our proposal in the aforementioned composite heuristics, we obtain a new set of 17 efficient heuristics for the problem, with 15 of them incorporating our proposal. Additionally, we also discuss some issues related to the evaluation of efficient heuristics for the problem and propose an alternative indicator.
Article
In this paper, FFC (Fast flowtime-computing) is presented for flowtime computing in flow shops. The CPU-time of an algorithm for flow shops can be reduced considerably by replacing classical flowtime computing with FFC based on the facts that FFC is faster than the classical one and that flowtime computing of schedules/partial schedules is the main computational burden of most algorithms for flow shops. This is illustrated by modifying RZ, one of the three best existing heuristics (FL, WY and RZ) for flowtime minimization, with FFC in which about half of the CPU-time is saved. An efficient constructive heuristic is proposed for permutation flow shops with flowtime minimization, of which the CPU-time is more than that of RZ but much less than those of FL and WY. Our proposal is compared with FL, WY and RZ in terms of ARPD (Average relative percentage deviation), STD (Standard deviation) and BEST (number of best solutions obtained for a given size of problems). Computational results show that the proposed heuristic outperforms WY and RZ, and also outperforms FL when job-machine ratio is small. However, as the ratio increases, the proposal will finally be outperformed by FL but needs far less CPU-time than FL does.
Chapter
In just-in-time (JIT) scheduling, the usual objective is to minimize a cost function which includes a penalty for both the early and tardy completion of jobs. In this paper, we survey results for a cost function that is related to the number of early and tardy jobs rather than the actual earliness and tardiness values. More specifically, we study the problem of maximizing the weighted number of jobs which are completed exactly on their due date (i.e., in JIT mode). Our survey covers the literature for various scheduling environments both with fixed and controllable processing times. We also describe several new algorithms for certain flow-shop problems.
Article
In this work we present a review and comparative evaluation of heuristics and metaheuristics for the well-known permutation flowshop problem with the makespan criterion. A number of reviews and evaluations have already been proposed. However, the evaluations do not include the latest heuristics available and there is still no comparison of metaheuristics. Furthermore, since no common benchmarks and computing platforms are used, the results cannot be generalised. We propose a comparison of 25 methods, ranging from the classical Johnson's algorithm or dispatching rules to the most recent metaheuristics, including tabu search, simulated annealing, genetic algorithms, iterated local search and hybrid techniques. For the evaluation we use the standard test of Taillard [Eur. J. Operation. Res. 64 (1993) 278] composed of 120 instances of different sizes. In the evaluations we use the experimental design approach to obtain valid conclusions on the effectiveness and efficiency of the different methods tested.
Article
This paper considers the minimal earliness tardiness m-machine permutation flow shop scheduling problem with distinct due dates and no inserted idle time when a job is waiting. It models the problem as a mixed integer program, and approximately solves it using V, a fast variable neighborhood based hybrid heuristic. V is an iterated local search that applies a variable neighborhood descent as its search engine. The numerical testing provides computational proof of the good performance of V, which matches existing upper bounds of 20.02% benchmark instances and tightens 70.54% ones with an average percent deviation from the best upper bound of 0.07%.