Uniform machine scheduling (also called uniformly-related machine scheduling or related machine scheduling) is an optimization problem in computer science and operations research. It is a variant of optimal job scheduling. We are given n jobs J1, J2, ..., Jn of varying processing times, which need to be scheduled on m different machines. The goal is to minimize the makespan - the total time required to execute the schedule. The time that machine i needs in order to process job j is denoted by pi,j. In the general case, the times pi,j are unrelated, and any matrix of positive processing times is possible. In the specific variant called uniform machine scheduling, some machines are uniformly faster than others. This means that, for each machine i, there is a speed factor si, and the run-time of job j on machine i is pi,j = pj / si. In the standard three-field notation for optimal job scheduling problems, the uniform-machine variant is denoted by Q in the first field. For example, the problem denoted by " Q|| C max {\displaystyle C_{\max }} " is a uniform machine scheduling problem with no constraints, where the goal is to minimize the maximum completion time. A special case of uniform machine scheduling is identical-machines scheduling, in which all machines have the same speed. This variant is denoted by P in the first field. In some variants of the problem, instead of minimizing the maximum completion time, it is desired to minimize the average completion time (averaged over all n jobs); it is denoted by Q|| ∑ C i {\displaystyle \sum C_{i}} . More generally, when some jobs are more important than others, it may be desired to minimize a weighted average of the completion time, where each job has a different weight. This is denoted by Q|| ∑ w i C i {\displaystyle \sum w_{i}C_{i}} .
Algorithms
Minimizing the average completion time Minimizing the average completion time can be done in polynomial time:
The SPT algorithm (Shortest Processing Time First), sorts the jobs by their length, shortest first, and then assigns them to the processor with the earliest end time so far. It runs in time O(n log n), and minimizes the average completion time on identical machines, P|| ∑ C i {\displaystyle \sum C_{i}} . Horowitz and Sahni present an exact algorithm, with run time O(n log m n), for minimizing the average completion time on uniform machines, Q|| ∑ C i {\displaystyle \sum C_{i}} . Bruno, Coffman and Sethi present an algorithm, running in time O ( max ( m n 2 , n 3 ) ) {\displaystyle O(\max(mn^{2},n^{3}))} , for minimizing the average completion time on unrelated machines, R|| ∑ C i {\displaystyle \sum C_{i}} .
Minimizing the weighted-average completion time Minimizing the weighted average completion time is NP-hard even on identical machines, by reduction from the knapsack problem. It is NP-hard even if the number of machines is fixed and at least 2, by reduction from the partition problem. Sahni presents an exponential-time algorithm and a polynomial-time approximation algorithm for identical machines. Horowitz and Sahni presented:
Exact dynamic programming algorithms for minimizing the weighted-average completion time on uniform machines. These algorithms run in exponential time. Polynomial-time approximation schemes, which for any ε>0, attain at most (1+ε)OPT. For minimizing the weighted average completion time on two uniform machines, the run-time is O ( 10 l n 2 ) {\displaystyle O(10^{l}n^{2})} = O ( n 2 / ϵ ) {\displaystyle O(n^{2}/\epsilon )} , so it is an FPTAS. They claim that their algorithms can be easily extended for any number of uniform machines, but do not analyze the run-time in this case. They do not present an algorithm for weighted-average completion time on unrelated machines.
Minimizing the maximum completion time (makespan) Minimizing the maximum completion time is NP-hard even for identical machines, by reduction from the partition problem. A constant-factor approximation is attained by the Longest-processing-time-first algorithm (LPT). Horowitz and Sahni presented:
… excerpt ends here. Continue reading the full article.
