Un puzzle de sudoku tiene una solución única cuando exactamente una cuadrícula completa satisface todas sus pistas iniciales y todas las restricciones clásicas de fila, columna y bloque 3×3.
Parece sencillo, pero la unicidad responde a una pregunta diferente de la validación ordinaria de movimientos.
Un dígito puede ser legal localmente sin estar forzado, y una cuadrícula inicial puede no contener conflictos visibles y aun así permitir más de una solución completa.
Los tres estados posibles según el número de soluciones
Una cuadrícula inicial puede tener:
Ninguna solución
Las pistas son incompatibles con las restricciones del sudoku, así que ninguna cuadrícula completa funciona.
Exactamente una solución
Una cuadrícula completa —y solo una— coincide con las pistas y todas las restricciones clásicas.
Más de una solución
Las pistas no determinan una única cuadrícula final. Siguen siendo posibles dos o más soluciones.
El sudoku clásico publicado normalmente busca exactamente una solución.
La unicidad es una propiedad global
Las reglas locales clásicas son fáciles de expresar:
- ningún dígito repetido en una fila;
- ningún dígito repetido en una columna;
- ningún dígito repetido en un bloque.
Esas reglas te dicen si una cuadrícula completa es válida y si una colocación individual crea un conflicto inmediato.
Pero no demuestran por sí solas que un puzzle parcialmente rellenado determine una única solución.
Por eso estas afirmaciones son diferentes:
Este movimiento no rompe ninguna fila, columna ni bloque.
Este puzzle inicial tiene exactamente una cuadrícula completa posible.
La segunda afirmación requiere razonamiento sobre el puzzle completo o una búsqueda completa de soluciones.
Un candidato legal no es automáticamente un dígito resuelto
Supón que una celda sin resolver tiene actualmente:
{3,8}
Los dos dígitos pueden respetar las restricciones locales de fila, columna y bloque.
Eso no significa que podamos elegir cualquiera libremente. Una resolución lógica todavía necesita una deducción que elimine uno de los candidatos o demuestre de otra forma cuál es el valor final.
Por eso conviene mantener separados cuatro conceptos:
- validez de reglas — ¿el estado rompe alguna regla clásica?;
- legalidad de candidato — ¿puede este dígito seguir ocupando esta celda?;
- deducción — ¿puede demostrarse o eliminarse una posibilidad?;
- unicidad — ¿cuántas soluciones completas coinciden con las pistas iniciales?
Cómo puede comprobar el software la unicidad
Un solver completo puede explorar el espacio de soluciones y contar cuántas existen.
Para una prueba de unicidad no necesita enumerarlas todas. Solo necesita distinguir:
0 soluciones
1 solución
2 o más solucionesUn enfoque habitual de alto nivel es:
- buscar hasta encontrar una primera solución;
- continuar la búsqueda;
- detenerse inmediatamente si aparece una segunda solución distinta;
- si la búsqueda se agota después de la primera, el puzzle es único.
Backtracking, exact cover, solvers SAT/CSP y otros métodos completos pueden realizar este trabajo.
Puede cambiar el algoritmo. La propiedad comprobada es la misma.
Por qué los generadores vuelven a comprobar la unicidad
Una cuadrícula solución completa de 81 celdas ya es una solución válida.
Para convertirla en puzzle se ocultan o seleccionan pistas. Cada pista eliminada reduce la información disponible para el jugador.
Después de retirar una pista concreta puede aparecer una segunda solución posible.
Por eso la generación suele repetir un ciclo como:
cambiar el conjunto de pistas
↓
comprobar el puzzle resultante
↓
¿sigue teniendo exactamente una solución?Un generador puede utilizar muchas estrategias de construcción, pero un puzzle presentado como sudoku estándar de solución única sigue necesitando verificar esa propiedad.
Único no significa fácil
La unicidad es esencialmente una propiedad de sí/no.
La dificultad no.
Dos puzzles únicos pueden requerir razonamientos humanos completamente diferentes:
- uno puede caer mediante Singles;
- otro puede necesitar Candidatos bloqueados y subconjuntos;
- otro puede requerir Fish, Wings o Cadenas.
Por tanto, el número de soluciones sirve para la validez, mientras que la dificultad necesita un análisis independiente de la ruta de resolución.
Explora la teoría del SudokuCómo se valora la dificultad del sudokuAprende cómo se valora la dificultad de un sudoku según las técnicas necesarias, el esfuerzo de resolución y los datos de jugadores.Leer guía de teoría →Único no significa minimal
Un puzzle puede tener una solución y contener aun así pistas innecesarias para conservar esa unicidad.
Un puzzle minimal es más estricto:
Si eliminas cualquiera de sus pistas, el puzzle deja de tener exactamente una solución.
La minimalidad describe si las pistas son necesarias en ese puzzle concreto.
No significa que tenga el menor número global posible de pistas.
Explora la teoría del SudokuPistas mínimas en sudokuDescubre por qué un sudoku clásico 9×9 con solución única necesita al menos 17 pistas y cómo una búsqueda exhaustiva descartó todos los puzzles de 16 pistas.Leer guía de teoría →Por qué la unicidad importa para Rectángulo único
La mayoría de técnicas de sudoku se apoyan directamente en restricciones de candidatos procedentes de filas, columnas, bloques y consecuencias lógicas de deducciones anteriores.
Rectángulo único es diferente porque su razonamiento estándar supone que el puzzle tiene una única solución prevista.
Un rectángulo mortal puede crear dos soluciones intercambiables. Si la unicidad está establecida, puede rechazarse el estado que conserva esa ambigüedad.
La premisa debe mostrarse de forma explícita siempre que se enseñe una técnica basada en unicidad.
¿Una cuadrícula con varias soluciones puede respetar las reglas del sudoku?
Sí. Cada solución completa puede satisfacer individualmente todas las reglas clásicas.
El problema es que el conjunto de pistas inicial no identifica una sola respuesta final.
Eso hace que los puzzles con varias soluciones no encajen en la experiencia habitual de sudoku de solución única, aunque sus cuadrículas completas individuales puedan ser válidas.
Unicidad y resolubilidad lógica son cosas diferentes
Un solver completo puede demostrar que un puzzle tiene una única solución incluso si una biblioteca concreta de técnicas humanas no puede explicar en ese momento una ruta hasta ella.
Son preguntas diferentes:
¿Cuántas soluciones existen?
frente a:
¿Qué deducciones comprensibles para una persona resuelven este puzzle?
Mantenerlas separadas facilita razonar tanto sobre generación como sobre dificultad.
Preguntas frecuentes
¿Todo sudoku tiene una solución única?
No. Una cuadrícula inicial puede tener cero, una o varias soluciones.
¿La unicidad es una de las reglas básicas de fila, columna y bloque?
No. Es una propiedad del puzzle completo que normalmente se espera de los sudokus clásicos publicados.
¿Un puzzle puede ser único y aun así extremadamente difícil?
Sí. La unicidad no dice nada sobre la dificultad de las deducciones humanas necesarias.
¿Tener una única solución demuestra que un puzzle está bien diseñado?
No. Un buen puzzle también puede evaluarse por su dificultad, flujo de resolución, distribución de pistas y técnicas necesarias.
¿Cómo puede el software comprobar la unicidad de forma eficiente?
Un solver completo puede detenerse en cuanto encuentre una segunda solución distinta. Si la búsqueda termina después de encontrar exactamente una, el puzzle es único.
¿Puedo usar Rectángulo único sin la premisa de unicidad?
El razonamiento estándar de Rectángulo único basado en unicidad depende de saber que el puzzle tiene exactamente una solución.
Qué aprender después
Lee Pistas mínimas en sudoku para conocer el límite global de 17 pistas.
Lee Cómo se generan los sudokus para ver dónde encaja la validación de unicidad en la construcción.
Lee Rectángulo único para conocer una técnica de resolución que utiliza explícitamente esta premisa.