Każda łamigłówka, którą serwujemy, jest weryfikowana maszynowo
Nie liczymy tylko na to, że nasze łamigłówki są uczciwe — dowodzimy tego solverem działającym niezależnie od generatora. Poniżej prawdziwe dane stojące za każdą odznaką gwarancji i sposób, jak samodzielnie je odtworzyć.
FreeCell — 99.9992% rozdań da się wygrać
Numerujemy rozdania dokładnie jak oryginalny FreeCell Microsoftu (od 1 do 1,000,000), więc każda partia zgadza się z dekadami zapisów FreeCell. Z pierwszego miliona rozdań tylko 8 nigdy nie da się wygrać — a nasz własny solver dowodzi każdego jako nierozwiązywalnego, wyczerpując całe drzewo gry. Nigdy ich nie serwujemy: każde rozdanie w rotacji jest sprawdzane potrójnie (rozdaj → rozwiąż → odtwórz).
Rozdanie #11982 — najsłynniejsza nierozwiązywalna partia FreeCell — jest dowiedzione jako nierozwiązywalne w 61,643 węzłach przeszukiwania.
| Rozdanie nr | Węzły do dowodu nierozwiązywalności |
|---|---|
| #11982 | 61,643 |
| #146692 | 8,637 |
| #186216 | 16,606 |
| #455889 | 11,806 |
| #495505 | 27,688 |
| #512118 | 22,490 |
| #517776 | 67,016 |
| #781948 | 4,381 |
Obecnie serwujemy 768 zweryfikowanych rozdań — 0 nierozwiązywalnych, 0 niezweryfikowanych.
Saper — nigdy nie zgadujesz
Każdą planszę da się wyczyścić czystą logiką od pierwszego kliknięcia. Żadnych rzutów monetą 50/50. Generujemy plansze kandydujące i odrzucamy każdą, która zmuszałaby do zgadywania — na poziomie Ekspert oznacza to odrzucenie około 89%.
| Poziom trudności | Plansze zmuszające do zgadywania (odrzucone) |
|---|---|
| Łatwy 9×99×9 / 10 | 7% |
| Średni 16×1616×16 / 40 | 38.8% |
| Trudny 30×1630×16 / 99 | 89% |
100% · Bez zgadywania — rozwiązywalna samą logiką ✓
Nonogram — dokładnie jedno rozwiązanie
Każdy obrazek ma jedno unikalne rozwiązanie osiągalne wyłącznie logiką wiersz po wierszu. Wbrew intuicji małe siatki najtrudniej uczynić jednoznacznymi — odrzucamy około 88% kandydatów 5×5.
| Rozmiar | Kandydaci bez jednoznacznego rozwiązania logiką linii (odrzuceni) |
|---|---|
| Łatwy 5×55×5 | 87.6% |
| Średni 10×1010×10 | 68.9% |
| Trudny 15×1515×15 | 49.6% |
100% · Jedno rozwiązanie — rozwiązywalne samą logiką ✓
Water Sort — „par" to prawdziwe minimum
Każdy poziom jest rozwiązywalny, a pokazywany par to dokładnie najmniejsza możliwa liczba ruchów — dowiedziona solverem A*, nie szacowana. Trudniejsze poziomy wymagają więcej: Trudny to 21–35 ruchów.
| Poziom trudności | Najmniej ruchów (dowiedzione optimum) |
|---|---|
| Łatwy (7 probówek)5 colors / 7 tubes | 8–16 (avg 11.8) |
| Średni (10 probówek)8 colors / 10 tubes | 15–23 (avg 18.8) |
| Trudny (14 probówek)12 colors / 14 tubes | 21–35 (avg 26.9) |
100% · Każda plansza rozwiązywalna — optymalne ruchy pokazane ✓
Jak sprawdzić to samodzielnie
Dwie zasady utrzymują te gwarancje uczciwymi. Po pierwsze, solver jest niezależny od generatora — generator nigdy nie ocenia własnej pracy. Po drugie, wszystko jest odtwarzalne: uruchom node scripts/guarantee-stats.mjs, a otrzymasz te same rozmiary dowodów. Każdy solver jest otwarty w naszym kodzie.
Dane wygenerowano 2026-07-26.
Najczęstsze pytania
Czy wszystkie partie FreeCell da się wygrać?
Prawie wszystkie. Z pierwszych 1,000,000 ponumerowanych rozdań dokładnie 8 jest nierozwiązywalnych — około 99.9992% da się wygrać. Wszystkie 8 dowodzimy jako nierozwiązywalne naszym solverem i nigdy ich nie serwujemy.
Które rozdania FreeCell są niemożliwe do wygrania?
W pierwszym milionie: #11982, #146692, #186216, #455889, #495505, #512118, #517776 i #781948. #11982 to jedyne nierozwiązywalne rozdanie wśród oryginalnych 32,000 Microsoftu.
Co znaczy Saper bez zgadywania?
Każdą planszę da się rozwiązać samą logiką — nigdy nie dochodzisz do punktu, w którym dwa pola są jednakowo prawdopodobne jako mina i musisz zgadywać. Plansze zmuszające do zgadywania są odrzucane przed serwowaniem.
Czy każdy Nonogram ma jedno rozwiązanie?
Tak. Każda łamigłówka jest weryfikowana, że ma dokładnie jedno rozwiązanie osiągalne logiką wiersz po wierszu — więc nigdy nie musisz zgadywać ani cofać się z błędnej gałęzi.
Czy liczba ruchów w Water Sort to prawdziwe minimum?
Tak. Par wylicza dokładny solver A* jako dowiedzenie najmniejszą liczbę ruchów dla danego poziomu, nie przybliżenie.