Gran parte del progreso en un nonograma procede de la resolución de una línea: eliges una fila o columna, determinas qué disposiciones satisfacen sus pistas y casillas conocidas y marcas los estados que son forzados dentro de esa línea.
En algunos puzles difíciles llega un momento en que cada línea individual conserva varios patrones válidos, pero esos patrones no pueden elegirse de forma independiente. Una disposición legal en una fila puede volver imposibles varias columnas a la vez. Un conjunto de colocaciones puede exigir más capacidad de relleno de la que una región vecina puede soportar. Dos casos alternativos pueden diferir localmente y, aun así, forzar el mismo resultado en otra parte.
Ese es el terreno del razonamiento multilínea.
Qué hace diferente al razonamiento multilínea
Una deducción de una sola línea pregunta:
¿Qué tiene que ser cierto en esta fila o columna?
Una deducción multilínea pregunta:
¿Qué combinaciones de estados de línea, legales por separado, pueden coexistir realmente en la misma cuadrícula?
La segunda pregunta es más fuerte porque cada casilla acopla una fila con una columna. Los patrones legales de ambas direcciones deben ser compatibles simultáneamente.
No se introduce ninguna regla nueva: seguimos usando pistas, orden de bloques, separadores, rellenos y vacíos, pero analizamos una parte mayor del sistema de restricciones al mismo tiempo.
Primero alcanza un punto fijo real de resolución por líneas
No saltes a lógica global solo porque el puzle parezca difícil.
Antes de utilizar este nivel, agota:
- encaje exacto y líneas vacías;
- solapamiento y reducción de holgura;
- bloques completados, extensión y alcance;
- eliminación de huecos y asignación de segmentos;
- límites de colocación más temprana y tardía;
- patrones de línea válidos;
- cruce y propagación por todas las líneas modificadas.
Si una sola línea todavía puede forzar una casilla, utiliza esa prueba más simple. La lógica multilínea es útil cuando todas las líneas relevantes son localmente compatibles pero la cuadrícula global es más restrictiva que cualquiera de ellas por separado.
1. Razonamiento de borde a través de varias líneas
Algunas comunidades avanzadas usan las expresiones edge logic o boundary logic para una técnica diferente del efecto de borde de una sola línea que VeyraPlay denomina anclaje al borde.
En la lógica multilínea de frontera empiezas con un bloque cercano al borde exterior y estudias qué consecuencias tendrían sus colocaciones posibles en las líneas perpendiculares inmediatamente interiores.
El flujo es:
- elige un bloque de borde cuyas primeras colocaciones estén muy restringidas;
- considera una colocación candidata o una pequeña familia;
- transfiere los estados resultantes a las líneas cruzadas;
- comprueba si esas líneas todavía podrían satisfacer juntas sus pistas;
- rechaza las colocaciones de borde cuyas consecuencias vuelvan imposible la banda vecina;
- conserva solo las casillas o rangos que sobrevivan a todas las comprobaciones globales.
La diferencia importante es la escala.
Anclaje al borde (G-027) permanece dentro de una fila o columna: el límite físico restringe el rango legal de un bloque identificado.
Lógica multilínea de borde utiliza las consecuencias de esa colocación sobre varias líneas cruzadas. Una posición puede ser perfectamente legal dentro de su línea y, aun así, imposible en la cuadrícula global.
Ejemplo esquemático de borde
Imagina que la primera pista de una fila superior puede ocupar columnas 2–5 o 3–6. Ambas posiciones satisfacen esa fila.
Ahora analiza las cuatro columnas bajo esas casillas.
Si la colocación 2–5 obligara a tres de esas columnas a prolongar bloques rellenos por las dos filas siguientes, pero esas filas solo tuvieran capacidad de pista para dos de esos rellenos en la región, esa colocación no puede formar parte de una solución completa.
La fila aislada no tenía ningún problema. La incompatibilidad aparece al considerar el bloque de borde y varias filas/columnas cruzadas como un único sistema.
2. Consecuencias compartidas mediante razonamiento de dos casos
A veces una proposición sin resolver tiene dos casos exhaustivos:
- caso A: una casilla está rellena;
- caso B: esa misma casilla está vacía.
Puede que no puedas demostrar cuál es correcto. Pero si ambos casos fuerzan otra casilla al mismo estado, esa consecuencia compartida es incondicional.
La forma lógica es sencilla:
- si A, entonces C está rellena;
- si no A, también C está rellena;
- por tanto, C está rellena independientemente de A.
También puedes aplicar la idea a una colocación de bloque si los casos considerados son realmente exhaustivos.
Por qué no es una contradicción ordinaria
El razonamiento por contradicción intenta normalmente demostrar que un caso es imposible y confirmar el contrario.
El análisis de consecuencia compartida puede avanzar aunque ambos casos sigan siendo posibles. Conservas solo aquello en lo que coinciden y descartas los estados temporales específicos de cada rama.
Asegúrate de que los casos son exhaustivos
La conclusión solo es válida si las ramas cubren todas las posibilidades de la proposición.
Para una casilla binaria, rellena/vacía sí es exhaustivo. Para un bloque con cuatro colocaciones legales, probar únicamente la más izquierda y la más derecha no basta salvo que hayas descartado antes las dos posiciones intermedias.
Una demostración de dos casos vale tanto como la prueba de que realmente solo existen esos dos casos.
3. Conteo regional y summing
Las pistas indican no solo dónde pueden ir los bloques, sino también cuántas casillas rellenas deben existir.
En una fila completa, el número total de rellenos es la suma de sus pistas. Lo mismo ocurre con una columna. En toda la cuadrícula, la suma de las pistas de filas debe coincidir con la de columnas porque ambas cuentan las mismas casillas rellenas.
Normalmente esto es solo una comprobación de consistencia. En una región muy restringida, el conteo puede convertirse en deducción.
Supón que una banda rectangular contiene varias casillas desconocidas. Desde las filas sabemos que exactamente siete rellenos pendientes deben caer dentro de esa banda. Desde las columnas sabemos que allí existe capacidad para como máximo siete rellenos.
La región está saturada: las siete unidades de capacidad disponibles deben utilizarse dentro de ella.
Esto puede implicar que:
- una columna no pueda gastar uno de sus rellenos pendientes fuera de la región;
- una colocación alternativa que reduzca la capacidad a seis sea imposible;
- una línea que atraviesa la banda deba usar allí una pista concreta;
- casillas fuera de la banda queden vacías porque toda la demanda ya está asignada dentro.
Algunas explicaciones comunitarias llaman summing a este estilo. VeyraPlay prefiere conteo regional porque la prueba combina demanda y capacidad, no solo suma números.
El conteo debe respetar la estructura de los bloques
Un total bruto de casillas no basta.
Que dos regiones admitan cinco rellenos cada una no significa que una pista 5 pueda trasladarse libremente entre ambas. El bloque sigue teniendo que respetar:
- orden de pistas;
- continuidad;
- separadores obligatorios;
- rellenos y X actuales;
- colocación de bloques anteriores y posteriores.
Usa el conteo para eliminar distribuciones globalmente imposibles y vuelve después a la lógica normal de bloques para fijar casillas concretas.
4. Saturación y capacidad en una banda
El razonamiento regional se vuelve especialmente potente cuando un conjunto de líneas no tiene capacidad sobrante.
Un modelo mental útil es:
- demanda: cuántas casillas rellenas o bloques deben atravesar la región;
- capacidad: cuántos rellenos pueden todavía soportar allí las líneas cruzadas.
Si demanda = capacidad, todo el espacio restante queda comprometido.
Si la demanda supera la capacidad, la disposición supuesta es imposible.
Si existe más capacidad que demanda, el conteo quizá no decida casillas exactas, pero todavía puede limitar qué bloques pueden entrar.
Es el equivalente multilínea de la holgura de una línea: cuanto menos espacio sobra, más fuertes son las restricciones.
5. Totales globales de pistas como prueba de consistencia
En cualquier nonograma monocromo válido:
suma de todas las pistas de filas = suma de todas las pistas de columnas.
Si los totales no coinciden, el conjunto de pistas no puede describir ninguna cuadrícula rellena/vacía.
Durante la resolución puedes usar la misma idea sobre rellenos pendientes dentro de una región bien definida, siempre que contabilices con cuidado las casillas ya confirmadas y no cuentes dos veces una misma casilla desde ambas direcciones.
Suele ser más útil para validar construcciones o razonar sobre regiones que para la resolución diaria de principiantes, pero es un invariante fundamental.
6. La simetría es condicional, no una pista del dibujo
Algunos conjuntos de pistas son simétricos por reflexión o rotación.
Si además sabes de forma independiente que el puzle tiene exactamente una solución, la solución debe heredar las simetrías del sistema completo de pistas. De lo contrario, reflejar una solución asimétrica produciría una segunda solución distinta con las mismas pistas.
La condición de unicidad es esencial.
Un conjunto de pistas simétrico puede tener dos soluciones asimétricas que sean imágenes especulares. Sin garantía independiente de unicidad, elegir la imagen más bonita o más simétrica no es lógica válida.
Por eso VeyraPlay no enseña «seguro que el dibujo es simétrico» como método. La simetría solo se convierte en restricción global legítima cuando la unicidad forma parte de la información que puedes utilizar.
7. Eliminación multilínea sin comprometerse con una rama
El razonamiento avanzado suele funcionar mejor eliminando combinaciones que eligiendo directamente una respuesta.
Supón que una fila A conserva tres patrones y una columna B conserva cuatro. Puedes descubrir que:
- A1 entra en conflicto con todos los estados legales de B;
- A2 es compatible con B1 y B3;
- A3 es compatible con B2 y B4.
Puedes eliminar A1 sin elegir entre A2 y A3.
Si A2 y A3 coinciden después en otra casilla, esa casilla está forzada.
Esta visión escala de forma natural desde la resolución manual a la programación por restricciones: los conjuntos locales de candidatos se filtran repetidamente según su compatibilidad con restricciones vecinas.
8. Razonamiento multilínea frente a contradicción
Los dos conceptos se solapan, pero no son idénticos.
Razonamiento multilínea
- compara varias restricciones a la vez;
- puede eliminar colocaciones sin hacer una suposición provisional;
- puede usar casos exhaustivos y conservar consecuencias compartidas;
- puede utilizar argumentos de conteo o capacidad sobre una región.
Razonamiento por contradicción
- empieza con una suposición provisional explícita;
- propaga sus consecuencias;
- demuestra que esa hipótesis es imposible mediante una contradicción dura;
- concluye que debe cumplirse la alternativa.
Un argumento multilínea puede contener contradicciones internas, pero la distinción editorial útil es análisis de compatibilidad global frente a asumir y refutar una rama.
Flujo práctico de razonamiento multilínea
Cuando la propagación normal alcance un punto fijo real:
- identifica una frontera, región o par de líneas muy restringido;
- anota el pequeño conjunto de alternativas que queda;
- comprueba que las alternativas sean exhaustivas;
- propaga cada una solo lo suficiente para comparar consecuencias;
- rechaza combinaciones que superen la capacidad regional o hagan imposibles líneas cruzadas;
- registra cualquier estado compartido por todos los casos supervivientes;
- elimina las marcas temporales específicas de cada caso;
- vuelve inmediatamente a la propagación normal después de cada nueva casilla demostrada.
Ese último paso es importante. Una sola deducción global puede reactivar solapamientos, bloques completados y encajes exactos sencillos.
Cuándo buscar conteo regional
Es especialmente útil cuando:
- una banda estrecha contiene muchos bloques obligatorios y poca capacidad sobrante;
- varias pistas de borde compiten por las mismas filas o columnas;
- las líneas individuales mantienen varios patrones pero sus totales combinados están muy restringidos;
- un puzle abstracto contiene pistas repetitivas con colocaciones estructuradas.
Es menos útil si la cuadrícula todavía contiene deducciones claras de una sola línea o si la región conserva mucha capacidad libre.
Errores frecuentes
Llamar «edge logic» a cualquier deducción junto al borde
La terminología varía. VeyraPlay usa anclaje al borde para la técnica de una sola línea de G-027 y define edge/boundary logic explícitamente cuando las consecuencias atraviesan varias líneas.
Comparar solo dos casos cómodos
La lógica two-way exige alternativas exhaustivas. No ignores una tercera colocación legal porque complique la prueba.
Usar totales sin respetar colocaciones
Cinco rellenos requeridos no son intercambiables si pertenecen a bloques ordenados con separadores.
Suponer simetría por la imagen emergente
La simetría no es evidencia salvo que el sistema de pistas sea simétrico y la unicidad esté garantizada independientemente.
Conservar marcas específicas de una rama
Si un caso sobrevive pero no está demostrado, deshaz sus estados temporales. Solo las consecuencias comunes o demostradas pertenecen al tablero real.
Olvidar volver a la lógica de línea
Después de una deducción global, el puzle puede volver a caer en técnicas básicas. Propaga antes de buscar otro argumento sofisticado.
Cómo se relaciona con la resolución por ordenador
Un solver puede modelar cada fila y columna como una restricción y eliminar estados incompatibles repetidamente. Enfoques de programación por restricciones, SAT, programación entera o búsqueda pueden imponer relaciones globales que son difíciles de seguir manualmente.
Las técnicas humanas multilínea son valiosas porque comprimen parte de esa consistencia global en pruebas reconocibles: una región saturada, una colocación de borde imposible o una consecuencia compartida por todos los casos.
No eliminan la dificultad computacional de los nonogramas arbitrarios, pero explican por qué una persona puede resolver algunos puzles que bloquean a un solver limitado a lógica simple de líneas.
Qué aprender después
Si la compatibilidad multilínea todavía deja varias posibilidades, Razonamiento por contradicción muestra cómo probar una hipótesis controlada y rechazarla solo cuando la propagación demuestra una imposibilidad dura.
Para el lado teórico, Soluciones únicas y nonogramas ambiguos explica por qué la unicidad es necesaria para argumentos avanzados como la simetría.
Preguntas frecuentes
¿El razonamiento multilínea es necesario en la mayoría de nonogramas?
No. Una buena resolución de líneas y propagación fila-columna resuelve una gran parte de los puzles diseñados para humanos. Este nivel aparece sobre todo cuando cada línea sigue siendo localmente ambigua en un punto fijo.
¿Edge logic y anclaje al borde son lo mismo?
No de forma consistente entre fuentes. VeyraPlay usa anclaje al borde para el bloque de una línea restringido por el límite físico. Algunas comunidades llaman edge logic/boundary logic al análisis multilínea explicado aquí.
¿Two-way logic es lo mismo que adivinar?
No, si los casos son exhaustivos y solo conservas consecuencias demostradas en todos ellos o rechazas un caso mediante contradicción explícita. Comprometerse con una rama no demostrada sí sería búsqueda o adivinanza.
¿El conteo por sí solo puede revelar la imagen exacta?
Normalmente no. Es más potente como herramienta de eliminación: demuestra que ciertas distribuciones o colocaciones no pueden coexistir. Las casillas exactas suelen aparecer al devolver esa conclusión a la lógica normal de líneas.
¿Puedo usar siempre la simetría si las pistas son simétricas?
No. Unas pistas simétricas no garantizan una solución simétrica cuando existen varias soluciones. La simetría solo es lógicamente segura cuando la unicidad está garantizada de forma independiente.