Batch Scheduling on Two-Machine Flowshop with Machine-Dependent Setup Times

The recent survey paper “A Survey on Scheduling Problems with Setup Times and Costs” 1 , classifies batch scheduling problems into those with batching and nonbatching considerations, with sequence-independent and sequence-dependent setup times, and according to the machine environment and the objective function. The survey contains approximately 300 references, a clear indication of the importance and relevance of this topic. In this paper we study batch scheduling problems on a 2-machine flowshop. The objective function is minimum makespan. The underlying assumptions in the model studied are as follows.


Introduction
The recent survey paper "A Survey on Scheduling Problems with Setup Times and Costs" 1 , classifies batch scheduling problems into those with batching and nonbatching considerations, with sequence-independent and sequence-dependent setup times, and according to the machine environment and the objective function.The survey contains approximately 300 references, a clear indication of the importance and relevance of this topic.
In this paper we study batch scheduling problems on a 2-machine flowshop.The objective function is minimum makespan.The underlying assumptions in the model studied are as follows.
i Batch availability: all the jobs are completed when the last job of the batch is completed and then the entire batch is available for processing on the second machine, or for delivery to customers .
ii Nonanticipatory setups: setups on the second machine may be performed only after processing of the batch on the first machine has been completed.
iii Batch consistency: batch formation is identical on both machines.
iv Machine-dependent setup times: machine 1 and machine 2 have different setup times which are identical for all batches .

Advances in Operations Research
The 2-machine flow-shop under the above assumptions was shown to be strongly NP-hard by Cheng et al. 2 ,and Glass et al. 3 .We focus, however, on an important special case, which is shown to have an elegant closed form solution.Specifically, we assume unit processing time jobs.This setting is known to have various applications, and in the manufacturing context, for example, it reflects the common systems in which sequences of identical items are produced.Scheduling with unit jobs has been studied extensively in many scheduling contexts.Batch scheduling on flowshops with unit processing time jobs have been studied by Mosheiov and Oron 4, 5 , Ng and Kovalyov 6 , and Mosheiov, et al. 7 .
In all the above papers, the authors consider identical i.e., machine-independent setup times.Our study, as mentioned, focuses on machine-dependent setups.Scheduling problems containing machine-dependent setups exist in numerous real-life applications, and have been extensively studied in various contexts.It appears, however, that a model assuming both unit jobs and machine-dependent setups is considered in this paper for the first time.Possible applications for such a setting, when similar or identical operations, are performed on the jobs on the different machines, but an additional operation requiring constant time must be performed on one of the machines or different constant time operations are performed on the different machines .These operations may be viewed as batching operations, where all jobs of a given batch undergo some type of process which is performed in constant time, independent of the number of jobs in the batch.Such operations may include special loading or recording of arriving batches on the first machine, initial quality assurance, or special preparation of batches prior to processing.Constant time operations on the last machine include, again, preparation of batches for shipment and dispatching of batches stamping, spray painting , quality assurance procedures random testing of a fixed number of items or batching procedures such as scanning , or administrative operations which may include paperwork, recording of data, and so forth.
We distinguish between the following two similar but nonsymmetric cases: i the setup on the first machine is larger than the setup on the second machine, and, ii the setup on the first machine is smaller than the setup on the second machine.For both cases, we show that the makespan minimization problem is solved efficiently in O √ n time, where n is the number of jobs.It is important to note that the existing algorithms solve a special case of the problem studied in this paper, namely, when s 1 s 2 , in O n time.Thus, the algorithm presented in this paper reduces the computational effort required to obtain an optimal solution even if the problem is more complex.It should be noted that both the existing algorithms and the current solution procedure are not polynomial in the problem input size.Since we consider unit processing time jobs, the input consists of three values O 1 , the number of jobs, and the setup time on each of the two machines.Thus, even a procedure requiring O √ n time is exponential in the input size.Nevertheless, we doubt that there is a way to express the optimal solution to this problem more efficiently.
It should be noted that a first step in the solution consists of solving the "relaxed version" in which integrality of the batch sizes is not required see below .This, in fact, is a lot streaming problem, as it consists of splitting given jobs into sublots in order to allow their overlapping processing on the two successive machines of the flowshop.Chen and Steiner 8, 9 , and Liu 10 addressed lot streaming problems on flow-shops with batches of integer size.Vickson 11 addressed lot streaming of a flow-shop with machine-dependent setup times.However, to the best of our knowledge, the model considered in this paper assuming machine-dependent setups, and requiring integrality of batch sizes , has not been studied before.

Advances in Operations Research
In Section 2, we present the notation and formulation of the problem.The optimal solution is provided in Section 3 and the appendix .Section 4 contains concluding remarks and ideas for future research.

Formulation
n independent jobs are available for processing on a 2-machine flowshop at time zero.p ij denotes the processing time of job j j 1, 2, . . ., n on machine i i 1, 2 .We assume unit processing times, therefore p ij 1 for j 1, 2, . . ., n and for i 1,2.The scheduler's task is to partition jobs into batches i.e., find their optimal number and size , and to schedule the batches so as to minimize makespan.
Prior to processing a new batch, an integer machine dependent setup time, s i , i 1, 2, is incurred.As mentioned above, setups are assumed to be nonanticipatory.For a given allocation to batches, let k denote the number of batches, and let n j denote the size of the jth batch.The total processing time of batch j is clearly equal to its size.We assume see above batch-availability and batch consistency.C j denotes the completion time of batch j, which is the completion time of all the jobs contained in batch j.Using the conventional three field notation, the problem studied in this paper is F2/s-batch, p ij 1, s i /C max .
Comment 1.A standard assumption is that all input parameters are nonnegative integers, implying in our case that both the identical processing times and the machine-dependent setups are integers.One can assume that after appropriate scaling all processing times have unit time, but clearly the setups do not necessarily remain integers.Thus, we do allow and investigate the case of noninteger setup times; see Comment 3 in Section 3 and Comment A.1 in the appendix.Note that the computational effort for this more general case remains O √ n through the use of the proposed algorithm.

A Closed Form Solution for F2/p ij 1, s i /C max
We focus here on the case that the setup time on the first machine is smaller, that is s 1 < s 2 .
The case s 1 > s 2 , although not completely symmetric, is similar and its analysis appears in the appendix.The case of machine independent setups, that is, when s 1 s 2 , is studied in 4, 6 .For convenience we begin by solving the relaxed version of the problem denoted by P R , in which batch sizes are allowed to have noninteger values.First, we introduce a lower bound on the optimal makespan for a given number of batches, k.As in the classical 2-machine flow-shop problem, a lower bound is obtained when no idle time is incurred between consecutive batches on the second machine.Given the unavoidable idle time prior to the processing of the first batch on the second machine, we obtain LB s 1 n 1 ks 2 n. 3.1 A schedule attaining this lower bound must contain no idle time between consecutive jobs on the second machine.A necessary and sufficient condition for no idle time is the following: n j 1 ≤ n 1 j s 2 − s 1 , j 1, . . ., k − 1 .This is true since the completion time of batch j 1 on the first machine j 1 s 1 n 1 n 2 • • • n j 1 cannot exceed the completion time of batch j on the second machine One schedule satisfying these conditions consists of batch sizes obtained by the following set of equalities: The resulting schedule consists of the following sequence of increasing batch sizes: n j 1 n j s 2 − s 1 , j 1, . . ., k − 1.Given the fact that k j 1 n j n, we easily obtain that The above schedule has a makespan value which is equal to the lower bound, and is therefore optimal for problem P R and a given k value.
The makespan value of the above schedule is Note that 3.3 is a strictly convex function in k and the unique minimum is given by Recall that k denotes the optimal integer number of batches, and therefore, due to the convexity of 3.3 Both k k * and k k * should be considered.We conclude that an optimal solution for the relaxed version of the problem P R is given by 3.4 , 3.5 , and 3.2 .
We now consider the original problem, where batch sizes are restricted to be integers, denoted byP INT .A lower bound on the optimal solution is

3.6
Note that as defined above n 1 is the size of the first batch of the solution of relaxed version.
In the special case that n 1 n/k − k − 1 /2 s 2 − s 1 is integer, then, clearly, the "ceiling" is redundant, and the lower bound is identical to the makespan value given in 3.3 .
The lower bound given in 3.6 is the smallest integer which is larger than or equal to the makespan value for problem P R .Any schedule that consists of batches of integer size yielding this makespan is clearly optimal.
If n 1 given in 3.2 is integer, then clearly all batches are integers and the solution for problem P R is optimal for the original problem, P INT .For the general case, where n 1 is not necessarily integer, let we obtain that kΔ is an integer strictly smaller than k .Based on the solution for problem P R , we construct a solution for problem P INT by rounding down the size of l batches and rounding up the size of the remaining k − l batches, where l 1 − Δ k.One option is to round up the size of the first k − l batches, and round down the size of the last l batches.The resulting job allocation to batches is n 1 , n 2 , . . ., n k−l , n k−l 1 , n k−l 2 , . . ., n k .It is easily verified that in the above schedule: i the idle time prior to batch 1 on machine 2 is s 1 and ii there is no idle time between consecutive batches on machine 2. Thus, the makespan value of this schedule is Note that the above value for the makespan is identical to the lower bound for problem P INT given in 3.6 .We conclude that for any value of k, the above schedule is optimal.
Comment 2. It is worth mentioning that the optimal solution is not unique, and other rounding procedures may lead to other optimal schedules.One alternative example consists of rounding down the first l batches and rounding up the last k − l batches.The resulting job allocation to batches is n 1 , n 2 , . . ., n l , n l 1 , n l 2 , . . ., n k .
In this case, it is easily verified that i there is no idle time between consecutive batches on machine 2 for j 1, 2, . . ., l, ii there exists 1 unit of idle time between batches l and l 1, and iii there is no idle time between consecutive batches on machine 2 for j l 1, . . ., k.The makespan value of this schedule clearly, given that n 1 is not integer is

3.8
This value for the makespan is identical to the value given in 3.7 , implying that this schedule is optimal as well.
It remains to find the optimal number of batches, k.Note that due to the integrality of s 1 and s 2 , the makespan function 3.7 can be slightly modified as follows: 3.9 It follows that the k value minimizing 3.7 also minimizes 3.9 .Hence the optimal k value for the relaxed version given in 3.4 and 3.5 is optimal for the integer version.We denote the latter by k opt .A formal algorithm is provided in Algorithm 3.1 .
Step 3 Rounding .Calculate the non-integer part of the batch size,Δ n 1 − n 1 .
Calculate the number of batches to be rounded down, l 1 − Δ k opt .An optimal integer allocation to batches is

Running Time
It is easily verified that the algorithm is performed in O √ n time.While the calculation of the optimal number of batches and the optimal makespan are performed in constant time, Step 1.The makespan as a function of the number of batches both for the relaxed and for the integer versions is presented in Figure 2 .
Comment 3. Consider the interesting generalization to the case of non-integer setup times.In this case, the optimal k value for 3.7 may be different from that of 3.3 , e.g., if n 80, s 1 2.1 and s 2 2.2, we obtain k * 6.099, implying that the optimal k value for the relaxed problem is either 6 or 7, however, the optimal k value for the integer version is 5.It appears that in this general case non-integer setups , a closed form expression for the optimal k value does not seem to exist, and a search must be performed.Clearly, a search over all possible k values 1 through n guarantees an optimal solution.However, a limited search appears to be sufficient, due to the fact that the smallest batch n 1 must be nonnegative.we obtain n The first term is strictly negative recall that s 2 > s 1 , implying that k is an integer in the range 1, . . ., m, where

3.11
We conclude that despite the need to consider a range of possible values for the number of batches, k, the computational effort required for solving the problem with non-integer setup times remains O √ n .
Comment 4. It is easily verified that the algorithm proposed in this section generalizes the algorithm introduced in Mosheiov and Oron 4 , for the case of machine-independent setups.When substituting s 1 s 2 s in the expressions along the above algorithm, we obtain the optimal solution for this special case.In particular, substituting s 1 s 2 s in Step 2 leads to "equal allocation" to batches using the terminology of 4 , and the rounding procedure, that is, rounding up the size of the first k − l batches and rounding down the size of the remaining l batches generates an optimal integer solution.

Conclusion
We study a new version of makespan minimization on a 2-machine flowshop.We consider unit time jobs which may be grouped into batches.The setup times are assumed to be machine-dependent.We introduce an elegant closed form solution for two different cases.
A challenging extension is to the setting of an m-machine flowshop m ≥ 3 .Another interesting question refers to a 2-machine jobshop setting.Although not published yet, both problems appear to have similar properties and structures and may have closed form solutions for the number of batches and their sizes.The m-machine jobshop case is known to be strongly NP-hard even with no setups 12 .Thus, future research dealing with this extension may focus either on an introduction of heuristics/approximations or on developing exact pseudopolynomial solution algorithms.

Appendix
The Case s 1 > s 2 As mentioned, the analysis of the case s 1 > s 2 is similar to that of the case s 1 < s 2 .Again, we focus first on the relaxed version.It is easily verified that lower bound 3.1 for a given number of batches k, still holds.As in the previous case, a schedule attaining this lower bound must have no idle time between consecutive jobs on the second machine.The conditions n j 1 ≤ n 1 j s 2 − s 1 , j 1, . . ., k − 1 are still valid, and since s 1 > s 2 , these could be written as n j 1 ≤ n 1 − j s 1 − s 2 , j 1, . . ., k − 1.A schedule based on equalities clearly satisfies these conditions, leading, again, to a constant difference between the size of consecutive batches: n j 1 n j − s 1 − s 2 , j 1, . . ., k − 1.Since the total size of all the batches is n, we obtain the following schedule of decreasing batch sizes: Note that the resulting schedule is identical to the one obtained for the case s 1 < s 2 , in a reversed order: the largest batch becomes first, the second-to-largest second, and so forth.This schedule has a makespan value identical to the lower bound 3.1 , and is therefore optimal for the relaxed problem and a given k value.
The makespan value is given by Note that A.2 is identical to the makespan value 3.3 obtained earlier.Since the function A.2 is strictly convex, the optimal integer k-value is obtained by a simple differentiation and rounding to one of the two nearest integers see 3.4 and 3.5 .Given this optimal solution for the relaxed problem, we consider again the integer version.We suggest the rounding procedure introduced earlier, that is, round up the first k-l batches, and round down the remaining l batches where l 1 − Δ k, and Δ n 1 − n 1 .This schedule of integer batch sizes is optimal since its makespan value given by 3.7 is identical to the lower bound 3.6 .Our last argument refers to the optimal number of integer batches.As in the previous case, due to the integrality of s 1 and s 2 , the integer makespan value is given by which is minimized by the same k value that minimizes the objective of the relaxed version A.2 .Hence the optimal number of batches is given, as before, by 3.4 and 3.5 .We conclude that an optimal solution for the case s 1 > s 2 is obtained by a very similar constant time algorithm to the one introduced for the case s 1 < s 2 .Step 2 is slightly different due to the fact that the sequence of batch sizes is decreasing.For the sake of briefness, we omit the formal algorithm.
Example A.1.We replace the values of s 1 and s 2 in Example 3.2: n 80, s 1 3, s 2 2. The optimal number of batches Step 1 remains 6.In Step 2 we obtain the batch sizes for the relaxed problem : n 1 15.833, n 2 14.833, n 3 13.833,n 4 12.833, n 5 11.833, and n 6 10.833.Note that this sequence is the reversed sequence obtained for the relaxed problem in Example 3.2.An optimal integer solution Step 3 consists of the following sequence of batch sizes: n 1 16, n 2 15, n 3 14, n 4 13, n 5 12, n 6 10; see Figure 3.
Comment A.1.In the case where the setup times are not necessarily integers, finding the optimal number of batches requires a search.Using the fact that the size of the smallest batch now n k n/k − k − 1 /2 s 1 − s 2 must be non-negative, we obtain as in the previous case the following upper bound on k: m 1/2 1/4 2n/ s 1 − s 2 .Since the search is limited to the integers in the interval 1,m , the total running time in this case becomes O √ n .
Makespan of the "relaxed" version Makespan of the integer version

Figure 2 :
Figure 2: Makespan as a function of the number of batches for the relaxed and the integer versions Example 3.2: n 80, s 1 < s 2 , s 1 2, s 2 3 .
1 Optimal number of batches .Calculate k 1 k * and k 2 k * from 3.4 and 3.5 .
2 of the algorithm requires calculating the batch sizes.Since the number of batches is Example 3.2.Assume n 80, and s 1 2, s 2 3.In Step 1 we calculate k * 5.66, and k opt 6, the associate optimal makespan value is 111 .In Step 2 we obtain the batch sizes for the