Skip to main content
SpringerLink
Log in

Coevolution of Algorithms and Deterministic Solution of Equations in Free Groups

  • Conference paper
Genetic Programming (EuroGP 2004)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3003))

Included in the following conference series:

  • 752 Accesses

Abstract

We discuss the use of evolutionary algorithms for solving problems in combinatorial group theory, using a class of equations in free groups as a test bench. We find that, in this context, there seems to be a correlation between successful evolutionary algorithms and the existence of good deterministic algorithms. We also trace the convergence of co-evolution of the population of fitness functions to a deterministic solution.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Appel, K.: One-variable equations in free groups. Proc. Amer. Math. Soc. 19, 912–918 (1968)

    Article  MATH  MathSciNet  Google Scholar 

  2. Booth, R. F., Bormotov, D. Y., Borovik, A. V.: Genetic algorithms and equations in free groups and semigroups. Contemp. Math. (to appear)

    Google Scholar 

  3. Borovik, A.V., Esyp, E.S., Kazatchkov, I.V., Remeslennikov, V.N.: Divisibility theory for free partially commutative groups (preprint)

    Google Scholar 

  4. Borovik, A.V., Myasnikov, A.G., Remeslennikov, V.N.: Multiplicative measures on free groups. Int. J. Algebra Comput. (to appear)

    Google Scholar 

  5. Chiswell, I.M., Remeslennikov, V.N.: Equations in free groups with one variable: I. J. Group Theory 3, 445–466 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  6. Comerford, L.P., Edmunds, C.C.: Quadratic equations over free groups and free products. J. Algebra 68, 276–297 (1981)

    Article  MATH  MathSciNet  Google Scholar 

  7. Craven, M.: Genetic algorithms on trace groups (preprint)

    Google Scholar 

  8. Diekert, V., Muscholl, A.: Solvability of equations in free partially commutative groups is decidable. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol. 2076, pp. 543–554. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  9. Diekert, V., Rosenberger, G. (eds.): The Book of Traces. World Scientific, Singapore (1995)

    Google Scholar 

  10. Gilman, R., Myasnikov, A.: One variable equations in free groups via context free languages. Contemp. Math. (to appear)

    Google Scholar 

  11. Khan, B.: Hyperbolicity of the automorphism graph of the free group of rank two (preprint)

    Google Scholar 

  12. Kharlampovich, O., Myasnikov, A.G.: Irreducible affine varieties over a free group, 2: Systems in triangular quasi-quadratic form and description of residually free groups. J. Algebra 200, 517–570 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  13. Koblitz, N.: Algebraic Aspects of Cryprography. Springer, Berlin (1998)

    Google Scholar 

  14. Kvaschuk, A., Myasnikov, A.G., Remeslennikov, V.N.: Equations in one variable in free groups (preprint)

    Google Scholar 

  15. Lyndon, R.C.: Equations in free groups. Trans. Amer. Math. Soc. 96, 445–457 (1960)

    Article  MATH  MathSciNet  Google Scholar 

  16. Lyndon, R.C., Schupp, P.E.: Combinatorial Group Theory. Springer, Berlin (1977)

    MATH  Google Scholar 

  17. Makanin, G.S.: Equations in a free group. Izv. Akad. Nauk SSSR Ser. Mat. 46, 1199–1273 (1982) (in Russian; translation: Math. USSR Izv. 21 (1983))

    MATH  MathSciNet  Google Scholar 

  18. Matiyasevich, Y.: Some decision problems for traces. In: Adian, S., Nerode, A. (eds.) LFCS 1997. LNCS, vol. 1234, pp. 248–257. Springer, Heidelberg (1997)

    Google Scholar 

  19. Miasnikov, A.D.: Genetic algorithms and the Andrews-Curtis conjecture. Internat. J. Algebra Comput. 9(6), 671–686 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  20. Miasnikov, A.D., Myasnikov, A.G.: Whitehead method and genetic algorithms. Contemp. Math. (to appear)

    Google Scholar 

  21. Myasnikov, A.G., Remeslennikov, V.N.: Random equations in one variable on free groups (in preparation)

    Google Scholar 

  22. Michalewicz, Z.: Genetic Algorithms + Data Structure = Evolution Programs (3rd rev. and extended ed.). Springer, Berlin (1996)

    Google Scholar 

  23. Michalewicz, Z., Schoenauer, M.: Evolutionary algorithms for constrained parameter optimization problems. Evolutionary Computation 4(1), 1–32 (1996)

    Article  Google Scholar 

  24. Mitchell, M.: An Introduction to Genetic Algorithms. The MIT Press, Cambridge (1998)

    MATH  Google Scholar 

  25. Paredis, J.: Coevolutionary constraint satisfaction. In: Proc. 3rd Ann. Conf. Parallel Problem Solving from Nature, pp. 46–55. Springer, Berlin (1994)

    Google Scholar 

  26. Spitzer, F.: Principles of Random Walk. Springer, Berlin (2001)

    MATH  Google Scholar 

  27. Wrathall, C.: Free partially commutative groups. In: Combinatorics, Computing and Complexity, Tianjing and Beijing, 1988, pp. 195–216. Kluwer Acad. Publ., Dordrecht (1989)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, UMIST, PO Box 88, Manchester, M60 1QD, United Kingdom

    Richard F. Booth & Alexandre V. Borovik

Authors
  1. Richard F. Booth
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alexandre V. Borovik
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. No Affiliation,  

    Maarten Keijzer

  2. Computer Science and Artificial Intelligence Lab, Massachusetts Institute of Technology, 02139, Cambridge, MA, USA

    Una-May O’Reilly

  3. University of Essex Department of Computing and Electronic Systems, Wivenhoe Park, CO4 3SQ, Colchester, UK

    Simon Lucas

  4. Centre of Informatics and Systems of the University of Coimbra,  

    Ernesto Costa

  5. Department of Computer Science, University of Idaho, ID 83844-1010, Moscow,  

    Terence Soule

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Booth, R.F., Borovik, A.V. (2004). Coevolution of Algorithms and Deterministic Solution of Equations in Free Groups. In: Keijzer, M., O’Reilly, UM., Lucas, S., Costa, E., Soule, T. (eds) Genetic Programming. EuroGP 2004. Lecture Notes in Computer Science, vol 3003. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24650-3_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24650-3_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-21346-8

  • Online ISBN: 978-3-540-24650-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation