VARIOUS OPTIMIZERS FOR SINGLE-STAGE PRODUCTION Wayne E. Smith1 The following note develops t h e o r e m s which enable one to schedule operations on a single-stage production s y s t e m so a s to minimize c e r t a i n functions o r o p t i m i z e r s . It is shown that the maximum t a r d i n e s s of job completion is minimized by o r d e r i n g the jobs according to the date the job is due to be completed. The s u m of t i m e s until e a c h j o b is c o m pleted may be minimized under various conditions. If all jobs can be completed by their due d a t e s , a weighted s u m of completion t i m e s can be minimized, subject to all jobs being completed by their due dates. This is done by scheduling l a s t the jobs with the l a r g e s t r a t i o of p r o c e s s ing t i m e to weighting f a c t o r among those jobs which will be completed on time i f scheduled l a s t ; the next to l a s t job is scheduled by applying the s a m e rule to the remaining jobs, and so forth, until the complete ordering is obtained. In the process of production scheduling there are so many factors that must be taken into consideration that the determination of a best schedule is impossible without a very precise meaning of the word "best." We shall discuss some fairly simple criteria which might be u s e d as a means of judging whether o r not a schedule is good. We shall also show how the choice of an optimizer will affect the characteristics of best schedules, in certain special cases. We shall be concerned with single-stage production and with optimizers such that there is never any advantage in delaying the completion of any operation, unless the completion of at least one other operation is moved forward. It is not difficult to see that a schedule is then completely determined by the ordering of the objects to be processed; that is, an optimal solution subject to a given ordering is obtained by performing each operation as soon as possible, consistent with the ordering. SECTION 1 In most of the scheduling with which we will be concerned, we establish sufficient conditions that an ordering will be a "best" ordering in some sense of the word. We wish now to establish a sufficient condition that we shall use repeatedly. We assume that the desirability of any schedule can be measured, and that this measurement can be expressed as a function f over the set of all schedules. Since the schedule is assumed to be completely determined by the ordering, then f can be considered as a function of the ordering or as a function over the set of permutations of the n objects to be processed. We wish to find a permutation n , where n is the order ( r l , r2,. . .,nn), which minimizes the value of f. l p r e p a r e d while the author was under contract to the Office of Naval R e s e a r c h , . Logist i c s Branch, and employed on the Management Sciences R e s e a r c h P r o j e c t , University of California, Los Angeles. The author wishes to thank Dr. J . R. Jackson and A. J. Rowe f o r t h e i r helpful suggestions and comments. 59 W. E. SMITH 60 THEOREM: A sufficient condition that f(?) I f(n) for all permutations IT of the n objects is that: (A) there is a real-valued function g of ordered pairs of elements such that if n is any permutation and n' the permutation obtained from n by the interchange of the i-th and (i+l)-st elements, then f(n) 5 f(n') if g(ni, ni+l) 5 g(ri+l, ni) and (B) 5 is such that the i-th object precedes the j-th object if g(i,j) < g(j,i). PROOF: Given that the permutation li satisfies condition (B) we wish to show that any n # f can be altered by a series of interchanges of pairs of adjacent elements in such a manner that the value of the function decreases o r remains the same at every interchange. Since # n, there is an element ni of n such that ni is immediately preceded by an item which follows n i in the order . (For example, r i may be the element appearing as 5 where the j' j-th position is the first position at which n and do not agree.) Therefore, g(ni, ni-l) 5 g(ni,l, ni) so we may interchange ni and ni-l in the permutation IT, obtaining a new permutation n' with f ( d ) 5 f(n). Also n' has one fewer pairs of elements which disagree in ordering with those of ;. One may proceed inductively, decreasing the number of pairs of elements which disagree in ordering with those of li and at each step decreasing the value of the function or leaving the value of the function the same. The proof becomes more simple if g is a function which relates the elements in a transitive manner, that is if g(i,j) 5 g(j,i) and g(j,k) s g(k,j) together imply that g(i,k) C g(k,i). However, this is not necessary, as can be seen from the example in S. M. Johnson's paper [ 11. It may be possible to simplify the function g so that it is a function of only one of the elements. In this case rule (B) becomes: ? is such that the i-th object precedes the j-th object if g(i) < g(j). This does lead to a transitive relationship and is the type of relationship that is found in most of the following examples. W e have not stated any method of obtaining the function g. In the following examples the function g is derived from the function f. Upon interchanging the i-th and (i+l)-st elements of a permutation, the value of f changes by a certain amount. If this change can be attributed to quantities attached to just the i-th and (i+l)-st items, then one may be able t o eliminate constant values from both values of the function f, obtaining f(n) = A + B g(ni, ni+l) and f(n') = A + B g(ri+l, ni), where IT' differs from T only by the interchange of the i-th and (i+l)-st elements. It may then be possible to simplify this by finding a function h such that g(i,j) < g(j,i) if h(i) < h(j). In the specific examples that follow we shall assume we are given the operation times (which shall include the setup times except in Section VIII) for a finite number of jobs. Also, the optimizers with which we are concerned are such that the deletion of all idle times cannot make a schedule worse so we shall assume that no idle time occurs. n SECTION II W e now assume that each operation o r job has a due date and that we wish to minimize the maximum tardiness. This type of optimizer might be used if the output of the machine is used in an assembly line production system where the delay on the assembly line is the maximum of the individual delays. We let Ti be the operation time of the i-th object and Di be the due date of the i-th object. If the objects are processed in numerical order the tardiness of the i-th object is: VARIOUS OPTIMIZERS FOR SINGLE-STAGE PRODUCTION . . . . . ,n . 6i = T1+ T2 . + Ti - Di. Let A = max an ordering which minimizes A. {ai} THE0REM:z The o r d e r { 1,2,3,. D15 D2 5 D35 . L Dn. . . ,n } is an o r d e r which minimizes .. over i = 1, 2, 61 Our problem is to find A if ... , n, and let n ’ be the s a m e o r d e r except with PROOF: Let n be the o r d e r 1, 2, 3, i and i+l interchanged. Thus T = T! and D = D’ for j # i or i + 1; Ti= Ti+l, Ti+l = Ti, Di j j j i = Df+l and Di+l = Df. Also, 6 = 6! for j # i o r i+l. .Thus A 5 A’ if 1 1 Max (6i, 6i+l) 5 Max ( 6 f , 6f+1) . This is by definition equivalent to: i Max ( C T j j=1 - Di, i+ 1 C Tj j= 1 - Di+l) Replacing the Tf by their equal Ti values we have: i M=(.C ]= 1 Tj - Di, Subtracting from each side i+l j=Z1 T j - Di+l) i+l j= 1 Tj 5 Max (-Ti - Di+l, - Di) or -Min (Ti+l + Di, Di+l) 5 -Min (Ti + Di+l, Di) or Min (Ti + Di+l, Di) 5 Min (Ti+l + Di, Di+l) . Since all Ti are positive, if Di 5 Di+l this condition is met, the Di being the smallest of the four t e r m s concerned. Therefore, if Di 5 Di+l we have that A 5 A’, and the o r d e r with i preceding i+l is as good or better than the o r d e r with them interchanged. We have, then, by the theorem of Section I, that the maximum tardiness can be minimized if the jobs are arranged according to their due dates. Thus, if it is possible to complete all the jobs by their due dates, this can be done by ordering them according to due date. 2J. R. Jackson [ 2 ] has generalized this theorem to take into consideration restrictions on the time at which the processing of each item can s t a r t . 391368 0 - 56 - 5 62 W. E. SMITH SECTION 111 In scheduling for single-stage production, there is a waiting time, a time that each job must wait until it can be processed. Thus, if the objects are processed in numerical order, j-1 the waiting time for the j-th object is C Ti. One optimizer that may be considered is the i=1 n j-1 sum of all waiting times, c. r, T i . The minimum of this expression occurs at the same j=1 i=l n time as the minimum of the expression C j C Ti occurs, since the two expressions differ j=1 i=l n by the constant, Z Ti. We shall use the latter formulation in this paper. i=l If the objects are processed in numerical order, the completion time of the j-th object i is C J j - i=l Ti. We see that the above problem is the same as the problem of finding an order n which minimizes the sum of completion times, C Ci. i=l THEOREM: n C Ci is minimized over all orderings of the n objects if the objects i=1 are arranged in increasing order of values of Ti. n n i n PROOF: Z C i = C C T. = c (n+l-j) T According toHardy, Littlewoodand i-1 i-1 j=1 3 j=1 j' Polya (Inequalities, p. 261), such a sum is least when the series are monotonic in opposite 5 Tn. senses. Therefore, the optimizer will have its minimum value if T1 5 T2 5 T3 5 . .. SECTION IV We may now generalize the theorem of Section III. Since some jobs may be considered more important than others, we may weight the jobs accordingly and consider a weighted sum of completion times. Weighting job i by an amount ai 2 0, the optimizer is then of the form n. z aj C j . j =1 n THEOREM: The sum j=1 a. C . is minimized over all orderings of the n objects if 3 J the objects are arranged so the T./a. form a non-decreasing sequence. 1 1 . PROOF: Let n be the order 1,2,3,. .,,n and let n' be the same order except with i and i+l interchanged. Thus T = T! and a. = a! for j i o r i+l;T i = Ti+l , Ti+l = T i , a. = ai+l ' ,ai+l = a;. than 'II' if + 1 1 Also C j = C! for j # i o r i+l. Now, the order j i 3 n c i= 1 ajCj n 5 c a;~;. j= 1 'II is as good as o r better VARIOUS OPTIMIZERS F O R SINGLE-STAGE PRODUCTION 63 By the above equalities, this is true if a.1 C.1 + ai+l citl I a!1 C!1 t aitl cit1 or Subtracting ai (jkl Tj) t aitl ('2=1 T j j (1) t Titl aitl T.1 fr?m both sides this becomes 5 ai Titl . If ai and aitl a r e not zero, we may divide by their product obtaining Defining T/O to be infinity, condition (1) and condition (2) a r e equivalent whether o r not any a's a r e zero. Therefore if condition (2) is satisfied, the order with i preceding it1 is as good as o r better than the order with them interchanged. Thus, by the theorem of Section I, the minimum value of the optimizer is obtained if the objects are arranged in increasing order on Ti/ai. SECTION V We now propose to use the same optimizer as in Section 111, the s u m of times until each job is completed, but add the restriction that each job must be completed by its given due date, Di . THEOREM: If all jobs, 1,2,3,. . . ,n, can be completed by their respective due dates,3 n then there is an ordering of the jobs with the k-th job last which minimizes c Ci , subject to i=l completion of all jobs by their respective due dates if, and only if, the k-th job has the properties: n (i) Dk 2 C Ti and i=1 n (ii) Tk 2 Ti for all i for which D. > Z Ti 1 - i=l . P R O O F Let ?I be the ordering 1,2,3,. . . ,n, and let it be so chosen that with the objects in this order all jobs can be completed by their due dates. Let In be the set of indices for which n Di 2 c Ti. Since the ordering i =1 II is such that all jobs a r e completed by their due dates, we have 3We stated in Section I1 that if a s e t of jobs can be completed by their due d a t e s , this can be done by ordering according to t h e i r due dates. 64 w. E. SMITH that n is in the set In. Suppose that k is the index of the object with the largest value of Ti f o r i in the set In. (If this is not unique, we choose one arbitrarily from those which are the largest.) Now let 1~' be the ordering obtained from IT by interchanging the k-th and n-th terms. Thus T i = Ti and D. = D! for i P k or n; Tk = TL, Tn = T i , D -D' and Dn = Dk. 1 1 k- n Nowforj<k,C' C j Ti= C j Ti=C.,andsinceT > T wehaveforksj<n,C!= 1 = i=l i=l I k- n J j = iZ =1 T i + T n - Tk -- C 1. t T n - T k 5 C j . C j T' i=l i n n A l s o , C L = C T ! = i=l C T 1. = C n ' Therefore,t&ing i =1 n n the sums of C's, we have that C C; 5 C Ci. Also, all jobs are completed by their respeci =1 i =1 tive due dates under the new ordering, since for i # k or n we have C; 5 Ci 2 Di = D; ; chs n n 2 T i ( D n = D k a n d C h = C Ti'Dk=DL. i =1 i=1 n is an ordering which minimizes C Ci, we have found an i=1 ordering IT' which also minimizes the optimizer. Thus, if the k-th object has properties (i) and (ii)there is an ordering of the jobs with the k-th job last, which minimizes the optimizer subject to completion of all jobs by their respective due dates. If the original ordering IT has a last item which does not have property (ii), then Tn<Tk; In the particular case that and in the above steps for k s j < 71 n, C' j < n C. so that E C; i Ci. Thus IT cannot be an i=l i=l ordering which minimizes the optimizer. The ordering n < C IT is not even admissible without property (i). n In o r d e r to obtain a complete ordering which minimizes Z Ci, we can determine an i=l item to b e scheduled last, one which has properties (i) and (ii). Once having determined the n- 1 last item, Cn is fixed, and we have the problem of ordering n-1 jobs so as to minimize C Ci, i=l subject to the completion of all jobs by their respective due dates. Applying the theorem again, we can determine the last of these n-1 jobs. Continuing in this manner, we can find a complete ordering which minimizes the value of the optimizer. We note that if the objects are arranged in increasing o r d e r on Ti and still meet their due dates, then one cannot decrease the value of the optimizerby rearrangement, that is, the value of the optimizer for this o r d e r is a lower bound on its value no matter what the side restrictions are. On the other hand, if the objects are arranged in increasing order on Di , and this order is such that Dj-l 1 C Ti 5 D. for all j (taking Do = 0), then the given o r d e r is the only i=l I arrangement by which all jobs can b e completed on time. < SECTION VI The results of Sections IV and V can be combined to give a method of ordering so as to n minimize the weighted sum z ai Ci subject to the restriction that every job must be completed i=l VARIOUS OPTIMIZERS FOR SINGLE-STAGE PRODUCTION 65 by its due date, that is, Ci 5 Di. If all jobs can be completed by their due dates, an order which minimizes the weighted sum may be obtained. This order has as its last job one with the largest value of Ti/ai from among those with due date as large as the total processing time of all jobs. Proceeding as before, one can determine the last of the remaining n-1 jobs to be processed and continue in like manner until the complete ordering is determined. SECTION VII Other optimizers that have been considered are: n Total tardiness = C max (0, Ci i =1 - Di) n Weighted tardiness = 5 i=l ai [max (0, Ci - Di) ] . Thus far we can give solutions only in special cases. For example, if all the Ti are the same, the total tardiness is minimized if the objects are arranged in order of due dates. If the objects are arranged in order of due dates and then have only one tardy item, this order minimizes total tardiness since it has minimized the maximum tardiness. In minimizing total tardiness, a rule for the ordering of two adjacent operations is as follows: If the first of the i-th and (it1)-st operations start at time to, and if max {Di, to + Ti}( max{ Ditl, to + Titl}, then the order {i,itl} gives no greater total tardiness than the order { i+l,i}. Since this relation depends on to, one cannot in general expect to reach the optimal solution by only a series of interchanges of adjacent items. SECTION VIII Thus far we have considered only the case where the setup times could be included as part of the operation times. Under these assumptions, the over-all completion time of n given jobs is fixed and is just the sum of the T i s , regardless of order. Now let us see what type of problem we have if we wish to minimize the over-all completion time of all jobs where the setup times are taken into consideration. Since the sums of the actual operation times is constant, and the over-all completion time is determined by the sum of operation times and setup times, our problem is equivalent to minimizing the sum of the setup times. This is a non-symmetric "traveling salesman" type of problem. T o be more precise, the amount of setup times required for the j-th job, if it follows the i-th job, is taken to be the "distance" from i to j (not necessarily the same as from j to i). We then have the problem of finding a cycle o r "tour" starting with 0 (the original setup), passing through each object once, and only once, and returning to 0, which minimizes the distance traveled. (If one does not c a r e in what form the machine is set up at the end of the operations, then the distance from j to 0 would all be taken as zero.) Since such problems have been discussed elsewhere, we shall not consider this problem further [3, 41. 66 W. E. SMITH SECTION M The optimizers for which an optimum ordering has been found in this paper are such that the solution can be obtained from any order (satisfying the given restrictions) by a series of interchanges of adjacent operations, improving (or not making worse) the value of the optimizer at each step. Thus there are no "local" optima with respect to permutations of adjacent elements. We have shown that any optimizer which satisfies the conditions of the theorem of Section I also has this property. Although it should not be too difficult to test to see whether specific optimizers satisfy these conditions, it would be desirable to characterize more completely those optimizers for which no "local" optima exist. Further research is planned in this direction. Another difficult problem to be considered, of course, is that of finding how to determine an order which minimizes the value of similar functions when several machines or stages of production are used. REFERENCES [l] Johnson, S. M., "Optimal Two- and Three-Stage Production Schedules with Setup Times Included," Naval Research Logistics Quarterly, Vol. 1, No. 1, 1954, pp. 61-68. [2] Jackson, J. R., "Scheduling a Production Line to Minimize Maximum Tardiness," Research Report No. 43,36 pp, Management Sciences Research Project, University of California, Los Angeles. [3] Dantzig, G., Fulkerson, R., and Johnson, S., "Solution of a Large Scale Traveling Salesman Problem," Journal of the Operations Research Society of America, Vol. 2, No. 4, November 1954. [4] Kuhn, H. W., "The Traveling Salesman Problem," Proceedings of the Sixth Symposium in Applied Mathematics of the American Mathematical Society, McGraw-Hill Book Co. * * *