Chaque puzzle que nous servons est vérifié par machine
Nous ne nous contentons pas d'espérer que nos puzzles soient équitables : nous le prouvons, avec un solveur qui tourne indépendamment du générateur. Voici les données réelles derrière chaque badge de garantie, et comment les reproduire vous-même.
FreeCell — 99.9992 % des donnes sont gagnables
Nous numérotons les donnes exactement comme le FreeCell original de Microsoft (de 1 à 1,000,000), si bien que chaque partie correspond à des décennies d'archives FreeCell. Sur le premier million de donnes, seules 8 ne peuvent jamais être gagnées, et notre propre solveur prouve que chacune est insoluble en épuisant tout l'arbre de jeu. Nous ne les servons jamais : chaque donne en rotation est triplement vérifiée (distribuer → résoudre → rejouer).
La donne #11982 — la partie de FreeCell insoluble la plus célèbre — est prouvée insoluble en 61,643 nœuds de recherche.
| Donne n° | Nœuds pour prouver l’insolubilité |
|---|---|
| #11982 | 61,643 |
| #146692 | 8,637 |
| #186216 | 16,606 |
| #455889 | 11,806 |
| #495505 | 27,688 |
| #512118 | 22,490 |
| #517776 | 67,016 |
| #781948 | 4,381 |
Nous servons actuellement 768 donnes vérifiées — 0 insoluble, 0 non vérifiée.
Démineur — jamais deviner
Chaque grille peut être nettoyée par pure logique dès le premier clic. Pas de pile ou face à 50/50. Nous générons des grilles candidates et rejetons toute grille qui obligerait à deviner ; en Expert, cela revient à en rejeter environ 89 %.
| Difficulté | Grilles qui obligeraient à deviner (rejetées) |
|---|---|
| Facile 9×99×9 / 10 | 7% |
| Moyen 16×1616×16 / 40 | 38.8% |
| Difficile 30×1630×16 / 99 | 89% |
100% · Sans deviner — résoluble par la seule logique ✓
Nonogramme — exactement une solution
Chaque image a une solution unique que vous pouvez atteindre par la seule logique ligne par ligne. Contre-intuitivement, les petites grilles sont les plus difficiles à rendre uniques : nous rejetons environ 88 % des candidates 5×5.
| Taille | Candidates sans solution unique par logique de lignes (rejetées) |
|---|---|
| Facile 5×55×5 | 87.6% |
| Moyen 10×1010×10 | 68.9% |
| Difficile 15×1515×15 | 49.6% |
100% · Solution unique — résoluble par la seule logique ✓
Water Sort — le « par » est le vrai minimum
Chaque niveau a une solution, et le par affiché est le nombre exact de coups minimum, prouvé par un solveur A*, pas estimé. Les niveaux plus durs en demandent plus : le niveau Difficile va de 21 à 35 coups.
| Difficulté | Moins de coups (optimum prouvé) |
|---|---|
| Facile (7 tubes)5 colors / 7 tubes | 8–16 (avg 11.8) |
| Moyen (10 tubes)8 colors / 10 tubes | 15–23 (avg 18.8) |
| Difficile (14 tubes)12 colors / 14 tubes | 21–35 (avg 26.9) |
100% · Chaque plateau résoluble — coups optimaux affichés ✓
Comment le vérifier vous-même
Deux règles gardent ces garanties honnêtes. D'abord, le solveur est indépendant du générateur — un générateur ne corrige jamais son propre travail. Ensuite, tout est reproductible : lancez node scripts/guarantee-stats.mjs et vous obtiendrez les mêmes tailles de preuve. Chaque solveur est ouvert dans notre code.
Données générées le 2026-07-26.
Questions fréquentes
Toutes les parties de FreeCell sont-elles gagnables ?
Presque toutes. Sur les premières 1,000,000 donnes numérotées, exactement 8 sont insolubles — environ 99.9992 % sont gagnables. Nous prouvons les 8 insolubles avec notre propre solveur et ne les servons jamais.
Quelles donnes de FreeCell sont impossibles à gagner ?
Sur le premier million : #11982, #146692, #186216, #455889, #495505, #512118, #517776 et #781948. La #11982 est la seule donne insoluble parmi les 32,000 originales de Microsoft.
Que signifie Démineur sans deviner ?
Chaque grille peut être résolue par la seule logique — vous n’arrivez jamais à un point où deux cases ont la même probabilité d’être une mine et où il faut deviner. Les grilles qui obligeraient à deviner sont rejetées avant d’être servies.
Chaque Nonogramme a-t-il une solution unique ?
Oui. Chaque puzzle est vérifié pour avoir exactement une solution, atteignable par logique ligne par ligne — vous n’avez donc jamais besoin de deviner ni de revenir en arrière depuis une mauvaise branche.
Le nombre de coups de Water Sort est-il le vrai minimum ?
Oui. Le par est calculé par un solveur A* exact comme le nombre de coups prouvé minimal pour ce niveau, pas une approximation.