Arbitrary function optimisation with metaheuristics

No free lunch theorems for optimisation suggest that empirical studies on benchmarking problems are pointless, or even cast negative doubts, when algorithms are being applied to other problems not clearly related to the previous ones. Roughly speaking, reported empirical results are not just the result of algorithms’ performances, but the benchmark used therein as well; and consequently, recommending one algorithm over another for solving a new problem might be always disputable. In this work, we propose an empirical framework, arbitrary function optimisation framework, that allows researchers to formulate conclusions independent of the benchmark problems that were actually addressed, as long as the context of the problem class is mentioned. Experiments on sufficiently general scenarios are reported with the aim of assessing this independence. Additionally, this article presents, to the best of our knowledge, the first thorough empirical study on the no free lunch theorems, which is possible thanks to the application of the proposed methodology, and whose main result is that no free lunch theorems unlikely hold on the set of binary real-world problems. In particular, it is shown that exploiting reasonable heuristics becomes more beneficial than random search when dealing with binary real-world applications.

[1]  Robert J. Marks,et al.  The Search for a Search: Measuring the Information Cost of Higher Level Search , 2010, J. Adv. Comput. Intell. Intell. Informatics.

[2]  Francisco Herrera,et al.  A study of statistical techniques and performance measures for genetics-based machine learning: accuracy and interpretability , 2009, Soft Comput..

[3]  John N. Hooker,et al.  Testing heuristics: We have it all wrong , 1995, J. Heuristics.

[4]  C. D. Gelatt,et al.  Optimization by Simulated Annealing , 1983, Science.

[5]  Thomas Stützle,et al.  Iterated Robust Tabu Search for MAX-SAT , 2003, Canadian Conference on AI.

[6]  David E. Goldberg,et al.  Linkage Problem, Distribution Estimation, and Bayesian Networks , 2000, Evolutionary Computation.

[7]  Francisco Herrera,et al.  Editorial scalability of evolutionary algorithms and other metaheuristics for large-scale continuous optimization problems , 2011, Soft Comput..

[8]  Francisco J. Rodríguez,et al.  Hybrid Metaheuristics Based on Evolutionary Algorithms and Simulated Annealing: Taxonomy, Comparison, and Synergy Test , 2012, IEEE Transactions on Evolutionary Computation.

[9]  C. Laymon A. study , 2018, Predication and Ontology.

[10]  S. Holm A Simple Sequentially Rejective Multiple Test Procedure , 1979 .

[11]  Melanie Mitchell,et al.  Relative Building-Block Fitness and the Building Block Hypothesis , 1992, FOGA.

[12]  Richard M. Karp,et al.  Reducibility Among Combinatorial Problems , 1972, 50 Years of Integer Programming.

[13]  David H. Wolpert,et al.  No free lunch theorems for optimization , 1997, IEEE Trans. Evol. Comput..

[14]  Pierre Simon Laplace Essai philosophique sur les probabilités , 1921 .

[15]  Christian Blum,et al.  Hybrid metaheuristics in combinatorial optimization: A survey , 2011, Appl. Soft Comput..

[16]  Carlos García-Martínez,et al.  A simulated annealing method based on a specialised evolutionary algorithm , 2012, Appl. Soft Comput..

[17]  John E. Beasley,et al.  Heuristic algorithms for the unconstrained binary quadratic programming problem , 1998 .

[18]  Marc Toussaint,et al.  On Classes of Functions for which No Free Lunch Results Hold , 2001, Inf. Process. Lett..

[19]  Marc Toussaint,et al.  A No-Free-Lunch Theorem for Non-Uniform Distributions of Target Functions , 2004 .

[20]  David W. Corne,et al.  No Free Lunch and Free Leftovers Theorems for Multiobjective Optimisation Problems , 2003, EMO.

[21]  L. D. Whitley,et al.  The No Free Lunch and problem description length , 2001 .

[22]  M. Boudry,et al.  Simulation of biological evolution under attack, but not really: a response to Meester , 2011 .

[23]  Robert J. Marks,et al.  Conservation of Information in Search: Measuring the Cost of Success , 2009, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[24]  L. D. Whitley,et al.  Complexity Theory and the No Free Lunch Theorem , 2005 .

[25]  Francisco J. Rodríguez,et al.  Role differentiation and malleable mating for differential evolution: an analysis on large-scale optimisation , 2011, Soft Comput..

[26]  Der-San Chen,et al.  Applied Integer Programming: Modeling and Solution , 2010 .

[27]  R. Iman,et al.  Approximations of the critical region of the fbietkan statistic , 1980 .

[28]  Francisco Herrera,et al.  A study on the use of non-parametric tests for analyzing the evolutionary algorithms’ behaviour: a case study on the CEC’2005 Special Session on Real Parameter Optimization , 2009, J. Heuristics.

[29]  Francisco J. Rodríguez,et al.  Analysing the significance of no free lunch theorems on the set of real-world binary problems , 2011, 2011 11th International Conference on Intelligent Systems Design and Applications.

[30]  Francisco Gortázar,et al.  Black box scatter search for general classes of binary optimization problems , 2010, Comput. Oper. Res..

[31]  Olivier Teytaud,et al.  Continuous Lunches Are Free Plus the Design of Optimal Optimization Algorithms , 2010, Algorithmica.

[32]  M. Friedman A Comparison of Alternative Tests of Significance for the Problem of $m$ Rankings , 1940 .

[33]  Francisco Herrera,et al.  Tackling Real-Coded Genetic Algorithms: Operators and Tools for Behavioural Analysis , 1998, Artificial Intelligence Review.

[34]  Larry J. Eshelman,et al.  Preventing Premature Convergence in Genetic Algorithms by Preventing Incest , 1991, ICGA.

[35]  James A. R. Marshall,et al.  Beyond No Free Lunch: Realistic algorithms for arbitrary problem classes , 2009, IEEE Congress on Evolutionary Computation.

[36]  Miguel Rocha,et al.  Evaluating Evolutionary Algorithms and Differential Evolution for the Online Optimization of Fermentation Processes , 2007, EvoBIO.

[37]  W. Macready,et al.  No Free Lunch Theorems for , 1995 .

[38]  J. Pollack,et al.  Hierarchically consistent test problems for genetic algorithms , 1999, Proceedings of the 1999 Congress on Evolutionary Computation-CEC99 (Cat. No. 99TH8406).

[39]  Thomas Jansen,et al.  Design and Management of Complex Technical Processes and Systems by Means of Computational Intelligence Methods Perhaps Not a Free Lunch but at Least a Free Appetizer Perhaps Not a Free Lunch but at Least a Free Appetizer , 2022 .

[40]  Francisco Herrera,et al.  A practical tutorial on the use of nonparametric statistical tests as a methodology for comparing evolutionary and swarm intelligence algorithms , 2011, Swarm Evol. Comput..

[41]  Carlos García-Martínez,et al.  Hybrid metaheuristics with evolutionary algorithms specializing in intensification and diversification: Overview and progress report , 2010, Comput. Oper. Res..

[42]  Travis C. Service A No Free Lunch theorem for multi-objective optimization , 2010, Inf. Process. Lett..

[43]  D. Thierens Adaptive mutation rate control schemes in genetic algorithms , 2002, Proceedings of the 2002 Congress on Evolutionary Computation. CEC'02 (Cat. No.02TH8600).

[44]  Olivier Teytaud,et al.  Continuous lunches are free! , 2007, GECCO '07.

[45]  Dirk Thierens,et al.  Population-Based Iterated Local Search: Restricting Neighborhood Search by Crossover , 2004, GECCO.

[46]  M. Jünger,et al.  50 Years of Integer Programming 1958-2008 - From the Early Years to the State-of-the-Art , 2010 .

[47]  El-Ghazali Talbi,et al.  A Taxonomy of Hybrid Metaheuristics , 2002, J. Heuristics.

[48]  Ying-ping Chen,et al.  Free lunches on the discrete Lipschitz class , 2011, Theor. Comput. Sci..

[49]  L. Darrell Whitley,et al.  Focused no free lunch theorems , 2008, GECCO '08.

[50]  Kalyanmoy Deb,et al.  Messy Genetic Algorithms: Motivation, Analysis, and First Results , 1989, Complex Syst..

[51]  Carlos García-Martínez,et al.  Evaluating a local genetic algorithm as context-independent local search operator for metaheuristics , 2010, Soft Comput..

[52]  Mauricio G. C. Resende,et al.  Designing and reporting on computational experiments with heuristic methods , 1995, J. Heuristics.

[53]  Gary J. Koehler,et al.  Conditions that Obviate the No-Free-Lunch Theorems for Optimization , 2007, INFORMS J. Comput..

[54]  Thomas Jansen,et al.  Optimization with randomized search heuristics - the (A)NFL theorem, realistic scenarios, and difficult functions , 2002, Theor. Comput. Sci..