Données Cards4 : résultats des solveurs et bibliothèque de graines

Le 25 octobre 2026, nous avons exécuté les solveurs hors ligne de Cards4 sur 96 donnes. Chaque solution annoncée a été rejouée par le moteur de règles, jusqu’à une position réellement gagnée. Cette expérience mesure une recherche limitée, pas le taux de victoire des joueurs ni la proportion de toutes les donnes aléatoires qui seraient résolubles.

Les données JSON complètes donnent les graines, résultats, longueurs des solutions, durées, versions logicielles et empreintes SHA-256 des fichiers et des sources. Ces mesures originales sont distinctes des résultats publiés dans notre guide des probabilités.

Méthode et résultats

Nous avons utilisé les entiers de zéro à 31 pour chacune des variantes Klondike à une carte, Klondike à trois cartes et Spider à une couleur. Chaque recherche disposait de 250 millisecondes et les appels se succédaient sans concurrence. Ces 32 valeurs par variante forment un échantillon pratique et reproductible, pas un échantillon statistique aléatoire.

Chaque victoire correspond à une suite de coups légaux qui satisfait la condition de victoire du moteur. Un délai dépassé signifie seulement que la recherche n’a pas fini dans son budget. Une recherche épuisée décrit le comportement de cette implémentation, sans constituer une preuve générale d’impossibilité. Les 32 recherches Spider ont toutes dépassé le délai ; le zéro ne signifie donc pas que ces donnes sont toutes impossibles.

Inventaire des bibliothèques distribuées

Neuf fichiers binaires contiennent 4 900 entrées. Chaque graine occupe huit octets, sous forme d’entier non signé little-endian. Aucun entier n’est répété au sein d’un même fichier. Ce décompte porte sur les valeurs stockées, pas sur une nouvelle résolution de toutes les donnes.

Ces graines sélectionnées sont distinctes des 96 donnes testées plus haut. Le nombre initial de tentatives nécessaires pour produire les bibliothèques n’a pas été conservé. Leur taille ne permet donc pas de calculer un taux de réussite de génération. Les fichiers stockent des graines, pas des séquences de coups archivées.

Reproduire et interpréter

La commande mix run --no-start scripts/solver_audit.exs écrit l’instantané public sans modifier les bibliothèques. Toute solution trouvée est rejouée avant d’être acceptée. Les temps et certains résultats de dépassement peuvent changer selon la machine ou sa charge ; les versions enregistrées facilitent la comparaison.

Les empreintes identifient les données et le code mesurés. Une modification future des règles ou du mélange pourrait changer la signification d’une graine. Le vérificateur de mélange contrôle la reproductibilité des cartes initiales, pas une sélection sans biais ni la solution de ta position actuelle.

Questions fréquentes

Ces chiffres sont-ils des taux de victoire humains ?

Non. Aucun résultat de joueur n’a été collecté. Les quinze et onze victoires Klondike concernent uniquement ces recherches avec un budget de 250 millisecondes.

Un délai dépassé prouve-t-il qu’une donne est impossible ?

Non. Le solveur peut manquer de ressources ou suivre un ordre de recherche peu favorable. Un cas non résolu doit rester séparé d’une impossibilité démontrée.

Pourquoi publier les données brutes ?

Pour permettre de vérifier l’échantillon, le budget et les entrées. De futures expériences doivent présenter leur méthode propre au lieu de transformer silencieusement cette petite série en conclusion générale.