Ogni puzzle che serviamo è verificato a macchina
Non ci limitiamo a sperare che i nostri puzzle siano equi: lo dimostriamo, con un risolutore che gira in modo indipendente dal generatore. Qui sotto trovi i dati reali dietro ogni badge di garanzia e come riprodurli tu stesso.
FreeCell — il 99.9992% delle mani è vincibile
Numeriamo le mani esattamente come il FreeCell originale di Microsoft (da 1 a 1,000,000), così ogni partita combacia con decenni di archivi di FreeCell. Del primo milione di mani, solo 8 non si possono mai vincere, e il nostro risolutore dimostra che ciascuna è irrisolvibile esaurendo l’intero albero di gioco. Non le serviamo mai: ogni mano in rotazione è controllata tre volte (distribuire → risolvere → rigiocare).
La mano #11982 — la partita di FreeCell irrisolvibile più famosa — è dimostrata irrisolvibile in 61,643 nodi di ricerca.
| Mano n. | Nodi per dimostrare l’irrisolvibilità |
|---|---|
| #11982 | 61,643 |
| #146692 | 8,637 |
| #186216 | 16,606 |
| #455889 | 11,806 |
| #495505 | 27,688 |
| #512118 | 22,490 |
| #517776 | 67,016 |
| #781948 | 4,381 |
Attualmente serviamo 768 mani verificate — 0 irrisolvibili, 0 non verificate.
Campo Minato — mai tirare a indovinare
Ogni schema si può liberare con pura logica dal primo clic. Niente testa o croce al 50/50. Generiamo schemi candidati e scartiamo quelli che costringerebbero a indovinare; a livello Esperto significa scartarne circa il 89%.
| Difficoltà | Schemi che costringerebbero a indovinare (scartati) |
|---|---|
| Facile 9×99×9 / 10 | 7% |
| Medio 16×1616×16 / 40 | 38.8% |
| Difficile 30×1630×16 / 99 | 89% |
100% · Senza indovinare — risolvibile con la sola logica ✓
Nonogramma — esattamente una soluzione
Ogni immagine ha un’unica soluzione raggiungibile con la sola logica riga per riga. Contro ogni intuizione, le griglie piccole sono le più difficili da rendere uniche: scartiamo circa il 88% delle candidate 5×5.
| Misura | Candidate senza soluzione unica per logica di linea (scartate) |
|---|---|
| Facile 5×55×5 | 87.6% |
| Medio 10×1010×10 | 68.9% |
| Difficile 15×1515×15 | 49.6% |
100% · Soluzione unica — risolvibile con la sola logica ✓
Water Sort — il "par" è il vero minimo
Ogni livello è risolvibile, e il par mostrato è il numero esatto di mosse minime, dimostrato da un risolutore A*, non stimato. I livelli più difficili ne richiedono di più: il livello Difficile va da 21 a 35 mosse.
| Difficoltà | Meno mosse (ottimo dimostrato) |
|---|---|
| Facile (7 provette)5 colors / 7 tubes | 8–16 (avg 11.8) |
| Medio (10 provette)8 colors / 10 tubes | 15–23 (avg 18.8) |
| Difficile (14 provette)12 colors / 14 tubes | 21–35 (avg 26.9) |
100% · Ogni schema risolvibile — mosse ottimali in vista ✓
Come verificarlo tu stesso
Due regole tengono oneste queste garanzie. Primo, il risolutore è indipendente dal generatore — un generatore non valuta mai il proprio lavoro. Secondo, tutto è riproducibile: esegui node scripts/guarantee-stats.mjs e otterrai le stesse dimensioni di prova. Ogni risolutore è aperto nel nostro codice.
Dati generati il 2026-07-26.
Domande frequenti
Tutte le partite di FreeCell sono vincibili?
Quasi tutte. Delle prime 1,000,000 mani numerate, esattamente 8 sono irrisolvibili — circa il 99.9992% è vincibile. Dimostriamo tutte e 8 irrisolvibili con il nostro risolutore e non le serviamo mai.
Quali mani di FreeCell sono impossibili da vincere?
Nel primo milione: #11982, #146692, #186216, #455889, #495505, #512118, #517776 e #781948. La #11982 è l’unica mano irrisolvibile tra le 32,000 originali di Microsoft.
Cosa significa Campo Minato senza indovinare?
Ogni schema si può risolvere con la sola logica — non arrivi mai a un punto in cui due caselle hanno la stessa probabilità di essere una mina e devi indovinare. Gli schemi che costringerebbero a indovinare vengono scartati prima di servirli.
Ogni Nonogramma ha una soluzione unica?
Sì. Ogni puzzle è verificato per avere esattamente una soluzione, raggiungibile con logica riga per riga — così non devi mai indovinare né tornare indietro da un ramo sbagliato.
Il numero di mosse di Water Sort è il vero minimo?
Sì. Il par è calcolato da un risolutore A* esatto come il numero di mosse dimostrabilmente minimo per quel livello, non un’approssimazione.