Download as pdf or txt
Download as pdf or txt
You are on page 1of 5

A Two-machine Jobshop Scheduling Problem with

Convex Processing Times


1st Kailiang Xu 2nd Jing Luo
School of Automation and Information Engineering School of Computer Science Engineering
Xi’an University of Technology Xi’an University of Technology
Xi’an, Shaanxi, P.R.China Xi’an, Shaanxi, P.R.China
Email: klxu@xaut.edu.cn Email: luojing@xaut.edu.cn

3rd Yuchuan Sun


School of Automation and Information Engineering
Xi’an University of Technology
Xi’an, Shaanxi, P.R.China
Email: 18991159381@126.com

Abstract—A two-machine job-shop scheduling problem is con- stated as follows: A set of jobs 𝒥 = {1, 2, . . . , 𝑛} are to
sidered in this paper, where job-processing times are controllable, be processed in a two-machine job-shop without recircula-
and modeled by a non-linear convex resource consumption func- tion. Each job has at most two operations, 𝑂𝑗,1 and 𝑂𝑗,2 .
tion. The objective is to minimize the resource consumption under
the condition that makespan should not exceed the given deadline. The processing time of each operation, 𝑝𝑗,1 or 𝑝𝑗,2 , is a
The problem is strongly 𝒩 𝒫-hard. A polynomial time resource decreasing non-linear convex function with respect to the
allocation algorithm is presented first, which optimally allocate resource consumption 𝑢𝑗,1 or 𝑢𝑗,2 described by Eq.1. The
resource to job operations with arbitrarily given processing order. objective is to determine the processing sequence as well as
After that, a heuristic algorithm is presented, which decides the the resource allocation of the operations on both machines,
near-optimal processing sequence of the operations of the jobs.
Index Terms—Two-machine jobshop, Convex resource con- such that the makespan is limited within deadline 𝐾, while
sumption function, Heuristic the total resource consumption is minimized. Using the three
field problem classification introduced by Graham et al.[5]
I. I NTRODUCTION and extended by Shabtay and Steiner[8],
∑2 ∑this problem can be
𝑛
denoted as 𝐽2 ∣𝑐𝑜𝑛𝑣, 𝐶max ≤ 𝐾 ∣ 𝑚=1 𝑗=1 𝑢𝑗,𝑚 .
The job-shop problem is well-studied in literature. In most
research work, it is assumed that processing time of job In this paper a polynomial time resource allocating algo-
operations is constant and known in advance. However, in rithm is presented in Section II, which optimally allocates
many practical environments, processing time can be con- resource to operations under the condition that their processing
trolled by the consumption of an extra resource, such as gas, sequence is already determined on both machines. After that,
fuel, electricity power, cash and labors. For example, Janiak[1] several properties of the optimal solutions are discussed in
described an application in steel mills, where batches of ingots Section III, which helps reducing the problem into a job-
have to be preheated before being hot-rolled in a blooming sequencing problem with controllable processing times. Based
mill, and both the preheating time and the rolling time are on this, a heuristic algorithm is presented in Section IV. The
inversely proportional to the gas flow intensity. Therefore, conclusion is drawn in Section V.
the classical job-shop scheduling problem need be generalized
with controllable processing time of the job operations.
In this paper we study a two-machine job-shop scheduling II. O PTIMAL RESOURCE ALLOCATION
problem where processing time and resource consumption
is modeled by a non-linear convex function introduced by
Monma et al.[10] and Shabtay and Steiner[8], stated formally Consider in this section the problem of optimally allocating
as follows: resource to operations under an arbitrary processing sequence.
( )𝑘 The problem is first decomposed into a set of sub-problems
𝜔𝑗,𝑖
𝑝𝑗,𝑖 (𝑢𝑗,𝑖 ) = 𝑗 = 1, 2, . . . , 𝑛 𝑖 = 1, 2, . . . , 𝑚 solved by the equivalent workload method. After that, a
𝑢𝑗,𝑖
(1) dynamic program method is applied to search for the optimal
where 𝜔𝑗,𝑖 > 0 represents the workload of operation 𝑂𝑗,𝑖 that solution among them.
belongs to job 𝑗 and is processed on machine 𝑖, 𝑢𝑗,𝑖 > 0 According to the equivalent workload method defined by
is the amount of the resource allocated to the operation, and Monma et al.[10], when 𝑛 operations are to be processed in
𝑘 is a constant positive parameter. The problem is formally serial with makespan no larger than deadline 𝐾, the optimal

978-1-5386-3758-6/18/$31.00 2018
c IEEE 2769

Authorized licensed use limited to: Pontificia Universidad Javeriana. Downloaded on March 19,2024 at 17:19:51 UTC from IEEE Xplore. Restrictions apply.
solution is equivalent workload
⎧ 𝑘 ΩΛ𝑙 = ΩΛ𝑙 ,1 + ΩΛ𝑙 ,2

 𝜔𝑗𝑘+1 ⎛ ⎞ 𝑘+1 ⎛ ⎞ 𝑘+1

 𝑝𝑗 = 𝐾 𝑗 = 1, 2, . . . , 𝑛

 ∑𝑛 𝑘

𝑘

𝑘

 𝜔𝑖𝑘+1

𝑘
𝑘+1 ⎠ ⎝
𝑘
𝑘+1 ⎠
⎨ 𝑖=1
( ) 𝑘1 = 𝜔ℎ,1 + 𝜔ℎ,2 (4)
𝑘 ∑𝑛 𝑘
1

 𝑢𝑗 = 𝜔𝑗𝑘+1 𝑖=1 𝜔𝑖
𝑘+1
𝐾− 𝑘 𝑗 = 1, 2, . . . , 𝑛 (2) 𝑂ℎ,1 ∈Λ𝑙 𝑂ℎ,2 ∈Λ𝑙



 ( ) 𝑘+1 while the equivalent workload of all the operations is

 ∑𝑛 𝑘 𝑘

⎩ 𝑈 = 𝜔𝑗𝑘+1 𝐾− 𝑘
1
( 𝑘 ) 𝑘+1
𝑗=1 𝑘 𝑘
ΩΛ = ΩΛ𝑘+11
+ ⋅ ⋅ ⋅ + Ω 𝑘+1
Λ𝑚 (5)
and operations can be regarded as a single one with equivalent
( ) 𝑘+1 Given deadline 𝐾, the processing time of section Λ𝑙 can be
∑𝑛 𝑘 𝑘
calculated as
workload Ω𝑠 = 𝜔
𝑖=1 𝑖
𝑘+1
. When 𝑛 operations are to ( ) 𝑘
ΩΛℎ 𝑘+1
be processed in parallel, the optimal solution is 𝑝Λ𝑙 = 𝐾 (6)
Ω𝜎
⎧ and the processing time of the operations within the section is
⎨ 𝑝𝑗 = 𝐾 𝑗 = 1, 2, . . . , 𝑛
𝑢𝑗
1
= 𝜔𝑗 𝐾 − 𝑘 𝑗 = 1, 2, . . . , 𝑛 (3) ( ) 𝑘
⎩ ∑𝑛 𝜔1,𝑙 ΩΛℎ 𝑘+1
𝑈 =
1
−𝑘 𝑝1,𝑙 = 𝐾 𝑖+1≤𝑙 ≤𝑗 (7)
𝑖=1 𝜔𝑖 𝐾 Ω1,Λℎ Ω𝜎
( ) 𝑘
and operations can also be regarded as a single operation with 𝜔2,𝑙 ΩΛℎ 𝑘+1
∑𝑛 𝑝2,𝑙 = 𝐾 𝑖 ≤ 𝑙 ≤ 𝑗 − 1 (8)
equivalent workload Ω𝑝 = 𝑖=1 𝜔𝑖 . Ω2,Λℎ Ω𝜎
A job can at most have two operations, and they must be Therefore, the problem left is to determine the critical prece-
processed in sequence. Suppose resource has been optimally dence constraints that optimally divide operations into sec-
allocated to the operations. If the second operation of a job tions.
starts immediately after the first completes, the precedence In order to solve this problem, operations are transformed
constraint between them is named as a critical precedence into an acyclic directed graph, as Fig.1 shows. On the graph,
constraint. Otherwise, the constraint is named as slack prece- each node represents a precedence constraint between two
dence constraint, because the relaxation of the constraint has operations. Draw arcs between nodes. Each arc represents
no influence to the resource allocation. a section that is bounded by the precedence constraints
In the schedule, operations are divided into sections by represented by the emanating and sinking node of the arc.
critical precedence constraints. Within each section, there For example, let 𝐴𝑖,𝑗 be the arc between node 𝑖 and node
only exist slack constraints. Since slack constraints have no 𝑗. Assume both constraints are critical, and there exists no
influence to the resource allocation, the equivalent workload other critical constraint between them. Calculate the equivalent
method can be applied. For example, suppose operations are workload as well as the relative processing times of the
divided into sections Λ = {Λ1 , Λ2 , . . . , Λ𝑚 }, where Λ𝑙 is operations within section 𝐴𝑖,𝑗 according to Eq.4 and Eq.7 and
bounded by the precedence constraints of job 𝑖 and job 𝑗. Eq.8.
Because the calculation assumes the relaxation of the prece-
1) 𝑂𝑖,1 ≺ 𝑂𝑖,2 and 𝑂𝑗,1 ≺ 𝑂𝑗,2 : Λ𝑙 contains operations dence constraints, it is necessary to check the feasibility of
𝑂𝑖,1 ≺ ⋅ ⋅ ⋅ ⪯ 𝑂ℎ,1 ⪯ ⋅ ⋅ ⋅ ⪯ 𝑂𝑗,1 on machine 1, and the result. For every operation that has a predecessor also
operations 𝑂𝑖,2 ⪯ ⋅ ⋅ ⋅ ⪯ 𝑂ℎ,2 ⪯ ⋅ ⋅ ⋅ ≺ 𝑂𝑗,2 on machine belonging to 𝐴𝑖,𝑗 , check their start time and completion time.
2; If none of these operations starts earlier before its predecessor
2) 𝑂𝑖,2 ≺ 𝑂𝑖,1 and 𝑂𝑗,1 ≺ 𝑂𝑗,2 : Λ𝑙 contains operations completes, the calculation is feasible, and let the equivalent
𝑂𝑖,1 ⪯ ⋅ ⋅ ⋅ ⪯ 𝑂ℎ,1 ⪯ ⋅ ⋅ ⋅ ⪯ 𝑂𝑗,1 on machine 1, and workload be the length of the arc. Otherwise, the calculation
operations 𝑂𝑖,2 ≺ ⋅ ⋅ ⋅ ⪯ 𝑂ℎ,2 ⪯ ⋅ ⋅ ⋅ ≺ 𝑂𝑗,2 on machine is infeasible, and the arc is removed from the graph.
2; After all the feasible arcs are enumerated, there exist a
3) 𝑂𝑖,1 ≺ 𝑂𝑖,2 and 𝑂𝑗,2 ≺ 𝑂𝑗,1 : Λ𝑙 contains operations variety of paths from node 𝑈 to node 𝑆. Each arc represents
𝑂𝑖,1 ≺ ⋅ ⋅ ⋅ ⪯ 𝑂ℎ,1 ⪯ ⋅ ⋅ ⋅ ≺ 𝑂𝑗,1 on machine 1, and a feasible solution to the resource allocation problem, and the
operations 𝑂𝑖,2 ⪯ ⋅ ⋅ ⋅ ⪯ 𝑂ℎ,2 ⪯ ⋅ ⋅ ⋅ ⪯ 𝑂𝑗,2 on machine equivalent workload of the solution is
2; ⎛ ⎞ 𝑘+1
4) 𝑂𝑖,2 ≺ 𝑂𝑖,1 and 𝑂𝑗,2 ≺ 𝑂𝑗,1 : Λ𝑙 contains operations ∑ 𝑘
𝑘

𝑘+1 ⎠
𝑂𝑖,1 ⪯ ⋅ ⋅ ⋅ ⪯ 𝑂ℎ,1 ⪯ ⋅ ⋅ ⋅ ≺ 𝑂𝑗,1 on machine 1, and Ω=⎝ Ω𝑖,𝑗 (9)
operations 𝑂𝑖,2 ≺ ⋅ ⋅ ⋅ ⪯ 𝑂ℎ,2 ⪯ ⋅ ⋅ ⋅ ⪯ 𝑂𝑗,2 on machine 𝐴𝑖,𝑗 ∈𝑃
2.
where 𝑃 is a path from node 𝑈 to node 𝑆. Obviously, there
According to the equivalent workload method, operations exists at least one path that has the minimum equivalent
within section Λ𝑙 can be regarded as a single operation with workload. Since the directed graph is acyclic, this path can

2770 2018 13th IEEE Conference on Industrial Electronics and Applications (ICIEA)

Authorized licensed use limited to: Pontificia Universidad Javeriana. Downloaded on March 19,2024 at 17:19:51 UTC from IEEE Xplore. Restrictions apply.
A1,4

A3,n
A1,3

1 A1,2 2 A2,3 3 A3,4 4 ... ... ... ... n

A4,n

A2,4

Fig. 1. The directed graph that contains all the feasible sections of the operations.

be easily found using a dynamic programming method. when resource allocation is optimized, the total consumption
will not be increased. The same conclusion also fits operations
Based on the above discussion, the optimal resource allo- in 𝒪3 , since they can be assumed to be successors of dummy
cation algorithm is presented in the follows: operations with processing time equal to 0. Therefore, the
property is proved.
Algorithm 1. Optimal resource allocation
1) Enumerate precedence constraints in the schedule. Sup- Property 2. There exists an optimal schedule, where all the
pose there are 𝑚 precedence constraints, let nodes operations in 𝒪3 are scheduled before operations in 𝒪2 on
1, 2, . . . , 𝑚 represent these constraints. Let node 0 and machine 1 and machine 2.
𝑚 + 1 represent the start and
2) For each 𝑗 = 1, 2, . . . , 𝑚 + 1, draw arcs 𝐴𝑖,𝑗 for Proof. The property can be proved by assuming every opera-
𝑖 = 0, 1, . . . , 𝑗 − 1. Calculate the relative processing time tion in 𝒪3 to be the predecessor of a dummy operation with
of the operations in the arcs according to Eq.7 and Eq.8. processing time equal to 0.
Check the feasibility of each arc by examining if no
operation starts earlier than its predecessor. If the arc is Property 3. There exists an optimal schedule, where op-
feasible, calculate the equivalent workload according to erations in 𝒪2 are scheduled in the same order as their
Eq.4, and let the value be the length of the arc. If the arc predecessors.
is infeasible, remove the arc from the graph; Proof. Suppose there are two operations, 𝑂𝑖,1 and 𝑂𝑗,1 pro-
3) For each 𝑗 = 1, 2, . . . , 𝑛, calculate Ω𝑗 using the above cessed in sequence in schedule 𝒮1 , while their successors are
recursive equations. processed with 𝑂𝑗,2 ≺ 𝑂𝑖,2 . Generate a new schedule 𝒮2
4) Search for the shortest path from node 0 to node 𝑛, where by swapping 𝑂𝑗,2 and 𝑂𝑖,2 with processing time of all the
each arc on the path represents a section of the operations operations the same as 𝒮1 . It can be easily observed that the
in the optimal solution. Calculate processing time of the makespan in schedule 𝒮2 is no larger than 𝒮2 . Therefore, when
operations using Eq.7 and Eq.8. the resource allocation of 𝒮2 is optimized, the total resource
III. P ROPERTIES OF THE OPTIMAL SOLUTION consumption will be no larger than that of 𝒮1 . The property
is proved.
Some of the properties of the problem will be discussed
in this section. For convenience, operations are classified into According to the above properties, there always exists an
three subsets: optimal solution, where operations in 𝒪1 are scheduled first,
1) 𝒪1 : Operations that have a successor; then operations in 𝒪3 , and finally operations in 𝒪2 in the same
2) 𝒪2 : Operations that have a predecessor; order as their predecessors. Since operations in 𝒪3 have no
3) 𝒪3 : Operations that have no successor or predecessor. predecessor or successor, they can be processed in arbitrary
Property 1. There exists an optimal schedule, where all the order. Therefore, the problem of scheduling all the operations
operations in 𝒪1 are scheduled first on machine 1 and machine is simplified to scheduling operations with a successor.
2. Classify jobs with two operations into subsets 𝒥1,2 and 𝒥2,1 ,
where 𝒥1,2 contains jobs processed on machine 1 first, while
Proof. Suppose there is a schedule 𝒮1 where the processing 𝒥2,1 contains jobs processed on machine 2 first. Following
time of the operations are already optimized and known. It can property shows only jobs in either one subset need be se-
be observed easily, for any an operation in 𝒪1 , postponing its quenced.
successor will not expand the makespan as long as the machine
for the successor is kept busy. Therefore, a new schedule Property 4. In any a solution generated according to property
𝒮2 can always be generated by having all the operations in 1-3, if not all the precedence constraints are slack, then jobs
𝒪2 delayed until operations in 𝒪1 are finished. Since the either in 𝒥1,2 or 𝒥2,1 have no critical precedence constraint
makespan of the schedule 𝒮2 is no larger than that of 𝒮1 , (unless the job is the only member of the set).

2018 13th IEEE Conference on Industrial Electronics and Applications (ICIEA) 2771

Authorized licensed use limited to: Pontificia Universidad Javeriana. Downloaded on March 19,2024 at 17:19:51 UTC from IEEE Xplore. Restrictions apply.
Proof. Consider a solution generated according to property solution. In the schedule generated by this method, predeces-
1-3. Suppose some jobs in 𝒥1,2 have critical precedence sors and successors are normally separated with a ”distance”
constraints. Let job 𝑖 be the first processed job among them, between them, so the precedence constraints in most cases
and let job 𝑗 be the last processed job in 𝒥2,1 . According to have no influence to the resource allocation. If this is not
the above properties, 𝑂𝑗,2 and other first operations of the jobs the case, the solution is normally close to the optimum, and
in 𝒥2,1 are processed before 𝑂𝑖,2 , while their successors are a branch and bound or a tabu-search algorithm can further
processed after 𝑂𝑖,1 . It can be easily observed, unless job 𝑗 is improves it.
the only member in 𝒥2,1 , and job 𝑖 is the last processed job
in 𝒥1,2 , then the completion time of the first operation of the V. C ONCLUSION
jobs in 𝒥2,1 must be strictly earlier than the start time of their A two-machine jobshop scheduling problem with control-
successors. Obviously, the same conclusion can also be drawn lable processing times is studied in this paper. The objective
when some jobs in 𝒥2,1 have critical precedence constraints. is to make sure all the jobs can be completed no later
The property is proved. than the deadline, while the necessary resource consumption
According to property 4, in any a solution generated by can be minimized. A polynomial time resource allocation
above principles, precedence constraints have no influence algorithm is presented first, which minimizes the resource
to the resource allocation of the jobs either in 𝒥1,2 or 𝒥2,1 . consumption under the condition that the processing sequence
Therefore, they can always be scheduled in arbitrary order. of the operations is determined. After that, several properties of
As a result, the scheduling problem is further simplified the optimal schedule are discussed, and a heuristic algorithm
to sequencing the first operations of the jobs in 𝒥2,1 or for optimal or near-optimal processing sequence is presented.
𝒥1,2 , respectively. Furthermore, since the successors of
these operations have the same processing sequence as their ACKNOWLEDGMENT
predecessors, the problem is therefore equivalent to a job This research is supported by National Natural Science
sequencing problem. Foundation of China (No.61203183).

IV. T HE HEURISTIC METHOD R EFERENCES


In the classical two-machine job-shop scheduling problem [1] A. Janiak. ”Minimization of the blooming mill
where processing time is constant, a so-called SPT(1)-LPT(2) standstills-mathematical model, suboptimal algorithms”,
heuristic method is normally used to minimize the makespan. Mechanika, vol 8, no. 2, pp. 37-49, 1989.
For our problem, although the processing time is unknown, it [2] J. Grabowski and A. Janiak, ”Job-shop scheduling with
has a close relation to the workload of the operations. There- resource-time models of operations”, European Journal
fore, a similarly heuristic method named SWL(1)-LWL(2) is of Operations Research, vol. 28, no. 1, pp. 58-73, 1987.
proposed in this section, which can be stated as follows: [3] Janiak A and Szkodny T, ”Job-shop scheduling with con-
vex models of operations”, Methematical and Computer
Algorithm 2. SWL(1)-LWL(2) method Modelling, vol. 20, no. 2, pp. 59-68, 1994.
1) Let 𝐽1,2 denote the set of the jobs that are processed on [4] Jansen K., Mastrolilli M., Solis-Oba R, ”Approximation
machine 1 first, while 𝐽2,1 the set of the jobs processed schemes for job shop scheduling problem with control-
on machine 2 first. Jobs with only one operation are not lable processing times”, European Journal of Operations
considered; Research, vol. 167, no. 2, pp. 297-319, 2005.
2) Sort jobs in 𝐽1,2 as follows: Jobs whose first operation has [5] R.L. Graham, E.L Lawler, J.K. Lenstra, A.H.G Rinnooy
smaller workload than the second operation are ordered Kan, ”Optimization and approximation in deterministic
first, while others are ordered second. For the first group, sequencing and scheduling: a survey”, Annals of Discrete
job whose first operation has smaller workload is order Mathematics, vol. 5, no. 1, pp. 287-326, 1979. 287-326.
first. For the second group, job whose second operation [6] Vickson RG. ”Choosing the job sequence and processing
has larger workload is order first; times to minimize total processing plus flow cost on a
3) Sort operations in 𝐽2,1 in the same manner; single machine”, Operations research, vol. 28, no. 5, pp.
4) Schedule the first operations of the jobs in 𝐽1,2 on ma- 1155-1167, 1980.
chine 1 in their sorted order. Schedule the first operations [7] Biskup D, Cheng T.C.E. ”Single-machine scheduling
of the jobs in 𝐽2,1 on machine 2 in their sorted order; with controllable processing times and earliness, tardi-
5) Schedule jobs with only one operation on machine 1 and
ness and completion time penalties”, Engineering Opti-
machine 2 in arbitrary order;
mization, vol. 31, no. 3, pp. 329-336, 1999.
6) Schedule all the left operations on machine 1 and machine
[8] Shabtay D, Steiner G. ”A survey of scheduling with
2 in the same order as their predecessors;
controllable processing times”, Discrete Applied Mathe-
7) Calculate resource allocation of the operations.
matics, vol. 155, no. 13, pp. 1643-1666, 2007.
Although the problem is in theory strongly 𝒩 𝒫-hard, the [9] Kaspi M, Shabtay D. ”Convex resource allocation for
SWL(1)-LWL(2) method is very likely to generate the optimal minimizing the makespan in a single machine with job

2772 2018 13th IEEE Conference on Industrial Electronics and Applications (ICIEA)

Authorized licensed use limited to: Pontificia Universidad Javeriana. Downloaded on March 19,2024 at 17:19:51 UTC from IEEE Xplore. Restrictions apply.
release dates”, Computers and Operations Research, vol.
31, no. 9, pp. 1481-1489, 2004.
[10] Monma CL, Schrijver A, Todd, MJ, Wei VK. ”Convex
resource allocation problems on directedacyclic graphs:
duality, complexity, special cases and extensions”, Math-
ematics of Operations Research, vol. 15, no. 4, pp. 736-
748. 1990.
[11] Shabtay D, Kaspi M. ”Minimizing the total weighted
flow time in a single machine with controllable process-
ing times”, Computers and Operations Research, vol. 31,
no. 13, pp. 2279-2289, 2004.
[12] Shabtay D, Kaspi M, Steiner G. ”The no-wait two-
machine flow-shop scheduling problem with convex
resource-dependent processing times”, IIE Transaction,
vol. 39, no. 5, pp. 539-557, 2007.
[13] Xu K, Feng Z, Jun K. ”A tabu-search algorithm for
scheduling jobs with controllable processing times on a
single machine to meet due dates”, Elsevier Science Ltd.,
vol. 181, no. 1, pp. 303-324, 2010.
[14] Xu K, Feng Z, Ke L. ”A branch and bound algorithm for
scheduling jobs with controllable processing times on a
single machine to meet due dates”, Annals of Operations
Research, vol. 181, no. 1, pp. 303-324, 2010.
[15] Xu K, Feng Z, Ke L. ”Single machine scheduling with
total tardiness criterion and convex controllable process-
ing times”, Annals of Operations Research, vol. 186, no.
1, pp. 383-391, 2011.

2018 13th IEEE Conference on Industrial Electronics and Applications (ICIEA) 2773

Authorized licensed use limited to: Pontificia Universidad Javeriana. Downloaded on March 19,2024 at 17:19:51 UTC from IEEE Xplore. Restrictions apply.

You might also like