Solver FreeCell: czy każde rozdanie da się rozwiązać?
FreeCell to pasjans, o którym mówi się, że niemal zawsze da się go wygrać, bo wszystkie 52 karty są odkryte. Ciekawe jest słowo niemal. Ta strona podaje, co nasz solver znalazł w 12 000 ponumerowanych rozdań, mówi jasno, czego nie udowodnił, i wyjaśnia, jak narzędzie Solver w grze korzysta z tego samego silnika.
Co znalazł nasz solver
Uruchomiliśmy solver na 12 000 ponumerowanych rozdań FreeCell. Znalazł pełną wygrywającą drogę dla 11 304 z nich, czyli 94.2%, a każdą drogę odtworzono ruch po ruchu, aby potwierdzić, że wygrywa.
| Przetestowane rozdania | Udowodnione jako wygrywalne | Udział |
|---|---|---|
| 12 000 | 11 304 | 94.2% |
A co z pozostałymi 5.8%?
Dla pozostałych 696 rozdań solver nie znalazł wygrywającej drogi. To nie to samo, co udowodnienie, że nie da się ich wygrać: przeszukiwanie, które zatrzymuje się na swoim budżecie, nie odróżni rozdania bez rozwiązania od rozdania, którego rozwiązanie trudno znaleźć. Dlatego nie twierdzimy, że 5.8% rozdań FreeCell jest niemożliwych, tylko że tyle nie zdołaliśmy udowodnić. Solitaire Play nigdy nie rozdaje tych gier; każde nowe rozdanie i Wyzwanie Dnia pochodzą ze zbioru udowodnionego.
Dlaczego FreeCell tak łatwo wygrać
Wszystko jest widoczne, więc cała gra to planowanie, a nie szczęście. Masz osiem kolumn, cztery wolne komórki i cztery stosy bazowe, a poprawnie uporządkowana sekwencja może przenosić się razem: najdłuższa sekwencja to (wolne komórki + 1) × 2 do potęgi liczby pustych kolumn. Pusta kolumna jest warta znacznie więcej niż wolna komórka, dlatego poradniki strategii każą opróżniać ją celowo.
Więcej o technice w poradniku do FreeCell.
Narzędzie Solver w grze
Otwórz menu w grze FreeCell i wybierz Solver, aby zapytać, czy obecną pozycję da się jeszcze wygrać, obejrzeć demonstrację wygrywającej drogi albo wrócić do pozycji, którą nadal da się wygrać. Gra ukończona z demonstracją nie liczy się do twoich statystyk. Podobnie jak liczby z biblioteki, odpowiedź pochodzi z przeszukiwania z limitem, więc jest dowodem, gdy mówi tak, a nie wyrokiem, gdy się podda.
Najczęściej zadawane pytania
Czy każde rozdanie FreeCell da się rozwiązać?
Nie ma gwarancji. W naszym przebiegu na 12 000 rozdań solver udowodnił jako wygrywalne 94.2%; dla pozostałych 5.8% nie znalazł wygrywającej drogi, co nie dowodzi, że nie da się ich wygrać. Solitaire Play rozdaje tylko ze zbioru udowodnionego.
Ile rozdań FreeCell przetestował solver?
12 000 ponumerowanych rozdań, z których 11 304 udowodniono jako wygrywalne i odtworzono.
Czy mogę używać solvera podczas gry?
Tak. Solver w menu może powiedzieć, czy twoją obecną pozycję da się jeszcze wygrać, pokazać wygrywającą drogę albo cofnąć cię do pozycji, która nadal ją ma. Wygrane z demonstracją nie liczą się do twoich statystyk.
Dlaczego solver czasem nie daje odpowiedzi?
Przeszukuje w ramach limitu. Rozdanie, którego nie zdołał skończyć w tym limicie, jest zgłaszane jako nieudowodnione, a nie jako niemożliwe.