Hot of the Press: A First Runtime Analysis of NSGA-III on a Many-Objective Multimodal Problem: Provable Exponential Speedup via Stochastic Population Update
Jul 2026· GECCO Companion· pp. 75-76· 11 citations· 18 references
Computer Science
TL;DR
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.
Abstract
The NSGA-III is a prominent algorithm in evolutionary many-objective optimization. It is well-suited for optimizing functions with more than three objectives, setting it apart from the classic NSGA-II. However, theoretical insights about NSGA-III are still in its early development. This paper addresses this point and conducts a rigorous runtime analysis of NSGA-III on the many-objective OneJumpZeroJump benchmark (OJZJ for short), providing runtime bounds where the number of objectives is constant. We show that NSGA-III finds the Pareto front of OJZJ in time O(nk+d/2 +μn ln(n)) where n is the problem size, d is the number of objectives, k is the gap size, a problem specific parameter, if its population size μ ∈ 2O(n) is at least (2n/d + 1)d/2. Notably, NSGA-III is faster than NSGA-II by a factor of μ/nd/2 for some μ ∈ ω(nd/2). We also show that a stochastic population update, proposed by Bian et al. [1], provably guarantees a speedup of order Θ((k/b)k-1) in the runtime where b > 0 is a constant. Besides [15], this is the first rigorous runtime analysis of NSGA-III on OJZJ. Proving these bounds requires a much deeper understanding of the population dynamics of NSGA-III than previous papers achieved. This Hot-off-the-Press paper summarises the work Andre Opris. 2025. A First Runtime Analysis of NSGA-III on a Many-Objective Multimodal Problem: Provable Exponential Speedup via Stochastic Population Update. Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, Article No.: 990, Pages 8903 - 8911, 2025 [9].
This paper introduces the bi-objective problem class CLIMB and analyzes the runtime of GSEMO and the widely used NSGA-II on this problem, and proves that GSEMO and NSGA-II-DYN, a version of NSGA-II with dynamic population sizes, can find the Pareto front of CLIMB in expected fitness evaluations.
Results show that integrating local search significantly enhances performance, while a principled method for setting hybrid parameters ensures robustness and reproducibility, highlighting the potential of combining mathematical programming techniques with evolutionary algorithms for high-dimensional many-objective optimization problems.
Regina C. L. C. de Sousa, Dênis E. C. Vargas, Elizabeth F. Wanner et al.· Journal of Heuristics· 0 citations
A systematic mapping study of multi-objective optimization algorithms, tracing their evolution from classical Pareto-based methods toward AI-driven and hybrid approaches, with software testing as the primary application domain, and outlining a research roadmap for the next generation of multi-objective optimization systems that combine the complementary mathematical strengths of neural function approximation and evolutionary diversity preservation.
This study investigates the efficiency of five metaheuristic algorithms, namely Differential Evolution (DE), Genetic Algorithm (GA), Grey Wolf Optimizer (GWO), Harmony Search (HS), and Particle Swarm Optimization (PSO), when deployed on a Raspberry Pi 5 edge device. The evaluation focuses on both optimization quality and computational cost, using four standard benchmark functions that represent a range of landscape characteristics: Sphere, Rosenbrock, Rastrigin, and Ackley. Each function is tested at dimensions 10, 30, and 50 to probe scalability. In addition to objective values, the experiments collect per-iteration processor usage and memory (RAM) to provide a practical view of runtime overhead under constrained resources. Among the five candidates, GWO consistently delivers the fastest or near-fastest convergence while keeping variability tight. Its trajectories show smooth descent across functions and dimensions, paired with comparatively modest CPU and RAM footprints. PSO typically ranks second in speed with stable dynamics, though brief CPU spikes often appear at early iterations as swarms synchronize. DE demonstrates resilience on rugged functions but generally requires more iterations to close the final gap. GA and HS can reach competitive objective values on some settings, yet they display wider dispersion and higher overhead at larger dimensions, which reduces their suitability for small devices. Overall, the evidence indicates that GWO is the most efficient choice for edge deployment on Raspberry Pi 5, striking a favorable balance between convergence speed, stability, and resource usage. PSO is a strong alternative when slightly higher processor activity is acceptable. These findings support the adoption of lightweight, variance-stable metaheuristics for edge optimization workloads where CPU and memory budgets are tight.
Ziadan Qowi, Akhdan Musyaffa Firdaus, Hari Purnama· The eurasia proceedings of s...· 0 citations
The university class timetabling is known to be a classic example of a problem in combinatorial optimization, where an allocation of classes to time periods, classrooms, and tutors is needed. Although modern works mostly concentrate on designing various hybrid or specialized algorithms and metaheuristics, one should also examine the performance of the original algorithm to obtain a baseline metric for future comparisons. This paper considers a simple application of the unaltered SGA on Dataset A that has 38 subjects, 8 tutors, 8 classrooms, five days of operation, and two types of classes (theoretical and practical). As far as scalability was concerned, we have tested several population sizes for the algorithm, namely 15, 30, 60, and 120. Performance metrics such as fitness and the rate of convergence were measured according to the value of the fitness function and runtime as well as memory usage. It could be demonstrated that despite being extremely simple, classical SGA produces valid solutions for this problem but is quite sensitive to changes in population size. To make the analysis more robust, the paper also includes a very basic comparison experiment involving Simulated Annealing as another basis of evaluation.
Y. Farhang, Saman Tarighpeyma Aghbolagh, Ülker Başar· Journal of Innovative Engine...· 0 citations