Towards a Stronger Theory for Permutation-based Evolutionary Algorithms
arXiv:2204.07637 · doi:10.1145/3512290.3528720
Abstract
While the theoretical analysis of evolutionary algorithms (EAs) has made significant progress for pseudo-Boolean optimization problems in the last 25 years, only sporadic theoretical results exist on how EAs solve permutation-based problems. To overcome the lack of permutation-based benchmark problems, we propose a general way to transfer the classic pseudo-Boolean benchmarks into benchmarks defined on sets of permutations. We then conduct a rigorous runtime analysis of the permutation-based EA proposed by Scharnow, Tinnefeld, and Wegener (2004) on the analogues of the \textsc{LeadingOnes} and \textsc{Jump} benchmarks. The latter shows that, different from bit-strings, it is not only the Hamming distance that determines how difficult it is to mutate a permutation into another one , but also the precise cycle structure of . For this reason, we also regard the more symmetric scramble mutation operator. We observe that it not only leads to simpler proofs, but also reduces the runtime on jump functions with odd jump size by a factor of . Finally, we show that a heavy-tailed version of the scramble operator, as in the bit-string case, leads to a speed-up of order on jump functions with jump size~.%
arXiv commentConference version with an appendix containing the proofs omitted for reasons of space
References in corpus (6)
- Self-Adjusting Evolutionary Algorithms for Multimodal Optimization
- Does Comma Selection Help To Cope With Local Optima
- The Runtime of the Compact Genetic Algorithm on Jump Functions
- Evolving Diverse Sets of Tours for the Travelling Salesperson Problem
- The Genetic Algorithm for Permutations
- Exact Markov Chain-based Runtime Analysis of a Discrete Particle Swarm Optimization Algorithm on Sorting and OneMax