An improved shifting bottleneck procedure for the job shop scheduling problem

https://doi.org/10.1016/S0305-0548(03)00243-0Get rights and content

Abstract

In this paper, the job shop scheduling problem with the objective to minimize the makespan is discussed. A theorem on the shifting bottleneck procedure (SB) for solving this problem is proven, which guarantees an application of the procedure slightly modified from SB to obtain feasible solution of the problem.

Based on this theorem, an improved shifting bottleneck procedure (ISB) for the job shop scheduling problem has been proposed. Besides ISB is implemented straightly, a refined version that combines ISB with the strategy of back tracking is presented. These two procedures have been tested on many benchmarks with various sizes and hardness levels. The computational experiment shows that ISB is more efficient and effective than SB. Also, some encouraging results about the refined version are obtained.

Introduction

The job shop scheduling problem with which we are concerned can be described as follows: There are a set of jobs and a set of machines. Each job consists of a series of operations, and each operation with fixed processing time is processed by a certain machine. The problem consists in scheduling the jobs on the machines with the objective to minimize the makespan—the time needed to finish all the jobs. Any schedule is subjected to two constraints: (i) the precedence of the operations on each job must be respected; (ii) once a machine starts processing an operation it cannot be interrupted, and each machine can process at most one operation at a time.

Fig. 1 illustrates an instance of the problem with three jobs, four machines and 12 operations. Each block stands for an operation, and the blocks with the same stripe are processed by the same machine. The length of a block implies its processing time.

The job shop scheduling problem, which is among the hardest combinatorial optimization problems, is strongly NP-complete [1]. During the past decades, many researchers have been focusing on the problem and proposed several effective algorithms for it. These algorithms can be classified as optimization and approximation algorithms. The optimization algorithms are based on the branch and bound scheme [2], [3], [4], [5]. These algorithms have made considerable achievement, however, their implementation needs too much computational cost. On the other hand, approximation algorithms, which are more effective for large size problem instances, use several approaches classified as: (1) local search [6], (2) dispatching priority rules [7], (3) shifting bottleneck approach [8], [2], (4) stimulated annealing [9], [10], and (5) tabu search [11], [12], [13], [14], [23].

The research results of the problem show that it is hard to obtain a good-enough solution only by single search scheme. So, the hybrid heuristic methods that combine several heuristic schemes have been proposed. It is well known that shifting bottleneck procedure (SB) and tabu search are widely used in hybrid heuristic methods [15], [16], [17]. Adams et al. [8] proposed SB, but they also declared that it is unavailable sometimes, i.e., dead lock, a sort of cycle, will occur for some instances, and it was confirmed by Storer et al. [18]. This phenomenon is interesting and attractive, thus we study it carefully. The progress made by us are as follows: the difficulties of SB is overcome partly, in other words, SB is modified slightly to negate the statement of Adams et al. [8]. Also, a procedure named an improved shifting bottleneck procedure (ISB) was proposed. We proved that using ISB could obtain feasible solution for any instance of the problem.

To improve the quality of the solutions obtained by ISB, a refined version—ISBB that embeds ISB into the strategy of back tracking—is proposed. Many instances with various sizes and hardness levels are used to test our procedures, and these two algorithms are compared with other typical algorithms. The computational experiments show that the performance of ISB is better than that of SB, and that ISBB is one of the effective algorithms with single local search scheme. Although ISB and ISBB are not the best ones at present, they are promising algorithms. This paper is arranged as following: Section 2 introduces SB briefly, Section 3 gives the proof of our theorem, 4 The improved shifting bottleneck procedure, 5 Partial back tracking describe ISB and ISBB, respectively, Section 6 shows the results of our computations and conclusions.

Section snippets

The shifting bottleneck approach

Let J={1,2,…,n} be the set of jobs, M={1,2,…,m} the set of machines and V={0,1,2,…,N,#} the set of the operations where 0 and # represent the dummy operations start and finish, respectively. Under constraints (i) and (ii), a schedule is a design of start-time for each operation on the corresponding machine. Here, a start-time of an operation means that the process of it starts at this moment. In other words, a schedule is an allocation of processing order of the operations on each machine under

The proof of the theorem

According to Definition 2, Definition 3, the ways of creating the digraphs Dj and DH are same. So, it is enough to just prove that the digraphs Dj are acyclic. That is, we will prove that any digraph Dj obtained by solving the problem P(j,M0)(j∈M⧹M0) is acyclic. For a set M0, the bottleneck machine to be identified, say k, is in MM0, and the new DH(HHHk) is one of the digraphs Dj(jMM0). Thus, we just show the proof for each DH.

To prove this theorem, another intuitive model of the problem

The improved shifting bottleneck procedure

In this section, the improved shifting bottleneck procedure (ISB) is described in details. ISB inherits the idea of the shifting bottleneck procedure (SB)—an effective approximation algorithm for the job shop scheduling problem. The main steps of ISB are described as follows:

Step 1: Identify the bottleneck machine, say j, among machines kMM0 and sequence it, i.e., solve the problem P(j,M0) by the Schrage algorithm with disturbance (DS). Set M0M0∪{j}.

Step 2: Re-optimize the machines kM0 in

Partial back tracking

As the computational results in the next section show, the improved shifting bottleneck algorithm always obtains better schedules than SB does, and also it frequently finds an optimal schedule. Nevertheless, in situation that the quality of the schedule is sufficiently important to justify a more intensive computational effort, we develop a second version of our algorithm, which applies ISB to the nodes of a partial back tracking tree.

The nodes and arcs of our search tree can be described as

Computational results and conclusion

The procedures of ISB and ISBB were implemented in C language on PC Pentium I 166, and they were tested by many instances (benchmarks) with various sizes and levels of hardness that are collected by OR-Library (http://mscmga.ms.ic.ac.uk/info.html). The results obtained by using our algorithms were compared with results obtained by using other algorithms. These instances were classified as follows:

(a) Three instances of FT6, FT10, FT20 with n×m=6×6,10×10,20×5 due to Fisher and Thompson [24], and

Huang Wenqi is a professor in the Theoretical Computer Science Institute, College of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan, China. His research interests include combinatorial optimization, production scheduling, SAT problem, packing problem, and operational research. He has published a number of papers in various kinds of international journals. He has won the Champion of the Third International SAT competition.

References (25)

  • S. French

    Sequencing and scheduling: an introduction to the mathematics of the job-shop

    (1982)
  • J. Adams et al.

    The shifting bottleneck procedure for job shop scheduling

    Management Science

    (1988)
  • Huang Wenqi is a professor in the Theoretical Computer Science Institute, College of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan, China. His research interests include combinatorial optimization, production scheduling, SAT problem, packing problem, and operational research. He has published a number of papers in various kinds of international journals. He has won the Champion of the Third International SAT competition.

    Yin Aihua is a doctoral candidate in the Theoretical Computer Science Institute, College of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan, China. His research interests are in intelligent computing, combinatorial optimization, operational research, covering problem and SAT problem.

    This work was supported by China National 973 Program (G1998030600).

    View full text