Centrala begrepp
Bereits moderate Populationsgrößen der (1+λ) EA und (1,λ) EA können die OneMax-Funktion in asymptotisch der gleichen Zeit optimieren wie ohne Rauschen, selbst bei konstanter Rauschwahrscheinlichkeit pro Iteration.
Sammanfattning
Die Studie analysiert die Leistungsfähigkeit der (1+λ) EA und (1,λ) EA bei der Optimierung der OneMax-Funktion in Gegenwart von bitweisem Rauschen.
Zentrale Erkenntnisse:
- Bereits moderate Populationsgrößen von λ ≥ C ln(n) (mit einer geeigneten Konstante C) ermöglichen es beiden Algorithmen, die OneMax-Funktion in asymptotisch der gleichen Zeit zu optimieren wie ohne Rauschen, selbst bei konstanter Rauschwahrscheinlichkeit pro Iteration.
- Dies ist ein deutlich stärkeres Ergebnis als bisherige Analysen, die entweder deutlich größere Populationsgrößen oder deutlich schlechtere Laufzeitgarantien lieferten.
- Der Schlüssel zu diesem Ergebnis ist eine neuartige Beweismethode, die den Zusammenhang zwischen dem verrauschten Nachkommen und dem tatsächlichen Nachkommen analysiert. Dieser Zusammenhang lässt sich als eine verzerrte, gleichmäßige Kreuzung zwischen Elter und verrauschtem Nachkommen interpretieren.
- Die Autoren sind optimistisch, dass diese technischen Hilfsmittel auch für zukünftige mathematische Laufzeitanalysen evolutionärer Algorithmen in Gegenwart von Rauschen nützlich sein werden.
Statistik
Für eine Populationsgröße λ ≥ C ln(n) (mit einer geeigneten Konstante C) beträgt die erwartete Anzahl an Fitnessevaluationen bis zum Optimum O(n log(n) + nλ log log(λ) / log(λ)).
Citat
"Bereits moderate Populationsgrößen können eine enorme Robustheit gegenüber Rauschen bewirken."
"Unsere Ergebnisse zeigen zwei Haupterkenntnisse: (1) Der Einsatz von EAs mit mindestens moderater Populationsgröße kann zu einer starken Robustheit gegenüber Rauschen führen, und zwar ohne Leistungseinbußen im Vergleich zur optimalen Populationsgröße ohne Rauschen, und (2) solche Prozesse können mit mathematischen Mitteln analysiert werden, insbesondere mit den von uns entwickelten Werkzeugen, um aus dem verrauschten Nachkommen probabilistische Informationen über den rauschfreien Nachkommen zu gewinnen."