arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2012.07231cs.NEcs.AI
收藏

多目标进化算法在多模态目标上的理论分析

Theoretical Analyses of Multiobjective Evolutionary Algorithms on Multimodal Objectives

School of Computer Science and Technology(计算机科学与技术学院);International Research Institute for Artificial Intelligence(国际人工智能研究院);Harbin Institute of Technology(哈尔滨工业大学);Southern University of Science and Technology(南方科技大学);Laboratoire d’Informatique (LIX)(信息学实验室);École Polytechnique(巴黎综合理工学院);CNRS(法国国家科学研究中心);Institut Polytechnique de Paris(巴黎理工学院)

Weijie Zheng, Benjamin Doerr

AI总结:

本文通过提出 OJZJ 双目标问题,从理论上证明了 SEMO 无法计算完整 Pareto 前沿,而 GSEMO 可在期望 Θ((n-2k)n^k) 次迭代内覆盖该前沿,并进一步证明结合重尾变异或停滞检测策略可显著加速多目标进化算法在多模态目标上的求解。

摘要:

多目标进化算法(MOEAs)的理论理解远远落后于其在实践中的成功。特别是,以往的理论工作大多考虑由单模态目标组成的简单问题。作为深入理解进化算法如何求解多模态多目标问题的第一步,我们提出了 OJZJ 问题,这是一个由两个与经典跳跃函数基准同构的目标组成的双目标问题。我们证明,无论运行时间多长,SEMO 以概率 1 不会计算出完整的 Pareto 前沿。相比之下,对于所有问题规模 $n$ 和所有跳跃规模 ${k \in [4..\frac n2 - 1]}$,全局 SEMO(GSEMO)在期望 $Θ((n-2k)n^{k})$ 次迭代内覆盖 Pareto 前沿。对于 $k = o(n)$,我们还证明了更紧的界 $\frac 32 e n^{k+1} \pm o(n^{k+1})$,这可能是第一个除低阶项外紧确的多目标进化算法运行时间界。我们还将 GSEMO 与两种在单目标多模态问题中显示出优势的方法相结合。当使用带有重尾变异算子的 GSEMO 时,期望运行时间至少改进了 $k^{Ω(k)}$ 倍。当将 Rajabi 和 Witt(2022)最近提出的停滞检测策略适配到 GSEMO 时,期望运行时间同样至少改进了 $k^{Ω(k)}$ 倍,并在 $k$ 的一个小的多项式因子上超越了重尾 GSEMO。通过实验分析,我们表明这些渐近差异在较小的问题规模上已经可见:对于跳跃规模 4 和介于 10 到 50 之间的问题规模,已经可以观察到重尾变异带来的 5 倍加速和停滞检测带来的 10 倍加速。总体而言,我们的结果表明,最近为帮助单目标进化算法应对局部最优而发展的思想也可以有效地应用于多目标优化。

英文摘要:

The theoretical understanding of MOEAs is lagging far behind their success in practice. In particular, previous theory work considers mostly easy problems that are composed of unimodal objectives. As a first step towards a deeper understanding of how evolutionary algorithms solve multimodal multiobjective problems, we propose the OJZJ problem, a bi-objective problem composed of two objectives isomorphic to the classic jump function benchmark. We prove that SEMO with probability one does not compute the full Pareto front, regardless of the runtime. In contrast, for all problem sizes $n$ and all jump sizes ${k \in [4..\frac n2 - 1]}$, the global SEMO (GSEMO) covers the Pareto front in an expected number of $Θ((n-2k)n^{k})$ iterations. For $k = o(n)$, we also show the tighter bound $\frac 32 e n^{k+1} \pm o(n^{k+1})$, which might be the first runtime bound for an MOEA that is tight apart from lower-order terms. We also combine the GSEMO with two approaches that showed advantages in single-objective multimodal problems. When using the GSEMO with a heavy-tailed mutation operator, the expected runtime improves by a factor of at least $k^{Ω(k)}$. When adapting the recent stagnation-detection strategy of Rajabi and Witt (2022) to the GSEMO, the expected runtime also improves by a factor of at least $k^{Ω(k)}$ and surpasses the heavy-tailed GSEMO by a small polynomial factor in $k$. Via an experimental analysis, we show that these asymptotic differences are visible already for small problem sizes: A factor-$5$ speed-up from heavy-tailed mutation and a factor-$10$ speed-up from stagnation detection can be observed already for jump size~$4$ and problem sizes between $10$ and $50$. Overall, our results show that the ideas recently developed to aid single-objective evolutionary algorithms to cope with local optima can be effectively employed also in multiobjective optimization.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑