Multi-objective optimization problems are important as they arise in many practical circumstances. In such problems, there is no general notion of optimality, as there are different objective criteria which can be contradictory. In practice, often there is no unique optimality criterion for measuring the solution quality. The latter is rather determined by the value of the solution for each objective criterion. In fact, a practitioner seeks for a solution that has an acceptable value of each of the objective functions and, in practice, there may be different tolerances to the quality of the delivered solution for different objective functions: for some objective criteria, solutions that are far away from an optimal one can be acceptable. Traditional Pareto-optimality approach aims to create all non-dominated feasible solutions in respect to all the optimality criteria. This often requires an inadmissible time. Besides, it is not evident how to choose an appropriate solution from the Pareto-optimal set of feasible solutions, which can be very large. Here we propose a new approach and call it multi-threshold optimization setting that takes into account different requirements for different objective criteria and so is more flexible and can often be solved in a more efficient way.
- multi-critneria optimization
- optimal solution
- multi-threshold optimization
- scheduling algorithm
- time complexity
Multi-objective optimization problems are important as they arise in many practical circumstances. In such problems, there is no general notion of optimality, as there are different objective criteria which are often contradictory: an optimal solution for one criterion may be far away from an optimal one for some other criterion. Thus for many such real-life problems, there is no unique optimality criterion for measuring the solution quality. The latter is rather determined by the value of the solution for each objective criterion. In fact, a practitioner is not interested, generally, in optimizing a particular objective criterion, but he rather seeks for a solution that has an acceptable value of each of the objective functions. Furthermore, in practice, there may exist different tolerances to the quality of the delivered solution for different objective functions. In particular, for some objective criteria, solutions far away from an optimal one can be acceptable. Such solutions can often be obtained by relatively low computational efforts even for intractable problems.
Taking into account these considerations, here we propose a new approach and call it multi-threshold optimization setting that takes into account different requirements for different objective criteria, in contrary to a traditional Pareto-optimality approach. The Pareto-optimality concept, named after an Italian scientist Vilfredo Pareto, is a traditionally used compromise to address a complicated multi-objective scenario. It looks for a so-called Pareto-optimal frontier of the feasible solutions consisting of those solutions that are not dominated by any other feasible solution (with respect to any of the given objective functions). This often requires an inadmissible time: finding the Pareto-optimal frontier often remains an intractable (NP-hard) problem. This is always the case if at least one of the corresponding single-criterion problems is NP-hard. Finding the Pareto-optimal set of solutions may be NP-hard even if none of the single-criterion problem is NP-hard. Besides, it is not evident how to choose an appropriate solution from the Pareto-optimal set of feasible solutions, which can be very large. The multi-threshold optimization approach is more flexible since it takes into account different requirements for different objective criteria: in practice, some objective criteria can be more critical than the other ones, and hence there may exist different degrees of tolerance for the deviation of the objective value of different criteria from the optimal objective value of the corresponding single-criterion problems.
The multi-threshold optimization problem seeks for a feasible schedule whose objective values are acceptable for a given particular application for all objective functions; in particular, they do not exceed (for minimization problems) or are no smaller (for maximization problems) than the components of a threshold vector specified by the practitioner whose th component is some threshold value for the th objective function. As we observe, depending on the components of the above vector, it might be possible to solve the multi-threshold optimization problem in a low-degree polynomial time even if all the corresponding single-criterion problems are NP-hard. A threshold vector with specific threshold values for each objective function is supposed to have a direct practical meaning. For practically useful values of the threshold vector, the multi-threshold optimization problem might be solved in a low-degree polynomial time by a kit of heuristic algorithms, each one being designed for one of the corresponding single-criterion problems. If the kit of heuristic algorithms fails to find a feasible solution respecting the threshold vector, then the heuristics for NP-hard single-criterion problems can be replaced by implicit enumeration algorithms. In fact, the replacement can be accomplished step by step, starting from the most critical heuristics. This kind of approach may be more practical since some objective criteria can be optimized easier than other ones. Besides, as already noted, the practitioner may not be interested, in general, in the minimization of each objective function but rather in a solution of an acceptable quality for every objective function: in practice, there may be different tolerances to the quality of the delivered solution for each objective function, and different objective functions might be optimized with quite different costs.
Thus our approach may lead to more efficient and practical solution of a multi-criteria problem than the corresponding Pareto-optimal setting. In the following sections, we give a brief comparative analysis of the Pareto-optimization approach with our multi-threshold optimization approach illustrating its advantage on single-machine scheduling problems.
2. Multi-criteria optimization problems
For an extensive description of multi-criteria optimization problems and the solution methods, the reader may have a look on a book by T’kindt and Billaut  and a survey paper  by the same authors.
There are two distinct classes of combinatorial optimization problems, the class of polynomially solvable ones and the intractable -hard problems. For a problem from the class , there exists an efficient (polynomial in the size of the problem) algorithm, whereas no such algorithm exists for an -hard problem (the number of feasible solutions of an -hard optimization problem grows exponentially with the size of the input). It is widely believed that it is very unlikely that an -hard problem can be solved in polynomial time. Hence, it is natural to develop approximation solution methods.
Multi-criteria optimization problems are optimization problems with two or more different objective criteria. For the majority of such problems, there exists no single solution which optimizes (minimizes or maximizes) all the objective functions. In this sense, different objectives are contradictory, and hence, it is not straightforward to understand which feasible solution to the problem is optimal: a multi-criteria optimization problem typically has no optimal solution. In this situation, one may look for a solution which attains an acceptable value for each objective function or a solution which is not dominated by any other solution, in the sense that there is no other feasible solution which attains better objective values for all objective functions. We shall refer to the first and second versions of the multi-criteria optimization problem as
Let the objective functions over the set of feasible solutions of a given multi-criteria optimization problem be . Since these functions might be mutually contradictory, there may exist no feasible solution minimizing/maximizing all objective functions simultaneously. Without loss of generality, let us consider from now on the minimization version of our multi-criteria optimization problem.
Let be the optimal value for a single-criterion problem with the objective to minimize function , and let be some threshold value for the objective function , .
In the multi-threshold optimization version, we look for a feasible solution such that for each .
A commonly used dominance relation for the Pareto-optimization version is defined as follows.
Now is a
Proof. We basically reformulate the above reasoning. Consider a bi-criteria optimization problem with . Consider the set of feasible solutions with for all and some threshold value of function (without loss of generality assume that ). A Pareto-optimal solution from the set must attain the minimum possible value of function as otherwise it will be dominated by one that attains this value. Then we arrive at a single-criterion optimization problem with the objective function , which is NP-hard.
From the first glance, the multi-threshold optimization version of a multi-criteria optimization problem may seem to be easier than the Pareto-optimality version. This is, in part, correct, but considering a threshold vector with arbitrary components, in general, we will also arrive at an intractable problem as the decision version of an NP-hard single-criterion optimization problem is NP-complete. In particular, suppose that we are given a single-criterion optimization problem with the objective to minimize the function (). If this problem is NP-hard, then its decision version, given a threshold value of function , if there is a feasible solution with , is NP-complete. Hence, if one of the single-criterion optimization problems is NP-hard, then the multi-threshold optimization version of the corresponding multi-criteria optimization problem is also NP-hard.
At the same time, finding a Pareto-optimal set of feasible solutions may be NP-hard even if none of the single-criterion problem is NP-hard, i.e., they are solvable in polynomial time. Can the multi-threshold optimization version of a multi-criteria optimization problem be solved in polynomial time, if all the corresponding single-criterion optimization problems are polynomial? In other words, suppose that the single-criterion problem of finding a feasible solution attaining the minimum value of the objective function for can be solved in polynomial time. Then clearly, the decision version that seeks for a feasible solution with is also polynomially solvable.
Unlike the Pareto-optimization problem, the multi-threshold optimization problem may be solvable in polynomial time even if all the corresponding single-criterion problems are NP-hard; whether it is solvable in polynomial time or not essentially depends on the particular threshold vector . As we shall argue in the next sections, depending on the particular threshold values for each objective function, it might be possible to solve the multi-threshold optimization problem in a low-degree polynomial time even if all the corresponding single-criterion problems are NP-hard. The given threshold values for each objective function may have a direct practical meaning. For practically useful values of the threshold vector , the corresponding instance of the multi-threshold optimization problem might be solved in a low-degree polynomial time though it may be NP-hard, in general (for an arbitrary threshold vector, see Section 3).
3. Some basic single-criterion scheduling problems
In the rest of this chapter, we illustrate the Pareto-optimality and the multi-threshold optimization approaches for
The scheduling problems arise in various practical circumstances. Examples of such problems are job shop problems in industry, scheduling of information and computational processes, and traffic scheduling and servicing of cargo trains, ships, and airplanes. There are scheduling problems of diverse types and different complexities. Saying generally, one deals with two primary notions:
In the single-machine scheduling problems, there is a single machine on which all the jobs are to be scheduled. The majority of single-machine single-criterion scheduling problems are NP-hard, although there are polynomially solvable cases as well. For instance, if the objective function is the maximum job completion time called the
Minimizing the makespan becomes more complicated with even two machines or if each job has an additional job parameter called the
The objective is to find a feasible schedule in which the maximum job completion time is the minimum possible one.
If there are no job release times, i.e., all jobs are released simultaneously (the problem ), then the makespan can be minimized by the well-known Jackson heuristic : first arranging the jobs in a non-increasing order of their delivery times and then scheduling them without leaving machine idle times, similarly as we did for the above versions. With job release times, however, the problem becomes strongly NP-hard. Besides the criterion, there are a number of other commonly used objective functions for scheduling problems. For instance, if for every job its due date is given, then several objective criteria can be used to measure the solution quality.
(note that is the completion time of job in the schedule ). One of the most commonly used due date oriented objective functions is the maximum job lateness
The objective is to find a feasible schedule in which the maximum job lateness is the minimum possible one. This problem is, in fact, equivalent to the abovementioned one with job delivery times, and hence, it is also strongly NP-hard .
Another common due date-oriented objective function is the number of
where is a 0–1 function taking the value 1 if job is late in the schedule and the value 0 otherwise. The objective here is to find a feasible schedule with the minimum possible value equivalently, one maximizing the throughput, i.e., the number of jobs completed by their due dates (this model is motivated by applications in real-time overloaded systems, where the job due dates are crucial in a way that if a job is late, then it might rather be postponed for an undefined period of time in favor of other jobs which might be completed on time). Similarly to the above problems, if all jobs are simultaneously released, then the problem is polynomially solvable (by the algorithm of Moore and Hodgson); however, with job release times, the problem is again strongly NP-hard.
Hoogeveen  has considered the no machine idle time version in a bi-criteria setting. Instead of minimizing the lateness, he has introduced the so-called target start time of a job : is the desirable starting time for job , similarly as the due date is the desirable completion time for the job . Together with the minimization of the maximum job lateness, the minimization of the maximum job promptness (the difference between the target and real start times of that job) can be considered. The above reference gives an algorithm that finds a Pareto-optimal set of feasible solutions for this bi-criteria scheduling problem.
4. Basic multi-criteria scheduling problems
We can combine the objective functions described in the previous section and obtain the corresponding multi-criteria scheduling problems. We consider these multi-criteria problems from the point of view of multi-threshold optimization and Pareto-optimization approaches.
We start by considering a bi-criteria problem with two objective functions, and obtained from the single-criterion problems and , respectively (note that in the first problem, no job delivery times are given).
With the Pareto-optimization approach, we need to solve two relevant problems: (1) among all feasible schedules with a given maximum job lateness, find one with the minimum makespan, and (2) vice versa, among all feasible schedules with a given makespan, find one with the minimum maximum job lateness. Both of these problems are strongly NP-hard .
With the multi-threshold (bi-threshold) optimization approach, we are given two threshold values and on the functions and , respectively. We would like to know if there exists a feasible schedule such that
As to condition (5), let us first construct a feasible schedule in which the jobs are arranged in a non-decreasing order of their release times and are scheduled in this order without leaving unavoidable machine idle time. Recall that the schedule (obtained in this way in time) is optimal for the problem . Hence, if , then there exists no (bi-threshold optimal) schedule with and we return a “no” answer. Otherwise, we know that there exists a feasible schedule with . In fact, if , then there are many such feasible schedules (we may introduce idle time intervals of a required total length in the schedule arbitrarily between neighboring jobs in different ways obtaining different feasible schedules satisfying inequality (5)). Let us denote the set of these feasible schedules by .
Now it remains to verify condition (6), i.e., we wish to know if, among all schedules from the set , there is one satisfying condition (6). In general, it may take an exponential time to answer this question for an arbitrary value since the corresponding decision problem is NP-complete. At the same time, it also might be possible to obtain an answer in polynomial time, depending on the value of . The easiest way is to construct a greedy solution to the problem obtained, for instance, by the earlier mentioned Jackson heuristic. It is well-known that the schedule minimizes the function . Hence, if , then we return the schedule with a “yes” answer. Otherwise, the answer may be “yes” or may also be “no.” In this case, we need more costly calculations to seek for a feasible schedule from the set with . This may take an exponential time (as the second single-criterion problem is NP-hard).
Combining the objective function with , we obtain another bi-criteria problem from the single-criterion problems and , respectively.
With the Pareto-optimization approach, we need to solve two relevant problems: (1) among all feasible schedules with a given maximum job lateness, find one with the minimum makespan, and (2) vice versa, among all feasible schedules with a given makespan, find one with the minimum number of late jobs. Both of these problems remain strongly NP-hard.
With the bi-threshold optimization approach, we are given two threshold values and on the functions and , respectively. We would like to know if there exists a feasible schedule satisfying inequality (1) and the following inequality:
Condition (5) can be treated as above. As to condition (7), we need to verify if, among all schedules from the set , there is one satisfying this condition. As for condition (6), in general, it may take an exponential time to verify condition (7) for an arbitrary value , since the corresponding decision problem with a single objective function is NP-complete . But it again might be possible to obtain an answer in polynomial time. Instead of Jackson’s heuristic that we used for condition (6), now we use an extended version of the algorithm of Moore and Hodgson for the problem . Recall that the latter algorithm is designed for simultaneously released jobs. It sorts all jobs in a non-decreasing order of their due dates and includes them in this order whenever the last included job completes by its due date. Otherwise, from the last block of the continuously scheduled jobs (there will be only one such block for simultaneously released jobs), it discards a longest job and repeats the same step until all jobs are considered in this way. Note that all the included jobs are completed on time. Finally, it adds the discarded jobs at the end of the resultant partial schedule in any order without leaving machine idle times (these jobs are late).
We modify the above algorithm by considering the jobs in the order as they are released, but order each group of currently released jobs similarly by non-decreasing due dates and accomplish the same steps for each such group of the already released jobs. Although the modified algorithm, in general, does not guarantee optimality, it may typically deliver a near-optimal solution to the version with job release times. Let us denote the schedule delivered by the extended Moore and Hodgson algorithm by . It can be readily verified that the schedule minimizes the function . Hence, if , then we return the schedule with a “yes” answer. Otherwise, the answer may be “yes” or may also be “no.” In this case, we need more costly calculations to seek for a feasible schedule from the set with , which, similarly as for the earlier bi-criteria problem, may take an exponential time.
Finally, combining all the three objective functions , , and , we obtain a more complicated three-criteria scheduling problem. Finding the Pareto-optimal set of feasible solutions obviously remains NP-hard. The by-threshold problem gets also less accessible but still more flexible than the Pareto-optimality version, again essentially depending on the threshold values. We again consider the three conditions (5), (6), and (7) that come from the corresponding single-criterion problems and the set of feasible schedules yielded by inequality (1). Using the fact that both schedules and are from the set , it will suffice to verify whether
Intuitively, it is clear that the closer is to (the total number of jobs) and the larger is , the more probable it is that these inequalities will hold. Hence, the by-threshold problem will be solved in time (remind that the time complexity of all the three heuristics that we use for the creation of the schedules , , and is ). If any of the conditions (6), (7), (8), or (9) is not satisfied, then an implicit enumeration algorithm that generates feasible schedules respecting the thresholds and can be applied.
We have seen that a multi-threshold optimization problem may solve practical multi-criteria problems in polynomial time while delivering a solution with an acceptable quality for a given threshold vector, which reflects real needs of a particular real-life application. We have compared the multi-threshold optimization problem with the Pareto-optimization problem for three basic multi-criteria scheduling problems on a single machine. It is clear that, in many multi-criteria applications, a practitioner may not be interested in a Pareto-optimal set of feasible solutions: an analysis of the set of Pareto-optimal solutions containing all non-dominated feasible solutions might be beyond the interest and capacity of the practitioner. In practice, a feasible solution that attains some threshold value for each objective function is required. For instance, take an automobile manufacturing and the three objective functions , , and considered in the previous section. Clearly, the manufacturer is interested in minimizing the total production time , whereas he imposes a maximum possible lateness in the production of each car (which might be far above the minimum possible lateness), and there is a maximum admissible number of cars whose production might be late and be delayed for an infinitive amount of time (according to the current demand on the product). Two heuristic algorithms that we have considered in the previous section, in practice, may well deliver such solutions while minimizing the total production time. It is well-known that Jackson’s heuristic, in practice, delivers near-optimal solutions with a value of the objective function close to the optimum . At the same time, if the threshold for the criterion is not too small, the solution delivered by the heuristic may also satisfy the threshold condition for that criterion. In fact, it might be possible to combine Jackson’s heuristic with Moore and Hodgson’s one in such a way that the resultant heuristic would provide a solution with the desired thresholds for both objective functions with some high probability. The construction of such heuristics that deliver a solution respecting the threshold vector for two or more objective criteria is an interesting line for further research.
We have illustrated the multi-threshold optimization approach on a few single-machine scheduling problems, though the approach can obviously be applied, in general, for different kinds of multi-objective optimization problems.