Každý hlavolam, který servírujeme, je strojově ověřený
Nedoufáme jen, že jsou naše hlavolamy férové — dokazujeme to solverem, který běží nezávisle na generátoru. Níže jsou skutečná data za každým odznakem záruky a jak si je sami reprodukujete.
FreeCell — 99.9992 % rozdání lze vyhrát
Rozdání číslujeme přesně jako původní FreeCell od Microsoftu (1 až 1,000,000), takže každá hra sedí s desetiletími záznamů FreeCell. Z prvního milionu rozdání jde jen 8 nikdy vyhrát — a náš vlastní solver každé dokáže neřešitelným vyčerpáním celého herního stromu. Nikdy je neservírujeme: každé rozdání v rotaci se kontroluje třikrát (rozdat → vyřešit → přehrát).
Rozdání #11982 — nejslavnější neřešitelná hra FreeCell — je dokázáno neřešitelným v 61,643 uzlech prohledávání.
| Rozdání č. | Uzly k důkazu neřešitelnosti |
|---|---|
| #11982 | 61,643 |
| #146692 | 8,637 |
| #186216 | 16,606 |
| #455889 | 11,806 |
| #495505 | 27,688 |
| #512118 | 22,490 |
| #517776 | 67,016 |
| #781948 | 4,381 |
Aktuálně servírujeme 768 ověřených rozdání — 0 neřešitelných, 0 neověřených.
Hledání min — nikdy nehádáte
Každou desku lze vyčistit čistou logikou od prvního kliknutí. Žádné hody mincí 50/50. Generujeme kandidátské desky a zamítáme každou, která by nutila hádat — na úrovni Expert to znamená zamítnout asi 89 %.
| Obtížnost | Desky, které by nutily hádat (zamítnuté) |
|---|---|
| Lehká 9×99×9 / 10 | 7% |
| Střední 16×1616×16 / 40 | 38.8% |
| Těžká 30×1630×16 / 99 | 89% |
100% · Bez hádání — řešitelné pouhou logikou ✓
Nonogram — přesně jedno řešení
Každý obrázek má jediné jednoznačné řešení dosažitelné pouze logikou řádek po řádku. Proti intuici je nejtěžší zjednoznačnit malé mřížky — zamítáme asi 88 % kandidátů 5×5.
| Velikost | Kandidáti bez jednoznačného řešení liniovou logikou (zamítnutí) |
|---|---|
| Snadný 5×55×5 | 87.6% |
| Střední 10×1010×10 | 68.9% |
| Těžký 15×1515×15 | 49.6% |
100% · Jedno řešení — řešitelné pouhou logikou ✓
Water Sort — „par" je skutečné minimum
Každá úroveň je řešitelná a zobrazený par je přesně nejmenší možný počet tahů — dokázaný solverem A*, nikoli odhadnutý. Těžší úrovně potřebují víc: Těžká má 21–35 tahů.
| Obtížnost | Nejméně tahů (dokázané optimum) |
|---|---|
| Snadná (7 zkumavek)5 colors / 7 tubes | 8–16 (avg 11.8) |
| Střední (10 zkumavek)8 colors / 10 tubes | 15–23 (avg 18.8) |
| Těžká (14 zkumavek)12 colors / 14 tubes | 21–35 (avg 26.9) |
100% · Každá deska řešitelná — optimální tahy zobrazeny ✓
Jak si to ověříte sami
Dvě pravidla drží tyto záruky poctivé. Zaprvé je solver nezávislý na generátoru — generátor nikdy neznámkuje vlastní práci. Zadruhé je vše reprodukovatelné: spusťte node scripts/guarantee-stats.mjs a dostanete stejné velikosti důkazů. Každý solver je otevřený v našem kódu.
Data vygenerována 2026-07-26.
Časté dotazy
Lze vyhrát všechny hry FreeCell?
Téměř všechny. Z prvních 1,000,000 očíslovaných rozdání je přesně 8 neřešitelných — asi 99.9992 % lze vyhrát. Všech 8 dokazujeme neřešitelnými naším solverem a nikdy je neservírujeme.
Která rozdání FreeCell jsou nemožná vyhrát?
V prvním milionu: #11982, #146692, #186216, #455889, #495505, #512118, #517776 a #781948. #11982 je jediné neřešitelné rozdání mezi původními 32,000 od Microsoftu.
Co znamená Hledání min bez hádání?
Každou desku lze vyřešit pouze logikou — nikdy se nedostanete do bodu, kde jsou dvě pole stejně pravděpodobně mina a musíte hádat. Desky, které by nutily hádat, se před servírováním zamítají.
Má každý Nonogram jednoznačné řešení?
Ano. Každý hlavolam je ověřen, že má přesně jedno řešení dosažitelné logikou řádek po řádku — takže nikdy nemusíte hádat ani se vracet ze špatné větve.
Je počet tahů u Water Sort skutečné minimum?
Ano. Par počítá přesný solver A* jako prokazatelně nejmenší počet tahů pro danou úroveň, nikoli aproximaci.