Am 25. Oktober 2026 haben wir die Offline-Solver von Cards4 auf 96 Verteilungen angewendet. Jede gemeldete Lösung wurde mit der Regel-Engine nachgespielt und auf einen tatsächlichen Sieg geprüft. Der Versuch misst begrenzten Sucherfolg, keine menschliche Gewinnquote und keinen unverzerrten Anteil aller lösbaren Zufallsdeals.
Die vollständigen JSON-Daten enthalten jede Seednummer, Ergebnis, Lösungszugzahl, Zeit, Softwareversionen sowie SHA-256-Prüfsummen der Quellen und Bibliotheken. Die englische vollständige Darstellung beschreibt denselben Versuch. Die hier berichteten Werte stammen aus Cards4 und sind von den Literaturzahlen der Gewinnchancen-Anleitung zu unterscheiden.
Methode und Ergebnisse
Für Klondike Turn 1, Klondike Turn 3 und Spider mit einer Farbe verwendeten wir jeweils die aufeinanderfolgenden ganzzahligen Seeds null bis 31. Jeder Solver erhielt 250 Millisekunden je Deal, mit nacheinander ausgeführten Aufrufen. Diese 32 Werte pro Variante sind eine leicht reproduzierbare Gelegenheitsstichprobe, keine statistisch zufällige Auswahl.
| Variante | Deals | Geprüfte Siege | Zeitüberschreitungen | Erschöpfte Suchen |
|---|---|---|---|---|
| Klondike Turn 1 | 32 | 15 | 17 | 0 |
| Klondike Turn 3 | 32 | 11 | 19 | 2 |
| Spider, eine Farbe | 32 | 0 | 32 | 0 |
Alle gefundenen Lösungen bestanden aus legalen Zügen und endeten in einem gewonnenen Zustand. Eine Zeitüberschreitung heißt nur, dass der Solver nicht rechtzeitig fertig wurde. Auch eine erschöpfte Suche ist innerhalb dieser Implementierung kein allgemeiner Unlösbarkeitsbeweis. Besonders die null Spider-Siege dürfen nicht als null lösbare Deals gelesen werden: Alle 32 Versuche liefen in das kurze Zeitlimit.
Inventar der ausgelieferten Bibliotheken
Die neun Binärdateien enthalten 4.900 Einträge. Jede Zahl wird als vorzeichenloser 64-Bit-Wert little-endian gespeichert, acht Bytes pro Seed. Innerhalb jeder einzelnen Datei gibt es keine wiederholten Zahlen. Das Inventar zählt gespeicherte Werte, nicht erneut nachgerechnete Lösungswege.
| Bibliothek | Einträge |
|---|---|
| FreeCell | 100 |
| Klondike Turn 1 | 1.000 |
| Klondike Turn 3 | 50 |
| Pyramid | 50 |
| Spider 1 / 2 / 4 Farben | 1.000 / 1.000 / 500 |
| TriPeaks | 1.000 |
| Yukon | 200 |
Diese ausgewählten Seeds sind nicht die 96 Testdeals. Die ursprüngliche Anzahl von Generierungsversuchen wurde nicht aufbewahrt. Daher lässt sich aus der Größe der Bibliothek keine ursprüngliche Solver-Erfolgsquote berechnen. Die Dateien speichern Seeds, keine archivierten Zugfolgen.
Reproduzieren und Grenzen beachten
Der Befehl mix run --no-start scripts/solver_audit.exs schreibt die öffentliche Messdatei und verändert die Seed-Bibliotheken nicht. Die Lösungen werden vor der Annahme nachgespielt. Rechenzeiten und damit einzelne Timeout-Ergebnisse können auf anderen Maschinen abweichen; die gespeicherten Versionen helfen bei der Einordnung.
Quell- und Dateiprüfsummen identifizieren die tatsächlich gemessenen Eingaben. Eine spätere Regel- oder Mischänderung könnte die Bedeutung eines Seeds verändern. Der Shuffle-Prüfer zeigt Reproduzierbarkeit der Startkarten, nicht unverzerrte Auswahl oder eine Lösung deiner aktuellen Stellung.
Häufig gestellte Fragen
Ist das eine Spieler-Gewinnquote?
Nein. Es wurden keine Spielergebnisse gesammelt. Die 15 und elf Klondike-Siege sind Ergebnisse dieses zeitbegrenzten Suchversuchs.
Warum die Rohdaten veröffentlichen?
Damit Dritte Auswahl, Zeitbudget und Eingaben prüfen können. Neue Experimente brauchen eigene Daten und Methodik, statt die kleine Stichprobe stillschweigend zu einer allgemeinen Aussage auszuweiten.