Hybrid Metaheuristic for Optimization Job-Shop Scheduling Problem[#533095]-678364
Hybrid Metaheuristic for Optimization Job-Shop Scheduling Problem[#533095]-678364
LabSTIC, Computer Science Department, 8 Mai 1945 Guelma University, POB 401
Guelma, Algeria
(benhamza.karima, zedadra.ouarda)@univ-guelma.dz
1 Introduction
Job Shop Problem (JSP) is an important industrial activity in which jobs are
assigned to resources at specific times. Each job consists of a sequence of tasks,
which must be performed in a given order. Generating a good job scheduling
solution is particularly difficult in cases with large search space and with prece-
dence constraints between operations.
Lenstra and Rinnooy Kan [9] demonstrated that JSP is a difficult problem classi-
fied as NP-hard, so it cannot be exactly solved within a reasonable computation
time. To solve this problem, numerous approaches have been developed, incorpo-
rating exact and/or approximate methodologies. Exact methods such as branch
and bound and dynamic programming take significant computing time to get
the optimum solution.
Therefore, most presented JSP techniques have focused on the approximation
method, including Artificial Intelligence (AI) approaches. In recent years, meta-
heuristic algorithms have proven their flexibilities and efficiency for many com-
plex optimization problems. Several studies including Simulated Annealing, Tabu
Search, Genetic Algorithm, Ant Colony Optimization and Particle Swarm Op-
timization have been devoted to JSP scheduling problem [5].
Metaheuristic algorithms usually start their optimization process by generating
a population of random candidate solutions called individuals, then recombine
these initial individuals over a predefined number of iterations. The main dis-
tinction between different metaheuristic algorithms lies in the mechanism of re-
combination of individuals, which is often inspired by nature, biology or physics.
Genetic Algorithms (GA)[7] and Simulated Annealing (SA) [8] have become the
leading methodologies for search and optimization problems in high-dimensional
spaces. Genetic Algorithm (GA) is the best known and most widely used evolu-
tionary computation technique. There are essential steps in basic GA that can
be implemented differently according to the problem: population initialization,
fitness function computation, population selection, crossover and mutation op-
erators applied to a population of elements. These elements, called chromosomes
or individuals, represent possible solutions to the problem [4].
Although classical GAs are more resistant to premature convergence than other
search methods, GAs are not immune.
Hybrid methods offer advantages by avoiding this premature convergence and
allowing acceleration towards the AG algorithm. This research aims to propose
an efficient hybrid AG scheduling method to address this concern.
Moreover, Simulated Annealing (SA) has its origin in the fields of materials sci-
ence and physics. It is a search process most commonly used in optimization
problems. The objective function, similar to the energy of a material, is then
minimized, by introducing fictive temperature, which is a simple and control-
lable parameter of the algorithm. SA algorithm starts by generating an initial
solution and initializing the temperature parameter. Then, at each iteration, a
solution is randomly selected in the neighborhood of the current solution. SA
algorithm has the ability to find the optimal local result [10].
In this study, hybrid metaheuristic is used to optimize job-shop scheduling prob-
Hybrid Metaheuristic for Optimization Job-Shop Scheduling Problem 3
lems. Two metaheuristic are considered: Genetic Algorithms (GAs) and Simu-
lated Annealing algorithm (SA). In JSP, the decision concerns how to sequence
operations on the machines, which will minimize the total time required to com-
plete the set of jobs, also known as the ”Makespan”.
The remainder of the paper is organized as follows: Section 2 presents the prob-
lem formulation. SA-GA-JSP Model is presented in Section 3, while experimental
results are described in Section 4. Finally, Section 4 summarizes the results of
this work and draws conclusions.
2 Problem Formulation
− Jobs are independent, each machine can handle only one job at a time.
− All jobs and machines are available at time zero simultaneously, operations of
one job cannot be processed simultaneously.
− After a job is processed on a machine, it is immediately transported to the next
machine on its process, and the transmission time is assumed to be negligible.
3 SA-GA-JSP Model
3.1 GA-JSP
In the GA, a suitable encoding (or representation) for the problem must first
be devised. A fitness function is also required, which assigns a merit figure to
4 Benhamza K. and Zedadra O.
1
F (k) = (1)
U (k)
Start
No
Is stoping creteria
satisfied
Yes
Best solution
F (i)
P (i) = Pps (2)
k=1 F (k)
6 Benhamza K. and Zedadra O.
AG_Best Solution
No p<Random N0
new solution
Decrement temperature
No Stopping
criteria?
Yes
Optimized solution
of the current population is mixed. In this work, the idea for scheduling
problems resulting in precedence preservative crossover operator (PPX) is
integrated [3]. The principle is summarized as follows: A vector of equal
length defines the order in which the operations are successively drawn from
parent 1 and parent 2. First, offspring is initialized empty. Then, an opera-
tion is selected; it is deleted in both parents and appended to the offspring.
The leftmost entry of the binary vector is also deleted. This procedure is
Hybrid Metaheuristic for Optimization Job-Shop Scheduling Problem 7
repeated until the parent lists are empty and the offspring list contains all
operations.
3.2 SA-GA-JSP
The best individual found in Step 1 was used as first solution. Initial temperature
was set, then a loop was started until the threshold was reached. A neighbor was
selected by making a small change of the current solution. Using the Metropolis
rules, the transition to the neighbor was accepted or not. Finally, the temperature
was slowly decreased until the thermodynamics equilibrium was reached. The
solution converges as shown in Figure 3.
4 Experimental Results
2690
2490
GA-JSP
SA-GA-JSP
2290
2090
Makespan
1890
1690
1490
1290
0 1000 2000 3000 4000 5000 6000
Itérations
Fig. 4: The makespans evolutions for JSP example (25 jobs and 08 machines)
8 Benhamza K. and Zedadra O.
5 Conclusion
References