Le FreeCell Deal Personne n'a pu résoudre

Le projet Internet FreeCell

FreeCell de Microsoft a fait quelque chose d'inhabituel pour un jeu groupé: il a numéroté ses offres. Tapez un nombre entre 1 et 32 000 et vous avez obtenu une mise en page spécifique, reproductible. Cette décision de conception unique a transformé un jeu de carte en un objet partagé.

En 1994, Dave Ring a commencé ce qui est devenu le projet Internet FreeCell: un effort distribué et bénévole pour déterminer si chacune de ces 32 000 offres pouvait être réellement gagnée. Les participants ont réclamé des blocs de cent offres sur les courriels et les groupes de discussion, les ont joués à la main, et ont rapporté. Il n'y avait pas de financement, pas d'institution et aucun logiciel faisant le travail — seulement plusieurs centaines de personnes, jouer des cartes, tenir des dossiers.

En un an, la carte était presque terminée. Chaque bloc est revenu résolu sauf pour une affaire, dans un bloc, que personne ne pouvait terminer.

Qu'est-ce qui ne va pas avec 11982

L'échec humain n'est pas une preuve. Ce qui a réglé la recherche était exhaustive: avec seulement quatre cellules libres, huit colonnes et 52 cartes, l'espace d'état accessible d'une affaire FreeCell est grand mais fini, et un ordinateur peut tout marcher. Quand cela a été fait pour 11982, la réponse est revenue propre. Il n'y a pas de ligne gagnante. Pas une difficile, pas une longue — aucun.

FreeCell vous donne quatre cellules libres et toutes les colonnes vides que vous pouvez fabriquer, et presque chaque offre contient suffisamment de stockage à court terme pour défaire ses propres nœuds. Deal 11982 est organisé de sorte que les cartes que vous devez déplacer pour faire des progrès dépassent toujours les espaces disponibles pour les tenir, à chaque point du jeu. Chaque ligne prometteuse manque de stationnement.

Pourquoi FreeCell est presque toujours gagnant

Le zéro dans cette dernière ligne est l'histoire entière. FreeCell traite chaque carte face vers le haut. Il n'y a pas d'information cachée, ce qui signifie qu'il n'y a pas de chance dans le sens ordinaire — le deal est corrigé, vous pouvez voir tout cela, et la seule variable est si vous trouvez la ligne.

Ajoutez quatre cellules libres et la capacité de déplacer des séquences en tant qu'unités, et le jeu devient extraordinairement pardonnant des enchevêtrements. La formule supermove rend ce concret: le nombre de cartes que vous pouvez déplacer à la fois est (1 + cellules libres) × 2^{colonnes vides}. Une colonne vide double votre portée. Deux quadruples. C'est pourquoi presque tous les nœuds FreeCell peuvent, avec assez de soin, être déliés.

Ce qui est arrivé après

Plus tard, le travail a étendu la numérotation bien au-delà de 32 000 et jeté des résolveurs à des millions de transactions. L'image tenue: insolvable FreeCell mises en page existent, mais ils disparaissent de façon rare — bien sous un sur mille pour standard quatre cellules FreeCell. Deal 11982 n'était pas un fluke de la recherche; c'était un objet vraiment rare qui se trouvait à l'intérieur de la gamme de transactions que le monde entier regardait.

Le projet lui-même mérite d'être rappelé séparément de son résultat. C'est l'un des premiers exemples du modèle qui gère maintenant une énorme quantité d'Internet: diviser un gros problème en petites unités, les remettre à des étrangers qui sont intéressés pour leurs propres raisons, agréger ce qui revient. Personne n'a été payé. L'infrastructure était une liste de diffusion.

La leçon utile pour votre propre jeu

En Klondike, perdre est généralement la faute de l'opération. Dans FreeCell, il est presque toujours le vôtre — et c'est une bonne nouvelle, parce que cela signifie que les pertes sont des informations.

Trois habitudes en découlent directement:

Ne remplissez jamais les quatre cellules sans plan pour les vider. Un ensemble complet de cellules n'est pas le stockage, c'est la paralysie. Chaque carte que vous garez devrait avoir une destination nommée.

Valeur d'une colonne vide au-dessus de presque n'importe quoi. L'exposant dans la formule supermove est assis sur des colonnes vides, pas des cellules libres. Vider une colonne vaut généralement plusieurs mouvements de configuration.

Utilisez la désactivation comme outil de recherche. Puisque l'accord est solvable, soutenir et essayer une branche différente ne triche pas — c'est la même chose que les volontaires faisaient à la main en 1994, et c'est comment vous apprenez à voir la ligne la première fois.

Sources et champ d'application

Michael Keller a participé au projet original de résolution de contrats. FAQ de FreeCell documente le résultat 32,000-deal et les vérifications informatiques subséquentes. L'exception est #11982 dans cette collection; les collections plus grandes contiennent des offres insolvables supplémentaires. Les numéros de transaction Microsoft nécessitent l'algorithme de transaction de Microsoft et ne devraient pas être supposés correspondre aux semences d'un autre jeu.

Source vérifiée le 8 septembre 2026. guide pour résoudre les cotes et les taux de victoire des joueurs et Normes rédactionnelles.