Skip to content

v1.22 — Les finales resolues : elles sont nulles

Choose a tag to compare

@ocj94 ocj94 released this 28 Jul 23:33

v1.22 — Les finales d'Abalone sont resolues, et elles sont nulles.

Deux classes de finale du mode Decouverte (7 billes par camp) ont ete resolues
exhaustivement par induction retrograde, jeu parfait garanti :

Classe Positions Gains Pertes Nulles DTW max
2 vs 2 6 262 260 6 264 (0,10 %) 0 99,90 % 1
3 vs 2 11 703 240 (canoniques, reduction D6 x10,2) 17 575 (0,15 %) 21 99,85 % 7

Deux resultats demontres :

  1. En 2 contre 2, les seuls gains sont les ejections immediates. Deux billes
    adjacentes ne peuvent jamais etre poussees (pac) et peuvent toujours bouger :
    le defenseur qui garde sa paire soudee est imprenable.
  2. En 3 contre 2, le camp fort ne peut presque jamais forcer l'ejection, et les
    gains existants sont tous en 7 demi-coups au plus.

Ce que ca dit du projet. Une tablebase d'Abalone standard est hors d'atteinte :
un camp a toujours entre 9 et 14 billes, et la plus petite classe atteignable
(9 contre 9) pese environ 10^19 positions. Mais surtout, la question ne se pose
meme pas : la ou les finales sont calculables, elles sont nulles a 99,9 %, et tout
leur contenu tient dans une recherche a 7 plis que le moteur atteint deja seul.
Contrairement aux echecs ou le roi finit acculee, le plateau d'Abalone est immense
face au materiel restant — le camp faible garde toujours 56 cases pour fuir.

Contenu. Generateur verifie (geometrie, 8 tests de regles, 12 symetries validees,
generateur rapide contre-verifie sur 6 classes de materiel, coherence controlee sur
200 000 positions), les deux tables completes, un module de consultation, et sa
version embarquee de 79 Ko integree a index.html — base64, sans reseau, hors ligne.

Detail de la methode : tablebase/RESULTS.md. Integration : tablebase/INTEGRATION.md.