6.1 L'algorit hme Proof Number Searc h
125
2, 1
Infini,O
l, l
FIGURE 6.2 - Remontée des valeurs
choisir le fils pour lequel on pourra prouver la valeur 0 le plus facilement. C 'est à dire le
fils qui a le disproof number minimal.
Lorsqu'on développe une feuille qui correspond à un état gagné on initialise son proof
number à 0 et son disprof number à l ' infini. De manière symétrique, lorsqu'on arrive à
une feuille qui correspond à un état perdu, on initialise son proof number à l ' infini et son
disproof number à O.
FIGURE 6.3 - Descente vers la meilleure feuille à développer à partir de la racine
Plutôt que de recalculer à chaque développement de feuille toutes les valeurs de l ' ar-
125
2, 1
Infini,O
l, l
FIGURE 6.2 - Remontée des valeurs
choisir le fils pour lequel on pourra prouver la valeur 0 le plus facilement. C 'est à dire le
fils qui a le disproof number minimal.
Lorsqu'on développe une feuille qui correspond à un état gagné on initialise son proof
number à 0 et son disprof number à l ' infini. De manière symétrique, lorsqu'on arrive à
une feuille qui correspond à un état perdu, on initialise son proof number à l ' infini et son
disproof number à O.
FIGURE 6.3 - Descente vers la meilleure feuille à développer à partir de la racine
Plutôt que de recalculer à chaque développement de feuille toutes les valeurs de l ' ar-