Solveur de FreeCell : toute donne est-elle résoluble ?
Le FreeCell est le solitaire que l’on dit gagnable presque à chaque fois, parce que les 52 cartes sont face visible. Presque est le mot intéressant. Cette page rapporte ce que notre propre solveur a trouvé sur 12 000 donnes numérotées, dit clairement ce qu’il n’a pas prouvé, et explique comment l’outil Solveur du jeu utilise le même moteur.
Ce qu’a trouvé notre solveur
Nous avons lancé le solveur sur 12 000 donnes de FreeCell numérotées. Il a trouvé une solution complète pour 11 304 d’entre elles, soit 94,2 %, et chaque solution a été rejouée coup par coup pour confirmer qu’elle gagne.
| Donnes testées | Prouvées gagnables | Part |
|---|---|---|
| 12 000 | 11 304 | 94,2 % |
Et les 5,8 % restants ?
Pour les 696 donnes restantes, le solveur n’a pas trouvé de solution. Ce n’est pas la même chose que de prouver qu’elles sont impossibles : une recherche qui s’arrête à son budget ne peut pas distinguer une donne sans solution d’une donne dont la solution est difficile à trouver. Nous ne prétendons donc pas que 5,8 % des donnes de FreeCell sont impossibles, seulement que c’est la part que nous n’avons pas pu prouver. Solitaire Play ne distribue jamais ces parties ; chaque nouvelle donne et chaque défi du jour viennent de l’ensemble prouvé.
Pourquoi le FreeCell est si gagnable
Tout est visible : tout le jeu est planification, pas hasard. Vous avez huit colonnes, quatre cellules libres et quatre fondations, et une suite correctement ordonnée peut se déplacer d’un bloc : la plus longue suite est (cellules libres + 1) × 2 puissance le nombre de colonnes vides. Une colonne vide vaut bien plus qu’une cellule libre, ce qui explique pourquoi les guides de stratégie conseillent d’en vider une exprès.
Plus de technique dans le guide de stratégie du FreeCell.
L’outil Solveur dans le jeu
Ouvrez le menu dans une partie de FreeCell et choisissez Solveur pour demander si la position actuelle est encore gagnable, regarder une démonstration d’une solution, ou revenir à une position encore gagnable. Une partie terminée avec la démonstration ne compte pas dans vos statistiques. Comme les chiffres de la bibliothèque, la réponse vient d’une recherche avec une limite : c’est une preuve quand elle dit oui, et pas un verdict quand elle abandonne.
Foire aux questions
Toutes les donnes de FreeCell sont-elles résolubles ?
Ce n’est pas garanti. Dans notre essai de 12 000 donnes, le solveur en a prouvé 94,2 % gagnables ; pour les 5,8 % restants, il n’a trouvé aucune solution, ce qui ne prouve pas qu’elles sont impossibles. Solitaire Play ne distribue que depuis l’ensemble prouvé.
Combien de donnes de FreeCell le solveur a-t-il testées ?
12 000 donnes numérotées, dont 11 304 ont été prouvées gagnables et rejouées.
Puis-je utiliser le solveur pendant la partie ?
Oui. Le Solveur du menu peut vous dire si votre position actuelle est encore gagnable, montrer une solution, ou vous ramener à une position qui en a encore une. Les victoires démontrées ne comptent pas dans vos statistiques.
Pourquoi le solveur ne donne-t-il parfois pas de réponse ?
Il cherche dans une limite. Une donne qu’il n’a pas pu terminer dans cette limite est signalée comme non prouvée, pas comme impossible.