When do evolutionary algorithms optimize separable functions in parallel?

Separable functions are composed of subfunctions that depend on mutually disjoint sets of bits. These subfunctions can be optimized independently, however in black-box optimization this direct approach is infeasible as the composition of subfunctions may be unknown. Common belief is that evolutionary algorithms make progress on all subfunctions in parallel, so that optimizing a separable function does not take not much longer than optimizing the hardest subfunction---subfunctions are optimized "in parallel." We show that this is only partially true, already for the simple (1+1) evolutionary algorithm ((1+1)EA). For separable functions composed of k Boolean functions indeed the optimization time is the maximum optimization time of these functions times a small(log k) overhead. More generally, for sums of weighted subfunctions that each attain non negative integer values less than r = o(log 1/2 n), we get an overhead of O(r log n). However, the hoped for parallel optimization behavior does not always come true. We present a separable function with k ≤ √ n subfunctions such that the (1+1)EA is likely to optimize many subfunctions sequentially. The reason is that standard mutation leads to interferences between search processes on different subfunctions. Under mild assumptions, we show that such a sequential optimization behavior is worst possible.

[1]  Ingo Wegener,et al.  On the Optimization of Monotone Polynomials by Simple Randomized Search Heuristics , 2005, Combinatorics, Probability and Computing.

[2]  David E. Goldberg,et al.  Genetic Algorithms in Search Optimization and Machine Learning , 1988 .

[3]  Kenneth A. De Jong,et al.  A Cooperative Coevolutionary Approach to Function Optimization , 1994, PPSN.

[4]  Carsten Witt,et al.  Tight Bounds on the Optimization Time of a Randomized Search Heuristic on Linear Functions† , 2013, Combinatorics, Probability and Computing.

[5]  Anne Auger,et al.  Theory of Randomized Search Heuristics: Foundations and Recent Developments , 2011, Theory of Randomized Search Heuristics.

[6]  Thomas Jansen,et al.  On the analysis of the (1+1) evolutionary algorithm , 2002, Theor. Comput. Sci..

[7]  Thomas Jansen,et al.  Exploring the Explorative Advantage of the Cooperative Coevolutionary (1+1) EA , 2003, GECCO.

[8]  Rajeev Motwani,et al.  Randomized Algorithms , 1995, SIGA.

[9]  Dirk Sudholt,et al.  Crossover speeds up building-block assembly , 2012, GECCO '12.

[10]  Ingo Wegener,et al.  A Rigorous Complexity Analysis of the (1 + 1) Evolutionary Algorithm for Separable Functions with Boolean Inputs , 1998, Evolutionary Computation.

[11]  Ingo Wegener,et al.  On the analysis of a simple evolutionary algorithm on quadratic pseudo-boolean functions , 2005, J. Discrete Algorithms.

[12]  Ingo Wegener,et al.  Methods for the Analysis of Evolutionary Algorithms on Pseudo-Boolean Functions , 2003 .

[13]  Dirk Sudholt,et al.  General Lower Bounds for the Running Time of Evolutionary Algorithms , 2010, PPSN.

[14]  Anne Auger,et al.  Theory of Randomized Search Heuristics , 2012, Algorithmica.

[15]  Melanie Mitchell,et al.  The royal road for genetic algorithms: Fitness landscapes and GA performance , 1991 .

[16]  Xin Yao,et al.  Drift analysis and average time complexity of evolutionary algorithms , 2001, Artif. Intell..

[17]  Thomas Jansen,et al.  Fixed budget computations: a different perspective on run time analysis , 2012, GECCO '12.

[18]  M. Mitzenmacher,et al.  Probability and Computing: Chernoff Bounds , 2005 .

[19]  Leslie Ann Goldberg,et al.  Adaptive Drift Analysis , 2010, PPSN.

[20]  Xiaodong Li,et al.  Benchmark Functions for the CEC'2010 Special Session and Competition on Large-Scale , 2009 .

[21]  Dirk Sudholt,et al.  The benefit of migration in parallel evolutionary algorithms , 2010, GECCO '10.

[22]  Benjamin Doerr,et al.  Run-time analysis of the (1+1) evolutionary algorithm optimizing linear functions over a finite alphabet , 2012, GECCO '12.

[23]  L. Darrell Whitley,et al.  Evaluating Evolutionary Algorithms , 1996, Artif. Intell..

[24]  Alden H. Wright,et al.  Implicit Parallelism , 2003, GECCO.

[25]  Benjamin Doerr,et al.  Multiplicative drift analysis , 2010, GECCO.

[26]  Jens Jägersküpper,et al.  A Blend of Markov-Chain and Drift Analysis , 2008, PPSN.

[27]  K. Dejong,et al.  An analysis of the behavior of a class of genetic adaptive systems , 1975 .

[28]  Leslie Ann Goldberg,et al.  Drift Analysis with Tail Bounds , 2010, PPSN.