Abstract

We consider the classic online scheduling problem on uniform machines in the online setting where jobs arrive over time. Preemption is not allowed. The objective is to minimize total weighted completion time. An online algorithm based on the directly waiting strategy is proposed. Its competitive performance is proved to be by the idea of instance reduction, where is the fastest machine speed after being normalized by the slowest machine speed.

1. Introduction

Scheduling is a commonly used term in several different contexts including production management, service operations, and computer systems. In a general sense, scheduling is a process of allocating some scarce resources to different activities. It aims to improve the effectiveness and/or efficiency to implement these activities. It is for this fact that scheduling has attracted numerous interests of both practitioners and researchers. In academia, thousands of papers have been published with scheduling as topics. These works can be roughly classified into two categories, namely, application-oriented research and theoretical research.

From a perspective of applications, researchers try to provide a solution method for a given scheduling problem by utilizing mathematical or computation techniques. The effectiveness and efficiency of the proposed approach are often judged by its performance on randomly generated or benchmark instances or some case data. Along this line, a rich variety of scheduling problems have been investigated, motivated by different applications from real-world situations. Among these problems, a great many are focused on scheduling arising in industries of production and manufacturing. In this field, most of the work can be divided into four types in terms of solution methodology, which are analytical approaches (e.g., branch and bound [1], Lagrangian relaxation [2], and column generation [3]), heuristic dispatch rules [4], metaheuristics (e.g., simulated annealing [5] and genetic algorithms [6]), and machine learning methods (e.g., neural network [7], decision tree [8], and ensemble methods [9]). The detailed discussion of these methods is beyond the scope of this paper. The abovementioned references are just some of the landmark or representative papers in each field. Interested readers can further refer to some classical books (e.g., Brucker [10] and Pinedo [11]). In addition to the abovementioned work about shop-level scheduling methods, some attention has been paid on scheduling-related problems from the perspective of planning and management. For example, Sastoque Pinilla et al. [12] conducted a case study about technology readiness level (TRL) 5C7 project management in the aircraft industry. In addition, with the new requirements and challenges occurring in the context of Industry 4.0, some new technologies and ideas such as Internet of things, cyber-physical systems, and big data analysis have been introduced into the scheduling research [1315].

In contrast, from a theoretical perspective, researchers first try to understand the computational complexity of a given scheduling problem. If the problem is computationally tractable, they then develop a polynomial algorithm that can give optimal solutions in polynomial time for any instance of the problem. If the problem is computationally intractable, they design an algorithm and evaluate it by its theoretically guaranteed performance rather than its performance in numeric simulations. The theoretically guaranteed performance often refers to the worst-case performance. Along this line, most of the work is focused on some classical and simplified scheduling models that are abstracted from similar applications, which can be often denoted by the widely used three-field classification scheme [16]. These models can be further divided into two categories in terms of whether the full information about jobs is known at the outset or not, namely, off-line models and online models. For the former category, some pioneering works can be found in [17] and [18]. For the online category, some representative works include Hoogeveen and Vestjens [19], Anderson and Potts [20], and Correa and Wagner [21]. Interested readers can further refer to a review by Potts and Strusevich [22]. Following this line of theoretical research, we consider a classical online scheduling problem in this work.

1.1. Problem Formulation

Formally, there is a sequence of jobs denoted by , which must be scheduled on one of uniform machines without interruption. Here, uniform means that each machine has a job-independent speed. Each job is characterized by a release time , a processing requirement , and a positive weight . When a job is assigned on a machine, the processing time is its processing requirement divided by the machine speed. Without loss of the generality, we assume that the machines are ordered by a nondecreasing speed . The objective is to minimize the total weighted completion time of all the jobs. We focus our attention on the online setting, which means that all the characteristics about one job is not revealed to the scheduling algorithm until it is released at its release time. The problem can be denoted by .

1.2. Related Work

In the online setting, parallel machine scheduling problem has obtained much attention. For the case of identical machines, many efficient online algorithms were presented [21, 23, 24]. When it comes to the setting of uniform machines, i.e., each machine has a different and job-independent speed, most of the work was focused on the objective of minimizing the makespan [2527]. For the objective of minimizing the total completion time, to the best of our knowledge, the only constant competitive algorithm was the one presented by Hall et al. [18]. They designed a -competitive algorithm. The result had remained unchanged for more than ten years until Liu et al. [28] extended the result about a two-machine scheduling problem [29] and proposed an online algorithm with a competitive performance of . It performs better than the 8-competitive algorithm when the machine number is not too larger. However, the competitive ratio tends to infinity with increasing. As mentioned by Hoogeveen and Vestjens [19], for the single-machine case, any online algorithm that schedules a job as soon as the machine is available has an unbounded worst-case performance. The conclusion also holds up for the case of uniform machines. In other words, a waiting strategy is necessary in order to guarantee bounded competitive performance. Two kinds of techniques are commonly used to design waiting strategies. The first one is to shift releasing times forward. The revised releasing times are derived either by a heuristic method [23, 30, 31] or from a preemptive schedule by solving a related relaxation problem [21, 32, 33]. The other technique is to apply a directly waiting strategy, which makes the decision to insert appropriate waiting time or to immediately schedule a job by directly comparing processing time with the current time [19, 20, 34]. Hoogeveen and Vestjens [19] first developed the technique and proposed the delayed shortest processing rule (D-SPT) for the single-machine scheduling to minimize the total completion time. They proved that the D-SPT rule is the best online algorithm for . The idea behind the D-SPT rule and its competitive analysis was generalized to the weighted case by Anderson and Potts [20]. They proposed the delayed shortest weighted processing time (D-SWPT) rule and proved it is optimal for . The idea of the directly waiting strategy was further extended to design online algorithms for by Tao [24], Tao et al. [35], and Ma and Tao [36]. The authors designed several waiting strategies and proved their competitive performance.

1.3. Our Contribution

For , we construct a deterministic online algorithm and prove that it has a competitive ratio of no more than . To the best of our knowledge, this is the first online algorithm where the approximation ratio depends on the machine speeds. If the fastest machine is not too fast, say less than 4, the algorithm beats the -competitive algorithm [18], which is the best constant competitive algorithm so far. In addition, the performance ratio for our algorithm decreases as the machine number increases. It is contrary to the result in [28], where the competitive ratio increases as the machine number increases. Thus, our algorithm also outperforms the one in [28] in the case with a larger number of machines.

The remaining sections are organized as follows. In Section 2, the online algorithm is presented. The competitive analysis is detailed in Section 3. Conclusions are given in Section 4.

2. The LW-SWPR Rule

Inspired by the same idea of the directly waiting strategy mentioned above in the subsection of related work, we construct an online algorithm for . We call the proposed algorithm the limited waiting shortest weighted processing requirement rule. It is therefore abbreviated to LW-SWPR, which can be described as follows with some notations listed in Table 1:

2.1. The LW-SWPR Rule

Whenever some idle machines and some jobs are available at time , choose the machine with the highest speed and choose a job with the smallest value of the ratio among all the arrived and unscheduled jobs. If ties occur, choose the smallest index. Say that and are chosen. Calculate the total processing requirement at all the busy machines at time , which can be written as . Then, ifschedule on the machine ; otherwise, wait until a new job is released or the above inequality is satisfied.

We note that the LW-SWPR rule can be reduced to the AD-SWPT rule in Tao [24] when all the machines have the same speed, i.e., the model is reduced to the identical-machine model. Next, we will show that the LW-SWPR rule has a machine number independent performance guarantee.

Theorem 1. For the online scheduling problem of , the LW-SWPR rule is competitive, where is the fastest machine speed after being normalized by the slowest machine speed.

3. The Competitive Analysis of the LW-SWPR Algorithm

3.1. Instance Reduction

Since it is very difficult to directly analyze the performance for an arbitrary instance, we wish to reduce the searching space for the worst-case instances. This is just the intuition behind the instance reduction method commonly used by Tao et al. [37, 38] and Tao [24]. The basic idea is to modify an arbitrary instance to a new instance such that it has a worse performance ratio as well as a more special structure of which we can take advantage to analyze the performance ratio. To simplify the presentation, we list some instances with specified structure in Table 2. We also use these notations to refer to the instance set with the specified structure when no confusion arises. For ease of presentation, we denote that one machine is “idle”/“busy” at the time if the machine remains idle/busy during the interval of , where is an infinitely small positive value. In order to differentiate the switching time points between the busy and idle states, we further state that the time is a “starting point of busy time”(abbreviated to SPoint) if the machine remains idle in and busy in and that the time is an “ending point of busy time”(EPoint) if the machine is busy in and idle in .

First, we note that the worst-case instances can be obtained among the set of . The reason follows. For any instance which does not belong to the set of , there exists a time between the earliest SPoint and the latest EPoint when all the machines are idle. Thus, we can split the instance into two smaller instances that consist of jobs scheduled, respectively, before and after . Denote the two instances by and , respectively. According to the LW-SWPR rule, we can readily discover that and maintain the starting times of all the jobs same as in , i.e.,

Given any feasible schedule of , we can construct two feasible schedules for and , respectively, by keeping the starting times unchanged. Because the optimal schedule is the one with the minimum objective value among all the feasible schedules, it follows that

Combining (2) with (3), we can obtaini.e., at least one of the two smaller instances can achieve a performance ratio not less than that of the original instance . Therefore, from the perspective of worst-case instances, we need to focus only on the set of .

Next, we show in Lemma 1 that can be further reduced to one of the two new instances or with the performance ratio not decreasing. Here, we only give some intuitive explanation while referring readers to [24] for the detailed proof. As mentioned above, jobs within each subqueue are ordered according to the WSPR rule. For , we can multiply the weights of some jobs by a parameter with not changing the mutual relations of the weighted processing requirements among jobs. The result is that jobs are scheduled in the same time intervals as in after this modification. The fact means that the objective value of the online schedule for the modified instance is a monotonously increasing linear function with respect to . At the same time, the optimal objective value is a concave function with respect to because any feasible schedule remains feasible after modification and the optimal schedule is the one with the minimum objective value among all the feasible schedules. Combining the above observations with Lemma 3.1 in [37] which states that the ratio of a convex function to a concave function is maximized at one endpoint of the supported interval, we can modify to an intermediate instance with a worse performance ratio by setting to a specified value. By repeatedly applying the modification, we can reduce to or .

Lemma 1 (see [24]). For any instance , a new instance or can be constructed by modifying the weights in , such that

3.2. Performance Analysis of and

Based on the special structure that and possess and the LP lower bound, we can analyze the performance ratio of and . First, an appropriate lower bound on the optimal schedule has to be established in order to further analyze the performance ratios of and . Because the instances and are associated with the special structure, we can only consider the lower bound on these special instances. This can be readily obtained from related results provided by Gu and Lu [39] and Chou et al. [40].

Lemma 2 (see [39, 40]). For the with for each job, the optimal schedule satisfies an inequality ofwhere is the earliest release time.

Next, we analyze the performance ratios of and by two lemmas.

Lemma 3. For any instance , the online scheduling by the LW-SWPR rule satisfies

Proof. It does not change the performance ratio to multiply the weights of all the jobs by a positive constant. All the jobs in have the same weighted processing time and we can normalize the ratio of to 1, i.e., equals .
Consider the latest SPoint in , and denote it as . The “latest” implies that jobs are continuously processed after at each machine without idle time between jobs. Now, we analyze the performance ratio by two cases.Case 1: there does not exist a job which is released before and is scheduled at, or after, in . Consider these jobs that start at or after . According to the increasing order of their starting times, denote these jobs by . The assumption in this case implies that these jobs must be released at, or after, . Furthermore, these jobs have no effect on jobs starting before . Construct an intermediate instance which includes all the other jobs in except . Then, we haveJobs are continuously processed after at each machine. So, we can limit the starting time of the th job in aswhere the second term is to average the total processing time that have to be finished between and over all the machines and represents the total remaining processing time at all the machines at time . Let and . Along with (7), we can limit by an upper bound asThe second term in (10) can be regarded as the total weighted completion time of the jobs of , which are continuously processed starting from the time on a single machine, with the processing time of each job multiplied by a constant of . Consider the set of as a separate instance and further relax the release times of all the jobs to ; then, we can develop a lower bound of the optimal schedule according to Lemma 2.According to the LW-SWPR rule, we have , i.e., . Combining (9) and (10), we haveCase 2: there exists at least a job which is released before and is scheduled at, or after, in . According to the LW-SWPR rule, must satisfyOtherwise, would be scheduled before .
Consider the jobs that are completed after . According to the increasing order of their starting times, denote these jobs by . Construct an intermediate instance which includes all the other jobs in except . Divide the set of into two subsets as follows:Let and .
Then, similar to the derivation of (9), we can limit asBy relaxing the releasing times of jobs in to 0, similar to the analysis of (10), we can limit asWe can derive from (12). Furthermore, we can obtain because there are at most jobs in . In addition, we have the inequality of . Combining these relations with (13) and (15), we can limit the performance ratio of asThe above two cases show that we can bound the performance ratio of from above equation by or or the performance ratio of an intermediate instance . Furthermore, in , is not the latest SPoint anymore. Rewrite as and repeat the above analysis until becomes an empty set. Ultimately the performance ratio of can be bounded from the above equation by the larger value in and .

Lemma 4. For any instance , the online schedule by the LW-SWPR rule satisfies

Proof. Jobs in the last subqueue of have the same weighted processing time with weights tending to infinity. Without loss of generality, let for these jobs with tending to infinity. In the following calculation of performance ratios, they are all carried out in the sense of limit when tends to infinity, with the sign of limit omitted.
Denote by the set including all the jobs in the last subqueue of . Denote by the earliest releasing time of jobs in , and by the latest SPoint in . Next, we analyze the performance ratio of by the following three cases:Case 1: . Considering the time , according to the LW-SWPR rule, we haveAfter the jobs which start before are completed, the jobs in are continuously processed. Assume that the jobs in start being processed in the order of . Let . Similar to the analysis in Case 1 in the proof of Lemma 3.5, along with (19), we can derive an upper bound of aswhere indicates a limited value. By relaxing the releasing times of jobs in to , we can similarly derive a lower bound of asWhen tends to infinity, the relations above immediately implyCase 2: . Furthermore, jobs being processed at in all belong to . Similar to the proof of Lemma 3, we can construct an intermediate instance by deleting some jobs from such that is not the latest SPoint in anymore. Furthermore, it holds thatCase 3: . Furthermore, there are one or more jobs which do not belong to and are being processed at in . According to the improved AD-SWPT rule, these jobs must start before . We further analyze the performance ratio in terms of two subcases.Case 3.1: there does not exist a job in which is released before and is scheduled at, or after, in . This case implies that jobs starting at, or after, are all released at, or after, . Except these jobs, we can construct an intermediate instance , which includes all the other jobs in . Let . Similar to the analysis in Case 1 in the proof of Lemma 3, we can deriveCase 3.2: there exists at least a job in which is released before and is scheduled at, or after, in . First, consider these jobs which do not belong to and are being processed at in . Denote the set including these jobs by . Let . According to the LW-SWPR rule, these jobs must start being processed before . It follows thatBecause is released before and is scheduled at, or after, in , we haveConsider the jobs in which are completed after . Define two sets as follows:Construct an intermediate instance , which includes all the jobs in except jobs in and . Let and . Similar to the analysis in Case 2 in the proof of Lemma 3, considering that jobs in and can be continuously processed after jobs in are completed, we can derive an upper bound on asBy relaxing the releasing times of jobs in and to , we can also derive a lower bound on asEquation (26) implies that . Furthermore, because there are at most jobs in . Combining these relations with (24), (26), and (28), we haveThe first inequality is derived by applying and . The second inequality is obtained by relaxing to an empty set and then applying .
The above three cases show that we can bound the performance ratio from the above equation by the maximal value among and and the performance ratio of the intermediate instance . Furthermore, in , is not the latest SPoint anymore. Rewrite as and repeat the above analysis. Ultimately the performance ratio of can be bounded from the above equation by .
Following Lemmas 1, 3, and 4, we can readily obtain that LW-SWPR is -competitive. Thus, Theorem 1 is proved.

4. Conclusions

In this work, we design an online algorithm for and prove that it is -competitive. The result is a generalization from the identical-machine scheduling considered in [24]. Although the competitive performance is not a constant because it tends to infinity when the fastest machine speed tends to infinity, it still makes improvements on the existed results in some extents. The first one is that it improves the result provided by Hall et al. [18] when the fastest machine is not too fast, say less than 4. The second one is that it tends to an -related constant when the machine number tends to infinity. In this sense, it also improves the result provided by Liu et al. [28]. Furthermore, it is very hopeful to improve the performance guarantee to an -independent value if all the machines are considered besides the idle ones in the scheduling rule. The same analysis method can be employed. It deserves to be further investigated in our future work.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This work was supported by the National Science Foundation of China (no. 51975496), the Fundamental Research Funds for the Central Universities of China (no. 20720180076), and the Natural Science Foundation of Fujian Province, China (no. 2018J01083).