LE JEU
DE LA VIE
|
SOMMAIRE |
|
|
Introduction
|
Les origines du fameux « jeu de la vie » (Game of Life) : |
|
Faire écrire le
scénario de la vie par un ordinateur, est-ce bien sérieux ? En
tout cas, ça démarre comme un jeu ! Et ça finit par un hallucinant
zoo d’automates, d’anges, de mortels, d’errants, … |
|
Les principaux acteurs à l’origine du « jeu de la vie » : |
|
|
Johannes Von NEUMANN
américain 1903-1957 |
John Horton CONWAY
Anglais 1937- |
![]() |
![]() |
|
D'origine
hongroise, professeur à l'université de Berlin, il s'installe
aux Etats Unis afin d'échapper au régime nazi (1933) et fut
professeur à Princeton. |
Elève brillant, John Conway se passionna dès son enfance pour le
calcul et la magie des nombres, en un mot : l'arithmétique. |
|
Règles du jeu
|
|
|
Les formes de base
|
A- Les formes stables ;
|
|
A- Les formes stables |
|
|
Le « bloc »…un exemple de forme stable, qui ne varie pas au fur et
à mesure des générations :
|
![]() |
|
D’autre exemples de formes stables, ayant les mêmes
caractéristiques que le bloc :
|
![]() |
|
B- Les graines de pulsar |
|
On trouve 3 grands types de graines de pulsar, permettant
d’engendrer, juste avec leur petit nombre de cellules,
de vrais « géants » ! |
![]() |
|
C- Les pulsars |
|
Ce sont de véritables « géants », oscillant entre 3 phases de 48,
56 et 72 cellules.
Le plus remarquable est que cette forme gigantesque et durable
est le fruit de la croissance de l’une des |
|
D- Les oscillateurs |
|
| Ce sont des structures périodiques, qui reprennent leur forme
après 2 itérations.
Voici quelque mples : |
![]() |
|
E- Les vaisseaux |
|
| Ce sont des structures animées, qui se déplacent horizontalement
dans l’espace de jeu.
Leur déplacement s’effectue en 4 étapes. Voici les 3 types de vaisseaux :
|
![]() |
|
F- Les planeurs |
|
| C’est une forme particulière de vaisseau. Elle est simplement
composée de 5 cellules dans chacun des 4 stades de son évolution. C’est une structure animée qui se déplace en diagonale dans l’univers du jeu. La preuve qu’une forme élémentaire peut naître, mourir… mais aussi se mouvoir.
|
![]() |
|
G- Les canons |
| Le canon est né d’un défi lancé par Conway aux passionnés du jeu de la vie, et que releva une équipe d’universitaires. Il est constitué de 2 navettes centrales qui oscillent entre 2 blocs. Résultat : le canon produit un planeur toutes les 30 itérations. Les canons sont de véritables « créateurs » de matière. |
|
H- Les mangeurs |
|
Contrairement aux canons (créateurs de structures), le mangeur dévore celles qui ont le malheur de passer à portée des 3 cellules de sa tête, constituant son « hameçon ». Voici l’exemple atroce d’un planeur se faisant gober : |
|
|
Propriétés
|
Il est possible d'avancer 5 propriétés dans le Jeu de la Vie : |
||||
|
1- Vitesse limite des
vaisseaux
|
2- Croissance infinie
|
3- Irréversibilité
|
4- Jardin d’Eden
|
5- Indécidabilité
|
|
Il
existe des structures appelées vaisseaux (spaceships) ou encore
navires ayant la propriété de se déplacer. On définit la vitesse d'un vaisseau par la distance de translation (mesurée par la longueur du plus court chemin entre deux cellules : deux cellules adjacentes (cote à cote ou en diagonale) étant distantes de 1) divisée par la période. La vitesse d'une cellule par génération est notée usuellement c.
Plusieurs propriétés : |
Il
existe des structures dont l’effectif croît indéfiniment. |
L’automate cellulaire de Conway est irréversible. Cela signifie qu'il n'est pas possible de proposer des règles permettant de déduire d'une configuration son état à la génération précédente. En effet, d'une part, il existe des structures ayant plusieurs antécédents possibles, d'autre part il en existe aussi n’ayant pas d’antécédent. Il est donc impossible de "repasser le film en arrière". La démonstration de la non-unicité des antécédents est assez triviale : il n'est pas difficile de trouver 2 antécédents possibles à une même structure. Par exemple :
|
Jardins d'Eden (structures pour lesquelles il n'existe pas d'antécédent) Il existe des structures Jardin d'Eden pour le Jeu de La Vie. Cela n'est à priori pas si étonnant, en effet, puisqu'il existe des structures finies ayant plusieurs antécédents et que le nombre de structures s'inscrivant dans un rectangle donné est limité, il paraît naturel que d'autres n'en aient aucun. Une démonstration se trouve dans Winning Ways (for your Mathematical Plays) par Berlekamp, Conway, et Guy, (ainsi que dans d'autres ouvrages) : elle se fonde sur des arguments de dénombrement. |
Cela signifie qu'il n'existe aucun procédé général de calcul (ou
algorithme) capable de prédire comment va évoluer à long terme (on
dit aussi asymptotiquement) une structure quelconque du Jeu de la
Vie. La démonstration de cette propriété n'est pas triviale. |
Logiciels
|
Voici les logiciels que l'on peut utiliser pour "jouer" au Jeu de la Vie : |
||||||
|
LIFE
|
WINLIFE
(celui que j'utilise) |
W-LIFE
|
GET A LIFE
|
LIFELAB
|
X-LIFE
|
DB-LIFE
|
|
PC (Dos, Windows)
|
PC (Dos, Windows)
|
PC (Dos, Windows)
|
PC (Dos, Windows)
|
MacOS
|
Unix
|
Unix
|
|
|
||||||

Prototypes
|
Voici les principaux prototypes, leur graph et leurs propriétés : |
|||||||
|
PROTOTYPE
|
TYPE DE PROTOTYPE
|
GRAPH
|
NOMBRE DE
GÉNÉRATIONS |
VITESSE
X |
VITESSE
Y |
POPULATION
|
TRADUCTION
ANGLAISE |
| Bloc | STABLE |
![]() |
0
|
0
|
0
|
4
|
Block |
| Bateau | STABLE |
![]() |
0
|
0
|
0
|
5
|
Boat |
| Péniche | STABLE |
![]() |
0
|
0
|
0
|
6
|
Barge |
| Péniche longue | STABLE |
![]() |
0
|
0
|
0
|
8
|
Long barge |
| Porte-avions | STABLE |
![]() |
0
|
0
|
0
|
6
|
Aircraft carrier |
| Ruche | STABLE |
![]() |
0
|
0
|
0
|
6
|
Beehive |
| Flâneur | STABLE |
![]() |
0
|
0
|
0
|
7
|
Loaf |
| Bi-flâneur | STABLE |
![]() |
0
|
0
|
0
|
14
|
Biloaf |
| Bateau long | STABLE |
![]() |
0
|
0
|
0
|
7
|
Long boat |
| Navire long | STABLE |
![]() |
0
|
0
|
0
|
8
|
Long ship |
| Etang | STABLE |
![]() |
0
|
0
|
0
|
8
|
Pond |
| Navire | STABLE |
![]() |
0
|
0
|
0
|
6
|
Ship |
| Serpent | STABLE |
![]() |
0
|
0
|
0
|
6
|
Snake |
| Serpent long | STABLE |
![]() |
0
|
0
|
0
|
7
|
Long snake |
| Mangeur | STABLE |
![]() |
0
|
0
|
0
|
7
|
Eater |
| Crapaud | OSCILLATEUR |
![]() |
2
|
0
|
0
|
6
|
Toad |
| Pentadecathlon | OSCILLATEUR |
![]() |
15
|
0
|
0
|
12
|
Pentadecathlon |
| Clignotant | OSCILLATEUR |
![]() |
2
|
0
|
0
|
3
|
Blinker |
| Phare | OSCILLATEUR |
![]() |
2
|
0
|
0
|
8
|
Beacon |
| Planeur | VAISSEAU |
![]() |
4
|
1
|
1
|
5
|
Glider |
| Vaisseau léger | VAISSEAU |
![]() |
4
|
2
|
0
|
9
|
Small ship |
| Vaisseau moyen | VAISSEAU |
![]() |
4
|
2
|
0
|
11
|
Medium Ship |
| Vaisseau lourd | VAISSEAU |
![]() |
4
|
2
|
0
|
13
|
Large ship |
| Canon à planeurs | CANON |
![]() |
30
|
23
|
58
|
45
|
Glider gun |
| Canon à planeurs P46 | CANON |
![]() |
46
|
2
|
0
|
56
|
P46 glider gun |