Skip to main content
Erschienen in:
Buchtitelbild

2018 | OriginalPaper | Buchkapitel

A General Dichotomy of Evolutionary Algorithms on Monotone Functions

verfasst von : Johannes Lengler

Erschienen in: Parallel Problem Solving from Nature – PPSN XV

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

It is known that the \((1 + 1)\)-EA with mutation rate c/n optimises every monotone function efficiently if \(c<1\), and needs exponential time on some monotone functions (HotTopic functions) if \(c> c_0 = 2.13692..\). We study the same question for a large variety of algorithms, particularly for \((1 + \lambda )\)-EA, \((\mu + 1)\)-EA, \((\mu + 1)\)-GA, their fast counterparts like fast \((1 + 1)\)-EA, and for \((1 + (\lambda ,\lambda ))\)-GA. We prove that all considered mutation-based algorithms show a similar dichotomy for HotTopic functions, or even for all monotone functions. For the \((1 + (\lambda ,\lambda ))\)-GA, this dichotomy is in the parameter \(c\gamma \), which is the expected number of bit flips in an individual after mutation and crossover, neglecting selection. For the fast algorithms, the dichotomy is in \(m_2/m_1\), where \(m_1\) and \(m_2\) are the first and second falling moment of the number of bit flips. Surprisingly, the range of efficient parameters is not affected by either population size \(\mu \) nor by the offspring population size \(\lambda \).
The picture changes completely if crossover is allowed. The genetic algorithms \((\mu + 1)\)-GA and \((\mu + 1)\)-fGA are efficient for arbitrary mutations strengths if \(\mu \) is large enough.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
We will be sloppy and drop the term “strictly” outside of theorems, but throughout the paper we always mean strictly monotone functions.
 
2
Note that a heavy tail generally increases \(m_2\) much stronger than \(m_1\), so it increases the quotient \(m_2/m_1\).
 
3
Note that this property might more correctly be called strictly monotone, but in this paper we will stick with the shorter, slightly less precise term monotone. In all other cases we use the standard terminology, e.g. the term increasing sequence has the same meaning as non-decreasing sequence.
 
4
With high probability, i.e. with probability tending to one as \(n\rightarrow \infty \).
 
5
In fact, the suggested parameter choice in [4, 6] satisfies \(c\gamma =1\) instead of \(c\gamma <1\). However, the runtime analysis in [6] only changes by constant factors if \(\gamma \) is decreased by a constant factor. Thus Theorem 2 applies to the parameter choices from [4, 6], except that \(\gamma \) is decreased by a constant factor.
 
6
Note that this is not a trivial consequence of Theorem 4, since  (6), (7) are conditions on the distribution for the best of \(\lambda \) offspring, while the condition here is on the distribution \(\mathcal D\) for generating a single offspring.
 
7
This statement follows trivially from the other results by setting \(\mu =1\), and it is listed only for completeness.
 
8
i.e., \(\Pr [\mathcal D = k] = k^{-\kappa }/\zeta (\kappa )\), where \(\zeta \) is the Riemann \(\zeta \) function.
 
Literatur
1.
Zurück zum Zitat Doerr, B.: Optimal parameter settings for the (1 + \(\lambda \), \(\lambda \)) genetic algorithm. In: GECCO (2016) Doerr, B.: Optimal parameter settings for the (1 + \(\lambda \), \(\lambda \)) genetic algorithm. In: GECCO (2016)
2.
Zurück zum Zitat Doerr, B., Doerr, C.: Optimal parameter choices through self-adjustment: applying the 1/5-th rule in discrete settings. In: GECCO (2015) Doerr, B., Doerr, C.: Optimal parameter choices through self-adjustment: applying the 1/5-th rule in discrete settings. In: GECCO (2015)
3.
Zurück zum Zitat Doerr, B., Doerr, C.: A tight runtime analysis of the (1 + (\(\lambda \), \(\lambda \))) genetic algorithm on OneMax. In: GECCO (2015) Doerr, B., Doerr, C.: A tight runtime analysis of the (1 + (\(\lambda \), \(\lambda \))) genetic algorithm on OneMax. In: GECCO (2015)
4.
Zurück zum Zitat Doerr, B., Doerr, C.: Optimal static and self-adjusting parameter choices for the (1+(\(\lambda, \lambda \))) genetic algorithm. Algorithmica 80, 1–52 (2017)MathSciNetMATH Doerr, B., Doerr, C.: Optimal static and self-adjusting parameter choices for the (1+(\(\lambda, \lambda \))) genetic algorithm. Algorithmica 80, 1–52 (2017)MathSciNetMATH
5.
Zurück zum Zitat Doerr, B., Doerr, C., Ebel, F.: Lessons from the black-box: fast crossover-based genetic algorithms. In: GECCO (2013) Doerr, B., Doerr, C., Ebel, F.: Lessons from the black-box: fast crossover-based genetic algorithms. In: GECCO (2013)
6.
Zurück zum Zitat Doerr, B., Doerr, C., Ebel, F.: From black-box complexity to designing new genetic algorithms. Theor. Comput. Sci. 567, 87–104 (2015)MathSciNetCrossRef Doerr, B., Doerr, C., Ebel, F.: From black-box complexity to designing new genetic algorithms. Theor. Comput. Sci. 567, 87–104 (2015)MathSciNetCrossRef
8.
Zurück zum Zitat Doerr, B., Jansen, T., Sudholt, D., Winzen, C., Zarges, C.: Mutation rate matters even when optimizing monotonic functions. Evol. Comput. 21(1), 1–27 (2013)CrossRef Doerr, B., Jansen, T., Sudholt, D., Winzen, C., Zarges, C.: Mutation rate matters even when optimizing monotonic functions. Evol. Comput. 21(1), 1–27 (2013)CrossRef
9.
Zurück zum Zitat Doerr, B., Le, H.P., Makhmara, R., Nguyen, T.D.: Fast genetic algorithms. In: GECCO (2017) Doerr, B., Le, H.P., Makhmara, R., Nguyen, T.D.: Fast genetic algorithms. In: GECCO (2017)
10.
Zurück zum Zitat Doerr, C., Lengler, J.: Introducing elitist black-box models: when does elitist behavior weaken the performance of evolutionary algorithms? Evol. Comput. 25(4), 587–606 (2017)CrossRef Doerr, C., Lengler, J.: Introducing elitist black-box models: when does elitist behavior weaken the performance of evolutionary algorithms? Evol. Comput. 25(4), 587–606 (2017)CrossRef
12.
Zurück zum Zitat Lengler, J.: A general dichotomy of evolutionary algorithms on monotone functions. arXiv e-prints (2018) Lengler, J.: A general dichotomy of evolutionary algorithms on monotone functions. arXiv e-prints (2018)
13.
Zurück zum Zitat Lengler, J., Steger, A.: Drift analysis and evolutionary algorithms revisited. arXiv e-prints (2016) Lengler, J., Steger, A.: Drift analysis and evolutionary algorithms revisited. arXiv e-prints (2016)
14.
Zurück zum Zitat Mironovich, V., Buzdalov, M.: Evaluation of heavy-tailed mutation operator on maximum flow test generation problem. In: GECCO (2017) Mironovich, V., Buzdalov, M.: Evaluation of heavy-tailed mutation operator on maximum flow test generation problem. In: GECCO (2017)
15.
Zurück zum Zitat Sudholt, D.: How crossover speeds up building block assembly in genetic algorithms. Evol. Comput. 25(2), 237–274 (2017)MathSciNetCrossRef Sudholt, D.: How crossover speeds up building block assembly in genetic algorithms. Evol. Comput. 25(2), 237–274 (2017)MathSciNetCrossRef
16.
Zurück zum Zitat Witt, C.: Tight bounds on the optimization time of a randomized search heuristic on linear functions. Comb. Probab. Comput. 22(2), 294–318 (2013)MathSciNetCrossRef Witt, C.: Tight bounds on the optimization time of a randomized search heuristic on linear functions. Comb. Probab. Comput. 22(2), 294–318 (2013)MathSciNetCrossRef
Metadaten
Titel
A General Dichotomy of Evolutionary Algorithms on Monotone Functions
verfasst von
Johannes Lengler
Copyright-Jahr
2018
DOI
https://doi.org/10.1007/978-3-319-99259-4_1

Premium Partner