Fourmi de Langton

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Ce modèle est-il pertinent ? Cliquez pour en voir d'autres.
Cet article ne cite pas suffisamment ses sources (mars 2013).

Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références » (modifier l'article, comment ajouter mes sources ?).

On nomme fourmi de Langton un automate cellulaire (voir machine de Turing) bidimensionnel comportant un jeu de règles très simples. On lui a donné le nom de Christopher Langton, son inventeur.

Elle constitue l'un des systèmes les plus simples permettant de mettre en évidence un exemple de comportement émergent.

Règles[modifier | modifier le code]

Les cases d'une grille bidimensionnelle peuvent être blanches ou noires. On considère arbitrairement l'une de ces cases comme étant l'emplacement initial de la fourmi. Dans l'état initial, toutes les cases sont de la même couleur.

La fourmi peut se déplacer à gauche, à droite, en haut ou en bas d'une case à chaque fois selon les règles suivantes :

  • Si la fourmi est sur une case noire, elle tourne de 90° vers la droite, change la couleur de la case en blanc et avance d'une case.
  • Si la fourmi est sur une case blanche, elle tourne de 90° vers la gauche, change la couleur de la case en noir et avance d'une case.

Il est également possible de définir la fourmi de Langton comme un automate cellulaire où la plupart des cases de la grille sont blanches ou noires et où la case de la fourmi peut prendre huit états différents, codant à la fois sa couleur et la direction de la fourmi.

Propriétés[modifier | modifier le code]

Attracteur[modifier | modifier le code]

Fourmi de Langton sur une grille initialement vide après 11 000 étapes. En bas, on peut voir le début de la « route ». Le pixel rouge montre la position de la fourmi.

Ces règles simples conduisent à un comportement étonnant de la fourmi : après une période initiale apparemment chaotique, la fourmi finit par construire une « route » formée par 104 étapes qui se répètent indéfiniment. Il semble que cette route de 104 étapes soit un attracteur de la fourmi de Langton. Cet attracteur apparaît quand la grille est initialement vide et pour différentes conditions initiales. On conjecture que ce comportement reste vrai pour n'importe quel motif initial fini dessiné sur la grille (c'est par contre faux si on s'autorise un motif infini)[réf. nécessaire].

Modèle de calcul[modifier | modifier le code]

Certains problèmes sur la fourmi de Langton peuvent être reliés à l'évaluation d'un circuit booléen, un problème P-complet[1].

Extensions[modifier | modifier le code]

Comportement de trois fourmis de Langton avec trois couleurs différentes.

Une extension simple consiste à utiliser plus de deux couleurs, modifiées de façon cyclique par la fourmi. Une dénomination simple de chaque fourmi consiste à assigner la lettre « G » ou « D » à chaque couleur afin d'indiquer si la fourmi doit tourner à gauche ou à droite lorsqu'elle la rencontre. Ainsi, la fourmi de Langton serait nommée « DG ».

Certaines de ces extensions produisent des motifs symétriques, comme « DGGD ».

Références[modifier | modifier le code]

  1. A. Gajardo, A. Moreira et E. Goles, « Complexity of Langton's ant », Discrete Applied Mathematics, vol. 117, no 1-3,‎ , p. 41-50 (DOI 10.1016/S0166-218X(00)00334-6, lire en ligne)

Voir aussi[modifier | modifier le code]

Liens internes[modifier | modifier le code]

Liens externes[modifier | modifier le code]

Sur les autres projets Wikimedia :