本文首先介绍了MOEAs评价指标的研究现 状,然后介绍了多目标优化的相关概念,综述了现有 的评价指标,并根据计数、收敛性、多样性、综合性这 四种类型划分评价指标,探讨了它们的优势与不足; 并选取了一些具有代表性的指标,分析了目标维度、 离群点、参考集、指标值四个方面对这些评价指标的 影响,给出了一些关于评价指标的定理.关于评价指 标还有很多方面有待进一步研究.
(1)无需先验信息的综合性指标.通用的综合 性指标大多需要设置参考集,即便是HV也需要知 道Pareto前沿在每个目标上的最大值以设置狕狉犲犳, 即需要知道真实Pareto前沿中边界点狓犲狓狋的先验 信息.但在部分实际问题中,真实Pareto前沿的信 息是未知的,因此有必要展开相关的研究.
(2)新型多元评价指标的研究.现有的指标大 多都是一元指标或二元指标[50],典型的一元指标如 IGD、HV,典型的二元指标如C、R2.但随着多因子 优化[113](MultifactorialOptimization,MFO)也称多 任务优化[114](MultitaskOptimization,MTO)的提 出,新型二元及多元评价指标,如衡量任务间相关 性[115]的评价指标,亟待进一步地研究.
(3)高维目标评价指标的研究.尽管现有的不 少评价指标能在MaOPs中使用,但是随着目标维 数的增加问题会变得复杂[75],当解集的收敛性较差 时,综合性指标难以准确地衡量多样性也是一个待 解决的问题[106],现阶段针对MaOPs评价指标的研 究成果仍然较少,如PD、P,有待进一步研究.
(4)大规模优化评价指标的研究.在大规模优 化中可以通过使用传统指标并统计时间开销的方式 衡量算法性能的优劣[116],也存在基于评价指标的 大规模多目标进化算法[117].现阶段关于大规模优 化的评价指标仍然侧重解集质量,关于决策变量分 组精确度以及算法优化速率的评价指标均存在一定 的研究空间.
(5)鲁棒性评价指标的研究.现有的许多评价 指标主要针对MOEAs所求得的解集质量,鲜有评 价方式能够衡量MOEAs的鲁棒性,评价指标的方 差只能反映MOEAs在求解某个MOPs时的鲁棒 性,并不能反映MOEAs在不同MOPs之间的鲁棒 性,也不能反映MOEAs对于参数设置的敏感性,因 此迫切需要对MOEAs的鲁棒性进行数学建模.
(6)PMOEAs评价指标的研究.缺乏能将决策 者偏好信息纳入考虑且无需人为指定偏好区域的综 合性评价指标,HVUM与IGDCF通过简单地划 分偏好区域,能够衡量偏好区域内解集的质量,但并 不能衡量解集与决策者偏好之间的关系[37],如何通 过评价指标衡量这两者之间的关系是亟待研究的 问题.
(7)DMOEAs评价指标的研究.DMOEAs的 评价指标都是基于代数的伪动态评价指标,在基准 测试集FDA[35]、DMOP[118]、F[119]等系列测试函数 上表现稳定,但是这些测试函数的动态模式大多都 是有规律的、可预测的,而实际的动态问题更为复 杂,因此动态评价指标仍然有些路要走.
(8)MMOEAs评价指标的研究.由于目前 MMOEAs多应用于低维目标的MOPs[120],其在目 标空间中解集的表现较好,因此多衡量决策空间中 解集质量,缺乏能够同时衡量解集犛在决策空间和 目标空间中综合性的指标.如何结合现有的综合性 指标和MMOEAs的专用指标,是需要考虑的问题.
(9)关于评价指标的数学性质研究.针对评价 指标的数学性质以及相关定理推导的显著性研究成 果主要集中在HV及其系列指标上,其它的评价指 标相关研究成果目前仍然较少.现阶段研究评价指 标的性质主要通过运行MOEAs并对指标数值进行 对比分析,但MOEAs存在一定的随机性,并不能严 格证明评价指标存在某些特性,因此需要进一步展 开评价指标在数学方面的相关研究.
参考文献
[1]ZhangJ,XingL.Asurveyofmultiobjectiveevolutionary algorithms//Proceedingsofthe2017IEEEInternational ConferenceonComputationalScienceandEngineering(CSE) andIEEEInternationalConferenceonEmbeddedand UbiquitousComputing(EUC).Guangzhou,China,2017: 93100
[2]MaH,ShenS,YuM,etal.Multipopulationtechniquesin natureinspiredoptimizationalgorithms:Acomprehensive survey.SwarmandEvolutionaryComputation,2019,44: 365387
[3]FalcónCardonaJG,CoelloCoelloAC.Indicatorbased multiobjectiveevolutionaryalgorithms:Acomprehensive survey.ACMComputingSurveys,2020,53(2):135
[4]DebK,PratapA,AgarwalS,etal.Afastandelitist multiobjectivegeneticalgorithm:NSGAII.IEEETransactions onEvolutionaryComputation,2002,6(2):182197
3 1 6 8期 王丽萍等:多目标进化算法性能评价指标研究综述 1
《 计
算
机
学
报
》
[5]ZitzlerE,LaumannsM,ThieleL.SPEA2:Improvingthe
[32]HeinonenJ.LecturesonAnalysisonMetricSpaces.Berlin,
[57]DebK,JainS.Runningperformancemetricsforevolutionary
[85]JiangS,YangS,LiM.Ontheuseofhypervolumefordiversity
[113]GuptaA,OngYS,FengL.Multifactorialevolution: Towardevolutionarymultitasking.IEEETransactionson EvolutionaryComputation,2015,20(3):343357
[114]OngYS,GuptaA.Evolutionarymultitasking:Acomputer scienceviewofcognitivemultitasking.CognitiveComputation, 2016,8(2):125142
[115]ZhengX,QinAK,GongM,etal.Selfregulated evolutionarymultitaskoptimization.IEEETransactionson
EvolutionaryComputation,2019,24(1):1628
[116]HeC,LiL,TianY,etal.Acceleratinglargescalemulti objectiveoptimizationviaproblemreformulation.IEEE TransactionsonEvolutionaryComputation,2019,23(6): 949961
[117]HongW,TangK,ZhouA,etal.Ascalableindicator
basedevolutionaryalgorithmforlargescalemultiobjective optimization.IEEETransactionsonEvolutionaryComputation, 2018,23(3):525537
[118]JiangS,YangS.Evolutionarydynamicmultiobjective optimization:Benchmarksandalgorithmcomparisons.IEEE TransactionsonCybernetics,2016,47(1):198211
[119]ZhouA,JinY,ZhangQ.Apopulationpredictionstrategy forevolutionarydynamicmultiobjectiveoptimization.IEEE
TransactionsonCybernetics,2013,44(1):4053
[120]IshibuchiH,PengY,ShangK.Ascalablemultimodal multiobjectivetestproblem//Proceedingsofthe2019IEEE CongressonEvolutionaryComputation.Wellington,New Zealand,2019:310317
附录犡.
定理6. 对于同一个解集犛,γ始终不小于GD. 证明. 即证:
∑
犖犻=1犱犻
槡 ∑犻犖=1犱犻2 (133)
其中犱犻0,即证犻∑
狀=1犱犻槡
犻∑
狀=1犱犻2(狀犖)成立.狀=1时显然
成立,下面证明狀=2时成立.根据三角不等式:
犱犻+犱犻+1
槡
犱犻2+犱犻2+1 (134) 其中槡
犱犻2+犱犻2+1可以看作直角三角形的斜边,当犱犻=0或 犱犻+1=0时不等式(134)取到等号.将槡
犱犻2+犱犻2+1看作新的 犱犻,犱犻+2看作新的犱犻+1,代入不等式(134)得:犱犻+犱犻+1+犱犻+2
槡
犱犻2+犱犻2+1+犱犻+2
槡
(槡
犱犻2+犱犻2+1)2+犱犻2+2=
槡
犱犻2+犱犻2+1+犱犻2+2 (135) 故当狀=2时成立,假设狀=犽(犽<犖)成立,证明狀=犽+1 时成立:∑
犽+1犻=1犱犻
槡 ( ) 槡 ∑犻犽=1犱犻2+犱犽+1
槡 ( ) 槡 ∑犻犽=1犱犻2+犱犽2=槡 ∑犽犻+=11犱犻 (136)
根据数学归纳法,得证.当只有一个犱犻≠0时不等式取
到等号. 证毕.
定理7和定理8. 对于同一个解集犛,GD(犛,犘,犼) GD(犛,犘,犽),IGD(犘,犛,犼)IGD(犘,犛,犽),其中犼<犽.
证明. 即证:
∑
犖犻=1犱犼
( )
犻1犼( )
犻∑
犖=1犱犽犻犽1 (137) 其中犱犻0,即证( )
犻∑
狀=1犱犼犻1犼( )
犻∑
狀=1犱犻犽1犽(狀犖)成立.狀=1 时显然成立,下面证明狀=2时成立.不等式(137)的左边是以犼为变量的函数犉(犼),即证犉(犼)犉(犽),即证函数犉(狓)
(狓1)单调递减,即证犉′(狓)0.
设犱1=犪,犱2=犫,则犉(狓)=(犪狓+犫狓)1狓,令犉(狓)=犲犌(狓), 则犌(狓)=ln(犪狓+犫狓)
狓 ,即证犌′(狓)0.当犫=0时,犌′(狓)=0 成立,当犫≠0时,有:
犌′(狓)=l
( )
n(犪狓狓 ′+犫狓)=l烄n(犫)+ln
( ) ()
犫犪狓+1烆 烌
烎
狓 ′(犫≠0)(138)
令犪
犫=狆,狆∈(0,+∞),即 犌′(狓)=l
( )
n(狆狓 ′狓+1)=狆狓ln(狆)
狆狓+1-ln(狆狓+1) 狓2
=狆狓ln(狆)-(狆狓+1)ln(狆狓+1)
狓2(狆狓+1) (狓1)(139)
其中狓2(狆狓+1)>0,令犌′(狓)=犎(狓) 狓2(狆狓+1),则 当狆=1时,显然犎(狓)<0.
当狆∈(0,1)时,狆狓ln(狆)<0,(狆狓+1)>0,ln(狆狓+1)>0, 故犎(狓)<0.
当狆∈(1,+∞)时,有狆狆狓(狓1),则
0<ln(狆)ln(狆狓)<ln(狆狓+1) (140)
又有0<狆狓<狆狓+1,故犎(狓)<0.
故当狀=2时成立,假设狀=犽(犽<犖)成立,证明狀=犽+1 时成立:
∑
犽+1犻=1(犱犼犻)犼1犻
∑
犽=1(犱犼犻)1犼+犱犽+1
( ∑
犻犽=1(犱犼犻)犼1+犱犼犽+1)
1犽=∑
犻犽+=11(犱犻犽)1犽(141)根据数学归纳法,得证.当只有一个犱犻≠0时不等式取
到等号. 证毕.
8 1 6
1 计 算 机 学 报 2021年
《 计
算
机
学
报
》
犠犃犖犌犔犻犘犻狀犵,Ph.D.,professor. Hermainresearchinterestsinclude computingintelligenceanddecision optimization.
犚犈犖犢狌,M.S.candidate.Hismainresearchinterests includecomputingintelligenceanddecisionoptimization.
犙犐犝犙犻犆犪狀犵,M.S.Hismainresearchinterestis intelligentcontrol.
犙犐犝犉犲犻犢狌犲,Ph.D.,professor.Hismainresearch interestsincludeintelligentcontrolanddeeplearning.
犅犪犮犽犵狉狅狌狀犱
ThisresearchissupportedbytheZhejiangProvincial NaturalScienceFoundationofChinaunderGrant No.LQ20F020014,theZhejiangProvincialKeyResearch andDevelopmentofChinaunderGrantNo.2018C01080, andtheNationalNaturalScienceFoundationofChinaunder
GrantNos.61472366,61379077.
Tosolvevariousoptimizationproblems,evolutionary algorithmsshouldbechosenwiselytodealwithdifferentkinds ofproblemcharacteristics,thushowtocomparetheperformance ofthosealgorithmshasbecomeanenduringtopicinthe researchfieldofevolutionarycomputation.Inthatcase,the importanceofindicatorsdoesn’tneedtobeoveremphasized. Theperformanceofevolutionaryalgorithmsshouldbe consideredinthreeaspects:(1)Thequalityofsolutionset, includingtheconvergenceanddiversity;(2)Theefficiencyof
algorithms,includingtimecomplexityandcost;(3)The robustnessofalgorithms,reflectingtheabilitytosolve differentproblems.Theindicatorsmainlytakethequalityof thesolutionsetintoconsideration.
Wecategorizetheindicatorsintofourgroupsbasedon evaluationmechanism:countingindicators,convergence indicators,diversityindicators,andcomprehensiveindicators. Thediversityindicatorsarefurtherdividedintodistribution indicators,spreadindicators,andindicatorsmeasuringboth distributionsandspreadaccordingtoproperty.Comprehensive indicatorsarefurtherdividedintogeneralindicatorsand specialindicatorsforspecificproblemsbyscopeofapplication. Furthermore,weanalyzesomeindicatorsfromfouraspects: manyobjectiveadaptability,outliersensitivity,referenceset rationality,andvalueoptimality.
9 1 6 8期 王丽萍等:多目标进化算法性能评价指标研究综述 1