Informatique & IA · l'expérience
Rejoue le go sous superko
Une règle qui interdit de recréer toute position déjà vue, un solveur qui garde ses raccourcis honnêtes, un plateau de 4×7 qui perd 16 points. Quatre questions, du débutant à l'expert.
1 · Comprends la règle
Débutant
Pourquoi le superko rend-il un plateau de go si difficile à résoudre ?
2 · Mesure le raccourci
Sur le plateau 3×7, sans le transfert de preuve, le solveur fait 664 milliards d'étapes. Avec lui, 112 millions, pour la même valeur.
Intermédiaire
Par combien le transfert de preuve divise-t-il le travail ?
3 · Transfère une preuve
Le solveur a stocké une preuve que Noir gagne depuis une position. Il l'atteint de nouveau par un autre chemin, où une position que seul Blanc devait recréer est déjà apparue.
Expert
La preuve reste-t-elle valable sur ce chemin ?
4 · Trouve la faille du 4×7
Sur le 4×7, après le coup 25, Blanc joue G2 au lieu de A2. Il finit par prendre une pierre au ko. Sous l'ancienne règle, une passe lèverait l'interdiction : Noir reprendrait et gagnerait tout le plateau.
Expert
Sous superko, pourquoi Noir ne peut-il pas reprendre ?
Plateau résolu
—