Cada puzle que servimos está verificado por máquina
No nos limitamos a esperar que nuestros puzles sean justos: lo demostramos, con un solucionador que funciona de forma independiente del generador. Abajo están los datos reales detrás de cada insignia de garantía y cómo reproducirlos tú mismo.
FreeCell — el 99.9992% de las manos tiene solución
Numeramos las manos igual que el FreeCell original de Microsoft (del 1 al 1,000,000), así que cada partida coincide con décadas de registros de FreeCell. Del primer millón de manos, solo 8 no se pueden ganar nunca, y nuestro propio solucionador demuestra que cada una es irresoluble agotando todo el árbol del juego. Nunca las servimos: cada mano en rotación pasa una triple comprobación (repartir → resolver → repetir).
La mano #11982 —la partida de FreeCell irresoluble más famosa— se demuestra irresoluble en 61,643 nodos de búsqueda.
| Mano n.º | Nodos para demostrar que es irresoluble |
|---|---|
| #11982 | 61,643 |
| #146692 | 8,637 |
| #186216 | 16,606 |
| #455889 | 11,806 |
| #495505 | 27,688 |
| #512118 | 22,490 |
| #517776 | 67,016 |
| #781948 | 4,381 |
Actualmente servimos 768 manos verificadas: 0 irresolubles, 0 sin verificar.
Buscaminas — sin adivinar, nunca
Cada tablero se puede despejar con pura lógica desde el primer clic. Nada de caras o cruces al 50/50. Generamos tableros candidatos y rechazamos cualquiera que obligue a adivinar; en Experto eso significa rechazar alrededor del 89%.
| Dificultad | Tableros que obligarían a adivinar (rechazados) |
|---|---|
| Fácil 9×99×9 / 10 | 7% |
| Medio 16×1616×16 / 40 | 38.8% |
| Difícil 30×1630×16 / 99 | 89% |
100% · Sin adivinar — resoluble solo con lógica ✓
Nonograma — exactamente una solución
Cada imagen tiene una única solución a la que puedes llegar solo con lógica línea a línea. Aunque parezca contradictorio, las cuadrículas pequeñas son las más difíciles de hacer únicas: rechazamos alrededor del 88% de las candidatas de 5×5.
| Tamaño | Candidatas sin solución única por lógica de líneas (rechazadas) |
|---|---|
| Fácil 5×55×5 | 87.6% |
| Medio 10×1010×10 | 68.9% |
| Difícil 15×1515×15 | 49.6% |
100% · Solución única — resoluble solo con lógica ✓
Water Sort — el «par» es el mínimo real
Cada nivel tiene solución, y el par que mostramos es el número exacto de movimientos mínimos, demostrado por un solucionador A*, no estimado. Los niveles más difíciles necesitan más: el nivel Difícil ronda los 21–35 movimientos.
| Dificultad | Menos movimientos (óptimo demostrado) |
|---|---|
| Fácil (7 tubos)5 colors / 7 tubes | 8–16 (avg 11.8) |
| Medio (10 tubos)8 colors / 10 tubes | 15–23 (avg 18.8) |
| Difícil (14 tubos)12 colors / 14 tubes | 21–35 (avg 26.9) |
100% · Todo tablero con solución — movimientos óptimos a la vista ✓
Cómo comprobarlo tú mismo
Dos reglas mantienen honestas estas garantías. Primera, el solucionador es independiente del generador: un generador nunca corrige su propio trabajo. Segunda, todo es reproducible: ejecuta node scripts/guarantee-stats.mjs y obtendrás los mismos tamaños de prueba. Cada solucionador está abierto en nuestro código.
Datos generados el 2026-07-26.
Preguntas frecuentes
¿Todas las partidas de FreeCell tienen solución?
Casi todas. De las primeras 1,000,000 manos numeradas, exactamente 8 son irresolubles: alrededor del 99.9992% tiene solución. Demostramos que las 8 son irresolubles con nuestro propio solucionador y nunca las servimos.
¿Qué manos de FreeCell son imposibles de ganar?
En el primer millón: #11982, #146692, #186216, #455889, #495505, #512118, #517776 y #781948. La #11982 es la única mano irresoluble entre las 32,000 originales de Microsoft.
¿Qué significa Buscaminas sin adivinar?
Cada tablero se puede resolver solo con lógica: nunca llegas a un punto donde dos casillas tengan la misma probabilidad de ser mina y debas adivinar. Los tableros que obligarían a adivinar se rechazan antes de servirlos.
¿Todo Nonograma tiene una solución única?
Sí. Cada puzle se verifica para que tenga exactamente una solución, alcanzable con lógica línea a línea, de modo que nunca necesitas adivinar ni retroceder desde una rama equivocada.
¿El número de movimientos de Water Sort es el mínimo real?
Sí. El par lo calcula un solucionador A* exacto como el número de movimientos demostradamente mínimo para ese nivel, no una aproximación.