Genetic algorithms and the Andrews-Curtis conjecture

Details Genetic algorithms and the Andrews-Curtis conjecture Genetic algorithms and the Andrews-Curtis conjecture

2003-04-21

arxiv.org/abs/math/0304306v1

International Journal of Algebra and Computation, Vol. 9 No. 6, (1999) 671-686

Mathematics

Group Theory

19 pages

Scientific paper

The Andrews-Curtis conjecture claims that every balanced presentation of the trivial group can be transformed into the trivial presentation by a finite sequence of "elementary transformations" which are Nielsen transformations together with an arbitrary conjugation of a relator. It is believed that the Andrews-Curtis conjecture is false; however, not so many possible counterexamples are known. It is not a trivial matter to verify whether the conjecture holds for a given balanced presentation or not. The purpose of this paper is to describe some non-deterministic methods, called Genetic Algorithms, designed to test the validity of the Andrews-Curtis conjecture. Using such algorithm we have been able to prove that all known (to us) balanced presentations of the trivial group where the total length of the relators is at most 12 satisfy the conjecture. In particular, the Andrews-Curtis conjecture holds for the presentation which was one of the well known potential counterexamples.

Affiliated with

Also associated with

No associations

Rating

Genetic algorithms and the Andrews-Curtis conjecture does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Genetic algorithms and the Andrews-Curtis conjecture, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Genetic algorithms and the Andrews-Curtis conjecture will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-551169