La maggior parte del progresso in un Nonogramma nasce dalla risoluzione di una singola linea: scegli una riga o una colonna, determina quali disposizioni soddisfano indizi e caselle note, poi marca gli stati che risultano forzati.
Alcuni puzzle difficili arrivano però a un punto in cui ogni singola linea possiede ancora più di un pattern valido, ma quei pattern non possono essere scelti indipendentemente. Una possibilità legale dentro una riga può rendere impossibili più colonne incrociate considerate insieme. Un insieme di collocazioni candidate può consumare più capacità di riempimento di quanta una regione vicina possa sostenere. Due casi alternativi possono differire localmente e tuttavia forzare lo stesso risultato altrove.
È il territorio del ragionamento multilinea.
Che cosa rende diverso il ragionamento multilinea?
Una deduzione di una sola linea chiede:
Che cosa deve essere vero in questa riga o colonna?
Una deduzione multilinea chiede:
Quali combinazioni di stati di linea, singolarmente legali, possono coesistere nella stessa griglia?
La seconda domanda è più forte perché ogni casella accoppia una riga e una colonna. I pattern legali delle righe e quelli delle colonne devono concordare simultaneamente.
Non viene introdotta nessuna nuova regola. Usi sempre gli stessi indizi, l'ordine dei blocchi, i separatori, le caselle piene e quelle vuote, ma ragioni su una porzione più ampia del sistema di vincoli.
Prima raggiungi un vero punto fisso della logica di linea
Non passare alla logica globale solo perché il puzzle sembra difficile.
Prima esaurisci le deduzioni ordinarie:
- incastro esatto e linee vuote;
- sovrapposizione e margine ridotto;
- blocchi completati, estensione e portata;
- eliminazione degli spazi e assegnazione ai segmenti;
- limiti iniziali/finali dei blocchi;
- pattern di linea validi;
- incrocio e propagazione attraverso ogni linea modificata.
Se una singola linea può ancora forzare una casella da sola, usa quella prova più semplice. La logica multilinea è più utile quando ogni linea rilevante è localmente coerente ma l'intera griglia è più vincolata di quanto riveli ciascuna linea presa isolatamente.
1. Ragionamento di bordo su più linee
L'espressione edge logic o boundary logic viene usata da alcune comunità avanzate per una tecnica diversa dall'effetto del bordo su una sola linea che VeyraPlay chiama ancoraggio al bordo.
Nel ragionamento multilinea di bordo si parte da un blocco vicino al margine esterno e si esamina ciò che le sue possibili collocazioni forzerebbero nelle linee perpendicolari subito all'interno di quel bordo.
Il flusso è:
- scegli un blocco di bordo le cui prime collocazioni siano molto limitate;
- considera una collocazione candidata o una piccola famiglia di collocazioni;
- trasferisci le caselle piene/vuote risultanti nelle linee incrociate;
- chiedi se quelle linee possono ancora soddisfare insieme i propri indizi;
- elimina le collocazioni di bordo le cui conseguenze rendono impossibile la fascia vicina;
- conserva soltanto caselle o intervalli che superano ogni controllo di coerenza globale.
La distinzione importante è la scala.
Ancoraggio al bordo (G-027) resta dentro una riga o colonna: il bordo fisico restringe l'intervallo legale di un blocco identificato.
La logica multilinea di bordo usa le conseguenze di una collocazione di bordo in diverse linee incrociate. Una candidata può essere perfettamente legale nella propria linea e risultare comunque impossibile globalmente.
Un esempio schematico di bordo
Immagina che il primo indizio di una riga superiore possa occupare le colonne 2–5 oppure 3–6. Entrambe le collocazioni soddisfano la riga.
Ora osserva le quattro colonne sotto le caselle candidate.
Se collocare il blocco nelle colonne 2–5 obbligasse tre di quelle colonne a estendere blocchi pieni nelle due righe successive, ma quelle due righe avessero capacità per soli due riempimenti in quella regione, la collocazione 2–5 non potrebbe appartenere a una soluzione completa.
Nella riga isolata non c'era nulla di sbagliato. La contraddizione emerge soltanto considerando blocco di bordo + più righe e colonne incrociate come un unico sistema.
Per questo la logica avanzata di bordo appartiene a un livello superiore rispetto alla normale logica di linea.
2. Conseguenze condivise nel ragionamento a due vie
A volte una proposizione irrisolta ha due casi esaustivi:
- caso A: una casella è piena;
- caso B: la stessa casella è vuota.
Potresti non riuscire a dimostrare subito quale caso sia corretto. Ma se entrambi forzano un'altra casella allo stesso stato, quella conseguenza condivisa è incondizionata.
La forma logica è semplice:
- se A, allora C è piena;
- se non A, allora C è piena;
- quindi C è piena indipendentemente da A.
Lo stesso principio può essere applicato a una collocazione di blocco invece che a una singola casella, purché i casi siano davvero esaustivi.
Perché non è il normale ragionamento per contraddizione
Il ragionamento per contraddizione cerca di solito di dimostrare un caso impossibile e quindi stabilire l'alternativa.
Il ragionamento a due vie con conseguenza condivisa può progredire anche quando entrambi i casi restano possibili. Conservi soltanto ciò su cui entrambi concordano e scarti gli stati temporanei dei rami.
I casi devono essere esaustivi
La conclusione è valida solo se i rami coprono ogni possibilità rilevante per la proposizione.
Per una casella binaria, piena/vuota è esaustivo. Per un blocco con quattro collocazioni legali, testare soltanto quella più a sinistra e quella più a destra non è esaustivo, a meno di aver già escluso separatamente le due collocazioni centrali.
È un errore frequente nella risoluzione avanzata: una prova a due casi vale solo quanto la prova che i casi siano esattamente due.
3. Conteggio regionale e somme
Gli indizi non dicono soltanto dove possono stare i blocchi, ma anche quante caselle piene devono esistere.
Per una riga completa, il numero totale di caselle piene è la somma dei suoi indizi. Lo stesso vale per una colonna. Nell'intero puzzle, la somma di tutti gli indizi delle righe deve essere uguale alla somma di tutti quelli delle colonne, perché entrambi i totali contano le stesse caselle piene.
Di solito questa identità è solo un controllo di coerenza. In una regione molto vincolata, però, il conteggio può diventare deduttivo.
Supponiamo che una fascia rettangolare contenga diverse caselle irrisolte. Dal lato delle righe, gli indizi rimasti dimostrano che esattamente sette riempimenti devono cadere nella fascia. Dal lato delle colonne, le colonne incrociate possono accogliere al massimo sette riempimenti residui in quella regione.
La regione è satura: tutte e sette le unità di capacità disponibili devono essere usate al suo interno.
Questo può implicare conseguenze come:
- una colonna non può spendere uno dei suoi riempimenti rimasti fuori dalla regione;
- una collocazione alternativa che ridurrebbe a sei le caselle disponibili nella fascia è impossibile;
- una linea che entra nella regione deve usarvi un certo blocco;
- caselle fuori da una fascia satura diventano vuote perché tutti i riempimenti richiesti sono già contabilizzati.
Alcune spiegazioni della community chiamano questo stile summing. VeyraPlay usa il termine più ampio conteggio regionale, perché la prova riguarda domanda e capacità di occupazione, non la semplice somma dei numeri.
Il conteggio deve rispettare la struttura dei blocchi
Un totale grezzo di riempimenti non basta.
Se due regioni possono contenere entrambe cinque caselle piene, non significa che un blocco 5 possa essere spostato liberamente tra esse. Il blocco deve ancora rispettare:
- ordine degli indizi;
- continuità;
- separatori obbligatori;
- stati pieni/X correnti;
- collocazione dei blocchi precedenti e successivi.
Usa il conteggio per eliminare allocazioni globalmente impossibili, poi torna alla normale logica dei blocchi per determinare le caselle precise.
4. Saturazione e capacità attraverso una fascia
Il ragionamento regionale diventa particolarmente forte quando un insieme di linee non ha capacità di riserva.
Un modello mentale utile è:
- domanda: quante caselle piene o quanti blocchi devono attraversare la regione;
- capacità: quante collocazioni le linee incrociate possono ancora sostenere al suo interno.
Se domanda = capacità, ogni unità di capacità rimasta è impegnata.
Se domanda > capacità, l'assetto assunto è impossibile.
Se capacità > domanda, il conteggio da solo può non decidere le caselle esatte, ma può restringere quali blocchi possono entrare nella regione.
È l'analogo multilinea del margine su una singola linea: meno spazio libero significa vincoli più forti.
5. Totali globali degli indizi come controllo di coerenza
Per qualunque Nonogramma monocromatico valido:
somma di tutti gli indizi delle righe = somma di tutti gli indizi delle colonne.
Se i due totali differiscono, quell'insieme di indizi non può descrivere alcuna griglia piena/vuota.
Durante la risoluzione puoi applicare la stessa idea localmente ai riempimenti rimanenti, purché contabilizzi con attenzione le caselle già confermate e non conti due volte la stessa casella piena dalle due direzioni.
In pratica è più utile per controllare una costruzione o ragionare su una regione ben definita che nella risoluzione quotidiana dei principianti, ma è un invariante importante da conoscere.
6. La simmetria è condizionale, non un indizio sull'immagine nascosta
Alcuni sistemi di indizi sono simmetrici per riflessione o rotazione.
Se sai inoltre che il puzzle ha esattamente una soluzione, allora la soluzione deve ereditare ogni simmetria del sistema completo di indizi. In caso contrario, riflettere una soluzione non simmetrica creerebbe una seconda soluzione distinta con gli stessi indizi.
La condizione di unicità è essenziale.
Un sistema di indizi simmetrico può avere due soluzioni asimmetriche che sono immagini speculari l'una dell'altra. Senza sapere indipendentemente che la soluzione è unica, scegliere l'immagine più bella o più simmetrica non è logica valida.
Perciò VeyraPlay non insegna “l'immagine probabilmente è simmetrica” come metodo di risoluzione. La simmetria diventa un vincolo globale legittimo soltanto quando l'unicità fa parte dell'informazione su cui sei autorizzato a fare affidamento.
7. Eliminazione multilinea senza impegnarsi in un ramo
Il ragionamento avanzato funziona spesso meglio eliminando combinazioni piuttosto che scegliendo subito una risposta.
Supponiamo che la riga A abbia tre pattern validi e la colonna B ne abbia quattro. Puoi scoprire che:
- il pattern A1 confligge con ogni stato legale della colonna B;
- A2 è compatibile con B1 e B3;
- A3 è compatibile con B2 e B4.
Puoi eliminare A1 senza scegliere tra A2 e A3.
Se A2 e A3 concordano poi su un'altra casella, quella casella è forzata.
Questa prospettiva scala naturalmente dalla risoluzione manuale alla programmazione per vincoli: insiemi locali di candidati vengono filtrati ripetutamente in base alla compatibilità con i vincoli vicini.
8. Ragionamento multilinea e ragionamento per contraddizione
I due concetti si sovrappongono, ma non sono identici.
Ragionamento multilinea
- confronta più vincoli simultaneamente;
- può eliminare collocazioni senza fare un'ipotesi provvisoria;
- può usare casi esaustivi e mantenere solo conseguenze condivise;
- può usare conteggio o capacità su una regione.
Ragionamento per contraddizione
- parte da un'ipotesi provvisoria esplicita;
- ne propaga le conseguenze;
- dimostra l'ipotesi impossibile raggiungendo una contraddizione dura;
- conclude che l'alternativa deve essere vera.
Un argomento multilinea può contenere una contraddizione al suo interno, ma la distinzione editoriale utile è analisi della compatibilità globale contro ramifica e confuta.
Flusso pratico del ragionamento multilinea
Quando la propagazione ordinaria raggiunge un vero punto fisso:
- individua un bordo, una regione o una coppia di linee molto vincolati;
- scrivi il piccolo insieme di alternative rimaste;
- assicurati che le alternative siano esaustive;
- propaga ogni alternativa soltanto quanto basta per confrontarne le conseguenze;
- elimina combinazioni che superano la capacità regionale o rendono impossibili le linee incrociate;
- registra ogni stato condiviso da tutti i casi sopravvissuti;
- scarta i segni temporanei specifici dei casi;
- torna immediatamente alla propagazione ordinaria dopo ogni casella dimostrata.
L'ultimo passo è importante. Una sola deduzione globale può creare molte deduzioni locali semplici; restare in “modalità avanzata” più del necessario spreca lavoro.
Quando conviene usare il conteggio regionale?
Cercalo quando:
- una fascia stretta contiene molti blocchi richiesti ma poco spazio libero;
- diversi indizi di bordo competono per le stesse righe o colonne;
- le singole linee hanno più pattern ma i totali combinati di riempimento sono molto vincolati;
- un puzzle astratto contiene indizi ripetitivi le cui collocazioni si sovrappongono in modo strutturato.
È meno utile quando la griglia contiene ancora deduzioni evidenti a livello di linea o quando la regione ha molta capacità inutilizzata.
Errori comuni
Chiamare ogni deduzione di bordo “edge logic”
La terminologia varia. Usa ancoraggio al bordo per la tecnica di una sola linea in G-027 e definisci esplicitamente edge/boundary logic quando parli di conseguenze multilinea.
Confrontare soltanto due casi comodi
La logica a due vie richiede alternative esaustive. Non ignorare una terza collocazione legale perché complica la prova.
Usare i totali senza vincoli di collocazione
Cinque riempimenti richiesti non sono intercambiabili se appartengono a blocchi ordinati con separatori.
Presumere la simmetria dall'immagine emergente
La simmetria non è una prova a meno che il sistema di indizi possieda quella simmetria e l'unicità sia garantita indipendentemente.
Conservare segni specifici di un ramo
Se un caso sopravvive ma non è dimostrato, annulla i suoi stati temporanei. Solo conseguenze condivise o dimostrate indipendentemente appartengono alla griglia reale.
Dimenticare di tornare alla logica di linea
Dopo una deduzione globale, il puzzle può collassare in normali sovrapposizioni, blocchi completati o incastri esatti. Propaga prima di cercare un altro argomento sofisticato.
Collegamento con la risoluzione informatica
Un solver può modellare ogni riga e colonna come vincolo e rimuovere ripetutamente gli stati incompatibili. Approcci generali di constraint programming, SAT, programmazione intera o ricerca possono imporre globalmente molte relazioni difficili da seguire a mano.
Le tecniche multilinea umane sono preziose perché comprimono parte di quella coerenza globale in prove riconoscibili: una regione satura, una collocazione di bordo impossibile o una conseguenza condivisa da entrambi i casi.
Non eliminano la difficoltà computazionale dei Nonogrammi arbitrari, ma spiegano perché una persona possa talvolta risolvere un puzzle che mette in difficoltà un solver limitato alla semplice logica di linea.
Che cosa imparare dopo
Se la compatibilità multilinea lascia ancora più possibilità, Ragionamento per Contraddizione mostra come testare un'ipotesi controllata e rifiutarla soltanto quando la propagazione dimostra un'impossibilità dura.
Sul lato teorico, Soluzioni Uniche e Nonogrammi Ambigui spiega perché l'unicità sia importante per argomenti avanzati come la simmetria.
FAQ
Il ragionamento multilinea è necessario per la maggior parte dei Nonogrammi?
No. Una buona risoluzione di una linea più la propagazione riga-colonna gestisce una grande parte dei puzzle normali progettati a mano. Il ragionamento multilinea serve soprattutto quando ogni linea individuale rimane localmente ambigua a un punto fisso.
Edge logic è la stessa cosa dell'ancoraggio al bordo?
Non in modo coerente tra le fonti. VeyraPlay usa ancoraggio al bordo per un blocco di una sola linea limitato dal bordo fisico. Alcune comunità usano edge logic/boundary logic per l'analisi multilinea descritta in questa pagina.
La logica a due vie è la stessa cosa che indovinare?
No, purché i casi siano esaustivi e tu mantenga soltanto conseguenze dimostrate in ogni caso oppure elimini un caso tramite una contraddizione esplicita. Impegnarsi in un ramo non dimostrato sarebbe invece tentativo/ricerca.
Il conteggio da solo può rivelare l'immagine esatta?
Di solito no. Il conteggio è più forte come strumento di eliminazione: dimostra che certe allocazioni o collocazioni non possono coesistere. Le caselle esatte emergono normalmente quando il risultato viene reinserito nella normale logica di linea.
Posso sempre usare la simmetria in un puzzle simmetrico?
No. Indizi simmetrici non garantiscono una soluzione simmetrica se sono possibili più soluzioni. La simmetria è logicamente sicura solo quando l'unicità è garantita indipendentemente come parte dell'informazione del problema.