Approximate ENS
Approximate ENS
PII: S0020-0255(16)30427-3
DOI: 10.1016/j.ins.2016.06.007
Reference: INS 12280
Please cite this article as: Xingyi Zhang, Ye Tian, Yaochu Jin, Approximate non-dominated sorting for
evolutionary many-objective optimization, Information Sciences (2016), doi: 10.1016/j.ins.2016.06.007
This is a PDF file of an unedited manuscript that has been accepted for publication. As a service
to our customers we are providing this early version of the manuscript. The manuscript will undergo
copyediting, typesetting, and review of the resulting proof before it is published in its final form. Please
note that during the production process errors may be discovered which could affect the content, and
all legal disclaimers that apply to the journal pertain.
ACCEPTED MANUSCRIPT
T
a
Institute of Bio-inspired Intelligence and Mining Knowledge, School of Computer Science and
IP
Technology, Anhui University, Hefei 230039, China
b
Department of Computing, University of Surrey, Guildford, Surrey, GU2 7XH, United
Kingdom
CR
c
College of Information Sciences and Technology, Donghua University, Shanghai 201620, China
Abstract
US
Non-dominated sorting has widely been adopted and shown to be very
AN
effective in dominance based evolutionary multi-objective optimization
where the number of objectives is two or three. In dealing with many-
objective optimization problems, where the number of objectives is more
than three, however, the effectiveness of dominance based evolutionary
M
Corresponding author.
∗
T
Keywords: Evolutionary multi-objective optimization, Computational
complexity, Non-dominated sorting, Approximation, Many-objective
IP
optimization
CR
1. Introduction
A multi-objective optimization problem (MOP) refers to a problem in-
volving multiple conflicting objectives. Mathematically, a continuous MOP
can be formulated as follows:
minimize
US
F (X) = (f1 (X), . . . , fM (X))
(1)
AN
subject to X∈Ω
where Ω ⊆ Rn is the decision space, F : Ω → RM consists of M objectives
and RM is called the objective space. Due to the conflicting nature of the
M
attention has been paid to an even more challenging subset of MOPs that
have more than three conflicting objectives. Such MOPs are referred to as
many-objective optimization problems (MaOPs) in the evolutionary com-
AC
2
ACCEPTED MANUSCRIPT
T
nance based MOEAs, such as NSGA-II and SPEA2 to solve MaOPs, two
major difficulties arise. First, as the number of objectives increases, it be-
IP
comes harder to distinguish the quality of solutions based solely on dom-
inance comparisons, resulting in a dramatically decreased selection pres-
CR
sure for the population to converge towards the Pareto front [5, 23, 25].
Second, the runtime consumed by non-dominated sorting increases con-
siderably, seriously decreasing the computational efficiency of MOEAs in
US
solving MaOPs. It is worth noting that it maybe still work if the objec-
tives are handled separately by different populations, e.g., by using the
multiple populations for multiple objectives (MPMO) framework that is
different from NSGA-II or MOEA/D [56].
AN
Most on-going research on many-objective optimization focuses on ad-
dressing the first difficulty. Generally speaking, two main streams of ideas
have been developed. The first is to modify the definition of the tradi-
M
III) [9] and knee point driven evolutionary algorithm for many-objective
optimization (KnEA) [59] belong to this category of MOEAs. Note, how-
ever, that there also exist a large number of other many-objective optimiza-
AC
tion algorithms based on ideas different from those discussed above, see,
e.g., [7, 11, 38, 41, 48].
No much work has been dedicated to reducing the high time com-
plexity of dominance based MOEAs in dealing with MaOPs with only
a few exceptions, although several interesting algorithms have been re-
ported that aim to improve the time efficiency of non-dominated sort-
3
ACCEPTED MANUSCRIPT
T
mentioned non-dominated sorting methods remain to be subject to con-
siderable increase in runtime when the number of objectives becomes higher
IP
than three.
In addition to developing efficient non-dominated sorting methods for
CR
dominance based MOEAs, it is worth mentioning that research has also
been conducted on reducing the time complexity of performance indicator
based MOEAs for solving MaOPs. For example, the hypervolume-based
US
many-objective optimization (HypE) [1] proposed to use Monte Carlo sim-
ulations to approximately calculate the hypervolume values. In this way,
the time complexity for hypervolume calculation can be greatly reduced,
which makes it possible to use HypE for solving MaOPs. A similar idea
AN
was also reported in [4], where the Monte Carlo method has been adopted
for approximating the hypervolume in the multi-objective covariance ma-
trix adaptation evolution strategy (MO-CMA-ES).
M
MaOPs. The main idea is that, at most three objective comparisons will
be performed in A-ENS in determining the dominance relationship be-
tween two solutions, no matter how many objectives there are. If it is not
able to determine the dominance relationship between two solutions after
PT
three comparisons, then the solution that has already been assigned to a
non-dominated front will be considered to dominate the one that is yet
to be assigned to a front. This means that A-ENS will not consume more
CE
runtime for MaOPs having a large number of objectives than for MOPs
having three objectives. In order to evaluate the influence of the approx-
imate dominance ranking on the performance of MOEAs, we replace the
AC
4
ACCEPTED MANUSCRIPT
T
erties regarding the sorting accuracy of the A-ENS are also examined to
understand the influence of approximate sorting on search behavior. Sim-
IP
ulation results of GrEA, NSGA-III and PICEA-g using the proposed A-
ENS on 16 many-objective test problems are described and discussed in
CR
Section 5. Conclusions and future work are given in Section 6.
2. Related work
US
In this section, we review a few popular non-dominated sorting meth-
ods, starting with a brief introduction to the concept of Pareto dominance
in multi-objective optimization.
AN
2.1. Pareto dominance and non-dominated sorting
Non-dominated sorting is a procedure where solutions in the popu-
lation of an MOEA are divided into several groups based on their Pareto
M
exists at least one j ∈ {1, . . . , M } satisfying fj (X1 ) < fj (X2 ). For two so-
lutions X1 and X2 , if there exist k, l, where 1 ≤ k, l ≤ M , k 6= l, such
that fk (X1 ) < fk (X2 ) and fl (X1 ) > fl (X2 ), or if fi (X1 ) = fi (X2 ) for all
PT
5
ACCEPTED MANUSCRIPT
T
distinguish themselves in the way in which the solutions are sorted and
thus are different in computational complexity. Note that these non-domin-
IP
ated sorting methods are all accurate and therefore the sorting results of
these algorithms are identical.
CR
2.2. Accurate non-dominated sorting approaches
Most existing research on non-dominated sorting aims to improve its
US
time efficiency. The first idea of using non-dominated sorting for evolu-
tionary multi-objective optimization was realized in the non-dominated
sorting genetic algorithm (NSGA) in [42]. The non-dominated sorting
method reported there has a relatively high time complexity of O(M N 3 ),
AN
where M is the number of objectives and N is the number of solutions
in the population. The main reason for the high time complexity is that
each pair of solutions may be compared for more than once. An improved
M
6
ACCEPTED MANUSCRIPT
T
time complexity as deductive sort, however it was shown that corner sort
needs much fewer objective comparisons than deductive sort in empirical
IP
evaluations. Most recently, an efficient non-dominated sorting algorithm,
termed ENS, was proposed by us [58]. ENS sorts the population according
CR
to the first objective before non-dominated sorting is performed. Conse-
quently, ENS only needs to compare a solution to be assigned to a non-
dominated front with those that have already been assigned to the front.
US
It has been shown that ENS has a time complexity of O(M N √ ) in the worst
2
7
ACCEPTED MANUSCRIPT
T
scribing the details of the proposed approximate non-dominated sorting
approach A-ENS.
IP
3.1. A brief summary of ENS
CR
ENS consists of the following two main steps. First, all solutions in
the population are sorted in an ascending order according to one of the
objectives, usually the first objective. Second, the solutions in the sorted
US
population are assigned to non-dominated fronts one by one, starting from
the first solution to the last one by comparing a solution to be assigned to
a front with those that have been assigned to the front. If this solution
is non-dominated with all solutions that have been assigned to the front,
AN
then the solution is also assigned to the front. Otherwise, ENS will check
whether the solution can be assigned to the next front. This procedure
repeats until all solutions in the population are assigned to a front.
Theoretical analysis and empirical evaluations illustrated that ENS is a
M
be compared with those that have already been assigned to a front, which
is made possible by sorting the individuals in the population according to
one of the objectives. In other words, for a population sorted according to
PT
solution can never dominate solutions that have already been assigned to
the fronts.
Due to the above reason, A-ENS also sorts the solutions in the popu-
AC
8
ACCEPTED MANUSCRIPT
T
determining the Pareto dominance relationship between two solutions. In
IP
case the dominance relationship between two solutions cannot be deter-
mined by performing three objective comparisons, then the solution that
has already been assigned to a non-dominated front will be considered to
CR
dominate the one to be assigned to the front. In other word, the compu-
tational cost of the A-ENS for an MaOP will be no more than that for an
MOP having three objectives.
US
The details of A-ENS are presented in Algorithm 1 in pseudo code. To
describe the details of the A-ENS, let us consider an M -objective mini-
mization problem to be optimized by an MOEA whose population size is
N . Similar to ENS, A-ENS begins with sorting the N solutions according
AN
to the first objective in an ascending order. If the sorted population is de-
noted by p1 , p2 , ..., pN , then the first objective of pi is always smaller than or
equal to the first objective of pj , if i < j, where 1 ≤ i, j ≤ N . Consequently,
M
maximum of each objective. For any solution p = (f1 , f2 , ..., fM ), the nor-
malized solution p0 = (f10 , f20 , ..., fM 0
), where fi0 = (fi − fmin )/(fmax − fmin ),
fmin and fmax are the minimum and maximum values on the i-th objec-
tive in the population. After normalization, for each solution, identify the
PT
two objectives from the second to the M -th objective that have the max-
imum and minimum objective values, respectively. For example, if the
objective values of a solution to a four-objective optimization problem is
CE
(f1 , f2 , f3 , f4 ) =(0.1, 0.8, 0.2, 0.6), then the second objective f2 and the third
objective f3 will be used for dominance comparisons. These two objec-
tives of each solution, together with its mean value of the second objective
AC
9
ACCEPTED MANUSCRIPT
T
3 for i = 1 to |P | do
IP
4 M inLoc[i] ← arg minj=2...M pji ;
5 M axLoc[i] ← arg maxj=2...M pji ;
P
CR
6 M ean[i] ← M1−1 j=2...M pji ; /*pji represents the j-th
objective value of the i-th solution in P */
7 F ←∅; /*the set of fronts*/
8
9
10
k←0;
while not empty(P ) do US /*the number of fronts*/
M inLoc[i] M inLoc[i]
14 if pi < qj then /* q represent the
solutions having been assigned to F [k] */
15 dominated ← f alse;
ED
M axLoc[j] M axLoc[j]
16 else if pi < qj then
17 dominated ← f alse;
18 else if M ean[i] < M ean[j] then
PT
19 dominated ← f alse;
20 else
CE
21 dominated ← true;
22 if dominated == f alse then
23 F [k] ← F [k] ∪ {pi };
AC
24 P ← P − {pi };
25 return F
10
ACCEPTED MANUSCRIPT
T
F1 , as none of the solutions pj , j = 2, ..., N can dominate p1 . Next, A-ENS
checks whether the second solution p2 belongs to front F1 by making at
IP
most three objective comparisons with solution p1 . If p2 is non-dominated
with p1 , p2 will be assigned to F1 ; otherwise, p2 will remain in the pop-
CR
ulation P . After p2 is checked, A-ENS starts to check whether p3 can be
assigned to front F1 by comparing p3 with the solutions that have already
been assigned to front F1 , using at most three objective comparisons be-
tween each pair of solutions.
US
Now let us consider a more general situation in which we need to de-
termine the dominance relationship between two solutions p and q, where
p is a solution to be assigned to front F1 and q is a solution that has already
AN
been assigned to front F1 . Recall that the population has been sorted in
an ascending order according to the first objective, and all objective val-
ues are normalized. In A-ENS, the dominance comparison between p and
M
the third objective comparison needs to be carried out, where the mean
of the normalized objective values of p is compared with the mean of the
normalized objective values of q. If the mean objective value of q is larger
than that of p, then we consider p and q to be non-dominated; otherwise,
solution p is considered to be dominated by solution q.
Take the two solutions shown in Figure 1 as an example, where p =
11
ACCEPTED MANUSCRIPT
Mean of q
q 0.1 0.7 0.2 0.5 0.8 0.6 0.56
T
Mean of p
p 0.2 0.6 0.3 0.4 0.9 0.5 0.54
IP
Sorted
The minimum value in p
CR
Figure 1: Determining the Pareto dominance relationship between solutions p and q in
A-ENS by performing at most three objective comparisons. Note that the first objective is
not considered in the calculation of the maximum, minimum and mean of the objective
values of a solution.
US
(0.2, 0.6, 0.3, 0.4, 0.9, 0.5) and q = (0.1, 0.7, 0.2, 0.5, 0.8, 0.6) are the values of
the six objectives, respectively. First, we compare the third objective of
AN
p and q, as this is the minimum of all objectives of p, except for the first
objective. As the third objective value of q is larger than that of p, we
go to the next step to compare the fifth objective of p and q, as the fifth
objective value of q is the maximum among all objectives of q. Since the
M
fifth objective value of p is larger than that of q, we need then go to the last
step to compare the mean objective value of p with the mean of q. As the
mean of p is smaller than that of q, we consider p and q are non-dominated
ED
the objective that has a minimum value among all objectives (except for
the first objective) of the solution to be assigned to a front. The second
is the objective that has the maximum value among all objectives (except
CE
for the first one) of the solution that has been assigned to a front. Second,
non-dominance comparison is accurate if the non-dominance relationship
between two solutions can be determined by the first two comparisons.
However, the dominance relationship may be incorrect if it is determined
AC
in the last step, where the means of the objective values of the two solu-
tions are compared. Therefore, the non-dominated sorting using the three
comparisons is an approximate sorting method.
If the first non-dominated front F1 contains multiple solutions that
have been assigned to it, solution p needs to be compared with all these
12
ACCEPTED MANUSCRIPT
T
Next, A-ENS starts to assign the remaining solutions in the population
to the second front F2 . The first solution in the remaining solutions will
IP
definitely be assigned to F2 , since the population has been sorted accord-
ing to the first objective and the order of the solutions remains unchanged
CR
although the solutions assigned to F1 have been removed. Then, domi-
nance comparison using the three objective comparisons described above
will be performed between solutions assigned to F2 and solutions to be as-
US
signed, until all solutions belonging to F2 are identified. This procedure re-
peats until all solutions in the population are assigned to a non-dominated
front.
It should be pointed out that A-ENS often needs only to find the solu-
AN
tions belonging to the first front F1 for an MOEA to solve MaOPs, since
there exist a large number of non-dominated solutions in the combined
population already in the early stage.
M
3
at most 32 (N 2 − N ) objective comparisons and at least 2(dN 2 e − N ) objective
comparisons. Therefore,
√ the time complexity of A-ENS is √ O(N 2 ) in the worst
case, and O(N N ) in the best case, assuming that M < N , where M is the
number of objectives.
Proof. Note that A-ENS can be divided into the following four main steps:
13
ACCEPTED MANUSCRIPT
T
4) Assign solutions in the sorted population to non-dominated fronts.
IP
To analyze the time complexity of A-ENS, we first consider step 4), which
consumes the majority of the runtime of A-ENS. In assigning solutions to
CR
a non-dominated front, A-ENS compares any two solutions at most once
since a solution to be assigned to a front only needs to be compared with
the solutions that have been assigned to the front. In the worst case, all
solutions in the population belong to the same front, therefore any two
US
solutions in the population should be compared once, which means that
altogether (N 2 − N )/2 solution comparisons need to be performed. As
three objective comparisons are needed for comparing a pair of solutions,
AN
A-ENS performs at most 32 (N 2 − N ) objective comparisons.
√
In the best case, A-ENS assigns individuals in√the population to d N e
fronts and each front approximately contains d N e solutions. We also
M
√ d
ing N − d N e solutions in the population also need to be compared with
the last√solution that has already been assigned to front F1 , which incurs
N − d N e solution comparisons. Recall that in A-ENS, three objective
AC
14
ACCEPTED MANUSCRIPT
×105
2 0.18
Fast Non-dominated Sort Fast Non-dominated Sort
1.8 Corner Sort 0.16 Corner Sort
Deductive Sort Deductive Sort
1.6 ENS-SS 0.14 ENS-SS
Number of Comparisons
A-ENS A-ENS
1.4
0.12
Runtime (s)
1.2
0.1
1
T
0.08
0.8
0.06
0.6
IP
0.4 0.04
0.2 0.02
0 0
3 5 7 9 11 13 15 3 5 7 9 11 13 15
CR
Number of Objectives Number of Objectives
(a) (b)
3
needs to perform a minimum of 2(dN 2 e − N ) objective comparisons.
To summarize, step√ 4) of A-ENS has a time complexity of O(N ) in the
2
worst case and O(N N ) in the best case. The computational cost for steps
ED
we can conclude that the A-ENS approach√ has an overall time complexity
of O(N ) in the worst case and O(N N ) in the best case. Therefore, the
2
CE
ated sort [10], deductive sort [8], corner sort [49] and ENS-SS [58]. Fig-
ure 2 presents the number of objective comparisons and runtime of the
five compared non-dominated sorting methods, respectively. The results
are obtained from 30 uniformly randomly generated populations of size
200. As can be seen from the figure, A-ENS is computationally much more
15
ACCEPTED MANUSCRIPT
T
increases from 3 to 15, which is encouraging.
IP
4.2. Analysis of sorting accuracy
In the following, we will present some theoretical analysis on the sort-
CR
ing accuracy of A-ENS, which heavily depends on the number of objec-
tives.
Proposition 2. For MOPs with three objectives, A-ENS performs accurate non-
dominated sorting.
US
Proof. To prove Proposition 2, we only need to show that A-ENS can cor-
AN
rectly determine the Pareto dominance relationship between a solution to
be assigned and the solutions having been assigned to a front when the
number of objectives is three. Let p be the solution to be assigned and
q be the solution having been assigned to a front. For determining the
M
jective on which q has the maximum value among its second and third
objective values, as well as the means of p and q (except for the first ob-
jective value). If the two objectives are different, then the mean of p must
PT
be larger than that of q in case the two objectives cannot determine the
dominance relationship between p and q. This means that no errors will be
introduced in determining the dominance relationship of p and q when we
compare them using their mean fitness. Since the solutions are sorted in
CE
If the objective on which p has the minimum value is exactly the one
on which q has a maximum value, then A-ENS compares p and q only
based on this objective and their mean objective value. In this case, if the
dominance relationship between p and q cannot be determined by this ob-
jective, then q must have a smaller value than p on the remaining objective
16
ACCEPTED MANUSCRIPT
since the value on the remaining objective of q is always smaller than its
maximum objective value, while the value on the remaining objective of
p is always larger than its minimum objective value. Therefore, no error
will be introduced in determining the dominance relationship in using the
means of p and q for comparison and A-ENS can correctly determine the
T
dominance relationship between the two solutions. With the above analy-
sis, we can conclude that Proposition 2 holds.
IP
Remark 1. The following statements hold for A-ENS in sorting populations for
CR
solving MOPs with four or more objectives:
1) A-ENS cannot guarantee that it can sort the whole population correctly;
2) Almost all solutions assigned to a front by A-ENS exactly belong to the
US
front and the number of solutions correctly assigned to the first front by
A-ENS is very large when the MaOP has a large number of objectives;
3) Solutions belonging to the same front may be mistakenly assigned to differ-
AN
ent fronts by A-ENS, however, most of them will be assigned to the next
front.
determining whether a solution dominates the other. Due to the fact that
A-ENS uses at most three objectives (including the first objective based on
which the population is sorted but except for the mean fitness value), A-
ENS will introduce sorting errors and therefore cannot guarantee that all
PT
17
ACCEPTED MANUSCRIPT
assumes that this solution is dominated by the solution having been as-
signed to the front, thereby assigning it to a front after front i. Error type
b) can be seen as a consequence of error type a): when some solutions are
incorrectly assigned to a front that is after the front they should belong to,
solutions dominated by these incorrectly assigned solutions will be possi-
T
bly assigned to a front before the front they belong to.
IP
1
Solutions correctly Solutions correctly
CR
assigned to front 1 assigned to front 1
Solutions in front 1 but Solutions in front 1 but
not assigned to front 1 0.995 0.8 assigned to front 2
1
Solutions in other fronts 0.898 Solutions in front 1 but
but assigned to front 1 assigned to other fronts
Ratio of Solutions
Ratio of Solutions
0.8 0.748 0.6
0.6
0.4
0.2
0
0.201
0
0.343
0.001 0 0 0
US 0.4
0.2
0
AN
4-objective 5-objective 8-objective 10-objective 15-objective 4-objective 5-objective 8-objective 10-objective 15-objective
(a) (b)
Figure 3: Ratio of solutions assigned to the first front by A-ENS and ratio of solutions
M
belonging to the first front that are assigned to different fronts by A-ENS for random
populations of size 200 for different numbers of objectives. The results are obtained by
averaging over 30 random populations of the same size and same objectives. (a) Ratio
of solutions assigned to the first front; (b) Ratio of solutions in the first front assigned to
ED
different fronts.
to different fronts by A-ENS for random populations of size 200 for dif-
ferent numbers of objectives. The results are obtained by averaging over
30 random populations of the same size and the same number of objec-
CE
tives. As shown in Figure 3 (a), only a very small number of solutions are
incorrectly assigned to the first front for random populations with four ob-
jectives among all random populations. These empirical results illustrate
AC
that error type b) made by A-ENS is very rare for populations with four
or more objectives. Moreover, the number of solutions correctly assigned
to the first front by A-ENS becomes larger when the number of objectives
increases.
From Figure 3 (b), we can find that A-ENS may assign solutions in the
first front to different fronts. However, a majority of the solutions are cor-
18
ACCEPTED MANUSCRIPT
rectly assigned to the first front. Furthermore, almost all solutions in the
first front which are assigned to the other fronts by mistake are assigned
to the second front. Roughly 95% of the solutions belonging to the first
front are either correctly assigned to the first front or incorrectly assigned
to the second front. Only a very low ratio of the solutions belonging to the
T
first front are assigned to a front after front two. The above analysis and
empirical results confirm the statements of Remark 1.
IP
In the following, we further empirically investigate which solutions in
a population are likely to be incorrectly assigned by A-ENS. To this end,
CR
we consider populations consisting of non-dominated solutions and all
these solutions belong to the true Pareto front of an MOP with only one
exception, which is far from the front although it is non-dominated with
US
other solutions in the population. Therefore, this particular solution is
worse than other non-dominated solutions in the population in terms of
convergence. We check how likely it is that the non-dominated solution
with poor convergence will be considered to be dominated by other so-
AN
lutions due to the sorting errors introduced by A-ENS. For this purpose,
we randomly generate 100 solutions located in the true Pareto front of 5-
objective DTLZ2 and move a randomly selected solution away from the
M
A-ENS before and after different values of λ are multiplied, for 200 ran-
dom populations obtained from the true Pareto front of 5-objective DTLZ2.
As shown in the figure, it is easy to find that the non-dominated solution
CE
19
ACCEPTED MANUSCRIPT
0.7
0.6
T
0.5
0.4
IP
0.3
0.2
CR
0.1
0
1.05 1.10 1.15 1.20 1.25 1.30 1.35 1.40 1.45 1.50
λ
US
Figure 4: Ratio of times that a randomly selected non-dominated solution is incorrectly
considered to be dominated by other solutions in the population by A-ENS before and
after different values of λ are multiplied, for 200 random populations obtained from the
true Pareto front of 5-objective DTLZ2.
AN
for MOPs with three or more objectives. We also show that A-ENS intro-
duces errors in non-dominated sorting for MOPs with more than three ob-
jectives. However, our analyses indicate that the introduced sorting errors
M
are minor, which can eventually bring about a slight bias towards solu-
tions having good convergence. In the next section, we will empirically
demonstrate that A-ENS can enhance the search performance of MOEAs
ED
in [59]. Due to the fact that the A-ENS can also correctly perform non-
dominated sorting for MOPs with two or three objectives, we only con-
sider test problems with 4, 6, 8 and 10 objectives. We compare the quality
of the obtained non-dominated solution sets with the help of widely used
performance indicators as well as the computational efficiency in terms of
20
ACCEPTED MANUSCRIPT
T
front) of MOEAs and the distribution of the achieved non-dominated so-
lutions. To evaluate the convergence and diversity separately, two addi-
IP
tional widely used quality metrics, generational distance (GD) [46], which
assesses convergence, and spread (∆) [52], which accounts for diversity,
CR
are also compared. The larger the HV value, the better the quality of the
solution set is. By contrast, small values of IGD, GD and ∆ are prefer-
able. The reference point for calculating HV is chosen as follows. We first
US
combine all solution sets obtained by the compared algorithms in all runs
on the considered test instance, then we remove all dominated solutions
in the combined solution set. The maximum values in each objective of
all the non-dominated solutions are identified as the reference point for
AN
calculating the HV. In addition, the Monte Carlo method is adopted here
for estimating the HV, where 1,000,000 sampling points are used. On the
other hand, the calculation of the three metrics IGD, GD and ∆ requires
M
use exactly the same number of reference points. In this work, we set the
number of reference points to an integer that is closest to 500.
In all experiments reported in this work, the number of generations is
adopted as the termination criterion for all considered algorithms. For
PT
to 250. On each test instance, 30 independent runs are performed for each
algorithm and the median performance value is reported. All simulations
are conducted on a PC with a 3.16GHz Intel Core 2 Duo CPU E8500 and
AC
the Windows 7 SP1 64 bit operating system. We should stress that, al-
though the proposed A-ENS can not identify all non-dominated solutions
in the first front, it still aims to achieve a representative of the whole Pareto
set instead of only a subset when it is embedded into the MOEAs consid-
ered in this work.
21
ACCEPTED MANUSCRIPT
Table 1: Parameter setting in NSGA-III, where p1 and p2 are parameters controlling the
numbers of reference points along the boundary of the Pareto front and inside it, respec-
tively.
number of
parameter (p1 , p2 ) population size
T
objectives
4 (7, 0) 120
IP
6 (4, 1) 132
8 (3, 2) 156
CR
10 (3, 2) 275
US
We first test the performance of A-ENS when it is embedded into NSGA-
III [9], a popular dominance based MOEAs recently proposed for solving
MaOPs. NSGA-III has a similar framework to NSGA-II, but a very differ-
AN
ent selection mechanism for solutions in the same front. Instead of using
the crowding distance in NSGA-II, a set of uniformly distributed reference
points are adopted in NSGA-III so that non-dominated solutions closest
to these reference points are selected. To prevent the reference points from
M
being generated on the boundary of Pareto fronts for problems with a large
number of objectives, a two-layered reference point generation method
was suggested in NSGA-III to make sure that some reference points lo-
ED
22
ACCEPTED MANUSCRIPT
T
9.1E-1† 8.9E-1 9.8E-1† 9.0E-1 9.2E-1† 7.1E-1 1.0E+0† 5.2E-1
DTLZ1 (9.8E-4) (7.3E-3) (3.3E-3) (4.4E-2) (1.7E-1) (2.4E-1) (6.0E-3) (2.0E-1)
IP
5.7E-1† 5.7E-1 7.4E-1 7.6E-1† 8.5E-1 9.1E-1† 9.4E-1 9.8E-1†
DTLZ2 (1.3E-3) (1.5E-3) (6.7E-3) (3.6E-3) (2.2E-2) (2.0E-3) (2.7E-2) (5.8E-4)
5.9E-1† 5.2E-1 1.0E+0† 9.9E-1 1.0E+0† 1.0E+0 1.0E+0 1.0E+0
DTLZ3
CR
(1.7E-2) (1.0E-1) (7.8E-5) (4.1E-2) (5.5E-6) (4.0E-4) (0.0E+0) (0.0E+0)
5.6E-1 5.6E-1† 7.5E-1 8.0E-1† 9.2E-1 9.5E-1† 9.9E-1 1.0E+0†
DTLZ4 (4.2E-2) (3.9E-2) (4.2E-2) (3.9E-2) (1.0E-2) (1.3E-2) (8.3E-4) (1.7E-3)
6.7E-1† 6.7E-1 8.0E-1 8.0E-1† 8.3E-1† 8.0E-1 8.6E-1† 7.9E-1
DTLZ5 (2.9E-3) (1.8E-3) (8.1E-3) (1.3E-2) (1.5E-2) (3.2E-2) (9.1E-3) (2.4E-2)
DTLZ6
DTLZ7
9.1E-1
(5.3E-3)
1.9E-1
(4.3E-3)
9.1E-1†
(7.4E-3)
1.9E-1†
(6.8E-3)
8.8E-1
(4.4E-2)
1.2E-1
(7.1E-3)
US
9.5E-1†
1.5E-1†
9.0E-1
8.6E-2
9.6E-1†
(1.0E-2) (4.3E-2) (1.1E-2)
1.3E-1†
(1.1E-2) (9.7E-3) (7.9E-3)
8.9E-1
(3.2E-2)
8.9E-2
(1.1E-2)
9.4E-1†
(1.7E-2)
1.3E-1†
(8.7E-3)
AN
6.8E-1 9.4E-1† 6.7E-1 1.0E+0† 4.3E-1 1.0E+0† 2.8E-1 1.0E+0†
WFG1 (4.8E-2) (3.7E-2) (4.9E-2) (6.9E-4) (5.0E-2) (2.1E-3) (6.5E-2) (6.6E-4)
9.4E-1† 9.4E-1 9.5E-1† 9.4E-1 9.9E-1 9.9E-1 1.0E+0 9.9E-1
WFG2 (6.9E-2) (7.6E-2) (7.4E-2) (7.4E-2) (2.2E-3) (5.7E-3) (2.6E-3) (2.5E-3)
5.9E-1 5.9E-1† 5.3E-1 5.3E-1 5.5E-1 5.9E-1† 5.5E-1 5.7E-1†
M
nificance of the differences between the results obtained by the two algo-
rithms. As can be seen from the table, when NSGA-III adopts the pro-
posed A-ENS instead of the accurate non-dominated sorting algorithm,
the performance of NSGA-III has a clear improvement on a majority of
the test instances from DTLZ and WFG suites. From the Wilcoxon’s rank
23
ACCEPTED MANUSCRIPT
Table 3: Runtime (s) of five different non-dominated sorting approaches in NSGA-III for
solving DTLZ and WFG test problems, where the runtime of a non-dominated sorting
approach on M objectives is obtained by averaging over the runtime consumed by the
algorithm for the embedded NSGA-III running one time on all DTLZ and WFG problems
with M objectives.
T
Non-dominated sorting approach
MOEA obj. fast non- deductive corner
IP
dominated sort sort sort ENS-SS A-ENS
CR
6 62.41 25.68 26.03 19.57 6.28
NSGA-III 8 93.79 38.71 38.35 30.52 8.18
10 312.13 134.36 129.05 106.63 20.09
US
sum test point of view, it can also be found that NSGA-III/A-ENS per-
forms better than NSGA-III. Among the 64 test instances used in the study,
AN
NSGA-III/A-ENS achieved statistically significantly better performance
on 44 test instances and the results on 7 instances do not have significant
difference. Therefore, we can conclude that NSGA-III using A-ENS out-
performs NSGA-III using the accurate non-dominated sorting algorithm.
M
tained by averaging over the runtime consumed by the algorithm for the
embedded NSGA-III running one time on all DTLZ and WFG problems
with M objectives. As shown in the table, the A-ENS is much less time-
PT
saved by A-ENS. From Tables 2 and 3, we can conclude that A-ENS can
not only significantly improve the computational efficiency of NSGA-III,
but also enhance the performance of NSGA-III on most DTLZ and WFG
AC
24
ACCEPTED MANUSCRIPT
sorting approach performs better than A-ENS in NSGA-III, while the 10-
objective DTLZ2 is a representative of those on which A-ENS outperforms
the accurate non-dominated sorting approach.
Figure 5 presents the evolutionary trajectories of IGD, GD and ∆ for
NSGA-III using an accurate non-dominated sorting approach and A-ENS,
T
respectively, on 4-objective DTLZ2 and 10-objective DTLZ2, averaging over
30 runs. As can be seen from Figure 5, in terms of both convergence and
IP
diversity, NSGA-III using the accurate non-dominated sorting approach
performs better than NSGA-III using A-ENS on 4-objective DTLZ2, while
CR
NSGA-III using A-ENS outperforms NSGA-III using the accurate non-
dominated sorting approach on 10-objective DTLZ2. From the conver-
gence point of view, however, NSGA-III using A-ENS always performs
US
better than the NSGA-III using the accurate non-dominated sorting ap-
proach on both 4-objective DTLZ2 and 10-objective DTLZ2. On the other
hand, NSGA-III using the accurate non-dominated sorting approach achie-
ves better performance than that using A-ENS on 4-objective DTLZ2 and
AN
10-objective DTLZ2 in terms of solution diversity. These results show that
the proposed A-ENS has a bias toward non-dominated solutions with bet-
ter convergence, which may lead to a slight loss of population diversity
M
25
ACCEPTED MANUSCRIPT
0.2 0.6
0.18 0.55
IGD
IGD
T
0.5
0.16
IP
0.45
0.14
0.4
0.12
0.35
CR
10 50 100 150 200 250 10 50 100 150 200 250
Generations Generations
(a) (b)
11
10
Accurate approach
A-ENS
US 0.028
0.026
0.024
Accurate approach
A-ENS
AN
9 0.022
GD
GD
0.02
8
0.018
7 0.016
0.014
6
M
(c) (d)
ED
0.8
0.6
PT
0.7
0.5
∆
0.6
0.4
0.5
CE
0.3 0.4
0.2 0.3
(e) (f)
AC
26
ACCEPTED MANUSCRIPT
Ratio of Solutions
0.8 0.8
T
0.6 0.6
0.4 0.4
IP
0.2 0.2
0 0 0 0 0 0 0 0 0 0
0 0
50 100 150 200 250 50 100 150 200 250
CR
Generations Generations
(a) (b)
the NSGA-III using A-ENS and using the accurate non-dominated sort-
ing, we check the distance between the solutions and the reference points
M
in NSGA-III. For each reference point, we find the solution that is closest to
the reference line joining the reference point with the origin. Then, we cal-
culate the perpendicular distance between the solution and the reference
ED
line, denoted as d2 , and the distance between the origin and the projected
point of the solution on the reference line, denoted as d1 . It is clear that
if d1 is small, then at least one solution close to the reference point has
PT
tion at different generations when NSGA-III uses A-ENS and the accurate
non-dominated sorting approach, respectively, for solving 4-objective and
10-objective DTLZ2, averaging over 30 runs. As shown in the figure, it is
not difficult to find that NSGA-III using A-ENS has on average a smaller
AC
27
ACCEPTED MANUSCRIPT
0.025 0.02
d1
d1
T
0.02 0.015
0.015
0.01
IP
0.01
0.005
0.005
0 0
50 100 150 200 250 50 100 150 200 250
CR
Generations Generations
(a) (b)
0.09
0.08
0.07
0.06
0.05
Accurate approach
A-ENS
US 0.35
0.3
0.25
0.2
Accurate approach
A-ENS
AN
d2
d2
0.04 0.15
0.03
0.1
0.02
0.05
0.01
0 0
M
(c) (d)
ED
Figure 7: Means of d1 − 1 and d2 for each reference point in the population of NSGA-III
at different generations using A-ENS and an accurate non-dominated sorting approach,
respectively, in solving 4-objective and 10-objective DTLZ2, averaging over 30 runs. (a)
Mean of d1 − 1 for solving 4-objective DTLZ2; (b) Mean of d1 − 1 for solving 10-objective
PT
DTLZ2; (c) Mean of d2 for solving 10-objective DTLZ2; (d) Mean of d2 for solving 10-
objective DTLZ2.
CE
among all its objective values, as well as the means of p and q (except for
the first objective). In the following, we investigate the roles of the three
objective comparisons in A-ENS in determining the dominance relation-
ship between solutions when A-ENS is embedded into NSGA-III. Without
loss of generality, we consider an example where NSGA-III is used to solve
28
ACCEPTED MANUSCRIPT
Ratio of Solutions
0.8
0.6
0.6
T
0.4 0.4
IP
0.2 0.2
0 0
50 100 150 200 250 50 100 150 200 250
Generations Generations
CR
(a) (b)
Figure 8: Ratio of solutions in the first front identified by A-ENS, its three variants, each
using two of the three objective comparisons used by A-ENS, and a sorting strategy that
US
randomly selects three objectives for comparison at different generations, when they are
embedded into NSGA-III that solves the 4-objective and 10-objective DTLZ2. Results are
averaged over independent 30 runs. (a) Ratio of solutions on 4-objective DTLZ2; (b) Ratio
of solutions on 10-objective DTLZ2.
AN
tween solutions. Figure 8 plots the ratio of solutions in the first front,
averaged over 30 independent runs, that are correctly identified to be
in the first front by A-ENS, its three variants and the approximate sort-
ing method that randomly selects three objectives for comparisons at each
PT
generation, when they are embedded into NSGA-III for solving 4-objective
and 10-objective DTLZ2. From this figure, we can find that the A-ENS cor-
rectly identifies much more solutions that belong to the first front than its
CE
29
ACCEPTED MANUSCRIPT
GD
0.025
0.025
T
0.02
0.02
0.015
0.015
0.01
IP
0.01
0.005
0.005
10 50 100 150 200 250 10 50 100 150 200 250
Generations Generations
CR
(a) (b)
DTLZ2 with 4 objectives DTLZ2 with 10 objectives
1.3
1.6 A-ENS A-ENS
A-ENS without mean 1.2 A-ENS without mean
A-ENS without max
US
A-ENS without max
1.4 A-ENS without min A-ENS without min
1.1
Random three objectives Random three objectives
1.2 1
0.9
1
∆
∆
0.8
0.8
AN
0.7
0.6 0.6
0.5
0.4
0.4
10 50 100 150 200 250 10 50 100 150 200 250
Generations Generations
M
(c) (d)
DTLZ2 with 4 objectives DTLZ2 with 10 objectives
0.8
A-ENS A-ENS
1.6
A-ENS without mean A-ENS without mean
0.7
ED
IGD
1
0.4
0.8
PT
0.3
0.6
0.2
0.4
0.1
10 50 100 150 200 250 10 50 100 150 200 250
Generations Generations
CE
(e) (f)
Figure 9: Evolutionary trajectories of GD, ∆ and IGD for NSGA-III using A-ENS and
other four approximate non-dominated sorting strategies in solving 4-objective and 10-
AC
objective DTLZ2, averaged over 30 runs. (a) GD on 4-objective DTLZ2; (b) GD on 10-
objective DTLZ2; (c) ∆ on 4-objective DTLZ2; (d) ∆ on 10-objective DTLZ2; (e) IGD on
4-objective DTLZ2; (e) IGD on 10-objective DTLZ2.
30
ACCEPTED MANUSCRIPT
presents the evolutionary trajectories of GD, ∆ and IGD for NSGA-III us-
ing A-ENS and other four approximate non-dominated sorting strategies,
for solving 4-objective and 10-objective DTLZ2. The presented results are
averaged over 30 independent runs. From this figure, we can find that
the best convergence result is obtained by the A-ENS variant that does not
T
consider the objective on which it has a maximum objective values among
all its objectives values, while A-ENS achieves the best solution diversity.
IP
This might be attributed to the fact that A-ENS can correctly identify more
solutions in the first front than the other approximate sorting algorithms.
CR
As can be seen from Figure 9, A-ENS is able to achieve a better bal-
ance between convergence and diversity compared to other approximate
sorting methods that adopt two or three objective comparisons, when they
US
are used by NSGA-III for solving MaOPs. It is necessary to stress that the
proposed A-ENS can also sort a population according to another objective
or a randomly chosen objective at each generation, however our empirical
results indicate that A-ENS is fairly insensitive to the chosen objective to
AN
sort the population when it is embedded into MOEAs.
31
ACCEPTED MANUSCRIPT
Table 4: HVs of GrEA and GrEA/A-ENS on DTLZ1 to DTLZ7 and WFG1 to WFG9, where
the best mean for each test instance is highlighted.
4-objective 6-objective 8-objective 10-objective
Problem GrEA/ GrEA/ GrEA/ GrEA/
GrEA A-ENS GrEA A-ENS GrEA A-ENS GrEA A-ENS
T
6.4E-1 7.3E-1† 5.4E-1 9.9E-1† 1.0E+0 9.9E-1 1.0E+0† 1.0E+0
DTLZ1 (1.8E-1) (1.1E-1) (2.8E-1) (3.1E-2) (9.6E-6) (3.7E-2) (0.0E+0) (7.0E-5)
IP
6.0E-1 6.0E-1† 7.4E-1 7.5E-1† 9.1E-1 9.3E-1† 9.4E-1 9.4E-1†
DTLZ2 (1.4E-3) (1.6E-3) (2.4E-3) (1.5E-3) (6.1E-3) (1.8E-3) (1.6E-3) (1.4E-3)
1.2E-1 2.2E-1† 1.0E+0 9.7E-1 1.0E+0 1.0E+0 1.0E+0 1.0E+0
DTLZ3 (1.5E-1) (1.9E-1) (2.4E-4) (8.3E-2) (0.0E+0) (0.0E+0) (0.0E+0) (0.0E+0)
CR
5.8E-1 5.9E-1† 8.2E-1 8.2E-1† 8.8E-1 8.8E-1† 9.3E-1 9.3E-1†
DTLZ4 (6.0E-2) (4.7E-2) (2.4E-3) (1.0E-2) (3.8E-3) (3.2E-3) (6.1E-3) (5.8E-3)
2.7E-1 2.7E-1 7.2E-1 7.2E-1 8.0E-1 8.1E-1† 8.2E-1 8.2E-1
DTLZ5 (7.5E-4) (7.8E-4) (5.2E-3) (5.5E-3) (9.3E-3) (9.1E-3) (1.7E-2) (3.6E-2)
6.8E-1† 6.7E-1 9.6E-1† 9.5E-1
US
9.6E-1 9.4E-1 9.6E-1
DTLZ6 (9.8E-4) (3.5E-3) (5.4E-3) (2.3E-2) (1.1E-2) (4.3E-2) (1.7E-2) (1.9E-2)
1.8E-1† 1.7E-1 1.7E-1† 1.6E-1 3.1E-1 3.5E-1† 1.9E-1
DTLZ7 (2.1E-3) (2.1E-3) (9.4E-3) (4.8E-3) (1.1E-2) (8.2E-3) (2.5E-2) (1.2E-2)
9.7E-1†
2.9E-1†
AN
9.1E-1 9.3E-1† 9.3E-1 9.7E-1† 9.6E-1 9.8E-1† 9.5E-1 9.8E-1†
WFG1 (1.0E-1) (6.9E-2) (1.5E-1) (6.6E-2) (7.9E-2) (3.4E-2) (1.2E-1) (6.1E-2)
9.0E-1 9.3E-1† 9.5E-1 9.6E-1† 9.6E-1 1.0E+0† 9.7E-1 1.0E+0†
WFG2 (6.9E-2) (5.5E-2) (3.3E-2) (7.5E-2) (8.2E-3) (1.1E-3) (1.2E-2) (7.2E-4)
M
can find that both GrEA and PICEA-g using A-ENS perform better than
the original MOEA using the accurate non-dominated sorting approach
on most test instances from DTLZ and WFG suites. These results confirm
that A-ENS results in better optimization performance than the accurate
non-dominated sorting approach in GrEA and PICEA-g.
32
ACCEPTED MANUSCRIPT
Table 5: HVs of PICEA-g and PICEA-g/A-ENS on DTLZ1 to DTLZ7 and WFG1 to WFG9,
where the best mean for each test instance is highlighted.
4-objective 6-objective 8-objective 10-objective
Problem PICEA-g/ PICEA-g/ PICEA-g/ PICEA-g/
PICEA-g A-ENS PICEA-g A-ENS PICEA-g A-ENS PICEA-g A-ENS
T
7.9E-2 1.7E-1† 1.9E-1 4.0E-1† 1.0E-1 1.8E-1† 2.4E-1 2.5E-1
DTLZ1 (8.6E-2) (1.3E-1) (1.7E-1) (2.5E-1) (7.2E-2) (1.4E-1) (1.5E-1) (1.3E-1)
IP
5.4E-1 5.4E-1 7.3E-1 7.3E-1† 8.4E-1 8.4E-1 9.1E-1 9.3E-1†
DTLZ2 (6.0E-3) (6.9E-3) (9.5E-3) (9.4E-3) (3.4E-2) (9.9E-3) (4.3E-2) (4.3E-3)
1.3E-2 1.8E-2 5.0E-1 8.4E-1† 9.3E-1 9.7E-1† 9.9E-1 1.0E+0†
DTLZ3 (5.6E-3) (2.9E-2) (3.9E-1) (1.8E-1) (1.9E-1) (1.2E-1) (1.3E-2) (2.4E-3)
CR
5.5E-1 5.6E-1 7.1E-1 7.3E-1 8.3E-1 8.3E-1 9.2E-1 9.2E-1
DTLZ4 (6.2E-2) (3.9E-2) (5.5E-2) (3.3E-2) (1.7E-2) (1.7E-2) (5.2E-3) (5.8E-3)
4.8E-1† 4.6E-1 5.3E-1† 5.1E-1 4.9E-1† 4.8E-1 4.5E-1† 4.1E-1
DTLZ5 (2.1E-2) (3.9E-2) (9.9E-3) (1.2E-2) (2.6E-3) (3.3E-3) (6.1E-3) (1.0E-2)
7.6E-1 7.7E-1 8.5E-1† 8.3E-1
US
8.6E-1† 8.3E-1 9.5E-1†
DTLZ6 (4.2E-2) (4.7E-3) (4.1E-2) (1.6E-2) (6.2E-3) (1.7E-2) (2.4E-3) (5.3E-3)
1.4E-1† 1.1E-1 6.5E-2 6.2E-2 5.0E-2 5.1E-2 7.4E-2†
DTLZ7 (3.0E-2) (2.3E-2) (6.2E-3) (6.8E-3) (4.2E-3) (5.3E-3) (4.9E-3) (3.7E-3)
9.4E-1
7.1E-2
AN
9.7E-1 9.7E-1 1.0E+0 9.9E-1 9.9E-1† 9.8E-1 1.0E+0† 9.8E-1
WFG1 (4.6E-2) (5.0E-2) (3.1E-3) (1.7E-2) (2.9E-2) (6.4E-2) (1.5E-3) (6.7E-2)
9.5E-1 9.5E-1 9.4E-1† 9.3E-1 9.9E-1† 9.8E-1 1.0E+0† 9.8E-1
WFG2 (6.4E-2) (7.3E-2) (1.0E-1) (9.9E-2) (2.4E-3) (9.5E-3) (3.9E-3) (3.2E-2)
M
33
ACCEPTED MANUSCRIPT
T
Non-dominated sorting approach
MOEA obj. fast non- deductive corner
IP
dominated sort sort sort ENS-SS A-ENS
CR
6 62.43 25.77 26.29 19.61 6.32
GrEA 8 92.95 40.14 40.14 30.84 8.36
10 307.68 135.89 132.68 106.54 20.58
PICEA-g
4
6
8
48.98
63.96
100.71
US 18.06
26.01
41.30
18.46
26.33
40.72
13.13
19.46
31.88
5.55
5.77
6.39
AN
10 336.97 143.58 137.86 113.62 15.17
with M objectives. From the table, we can find that the efficiency of A-
M
From the above empirical studies, we confirm that A-ENS is not only
computationally more efficient, but also able to enhance the search perfor-
mance of dominance based MOEAs such as GrEA, NSGA-III and PICEA-
g. Therefore, we conclude that A-ENS is a promising non-dominated
PT
6. Conclusions
In this paper, an approximate non-dominated sorting approach, termed
AC
A-ENS, has been proposed for dominance based MOEAs to tackle MaOPs.
As a maximum of three objective comparisons are performed to determine
the dominance relationship between two solutions, A-ENS is able to effec-
tively reduce the computational cost for non-dominated sorting, especially
when the number of objectives is large. Theoretical analysis indicates√that
the time complexity of A-ENS is O(N 2 ) in the worst case and O(N N )
34
ACCEPTED MANUSCRIPT
in the best case, where N is the population size, for any MaOPs having
more than three objectives. Comparative studies have been conducted on
three state-of-the-art dominance based MOEAs using A-ENS and accurate
sorting methods, respectively, for solving two suites of widely used many-
objective test problems. Simulation results confirm that the proposed A-
T
ENS can considerably enhance computational efficiency of the MOEAs in
solving MaOPs. In addition, these results suggest A-ENS can enhance the
IP
search performance of dominance based MOEAs, especially when they
are employed to solve MaOPs.
CR
The success of A-ENS proposed in this work indicates that approxi-
mate non-dominated sorting may be of great interest for designing effi-
cient and effective evolutionary many-objective optimization. Preliminary
US
quantitative and qualitative analysis have been provided in this work to
understand the performance enhancement resulting in by A-ENS, never-
theless, it should be noted that a full understanding of the influence of
approximate sorting on the search performance remains open, partly due
AN
to the stochastic nature of the search mechanisms in all metaheuristics
such as evolutionary algorithms. Future work will be devoted to devel-
oping new efficient and effective MOEAs for solving MaOPs using ap-
M
new MOEAs for MaOPs that can fully exploit the benefit of approximate
non-dominated sorting methods.
Acknowledgments
PT
References
[1] J. Bader and E. Zitzler. HypE: an algorithm for fast hypervolume-
based many-objective optimization. Evolutionary Computation,
19(1):45–76, 2011.
35
ACCEPTED MANUSCRIPT
T
volume indicator. Artificial Intelligence, 195:265–290, 2013.
IP
[4] K. Bringmann, T. Friedrich, C. Igel, and T. Voss. Speeding up many-
objective optimization by Monte Carlo approximations. Artificial In-
telligence, 204:22–29, 2013.
CR
[5] D. Brockhoff, T. Friedrich, N. Hebbinghaus, C. Klein, F. Neumann,
and E. Zitzler. On the effects of adding objectives to plateau functions.
US
IEEE Transactions on Evolutionary Computation, 13(3):591–603, 2009.
36
ACCEPTED MANUSCRIPT
T
conference on Evolutionary Multi-Criterion Optimization, pages 47–61,
2005.
IP
[14] F. di Pierro, S.-T. Khu, and D. A. Savić. An investigation on preference
order ranking scheme for multiobjective evolutionary optimization.
CR
IEEE Transactions on Evolutionary Computation, 11(1):17–45, 2007.
US
cost reduction of non-dominated sorting using M-front. IEEE Trans-
actions on Evolutionary Computation, in press, 2014.
[16] J. Du, Z. Cai, and Y. Chen. A sorting based algorithm for finding non-
AN
dominated set in multi-objective optimization. In Proceedings of the
Third International Conference on Natural Computation, pages 436–440,
2007.
M
37
ACCEPTED MANUSCRIPT
T
does non-dominated really mean near to optimal? In Proceedings of
the 2001 IEEE Congress on Evolutionary Computation, pages 957–962,
IP
2001.
CR
EAs: the NSGA-II and other algorithms. IEEE Transactions on Evolu-
tionary Computation, 7(5):503–515, 2003.
US
[25] V. Khare, X. Yao, and K. Deb. Performance scaling of multiobjective
evolutionary algorithms. In Proceedings of the Second International Con-
ference on Evolutionary Multi-Criterion Optimization, pages 376–390,
2003.
AN
[26] M. Laumanns, L. Thiele, K. Deb, and E. Zitzler. Combining conver-
gence and diversity in evolutionary multiobjective optimization. Evo-
lutionary Computation, 10(3):263–282, 2002.
M
[29] M. Li, S. Yang, and X. Liu. Bi-goal evolution for many-objective opti-
mization problems. Artificial Intelligence, 228:45–65, 2015.
[30] Y. Li, Z. H. Zhan, S. Lin, J. Zhang, and X. Luo. Competitive and coop-
AC
[31] Q. Liu, W. Wei, H. Yuan, Z. H. Zhan, and Y. Li. Topology selection for
particle swarm optimization. Information Sciences, 363:154–173, 2016.
38
ACCEPTED MANUSCRIPT
T
[33] M. Negnevitsky. Artificial intelligence: a guide to intelligent systems.
Pearson Education, 2005.
IP
[34] R. C. Purshouse and P. J. Fleming. Evolutionary many-objective opti-
mization: an exploratory analysis. In Proceedings of 2003 Congress on
CR
Evolutionary Computation, pages 2066–2073, 2003.
[35] R. C. Purshouse and P. J. Fleming. On the evolutionary optimization
of many conflicting objectives. IEEE Transactions on Evolutionary Com-
putation, 11(6):770–784, 2007.
US
[36] B. Y. Qu and P. N. Suganthan. Multi-objective evolutionary algo-
AN
rithms based on the summation of normalized objectives and diver-
sified selection. Information sciences, 180(17):3170–3181, 2010.
[37] L. Barone S. Huband, P. Hingston and L. While. A review of mul-
tiobjective test problems and a scalable test problem toolkit. IEEE
M
509–518, 2003.
[40] C. Shi, M. Chen, and Z. Shi. A fast nondominated sorting algorithm.
In Proceedings of 2005 International Conference on Neural Networks and
AC
39
ACCEPTED MANUSCRIPT
T
objective optimization: performance assessments and comparisons.
Artificial intelligence review, 17(4):251–290, 2002.
IP
[44] K. Tang, P. Yang, and X. Yao. Negatively correlated search. IEEE
Journal on Selected Areas in Communications, 34(3):542–550, 2016.
CR
[45] S. Tang, Z. Cai, and J. Zheng. A fast method of constructing the non-
dominated set: arena’s principle. In Proceedings of the Fourth Interna-
US
tional Conference on Natural Computation, pages 391–395, 2008.
40
ACCEPTED MANUSCRIPT
T
for calculating hypervolume. IEEE Transactions on Evolutionary Com-
putation, 10(1):29–38, 2006.
IP
[54] S. Yang, M. Li, X. Liu, and J. Zheng. A grid-based evolutionary al-
gorithm for many-objective optimization. IEEE Transactions on Evolu-
CR
tionary Computation, 17(5):721–736, 2013.
US
based evolutionary algorithm for many-objective optimization. IEEE
Transactions on Evolutionary Computation, in press, 2015.
[56] Z.H. Zhan, J. Li, J. Cao, J. Zhang, H. Chung, and Y.H. Shi. Multiple
AN
populations for multiple objectives: A coevolutionary technique for
solving multiobjective optimization problems. IEEE Transactions on
Cybernetics, 43(2):445–463, 2013.
M
2015.
[59] X. Zhang, Y. Tian, and Y. Jin. A knee point driven evolutionary al-
CE
[60] J. Zheng, C. X. Ling, Z. Shi, and Y. Xie. Some discussions about MO-
AC
41
ACCEPTED MANUSCRIPT
T
lem Solving from Nature, pages 832–842, 2004.
IP
[63] E. Zitzler, L. Thiele, M. Laumanns, C. M. Fonseca, and V. G. D.
Fonseca. Performance assessment of multiobjective optimizers: an
analysis and review. IEEE Transactions on Evolutionary Computation,
CR
7(2):117–132, 2003.
US
for solving many-objective optimization problems. IEEE Transactions
on Systems, Man, and Cybernetics-Part B, 38(5):1402–1412, 2008.
AN
M
ED
PT
CE
AC
42