Skip to main content
Log in

Genetic programming convergence

  • Published:
Genetic Programming and Evolvable Machines Aims and scope Submit manuscript

Abstract

We study both genotypic and phenotypic convergence in GP floating point continuous domain symbolic regression over thousands of generations. Subtree fitness variation across the population is measured and shown in many cases to fall. In an expanding region about the root node, both genetic opcodes and function evaluation values are identical or nearly identical. Bottom up (leaf to root) analysis shows both syntactic and semantic (including entropy) similarity expand from the outermost node. Despite large regions of zero variation, fitness continues to evolve and near zero crossover disruption suggests improved GP systems within existing memory use.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14
Fig. 15
Fig. 16
Fig. 17
Fig. 18
Fig. 19
Fig. 20
Fig. 21
Fig. 22

Similar content being viewed by others

Notes

  1. We define protected division so that division by zero yields a defined result, i.e. 1.0

  2. In [3] Koza uses a 90% bias in favour of internal nodes to reduce the fraction of crossovers which simply move leafs within the trees.

  3. Schema theory has proved quite popular with GP authors [32,33,34,35,36,37].

  4. See http://www.cs.ucl.ac.uk/staff/W.Langdon/gggp/#Langdon:2017:GECCO for animations of the evolution of convergence in binary 6-multiplexor populations. (Also YouTube video: https://youtu.be/gwCwvwJcWbQ.) C++ code available from http://www.cs.ucl.ac.uk/staff/W.Langdon/ftp/gp-code/GPbmux6.tar.gz.

  5. See http://www.cs.ucl.ac.uk/staff/W.Langdon/seminars/aigp3/ for an animation of [67, Figure 8.5].

  6. Koza [3] uses 50 fitness cases. However, to run conveniently on AVX-512 hardware we replaced 50 by the closest multiple of 16, i.e. \(3 \times 16 = 48\) test cases. Therefore we actually bank together sets of three AVX-512 instructions to evaluate 48 fitness cases together  [69, 70].

  7. Run aborted due to external power failure. We used GPavx, which on publication [69, 70], was the world’s fastest general GP system http://www.cs.ucl.ac.uk/staff/W.Langdon/ftp/gp-code/GPavx.tar.gz, on a 3.00GHz Intel Xeon Gold 6136 server with 48 cores and 3 TBytes. See also RN/20/01 [71].

  8. Figures 8, 15 and 17 use Daida’s [40] lattice in which trees are shown with their root at the origin and branches splayed out from the centre using the full 360°C. http://www.cs.ucl.ac.uk/staff/W.Langdon/gp2lattice/gp2lattice.html This circular display allows populations, indeed multiple generations, of trees to be displayed together, as if plotted on top of each other. It also highlights the asymmetry of the highly evolved trees.

  9. In pretty much any GP system the huge growth with tree size in the number of possible tree shapes (the Catalan number), and the exponential rise in the number of ways of labeling each tree with functions from the function set and leafs from the terminal set, means there must be multiple GP trees with the same fitness value. For example, in our sextic polynomial representation, the number of trees with up to 7 nodes is \(1.25\ 10^{12}\), whilst the number of fitness values cannot exceed \(2^{32} = 4.29\ 10^{9}\).

  10. We could even imagine entropy as being a secondary fitness objective, e.g. to penalise initial random trees which calculate fixed values near the average of the target function, rather than trying to match its variation.

  11. Where recursion is not well supported, interpreting trees as reverse polish expressions can be efficient [82, 83].

References

  1. J.H. Holland, Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control and Artificial Intelligence. MIT Press (1992), first Published by University of Michigan Press 1975

  2. D.E. Goldberg, Genetic Algorithms in Search Optimization and Machine Learning (Addison-Wesley, Reading, 1989)

    MATH  Google Scholar 

  3. J.R. Koza, Genetic Programming: On the Programming of Computers by Means of Natural Selection (MIT Press, Cambridge, 1992) http://mitpress.mit.edu/books/genetic-programming

  4. R. Poli, W.B. Langdon, N.F. McPhee, A field guide to genetic programming. Published via http://lulu.com and freely available at http://www.gp-field-guide.org.uk (2008), http://www.gp-field-guide.org.uk, (With contributions by J. R. Koza)

  5. F. Rothlauf, Representations for genetic and evolutionary algorithms. Springer, Pub-SV:adr, second edn. (2006), https://doi.org/10.1007/3-540-32444-5

  6. W. Banzhaf, P. Nordin, R.E. Keller, F.D. Francone, Genetic Programming—An Introduction; On the Automatic Evolution of Computer Programs and its Applications. Morgan Kaufmann, San Francisco, CA, USA (Jan 1998), https://www.amazon.co.uk/Genetic-Programming-Introduction-Artificial-Intelligence/dp/155860510X

  7. M. O’Neill, C. Ryan, Grammatical Evolution: Evolutionary Automatic Programming in a Arbitrary Language, Genetic programming, vol. 4. Kluwer Academic Publishers (2003), https://doi.org/10.1007/978-1-4615-0447-4

  8. J.F. Miller, (ed.): Cartesian Genetic Programming. Natural Computing Series, Springer (2011), https://doi.org/10.1007/978-3-642-17310-3

  9. N. Nikolaev, H. Iba, Adaptive Learning of Polynomial Networks Genetic Programming, Backpropagation and Bayesian Methods. No. 4 in Genetic and Evolutionary Computation, Springer (2006), http://www.springer.com/computer/ai/book/978-0-387-31239-2, june

  10. K. Krawiec, Behavioral Program Synthesis with Genetic Programming, Studies in Computational Intelligence, vol. 618. Springer International Publishing (2015), https://doi.org/10.1007/978-3-319-27565-9

  11. M.L. Wong, K.S. Leung, Data Mining Using Grammar Based Genetic Programming and Applications, Genetic Programming, vol. 3. Kluwer Academic Publishers (2000), http://www.springer.com/computer/ai/book/978-0-7923-7746-7

  12. C. Le Goues, M. Pradel, A. Roychoudhury, Automated program repair. Commun. ACM 62(12), 56–65 (2019). https://doi.org/10.1145/3318162

    Article  Google Scholar 

  13. D.R. White, A. Arcuri, J.A. Clark, Evolutionary improvement of programs. IEEE Trans. Evol. Comput. 15(4), 515–538 (2011). https://doi.org/10.1109/TEVC.2010.2083669

    Article  Google Scholar 

  14. B.J. Alexander, M.J. Gratton, Constructing an optimisation phase using grammatical evolution. In: Tyrrell, A. (ed.) 2009 IEEE Congress on Evolutionary Computation. pp. 1209–1216. IEEE Computational Intelligence Society, IEEE Press, Trondheim, Norway (18-21 May 2009), https://doi.org/10.1109/CEC.2009.4983083

  15. W.B. Langdon, Genetic improvement of programs. In: Matousek, R. (ed.) 18th International Conference on Soft Computing, MENDEL 2012. Brno University of Technology, Brno, Czech Republic (27-29 Jun 2012), http://www.cs.ucl.ac.uk/staff/W.Langdon/ftp/papers/Langdon_2012_mendel.pdf, invited keynote

  16. W.B. Langdon, Genetically improved software. In: Gandomi, A.H., Alavi, A.H., Ryan, C. (eds.) Handbook of Genetic Programming Applications, chap. 8, pp. 181–220. Springer (2015), https://doi.org/10.1007/978-3-319-20883-1_8

  17. W.B. Langdon, M. Harman, Optimising existing software with genetic programming. IEEE Trans. Evol. Comput. 19(1), 118–135 (2015). https://doi.org/10.1109/TEVC.2013.2281544

    Article  Google Scholar 

  18. J. Petke, M. Harman, W.B. Langdon, W. Weimer, Using genetic improvement and code transplants to specialise a C++ program to a problem class. In: Nicolau, M., Krawiec, K., Heywood, M.I., Castelli, M., Garcia-Sanchez, P., Merelo, J.J., Rivas Santos, V.M., Sim, K. (eds.) 17th European Conference on Genetic Programming. LNCS, vol. 8599, pp. 137–149. Springer, Granada, Spain (23-25 Apr 2014), https://doi.org/10.1007/978-3-662-44303-3_12

  19. J. Petke, Constraints: The future of combinatorial interaction testing. In: 2015 IEEE/ACM 8th International Workshop on Search-Based Software Testing. pp. 17–18. Florence (May 2015), https://doi.org/10.1109/SBST.2015.11

  20. J. Petke, M. Harman, W.B. Langdon, W. Weimer, Specialising software for different downstream applications using genetic improvement and code transplantation. IEEE Trans. Software Eng. 44(6), 574–594 (2018). https://doi.org/10.1109/TSE.2017.2702606

    Article  Google Scholar 

  21. J. Petke, S.O. Haraldsson, M. Harman, W.B. Langdon, D.R. White, J.R. Woodward, Genetic improvement of software: a comprehensive survey. IEEE Trans. Evol. Comput. 22(3), 415–432 (2018). https://doi.org/10.1109/TEVC.2017.2693219

    Article  Google Scholar 

  22. W.B. Langdon, R. Poli, Foundations of Genetic Programming (Springer-Verlag, 2002). https://doi.org/10.1007/978-3-662-04726-2

  23. D. White, An overview of schema theory. arXiv 12(Jan 2014). arXiv:1401.2651

  24. U.M. O’Reilly, F. Oppacher, The troubling aspects of a building block hypothesis for genetic programming. In: Whitley, L.D., Vose, M.D. (eds.) Foundations of Genetic Algorithms 3. pp. 73–88. Morgan Kaufmann, Estes Park, Colorado, USA (31 Jul–2 Aug 1994), https://doi.org/10.1016/B978-1-55860-356-1.50008-X, published 1995

  25. R. Poli, C.R. Stephens, A.H. Wright, J.E. Rowe, A schema theory based extension of Geiringer’s theorem for linear GP and variable length GAs under homologous crossover. In: De Jong, K.A., Poli, R., Rowe, J.E. (eds.) Foundations of Genetic Algorithms VII. pp. 45–62. Morgan Kaufmann, Torremolinos, Spain (4-6 Sep 2002), http://gpbib.cs.ucl.ac.uk/gp-html/poli_2002_foga.html, published 2003

  26. R. Poli, N.F. McPhee, General schema theory for genetic programming with subtree-swapping crossover: Part I. Evol. Comput. 11(1), 53–66 (2003). https://doi.org/10.1162/106365603321829005

    Article  Google Scholar 

  27. R. Poli, N.F. McPhee, General schema theory for genetic programming with subtree-swapping crossover: Part II. Evol. Comput. 11(2), 169–206 (2003). https://doi.org/10.1162/106365603766646825

    Article  Google Scholar 

  28. R. Poli, N.F. McPhee, J.E. Rowe, Exact schema theory and markov chain models for genetic programming and variable-length genetic algorithms with homologous crossover. Genet. Program Evolvable Mach. 5(1), 31–70 (2004). https://doi.org/10.1023/B:GENP.0000017010.41337.a7

    Article  Google Scholar 

  29. R. Poli, L. Vanneschi, W.B. Langdon, N.F. McPhee, Theoretical results in genetic programming: The next ten years? Genetic Programming and Evolvable Machines 11(3/4), 285–320 (Sep 2010), https://doi.org/10.1007/s10710-010-9110-5, tenth Anniversary Issue: Progress in Genetic Programming and Evolvable Machines

  30. J.H. Holland, Genetic algorithms and the optimal allocation of trials. SIAM J. Comput. 2, 88–105 (1973). https://doi.org/10.1137/0202009

    Article  MathSciNet  MATH  Google Scholar 

  31. L. Altenberg, The Schema Theorem and Price’s Theorem. In: Whitley, L.D., Vose, M.D. (eds.) Foundations of Genetic Algorithms 3. pp. 23–49. Morgan Kaufmann, Estes Park, Colorado, USA (31 Jul–2 Aug 1994), https://doi.org/10.1016/B978-1-55860-356-1.50006-6, published 1995

  32. P.A. Whigham, A schema theorem for context-free grammars. In: 1995 IEEE Conference on Evolutionary Computation. vol. 1, pp. 178–181. IEEE Press, Perth, Australia (29 Nov - 1 Dec 1995), https://doi.org/10.1109/ICEC.1995.489140

  33. J.P. Rosca, D.H. Ballard, Rooted-tree schemata in genetic programming. In: Spector, L., Langdon, W.B., O’Reilly, U.M., Angeline, P.J. (eds.) Advances in Genetic Programming 3, chap. 11, pp. 243–271. MIT Press, Cambridge, MA, USA (Jun 1999), http://www.cs.ucl.ac.uk/staff/W.Langdon/aigp3/ch11.pdf

  34. N.X. Hoai, A Flexible Representation for Genetic Programming from Natural Language Processing. Ph.D. thesis, Australian Defence force Academy, University of New South Wales, Australia (Dec 2004), http://handle.unsw.edu.au/1959.4/38750

  35. W.A. Greene, Schema disruption in chromosomes that are structured as binary trees. In: Deb, K., Poli, R., Banzhaf, W., Beyer, H.G., Burke, E., Darwen, P., Dasgupta, D., Floreano, D., Foster, J., Harman, M., Holland, O., Lanzi, P.L., Spector, L., Tettamanzi, A., Thierens, D., Tyrrell, A. (eds.) Genetic and Evolutionary Computation – GECCO-2004, Part I. Lecture Notes in Computer Science, vol. 3102, pp. 1197–1207. Springer-Verlag, Seattle, WA, USA (26-30 Jun 2004), https://doi.org/10.1007/978-3-540-24854-5_116

  36. Z. Zojaji, M.M. Ebadzadeh, Semantic schema theory for genetic programming. Appl. Intell. 44(1), 67–87 (2016). https://doi.org/10.1007/s10489-015-0696-4

    Article  Google Scholar 

  37. Z. Zojaji, M.M. Ebadzadeh, An improved semantic schema modeling for genetic programming. Soft. Comput. 22(10), 3237–3260 (2018). https://doi.org/10.1007/s00500-017-2781-6

    Article  Google Scholar 

  38. J.M. Daida, A.M. Hilss, Identifying structural mechanisms in standard genetic programming. In: Cantú-Paz, E., Foster, J.A., Deb, K., Davis, D., Roy, R., O’Reilly, U.M., Beyer, H.G., Standish, R., Kendall, G., Wilson, S., Harman, M., Wegener, J., Dasgupta, D., Potter, M.A., Schultz, A.C., Dowsland, K., Jonoska, N., Miller, J. (eds.) Genetic and Evolutionary Computation – GECCO-2003. LNCS, vol. 2724, pp. 1639–1651. Springer-Verlag, Chicago (12-16 Jul 2003), https://doi.org/10.1007/3-540-45110-2_58

  39. J.M. Daida, R.R. Bertram, S.A. Stanhope, J.C. Khoo, S.A. Chaudhary, O.A. Chaudhri, J.A. Polito II., What makes a problem gp-hard? analysis of a tunably difficult problem in genetic programming. Genet. Program Evolvable Mach. 2(2), 165–191 (2001). https://doi.org/10.1023/A:1011504414730

    Article  MATH  Google Scholar 

  40. J.M. Daida, A.M. Hilss, D.J. Ward, S.L. Long, Visualizing tree structures in genetic programming. Genet. Program Evolvable Mach. 6(1), 79–110 (2005). https://doi.org/10.1007/s10710-005-7621-2

    Article  MATH  Google Scholar 

  41. E.K. Burke, S. Gustafson, G. Kendall, Diversity in genetic programming: An analysis of measures and correlation with fitness. IEEE Trans. Evol. Comput. 8(1), 47–62 (2004). https://doi.org/10.1109/TEVC.2003.819263

    Article  Google Scholar 

  42. R. Poli, J. Page, Solving high-order Boolean parity problems with smooth uniform crossover, sub-machine code GP and demes. Genet. Program Evolvable Mach. 1(1/2), 37–56 (2000). https://doi.org/10.1023/A:1010068314282

    Article  MATH  Google Scholar 

  43. J.V. Hansen, Genetic programming experiments with standard and homologous crossover methods. Genet. Program Evolvable Mach. 4(1), 53–66 (2003). https://doi.org/10.1023/A:1021825110329

    Article  MATH  Google Scholar 

  44. A. Moraglio, R. Poli, Geometric landscape of homologous crossover for syntactic trees. In: Proceedings of the 2005 IEEE Congress on Evolutionary Computation (CEC-2005). vol. 1, pp. 427–434. IEEE, Edinburgh (2-4 Sep 2005), https://doi.org/10.1109/CEC.2005.1554715

  45. T.P. Pawlak, Competent Algorithms for Geometric Semantic Genetic Programming. Ph.D. thesis, Poznan University of Technology, Poznan, Poland (21 Sep 2015), http://www.cs.put.poznan.pl/tpawlak/link/?PhD

  46. R. Tinos, D. Whitley, G. Ochoa, A new generalized partition crossover for the traveling salesman problem: Tunneling between local optima. Evol. Comput. 28(2), 255–288 (2020). https://doi.org/10.1162/evco_a_00254

    Article  Google Scholar 

  47. P.J. Angeline, Subtree crossover: Building block engine or macromutation? In: Koza, J.R., Deb, K., Dorigo, M., Fogel, D.B., Garzon, M., Iba, H., Riolo, R.L. (eds.) Genetic Programming 1997: Proceedings of the Second Annual Conference. pp. 9–17. Morgan Kaufmann, Stanford University, CA, USA (13-16 Jul 1997), http://ncra.ucd.ie/COMP41190/SubtreeXoverBuildingBlockorMacromutation_angeline_gp97.ps

  48. T. Haynes, Phenotypical building blocks for genetic programming. In: Back, T. (ed.) Genetic Algorithms: Proceedings of the Seventh International Conference. pp. 26–33. Morgan Kaufmann, Michigan State University, East Lansing, MI, USA (19-23 Jul 1997), http://gpbib.cs.ucl.ac.uk/gp-html/haynes_1997_pbbGP.html

  49. W.B. Langdon, R. Poli, Why ants are hard. In: Koza, J.R., Banzhaf, W., Chellapilla, K., Deb, K., Dorigo, M., Fogel, D.B., Garzon, M.H., Goldberg, D.E., Iba, H., Riolo, R. (eds.) Genetic Programming 1998: Proceedings of the Third Annual Conference. pp. 193–201. Morgan Kaufmann, University of Wisconsin, Madison, Wisconsin, USA (22-25 Jul 1998), http://www.cs.ucl.ac.uk/staff/W.Langdon/ftp/papers/WBL.antspace_gp98.pdf

  50. W.B. Langdon, N. Veerapen, G. Ochoa, Visualising the search landscape of the triangle program. In: Castelli, M., McDermott, J., Sekanina, L. (eds.) EuroGP 2017. LNCS, vol. 10196, pp. 96–113. Springer, Amsterdam (19-21 Apr 2017), https://doi.org/10.1007/978-3-319-55696-3_7

  51. C. Ryan, H. Majeed, A. Azad, A competitive building block hypothesis. In: Deb, K., Poli, R., Banzhaf, W., Beyer, H.G., Burke, E., Darwen, P., Dasgupta, D., Floreano, D., Foster, J., Harman, M., Holland, O., Lanzi, P.L., Spector, L., Tettamanzi, A., Thierens, D., Tyrrell, A. (eds.) Genetic and Evolutionary Computation – GECCO-2004, Part II. Lecture Notes in Computer Science, vol. 3103, pp. 654–665. Springer-Verlag, Seattle, WA, USA (26-30 Jun 2004), https://doi.org/10.1007/978-3-540-24855-2_73

  52. Sastry, K., O’Reilly, U.M., Goldberg, D.E., Hill, D.: Building block supply in genetic programming. In: Riolo, R.L., Worzel, B. (eds.) Genetic Programming Theory and Practice, chap. 9, pp. 137–154. Kluwer (2003), https://doi.org/10.1007/978-1-4419-8983-3_9

  53. S.M. Winkler, M. Affenzeller, S. Wagner, Analysis of the effects of enhanced selection concepts for genetic programming based structure identification using fine-grained population diversity estimation. In: Krasnogor, N., Lanzi, P.L., Engelbrecht, A., Pelta, D., Gershenson, C., Squillero, G., Freitas, A., Ritchie, M., Preuss, M., Gagne, C., Ong, Y.S., Raidl, G., Gallager, M., Lozano, J., Coello-Coello, C., Silva, D.L., Hansen, N., Meyer-Nieberg, S., Smith, J., Eiben, G., Bernado-Mansilla, E., Browne, W., Spector, L., Yu, T., Clune, J., Hornby, G., Wong, M.L., Collet, P., Gustafson, S., Watson, J.P., Sipper, M., Poulding, S., Ochoa, G., Schoenauer, M., Witt, C., Auger, A. (eds.) GECCO ’11: Proceedings of the 13th annual conference companion on Genetic and evolutionary computation. pp. 195–196. ACM, Dublin, Ireland (12-16 Jul 2011), https://doi.org/10.1145/2001858.2001967

  54. W.B. Langdon, R. Poli, An analysis of the MAX problem in genetic programming. In: Koza, J.R., Deb, K., Dorigo, M., Fogel, D.B., Garzon, M., Iba, H., Riolo, R.L. (eds.) Genetic Programming 1997: Proceedings of the Second Annual Conference. pp. 222–230. Morgan Kaufmann, Stanford University, CA, USA (13-16 Jul 1997), http://www.cs.ucl.ac.uk/staff/W.Langdon/ftp/papers/WBL.max_gp97.pdf

  55. T. Koetzing, A.M. Sutton, F. Neumann, U.M. O’Reilly, The Max problem revisited: The importance of mutation in genetic programming. Theoret. Comput. Sci. 545, 94–107 (2014). https://doi.org/10.1016/j.tcs.2013.06.014

    Article  MathSciNet  MATH  Google Scholar 

  56. A. Lissovoi, P.S. Oliveto, Computational complexity analysis of genetic programming. In: Doerr, B., Neumann, F. (eds.) Theory of Evolutionary Computation, chap. 11, pp. 475–518. Natural Computing Series, Springer Nature (2019), https://doi.org/10.1007/978-3-030-29414-4_11

  57. A. Nguyen, T. Urli, M. Wagner, Single- and multi-objective genetic programming: New bounds for weighted order and majority. In: Neumann, F., De Jong, K. (eds.) Foundations of Genetic Algorithms. pp. 161–172. ACM, Adelaide, Australia (2013), https://doi.org/10.1145/2460239.2460254

  58. B. Doerr, T. Koetzing, J.A.G. Lagodzinski, J. Lengler, The impact of lexicographic parsimony pressure for ORDER/MAJORITY on the run time. Theoretical Computer Science 816, 144–168 (2020), https://doi.org/10.1016/j.tcs.2020.01.011

  59. C. Darwin, The Origin of Species. John Murray, penguin classics, 1985 edn. (1859)

  60. R.B. Owen, R. Crossley, T.C. Johnson, D. Tweddle, I. Kornfield, S. Davison, D.H. Eccles, D.E. Engstrom, Major low levels of Lake Malawi and their implications for speciation rates in cichlid fishes. Proceedings of the Royal Society (B) 240(1299), 519–553 (1990), http://www.jstor.org/stable/49477

  61. R.E. Lenski, et al.: Sustained fitness gains and variability in fitness trajectories in the long-term evolution experiment with Escherichia coli. Proceedings of the Royal Society B 282(1821) (22 December 2015), https://doi.org/10.1098/rspb.2015.2292

  62. B.H. Good, M.J. McDonald, J.E. Barrick, R.E. Lenski, M.M. Desai, The dynamics of molecular evolution over 60,000 generations. Nature 551, 45–50 (2017), https://doi.org/10.1038/nature24287

  63. N.F. McPhee, R. Poli, A schema theory analysis of the evolution of size in genetic programming with linear representations. In: Miller, J.F., Tomassini, M., Lanzi, P.L., Ryan, C., Tettamanzi, A.G.B., Langdon, W.B. (eds.) Genetic Programming, Proceedings of EuroGP’2001. LNCS, vol. 2038, pp. 108–125. Springer-Verlag, Lake Como, Italy (2001), https://doi.org/10.1007/3-540-45355-5_10

  64. W.B. Langdon, Long-term evolution of genetic programming populations. In: Proceedings of the Genetic and Evolutionary Computation Conference Companion. pp. 235–236. GECCO ’17, ACM, Berlin (2017), https://doi.org/10.1145/3067695.3075965

  65. W.B. Langdon, Long-term evolution of genetic programming populations. Tech. Rep. RN/17/05, University College, London, London, UK (24 Mar 2017), http://www.cs.ucl.ac.uk/fileadmin/UCL-CS/research/Research_Notes/RN_17_05.pdf, also available as arXiv:1843365

  66. R. Poli, W.B. Langdon, Sub-machine-code genetic programming. In: Spector, L., Langdon, W.B., O’Reilly, U.M., Angeline, P.J. (eds.) Advances in Genetic Programming 3, chap. 13, pp. 301–323. MIT Press, Cambridge, MA, USA (1999), http://www.cs.ucl.ac.uk/staff/W.Langdon/aigp3/ch13.pdf

  67. W.B. Langdon, T. Soule, R. Poli, J.A. Foster, The evolution of size and shape. In: Spector, L., Langdon, W.B., O’Reilly, U.M., Angeline, P.J. (eds.) Advances in Genetic Programming 3, chap. 8, pp. 163–190. MIT Press, Cambridge, MA, USA (1999), http://www.cs.ucl.ac.uk/staff/W.Langdon/aigp3/ch08.pdf

  68. W.B. Langdon, W. Banzhaf, Continuous long-term evolution of genetic programming. In: Fuechslin, R. (ed.) Conference on Artificial Life (ALIFE 2019). pp. 388–395. MIT Press, Newcastle (2019), https://doi.org/10.1162/isal_a_00191

  69. W.B. Langdon, W. Banzhaf, Faster genetic programming GPquick via multicore and advanced vector extensions. Tech. Rep. RN/19/01, University College, London, London, UK (2019), http://www.cs.ucl.ac.uk/fileadmin/user_upload/avx_rn1901.pdf

  70. W.B. Langdon, Parallel GPQUICK. In: Doerr, C. (ed.) GECCO ’19: Proceedings of the Genetic and Evolutionary Computation Conference Companion. pp. 63–64. ACM, Prague, Czech Republic (2019), https://doi.org/10.1145/3319619.3326770

  71. W.B. Langdon, Fast generation of big random binary trees. Tech. Rep. RN/20/01, Computer Science, University College, London, Gower Street, London, UK (2020), arXiv:2001.04505

  72. W.B. Langdon, Linear increase in tree height leads to sub-quadratic bloat. In: Haynes, T., Langdon, W.B., O’Reilly, U.M., Poli, R., Rosca, J. (eds.) Foundations of Genetic Programming. pp. 55–56. Orlando, Florida, USA (1999), http://www.cs.ucl.ac.uk/staff/W.Langdon/fogp/WBL.fogp.ps.gz

  73. W.B. Langdon, Quadratic bloat in genetic programming. In: Whitley, D., Goldberg, D., Cantu-Paz, E., Spector, L., Parmee, I., Beyer, H.G. (eds.) Proceedings of the Genetic and Evolutionary Computation Conference (GECCO-2000). pp. 451–458. Morgan Kaufmann, Las Vegas, Nevada, USA (2000), http://gpbib.cs.ucl.ac.uk/gecco2000/GA069.pdf

  74. W.B. Langdon, Size fair and homologous tree genetic programming crossovers. Genet. Program Evolvable Mach. 1(1/2), 95–119 (2000). https://doi.org/10.1023/A:1010024515191

    Article  MATH  Google Scholar 

  75. W.B. Langdon, R. Poli, Fitness causes bloat. In: Chawdhry, P.K., Roy, R., Pant, R.K. (eds.) Soft Computing in Engineering Design and Manufacturing. pp. 13–22. Springer-Verlag London (1997), https://doi.org/10.1007/978-1-4471-0427-8_2

  76. R. Sedgewick, P. Flajolet, An Introduction to the Analysis of Algorithms (Addison-Wesley, Reading, 1996)

    MATH  Google Scholar 

  77. P. Flajolet, A. Oldyzko, The average height of binary trees and other simple trees. J. Comput. Syst. Sci. 25(2), 171–213 (1982). https://doi.org/10.1016/0022-0000(82)90004-6

    Article  MathSciNet  MATH  Google Scholar 

  78. R. Poli, W.B. Langdon, S. Dignum, On the limiting distribution of program sizes in tree-based genetic programming. In: Ebner, M., O’Neill, M., Ekárt, A., Vanneschi, L., Esparcia-Alcázar, A.I. (eds.) Proceedings of the 10th European Conference on Genetic Programming. Lecture Notes in Computer Science, vol. 4445, pp. 193–204. Springer, Valencia, Spain (2007), https://doi.org/10.1007/978-3-540-71605-1_18, best paper award

  79. W.B. Langdon, W. Banzhaf, Repeated patterns in genetic programming. Nat. Comput. 7(4), 589–613 (2008). https://doi.org/10.1007/s11047-007-9038-8

    Article  MathSciNet  MATH  Google Scholar 

  80. W.B. Langdon, The distribution of reversible functions is Normal. In: Riolo, R.L., Worzel, B. (eds.) Genetic Programming Theory and Practice, chap. 11, pp. 173–187. Kluwer (2003), https://doi.org/10.1007/978-1-4419-8983-3_11

  81. A. Renyi, A Diary on Information Theory (Probability and Statistics, Applied Probability and Statistics Section, John Wiley and Sons, Chichester, 1987)

  82. W.B. Langdon, W. Banzhaf, A SIMD interpreter for genetic programming on GPU graphics cards. In: O’Neill, M., Vanneschi, L., Gustafson, S., Esparcia Alcazar, A.I., De Falco, I., Della Cioppa, A., Tarantino, E. (eds.) Proceedings of the 11th European Conference on Genetic Programming, EuroGP 2008. Lecture Notes in Computer Science, vol. 4971, pp. 73–85. Springer, Naples (2008), https://doi.org/10.1007/978-3-540-78671-9_7

  83. W.B. Langdon, A.P. Harrison, GP on SPMD parallel graphics hardware for mega bioinformatics data mining. Soft. Comput. 12(12), 1169–1183 (2008). https://doi.org/10.1007/s00500-008-0296-x (Special Issue on Distributed Bioinspired Algorithms)

    Article  Google Scholar 

  84. S. Handley, On the use of a directed acyclic graph to represent a population of computer programs. In: Proceedings of the 1994 IEEE World Congress on Computational Intelligence. vol. 1, pp. 154–159. IEEE Press, Orlando, Florida, USA (1994), https://doi.org/10.1109/ICEC.1994.350024

  85. N.F. McPhee, N.J. Hopper, M.L. Reierson, Sutherland: An extensible object-oriented software framework for evolutionary computation. In: Koza, J.R., Banzhaf, W., Chellapilla, K., Deb, K., Dorigo, M., Fogel, D.B., Garzon, M.H., Goldberg, D.E., Iba, H., Riolo, R. (eds.) Genetic Programming 1998: Proceedings of the Third Annual Conference. p. 241. Morgan Kaufmann, University of Wisconsin, Madison, Wisconsin, USA (22-25 Jul 1998), http://facultypages.morris.umn.edu/~mcphee/Research/Sutherland/sutherland_gp98_announcement.ps.gz

  86. J.M. Voas, PIE: a dynamic failure-based technique. IEEE Trans. Software Eng. 18(8), 717–727 (1992). https://doi.org/10.1109/32.153381

    Article  Google Scholar 

  87. W.B. Langdon, Data Structures and Genetic Programming. Ph.D. thesis, University College, London, UK (1996), http://www.cs.ucl.ac.uk/staff/W.Langdon/ftp/papers/langdon.ps.gz

  88. A. Singleton, Genetic programming with C++. BYTE pp. 171–176 (Feb 1994), http://www.assembla.com/wiki/show/andysgp/GPQuick_Article

  89. T. Blickle, Theory of Evolutionary Algorithms and Application to System Synthesis. Ph.D. thesis, Swiss Federal Institute of Technology, Zurich, Switzerland (1996), https://doi.org/10.3929/ethz-a-001710359

  90. J. Petke, C. Le Goues, S. Forrest, W.B. Langdon, Genetic improvement of software: Report from dagstuhl seminar 18052. Dagstuhl Rep. 8(1), 158–182 (2018), https://doi.org/10.4230/DagRep.8.1.158

Download references

Acknowledgements

I would like to thank Simon Tatham for PuTTY. This work was inspired by conversations at Dagstuhl Seminars 17191 on the theory of randomized heuristics and 18052 on Genetic Improvement of Software [90].

Funding

Funded by EPSRC GGGP and InfoTestSS grants EP/M025853/1, EP/P005888/1.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to W. B. Langdon.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Langdon, W.B. Genetic programming convergence. Genet Program Evolvable Mach 23, 71–104 (2022). https://doi.org/10.1007/s10710-021-09405-9

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10710-021-09405-9

Keywords

Navigation