Error analysis of elitist randomized search heuristics

When globally optimal solutions of complicated optimization problems cannot be located by evolutionary algorithms (EAs) in polynomial expected running time, the hitting time/running time analysis is not flexible enough to accommodate the requirement of theoretical study, because sometimes we have no idea on what approximation ratio is available in polynomial expected running time. Thus, it is necessary to propose an alternative routine for the theoretical analysis of EAs. To bridge the gap between theoretical analysis and algorithm implementation, in this paper we perform an error analysis where expected approximation error is estimated to evaluate performances of randomized search heuristics (RSHs). Based on the Markov chain model of RSHs, the multi-step transition matrix can be computed by diagonalizing the one-step transition matrix, and a general framework for estimation of expected approximation errors is proposed. Case studies indicate that the error analysis works well for both uni- and multi-modal benchmark problems. It leads to precise estimations of approximation error instead of asymptotic results on fitness values, which demonstrates its competitiveness to fixed budget analysis.

[1]  Thomas Jansen,et al.  Reevaluating Immune-Inspired Hypermutations Using the Fixed Budget Perspective , 2014, IEEE Transactions on Evolutionary Computation.

[2]  Chunguo Wu,et al.  A Pheromone-Rate-Based Analysis on the Convergence Time of ACO Algorithm , 2009, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[3]  Yuren Zhou,et al.  Approximation performance of ant colony optimization for the TSP(1,2) problem , 2016, Int. J. Comput. Math..

[4]  Frank Neumann,et al.  Time Complexity Analysis of Evolutionary Algorithms on Random Satisfiable k-CNF Formulas , 2016, Algorithmica.

[5]  G. Unter Rudolph Convergence Rates of Evolutionary Algorithms for a Class of Convex Objective Functions , 1997 .

[6]  Xin Yao,et al.  Time complexity of evolutionary algorithms for combinatorial optimization: A decade of results , 2007, Int. J. Autom. Comput..

[7]  Xin Yao,et al.  On the approximation ability of evolutionary optimization with application to minimum set cover , 2010, Artif. Intell..

[8]  Dirk Sudholt,et al.  Expected Fitness Gains of Randomized Search Heuristics for the Traveling Salesperson Problem , 2016, Evolutionary Computation.

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

[10]  Thomas Jansen,et al.  Unlimited budget analysis , 2019, GECCO.

[11]  Wei Li,et al.  Dynamic Fitness Landscape Analysis on Differential Evolution Algorithm , 2016, BIC-TA.

[12]  Thomas Jansen,et al.  Performance analysis of randomised search heuristics operating with a fixed budget , 2014, Theor. Comput. Sci..

[13]  Ling Wang,et al.  Finding Multiple Roots of Nonlinear Equation Systems via a Repulsion-Based Adaptive Differential Evolution , 2020, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[14]  Carsten Witt,et al.  Fitness levels with tail bounds for the analysis of randomized search heuristics , 2014, Inf. Process. Lett..

[15]  Frank Neumann,et al.  Approximating Covering Problems by Randomized Search Heuristics Using Multi-Objective Models , 2010, Evolutionary Computation.

[16]  Mahmoud Fouz,et al.  Quasirandom evolutionary algorithms , 2010, GECCO '10.

[17]  Approximation Performance of the (1+1) Evolutionary Algorithm for the Minimum Degree Spanning Tree Problem , 2015, BIC-TA.

[18]  Zhifeng Hao,et al.  An Experimental Method to Estimate Running Time of Evolutionary Algorithms for Continuous Optimization , 2020, IEEE Transactions on Evolutionary Computation.

[19]  Huang Han,et al.  First hitting time analysis of continuous evolutionary algorithms based on average gain , 2016 .

[20]  Benjamin Doerr,et al.  Multiplicative Drift Analysis , 2010, GECCO '10.

[21]  Yuren Zhou,et al.  Approximation and Parameterized Runtime Analysis of Evolutionary Algorithms for the Maximum Cut Problem , 2015, IEEE Transactions on Cybernetics.

[22]  Yang Yu,et al.  Switch Analysis for Running Time Analysis of Evolutionary Algorithms , 2015, IEEE Transactions on Evolutionary Computation.

[23]  Frank Neumann,et al.  Parameterized Runtime Analyses of Evolutionary Algorithms for the Planar Euclidean Traveling Salesperson Problem , 2014, Evolutionary Computation.

[24]  Yuren Zhou,et al.  International Journal of Computer Mathematics on the Analysis of the (1+1) Evolutionary Algorithm for the Maximum Leaf Spanning Tree Problem on the Analysis of the (1 + 1) Evolutionary Algorithm for the Maximum Leaf Spanning Tree Problem , 2022 .

[25]  Zhiyong Lin,et al.  Runtime analysis for continuous (1+1) evolutionary algorithm based on average gain model , 2014 .

[26]  Liang Gao,et al.  Parameter extraction of photovoltaic models using an improved teaching-learning-based optimization , 2019, Energy Conversion and Management.

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

[28]  Yuren Zhou,et al.  Performance Analysis of Evolutionary Algorithms for the Minimum Label Spanning Tree Problem , 2014, IEEE Transactions on Evolutionary Computation.

[29]  Xin Yao,et al.  Towards an analytic framework for analysing the computation time of evolutionary algorithms , 2003, Artif. Intell..

[30]  Jun He,et al.  Estimating Approximation Errors of Elitist Evolutionary Algorithms , 2019, BIC-TA.

[31]  Yuren Zhou,et al.  A theoretical assessment of solution quality in evolutionary algorithms for the knapsack problem , 2014, 2014 IEEE Congress on Evolutionary Computation (CEC).

[32]  Yuren Zhou,et al.  Runtime Analysis of an Ant Colony Optimization Algorithm for TSP Instances , 2009, IEEE Transactions on Evolutionary Computation.

[33]  Jun He,et al.  Average Convergence Rate of Evolutionary Algorithms , 2015, IEEE Transactions on Evolutionary Computation.

[34]  Yu Chen,et al.  Average Convergence Rate of Evolutionary Algorithms II: Continuous Optimization , 2018, Inf. Sci..

[35]  Zhi-Hua Zhou,et al.  Constrained Monotone $k$ -Submodular Function Maximization Using Multiobjective Evolutionary Algorithms With Theoretical Guarantee , 2018, IEEE Transactions on Evolutionary Computation.

[36]  Jun He,et al.  An analytic expression of relative approximation error for a class of evolutionary algorithms , 2015, 2016 IEEE Congress on Evolutionary Computation (CEC).

[37]  Yu Chen,et al.  Drift conditions for estimating the first hitting times of evolutionary algorithms , 2011, Int. J. Comput. Math..

[38]  Xin Yao,et al.  On the Easiest and Hardest Fitness Functions , 2012, IEEE Transactions on Evolutionary Computation.

[39]  Jun He,et al.  Average convergence rate of evolutionary algorithms in continuous optimization , 2021, Inf. Sci..