Un nonograma tiene una solución única cuando exactamente una cuadrícula completa de casillas rellenas y vacías satisface todas las pistas de filas y columnas.
Si dos o más cuadrículas diferentes satisfacen las mismas pistas, el puzle es ambiguo. Si ninguna cuadrícula las satisface, el conjunto de pistas es contradictorio.
En un puzle lógico convencional publicado, la unicidad suele ser un requisito básico de validez.
Un nonograma ambiguo mínimo
Toma una cuadrícula 2×2 con estas pistas:
Filas: 1, 1
Columnas: 1, 1Hay dos soluciones:
■ × × ■
× ■ ■ ×Cada fila contiene una casilla rellena. Cada columna contiene una casilla rellena. Nada en las pistas distingue las dos diagonales.
El puzle no es «difícil porque no ves el truco». Está insuficientemente determinado. Ambas respuestas son lógicamente válidas.
¿Qué significa realmente que sea único?
La unicidad es una propiedad del sistema completo de pistas.
Una solución debe satisfacer simultáneamente todas las restricciones de filas y columnas. Un puzle solo es único cuando cualquier cuadrícula completa alternativa viola al menos una de esas restricciones.
Eso es más fuerte que afirmar:
- que la imagen prevista coincide con las pistas;
- que tú has encontrado una solución;
- que la imagen final parece reconocible;
- que un método concreto de resolución ha llegado a una respuesta.
Encontrar una cuadrícula válida demuestra que existe una solución. No demuestra que no exista otra.
Único no significa fácil
Esta distinción es fundamental.
Un puzle puede tener exactamente una solución y aun así resistirse a las deducciones habituales fila por fila y columna por columna. La solución puede estar determinada globalmente aunque no haya ningún movimiento local inmediato.
Por eso son distintas estas afirmaciones:
- El puzle tiene una solución.
- El puzle puede resolverse con las técnicas que usa una persona o solver concreto.
- El puzle es fácil para su público objetivo.
Un comprobador de unicidad responde a la primera. Un modelo de dificultad y un análisis del recorrido de resolución responden a las demás.
Por qué aparece la ambigüedad
La ambigüedad surge cuando las pistas dejan alguna estructura intercambiable.
Causas habituales:
Alternativas simétricas
Dos grupos de casillas pueden intercambiar posiciones conservando las longitudes de todos los bloques de filas y columnas.
Estructura de pistas dispersa
Muchas pistas cortas en espacios amplios pueden admitir varias colocaciones que las líneas cruzadas nunca terminan de distinguir.
Regiones independientes
Un puzle puede contener dos subestructuras sin resolver que pueden alternar entre varias configuraciones sin afectar al resto de la cuadrícula.
Ediciones de construcción que conservan el comportamiento de las pistas
Modificar una imagen no siempre fortalece el sistema. Algunos cambios solo trasladan la incertidumbre a otra zona.
Cómo comprueban la unicidad los creadores
En puzles diminutos, en teoría se puede comprobar cada cuadrícula posible.
En tamaños realistas, el software utiliza métodos de resolución de restricciones y búsqueda mucho más eficientes. Un solver puede:
- encontrar una solución completa;
- continuar buscando una solución completa diferente;
- detenerse cuando encuentra una segunda o demostrar que no queda ninguna alternativa.
Herramientas como pbnsolve de WebPBN emplean este tipo de validación para puzles creados por usuarios.
¿Puede la lógica demostrar unicidad mientras resuelves?
Si una secuencia de deducciones correctas parte únicamente de las pistas y completa todas las casillas sin ramificar, el resultado es necesariamente la única solución compatible con esas deducciones y restricciones.
Pero si un método normal de resolución por líneas se detiene, no puedes concluir que el puzle sea ambiguo. Puede faltar una deducción más potente, un solver de línea más completo, razonamiento por contradicción o búsqueda.
Del mismo modo, si tu método encuentra una respuesta mediante ramificación, eso tampoco demuestra automáticamente unicidad. Importan las ramas que no has explorado.
Por qué una imagen reconocible no resuelve una ambigüedad
Imagina que una solución válida parece un gato y otra parece una versión ligeramente deformada.
Elegir el gato porque parece intencionado no es una deducción de nonograma. Las pistas no han demostrado esa elección.
Un puzle bien validado no debería necesitar preferencias estéticas para decidir entre cuadrículas legales.
La imagen emergente puede ayudarte a orientarte, pero nunca es evidencia de un estado de casilla.
Solución única frente a recorrido único
Una solución única no implica un único orden de deducciones.
Dos jugadores pueden resolver el mismo puzle válido siguiendo secuencias distintas:
- uno empieza por una fila larga;
- otro empieza por una columna muy restringida;
- ambos terminan forzando la misma cuadrícula final.
El destino es único aunque el camino no lo sea.
Esta propiedad resulta útil para el diseño: un nonograma puede ofrecer varias aperturas productivas sin volverse ambiguo.
¿Qué ocurre si un nonograma publicado tiene varias soluciones?
Si se utilizan las reglas estándar y dos cuadrículas completas satisfacen realmente todas las pistas, el puzle es ambiguo independientemente de cuál fuera la imagen prevista por el editor.
Antes de decidir que un puzle está roto, comprueba que:
- se respeta el orden de las pistas;
- los bloques consecutivos están separados correctamente;
- cada X se trata como vacía y no como desconocida;
- ningún bloque relleno supera accidentalmente su pista;
- el editor no está usando una variante de reglas.
Si ambas cuadrículas siguen satisfaciendo las mismas pistas estándar, el conjunto de pistas no determina una respuesta única.
Qué aprender después
Para entender cómo detectan estos casos los creadores, lee Cómo funcionan los solvers informáticos de nonogramas. Para entender por qué unicidad y dificultad humana divergen, continúa con Cómo se clasifica la dificultad de un nonograma.
Preguntas frecuentes
¿Todos los nonogramas tienen una solución?
No. Un conjunto arbitrario de pistas puede tener cero, una o varias soluciones. Los puzles publicados bien construidos suelen aspirar a exactamente una.
Si me atasco, ¿significa que el puzle tiene varias soluciones?
No. Puede requerir una deducción que todavía no has encontrado o un método de razonamiento más fuerte.
¿Puede un nonograma tener solución única y aun así exigir «adivinar»?
Puede tener una única solución y resistirse a un método local concreto. Llamar «adivinación» a un análisis de casos más fuerte depende de cómo se realice: G-011 distingue entre una apuesta sin fundamento y una prueba mediante contradicción.