Abstract
This paper presents a multiobjective differential evolution algorithm with multiple trial vectors. For each individual in the population, three trial individuals are produced by the mutation operator. The offspring is produced by using the crossover operator on the three trial individuals. Good individuals are selected from the parent and the offspring and then are put in the intermediate population. Finally, the intermediate population is sorted according to the Pareto dominance relations and the crowding distance, and then the outstanding individuals are selected as the next evolutionary population. Comparing with the classical multiobjective optimization algorithm NSGA-II, the proposed algorithm has better convergence, and the obtained Pareto optimal solutions have better diversity.
1. Introduction
Multiobjective optimization problems (MOPs) are different from single objective optimization problems (SOPs). For MOPs, the objective functions are often conflict, so the best solution often does not exist. It is difficult to find the optimal solution. The MOPs need to find a noninferior solution set that is called Pareto optimal solution set (or nondominated optimal solution set). The key is to find a solution set which is as close to the Pareto front and uniformly distributed as possible. In the past ten years, evolutionary algorithms have been widely used for solving multiobjective optimization problems. The typical algorithm contains NSGA [1], NSGA-II [2], SPEA [3], SPEA2 [4], and so on.
Differential evolution (DE) [5] is an important branch of the evolutionary algorithms. Because of its easiness to use and robustness, it has been widely applied in many fields. The basic DE algorithm is a greedy algorithm and is used to solve the SOPs. The individual choice is based on the objective function value. In solving MOPs, the objective function value is a vector value and the individual choice is based on the vector value. Some scholars have improved DE algorithm to solve MOPs. Abbass et al. [6] proposed a differential evolution algorithm based on the Pareto frontβs (PDE) to solve MOPs. Later, the PDE algorithm is improved to an adaptive PDE algorithm (SPDE) [7]. Madavan [8] proposed the differential evolution algorithm based on the Pareto (PDEA). Xue et al. [9] and Robi and Filipi [10] and Qian and Li [11] proposed the different kind of multiobjective differential evolution algorithm. Gong and Cai [12] proposed an improved multiobjective differential evolution based on the Pareto-adaptive -dominance and the orthogonal design.
Here, a multiobjective differential evolution algorithm with multiple trial vectors (MTVDE) is proposed. In this algorithm, for each individual in the parent, three different mutation operators and a crossover operator are used to produce three trial individuals. First, we compare the three trial individuals. If an individual Pareto-dominate another, the better one is retained. If two individuals do not dominate each other, both two individuals are retained. Secondly, retained trial individuals compare with the parent individual: if an individual Pareto-dominate another, put the nondominated individual in the intermediate population, and if the two individuals do not dominate each other, two individuals are put in the intermediate population. Finally, in the intermediate population, the individuals are sorted according to the Pareto dominance relations and the crowding distance. We eliminate some low-quality individuals from the intermediate population and retain some fine individuals to form the next evolutionary population. The individuals are sorted according to the nondominated relations, and individuals with low ordinal value are better individuals. When individuals are with the same ordinal, the individual of larger crowding distance is better than the individual of smaller crowding distance.
2. Multiobjective Optimization Problem and Related Concepts
Below, we give several concepts related to this paper. Because the maximum optimization problems and minimum optimization problem can be transformed into each other, here we only consider the minimum multiobjective optimization problem.
Definition 2.1 (multiobjective optimization problems, MOPs). The MOPs are described as follows: where indicates the target vector, indicates the decision vector, indicates decision space of the decision vector , ββ indicates the target space of the target vector .
Definition 2.2 (the dominance relationship of the target vector). The target vector is better than if and only if for all ββ and there exists at least one such that was established, then the target the vector Pareto better than , or Pareto inferior to .
Definition 2.3 (decision vector relations of domination). If the decision vector Pareto-dominates if and only if Pareto is superior to , we call the decision vector Pareto-dominating or the decision vector is Pareto dominated by .
Definition 2.4 (Pareto optimal solution). Decision vector ( is the feasible solution set) is a Pareto optimal solution, if and only if an individual does not exist in the feasible solution set dominate , then is called the MOPsβ Pareto optimal solution, or is called the MOPsβ nondominated optimal solution. The set of all Pareto optimal solution is known as the MOPsβ Pareto optimal solution set or nondominated optimal solution set.
Definition 2.5 (Pareto front). For given MOPs, Pareto optimal solution set corresponding to the objective function value vector is known as the MOPsβ Pareto front. Therefore, our task is to make the current nondominated optimal solution set as close as possible to the theoretical Pareto optimal solution set, from the view of Pareto front is to ask the Pareto front as possible as close to the theoretical Pareto front and uniformly distributed.
Definition 2.6 (individual nondominant relationship sort, INDR). There are individuals in the population . For each individual , represents the set of individuals that are dominated by , represents the number of individuals dominating the individual . Finally, if , then belongs to the first level. The sequence of is , joined to ( indicates the individual set of ordinal value is 1). The counter of the initial sequence value , if , ( represents the set of individualsβ sequence value ) each individual in , each individual in the corresponding . Finally, if , then belongs to the level. The sequence value of is . Update sequence valueβs counter , joined to . As a result, we can calculate the ordinal value of each individual in the population .
Definition 2.7 (the same level of individualsβ crowding distance) (ICD). Let be a set of individuals of a certain grade. All the target individuals are sorted according to the objective function value in . The first and the last individualsβ crowding distances are infinite. The other individualsβ crowding distance is calculated as subtract the two neighbor individualsβ objective function and then square it. Then sum the crowding distance on all objective functions as the individualsβ crowding distance. The individuals are sorted according to crowding distance in the same level.
3. Multiobjective Differential Evolution Algorithm with Multiple Trial Vectors (MTVDE)
3.1. The Mutation Operation
Mutation components are difference vectors of the parent generation. Each vector is generated by the different individuals in the parent population. The mutation operation on the basis of the difference vector and its equation is where are the mutated individuals, is individual of parent population. are different from each other, and they are different from . is the scaling factor. It indicates the influence degree of the difference vector to the offspring. From the mutation operator, each individual in parent population produces three individuals through the mutation operator, which can enhance the diversity of the population.
The value of has a certain influence on the algorithm performance. If is too large, the convergence rate slows, and the algorithm runs longer. If is too small, the diversity of the population decreases, according to experimental tests, and is often set to 0.5.
3.2. Crossover Operator
The mutated individual , and the individual in parent population use the crossover operator to generate the trial individual . The crossover operator is expressed as where is an uniformly distributed random number between , is the integer randomly selected from , which can insure at least one is from . is the crossover probability. It is used to control the variable in to be from or . If , then .
3.3. Selecting Operation
For MOPs, this paper uses the following criteria to select the next evolution population.(1)For each individual in the parent population, three different mutated operators and a crossover operator are used to produce three trial individuals. For the three trial individuals and the parent individual, the one who Pareto-dominates another is retained in the intermediate population. If the two individuals do not dominate each other, both are retained.(2)Some low-quality individuals in the intermediate population need elimination. Individuals are sorted in the intermediate population according to the Pareto dominance relations and the crowding distance of individuals. First of all, the individuals are divided into several levels according to the non-dominant relations in the intermediate population. Individuals in the same level are sorted according to the crowding distance. We choose the former NP individuals to form the next evolution population.
3.4. MTVDE Description of the Algorithm
Step 1. Set the basic parameters: the population size NP, the scaling factor , the maximum evolution generation, and the crossover probability factor CR.
Step 2. Initialize the population.
Step 3. Mutation is according to the mutation operation (3.1) to generate three variation individuals.
Step 4. Crossover is according to the crossover operation (3.2) to generate three test individuals.
Step 5. Select the next evolution population.
Step 6. If the maximum iteration is reached, stop and output optimal solution, otherwise return to Step 3.
4. Numerical Experiments
4.1. Algorithm Performance Evaluation Criteria
Multiobjective optimization algorithm performance can be evaluated by two criteria.(1)The obtained nondominated optimal solution set needs to be as close as possible to the true Pareto front.(2)The obtained nondominated optimal solution set need as possible as uniformly distribute to the true Pareto front.
The two indexes are used to test the convergence and distribution of the solution set, respectively. The definitions of the approximation index and the uniformity index are given below.
(a) Approximation index is defined as follows: where is the number of vectors in the set of nondominated solutions found so far, is the Euclidean distance (measured in objective space) between each of these solutions and the nearest member of the Pareto optimal set. is calculated as , where denotes the total number of the true Pareto front vectors, denotes the nondominated optimal solutions set, denotes the true Pareto front, and denotes Euclidean distance. The value of is smaller, the degree of algorithm approximating to true Pareto front is higher. It is clear that a value indicates that all the generated elements are in the Pareto front.
(b) The uniformity index is defined as follows: where is the Euclidean distance between neighboring solutions in the obtained nondominated solutions set and is the mean of all . The parameters and are the Euclidean distances between the extreme solutions and the boundary solutions of the obtained nondominated set. is calculated as , where is the leftmost vector of obtained nondominated optimal target vector, is the leftmost vector of theoretical Pareto front. is calculated as , where is the rightmost vector of obtained nondominated optimal target vector, is the rightmost vector of theoretical Pareto front, denotes Euclidean distance. The value of is smaller, the degree of obtained nondominated solutionsβ diversity and uniform distribution is better.
4.2. Numerical Experiments and Analysis
In order to know how competitive the MTVDE algorithm was, it was compared with NSGA-II. In algorithm NSGA-II, , Pool size = 100, Tour size = 2. In MTVDE algorithm, CR = 0.9 except the problem ZDT4 that CR = 0.3. For all test functions, the population size of the two algorithms is taken as 100, and the number of iterations is taken as 250. Figures 1, 2, 3, 4, 5, 6, 7 and 8 show the results of the MTVDE algorithm by testing eight multiobjective functions. It can be seen from the figures the MTVDE algorithm produces a more uniform solution, and the solution quality is better than NSGA-II.
From Tables 1, 2, 3, 4, 5 and 6 eight testing functions are chosen to test the approximation index, uniformity index (mean value and variance in 10 runs). For the first five functions, the MTVDE algorithm is compared with the five classic algorithms in [8, 9, 11, 12]. For the rest three functions, the MTVDE algorithm is compared with NSGA2.
N/A denotes the algorithm does not calculate the index; the PDEA algorithm in [7] calculates the index GD (generational distance) instead of calculating the index (the convergence metric). The MODE algorithm in [7] did not calculate the index (diversity metric). We can be seen from Tables 1β6 that MTVDE algorithm has better convergence solutions except the problems ZDT1, ZDT2, and SCH.
In this paper, the population size is 250. Through experiments, we found that the increasing of population size has no effect on performance of the algorithm but only can increase the running time. In order to detect the impact of the scaling factor and the crossover probability on performance of algorithm, we make 50 times independent experiments for problem SCH. In order to test the impact of and CR on the algorithm performance, it can be found that the and CR have little effect on the algorithm performance by the testing data. Through comparison, , CR = 0.9 results are a little better, but the algorithm performance (approximation index and uniformity index) is not particularly sensitive to the values of and CR (Table 7).
5. Summary
In MTVDE algorithm, the improved DE algorithm is used to solve MOPs. The main difference between MTVDE algorithm and other MOEA algorithms is the three test vectors and the new select method. Eight benchmark functions are used to test the MTVDE algorithm. Experimental results show that MTVDE algorithm is better than most MOEA. In order to find the best solution, different values of crossover probability are tested, the results of ZDT4 are very sensitive to the crossover probability (crossover probability is 0.3 better results). In short, the algorithm in this paper can effectively converge to the Pareto front of the problem and maintain the diversity of the Pareto optimal solution set. It is an effective algorithm for solving multiobjective optimization problems. In the future work, we intend to use MTVDE algorithm or appropriate improved MTVDE algorithms for solving other complex constrained MOPs.
Acknowledgments
The work is supported by the Foundations of National Natural Science China under Grant no. 60962006 and by the Foundations of Research Projects of State Ethnic Affairs Commission.