Jul 2026· Proceedings of the Genetic and Evolutionary Computation Conference Companion· pp. 87-88· 0 citations· 19 references
TL;DR
This first complete mathematical runtime analysis for the MOEA/D using the original weighted-sum decomposition shows that this variant of the algorithm solves the classic OneMinMax benchmark considerably faster than both the MOEA/D with Tchebycheff decomposition and many other classic algorithms such as the NSGA-II, NSGA-III, SMS-EMOA, and SPEA2.
Abstract
The MOEA/D is the most popular decomposition-based evolutionary algorithm to solve multi-objective optimization problems. However, among the two common decomposition approaches, weighted-sum and Tchebycheff, the existing theoretical research almost exclusively focuses on the latter one. In this first complete mathematical runtime analysis for the MOEA/D using the original weighted-sum decomposition, we show that this variant of the algorithm solves the classic OneMinMax benchmark considerably faster than both the MOEA/D with Tchebycheff decomposition and many other classic algorithms such as the NSGA-II, NSGA-III, SMS-EMOA, and SPEA2. More precisely, we show that already a logarithmic number of subproblems suffices for the algorithm to be efficient, and then typically O(n log2 n) function evaluations suffice to compute the full Pareto front. This beats the other algorithms by a factor of Θ(n/log n). For a second benchmark, the OneJumpZeroJump problem, we show a speed-up by a factor of Θ(n). Overall, this work shows that a further development of the weighted-sum approach might be fruitful. This paper summarizes the work Danyang Zhang, Zerong Zhong, Weijie Zheng, and Benjamin Doerr. 2026. Superior Runtime Guarantees for the MOEA/D Multi-Objective Optimizer via Weighted-Sum Decomposition. In AAAI Conference on Artificial Intelligence, AAAI 2026. AAAI Press, 37187–37194 [14].
A rigorous runtime analysis of NSGA-III on the many-objective OneJumpZeroJump benchmark, providing runtime bounds where the number of objectives is constant and a stochastic population update provably guarantees a speedup of order Θ((k/b)k-1) in the runtime where b > 0 is a constant.
This work significantly enhance the understanding of the dynamics of the GSEMO, in particular, for the classic CountingOnesCountingZeros benchmark, and proves a lower bound of order Ω(n2 log n), for the first time matching the seminal upper bounds known for over twenty years.
Benjamin Doerr, Martin S. Krejca, Andre Opris· GECCO Companion· 0 citations
EDO is analyzed on a three-objective function LOTZk, which is a modification of the two-objective benchmark function (LeadingOnes, TrailingZeros), and it is proved that the GSEMO computes a set of all Pareto-optimal solutions in O(kn3) expected iterations.
D. Antipov, Aneta Neumann, Frank Neumann et al.· GECCO Companion· 0 citations
This paper proves that several popular MOEAs, including NSGA-II, NSGA-III, SMS-EMOA, and SPEA2, only need an expected time of O(n2 log n) fitness evaluations to compute an additive ε-approximation of the Pareto front of the established LargeFront benchmark.
This paper provides the first proof that the more complex σ-distance mechanism of the SPEA2 yields a provably superior approximation ability, and shows the first result showing a provable qualitative gap between the approximation abilities of these two algorithms.
Yasser Alghouass, Benjamin Doerr, Martin S. Krejca et al.· GECCO Companion· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.