DeepAI AI Chat
Log In Sign Up

Fourier Analysis Meets Runtime Analysis: Precise Runtimes on Plateaus

02/16/2023
by   Benjamin Doerr, et al.
0

We propose a new method based on discrete Fourier analysis to analyze the time evolutionary algorithms spend on plateaus. This immediately gives a concise proof of the classic estimate of the expected runtime of the (1+1) evolutionary algorithm on the Needle problem due to Garnier, Kallel, and Schoenauer (1999). We also use this method to analyze the runtime of the (1+1) evolutionary algorithm on a new benchmark consisting of n/ℓ plateaus of effective size 2^ℓ-1 which have to be optimized sequentially in a LeadingOnes fashion. Using our new method, we determine the precise expected runtime both for static and fitness-dependent mutation rates. We also determine the asymptotically optimal static and fitness-dependent mutation rates. For ℓ = o(n), the optimal static mutation rate is approximately 1.59/n. The optimal fitness dependent mutation rate, when the first k fitness-relevant bits have been found, is asymptotically 1/(k+1). These results, so far only proven for the single-instance problem LeadingOnes, are thus true in a much broader respect. We expect similar extensions to be true for other important results on LeadingOnes. We are also optimistic that our Fourier analysis approach can be applied to other plateau problems as well.

READ FULL TEXT

page 1

page 2

page 3

page 4

08/23/2019

Runtime Analysis of Fitness-Proportionate Selection on Linear Functions

This paper extends the runtime analysis of non-elitist evolutionary algo...
08/16/2018

The linear hidden subset problem for the (1+1) EA with scheduled and adaptive mutation rates

We study unbiased (1+1) evolutionary algorithms on linear functions with...
09/04/2012

Monotonicity of Fitness Landscapes and Mutation Rate Control

The typical view in evolutionary biology is that mutation rates are mini...
07/02/2012

More Effective Crossover Operators for the All-Pairs Shortest Path Problem

The all-pairs shortest path problem is the first non-artificial problem ...
01/13/2018

Better Runtime Guarantees Via Stochastic Domination

Apart from few exceptions, the mathematical runtime analysis of evolutio...
05/08/2021

A Crossover That Matches Diverse Parents Together in Evolutionary Algorithms

Crossover and mutation are the two main operators that lead to new solut...
12/14/2010

On the Impact of Mutation-Selection Balance on the Runtime of Evolutionary Algorithms

The interplay between mutation and selection plays a fundamental role in...