FreeCell-Löser: Ist jedes Blatt lösbar?
FreeCell ist das Solitaire-Spiel, das man fast immer für gewinnbar hält, weil alle 52 Karten offen liegen. Fast ist das interessante Wort. Diese Seite berichtet, was unser eigener Löser bei 12.000 nummerierten Blättern fand, sagt klar, was er nicht bewies, und erklärt, wie das Löser-Werkzeug im Spiel dieselbe Engine nutzt.
Was unser Löser fand
Wir ließen den Löser über 12.000 nummerierte FreeCell-Blätter laufen. Für 11.304 davon fand er einen vollständigen Gewinnweg, das sind 94,2 %, und jeder Weg wurde Zug für Zug nachgespielt, um zu bestätigen, dass er gewinnt.
| Getestete Blätter | Als gewinnbar bewiesen | Anteil |
|---|---|---|
| 12.000 | 11.304 | 94,2 % |
Und die übrigen 5,8 %?
Für die restlichen 696 Blätter fand der Löser keinen Gewinnweg. Das ist nicht dasselbe wie sie als unlösbar zu beweisen: Eine Suche, die an ihrem Budget endet, kann ein Blatt ohne Lösung nicht von einem unterscheiden, dessen Lösung schwer zu finden ist. Wir behaupten daher nicht, dass 5,8 % der FreeCell-Blätter unmöglich sind, nur dass dies der Anteil ist, den wir nicht beweisen konnten. Solitaire Play teilt diese Spiele nie aus; jedes neue Blatt und jede Tägliche Herausforderung stammt aus der bewiesenen Menge.
Warum FreeCell so gut gewinnbar ist
Alles ist sichtbar, das ganze Spiel ist also Planung, kein Glück. Du hast acht Spalten, vier Free Cells und vier Foundations, und eine richtig geordnete Reihe kann zusammen bewegt werden: Die längste Reihe ist (Free Cells + 1) × 2 hoch Zahl der leeren Spalten. Eine leere Spalte ist weit mehr wert als eine Free Cell, weshalb Strategieguides raten, gezielt eine zu leeren.
Mehr zur Technik im FreeCell-Strategieguide.
Das Löser-Werkzeug im Spiel
Öffne in einer FreeCell-Partie das Menü und wähle Löser, um zu fragen, ob die aktuelle Position noch gewinnbar ist, um eine Vorführung eines Gewinnwegs zu sehen oder um zu einer noch gewinnbaren Position zurückzugehen. Eine mit der Vorführung beendete Partie zählt nicht in deiner Statistik. Wie die Zahlen der Bibliothek stammt die Antwort aus einer Suche mit Grenze, sie ist also ein Beweis, wenn sie Ja sagt, und kein Urteil, wenn sie aufgibt.
Häufig gestellte Fragen
Ist jedes FreeCell-Blatt lösbar?
Nicht garantiert. In unserem Lauf mit 12.000 Blättern bewies der Löser 94,2 % als gewinnbar; bei den anderen 5,8 % fand er keinen Gewinnweg, was nicht beweist, dass sie unlösbar sind. Solitaire Play teilt nur aus der bewiesenen Menge aus.
Wie viele FreeCell-Blätter hat der Löser getestet?
12.000 nummerierte Blätter, von denen 11.304 als gewinnbar bewiesen und nachgespielt wurden.
Kann ich den Löser während des Spiels nutzen?
Ja. Der Löser im Menü kann dir sagen, ob deine aktuelle Position noch gewinnbar ist, einen Gewinnweg zeigen oder dich zu einer Position zurückbringen, die noch einen hat. Vorgeführte Siege zählen nicht in deiner Statistik.
Warum gibt der Löser manchmal keine Antwort?
Er sucht innerhalb einer Grenze. Ein Blatt, das er innerhalb dieser Grenze nicht beenden konnte, wird als unbewiesen gemeldet, nicht als unmöglich.