Structural difficulty in grammatical evolution versus genetic programming

Genetic programming (GP) has problems with structural difficulty as it is unable to search effectively for solutions requiring very full or very narrow trees. As a result of structural difficulty, GP has a bias towards narrow trees which means it searches effectively for solutions requiring narrow trees. This paper focuses on the structural difficulty of grammatical evolution (GE). In contrast to GP, GE works on variable-length binary strings and uses a grammar in Backus-Naur Form (BNF) to map linear genotypes to phenotype trees. The paper studies whether and how GE is affected by structural difficulty. For the analysis, we perform random walks through the search space and compare the structure of the visited solutions. In addition, we compare the performance of GE and GP for the Lid problem. Results show that GE representation is biased, this means it has problems with structural difficulty. For binary trees, GE has a bias towards narrow and deep structures; thus GE outperforms standard GP if optimal solutions are composed of very narrow and deep structures. In contrast, problems where optimal solutions require more dense trees are easier to solve for GP than for GE.

[1]  Franz Rothlauf,et al.  Design of Modern Heuristics: Principles and Application , 2011 .

[2]  K. Holsinger The neutral theory of molecular evolution , 2004 .

[3]  Jason M. Daida,et al.  What Makes a Problem GP-Hard? Validating a Hypothesis of Structural Causes , 2003, GECCO.

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

[5]  Nguyen Xuan Hoai,et al.  Representation and structural difficulty in genetic programming , 2006, IEEE Transactions on Evolutionary Computation.

[6]  Peter A. Whigham,et al.  Grammatically-based Genetic Programming , 1995 .

[7]  Michael O'Neill,et al.  Grammar defined introns: an investigation into grammars, introns, and bias in Grammatical Evolution , 2001 .

[8]  J. David Schaffer,et al.  Representation and Hidden Bias: Gray vs. Binary Coding for Genetic Algorithms , 1988, ML.

[9]  M. O'Neill,et al.  Grammatical evolution , 2001, GECCO '09.

[10]  John R. Koza,et al.  Genetic programming - on the programming of computers by means of natural selection , 1993, Complex adaptive systems.

[11]  Conor Ryan,et al.  Grammatical evolution , 2010, GECCO '09.

[12]  John R. Koza,et al.  Evolving the Architecture of a Multi-part Program in Genetic Programming Using Architecture-Altering Operations , 1995, Evolutionary Programming.

[13]  Conor Ryan,et al.  Crossover in Grammatical Evolution: The Search Continues , 2001, EuroGP.

[14]  Franz Rothlauf,et al.  Design of Modern Heuristics , 2011, Natural Computing Series.

[15]  Jason M. Daida,et al.  Limits to expression in genetic programming: lattice-aggregate modeling , 2002, Proceedings of the 2002 Congress on Evolutionary Computation. CEC'02 (Cat. No.02TH8600).

[16]  Jason M. Daida,et al.  Identifying Structural Mechanisms in Standard Genetic Programming , 2003, GECCO.

[17]  Franz Rothlauf,et al.  Redundant Representations in Evolutionary Computation , 2003, Evolutionary Computation.

[18]  Conor Ryan,et al.  Ripple Crossover in Genetic Programming , 2001, EuroGP.