Fourier Analysis Meets Runtime Analysis: Precise Runtimes on Plateaus - Département d'informatique Accéder directement au contenu
Article Dans Une Revue Algorithmica Année : 2024

Fourier Analysis Meets Runtime Analysis: Precise Runtimes on Plateaus

Résumé

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 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, thus hold for a much broader class of problems. 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.
Fichier principal
Vignette du fichier
2302.08021v3.pdf (378.41 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04577220 , version 1 (16-05-2024)

Identifiants

Citer

Benjamin Doerr, Andrew James Kelley. Fourier Analysis Meets Runtime Analysis: Precise Runtimes on Plateaus. Algorithmica, inPress, ⟨10.1007/s00453-024-01232-5⟩. ⟨hal-04577220⟩
0 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More