Gli indizi di un Nonogramma non specificano soltanto la lunghezza dei blocchi. Ne fissano anche l'ordine. Questo ordine crea una prima e un'ultima posizione legale per ogni blocco, anche prima di conoscerne la collocazione esatta.
Esempio: indizi 2 3 su una linea di dieci caselle
Prendi una linea vuota di 10 caselle con indizi 2 3.
Il primo blocco può iniziare già dalla casella 1. Ma non può iniziare arbitrariamente tardi: deve lasciare almeno un separatore e spazio sufficiente per il blocco successivo da tre.
Il suo ultimo inizio possibile è la casella 5, quindi la sua portata possibile copre le caselle 1–6.
Il secondo blocco non può iniziare prima della casella 4, perché devono venire prima il blocco da due e un separatore obbligatorio. Il suo ultimo inizio è la casella 8, con portata possibile fino alla casella 10.
Non è ancora detto che una casella debba essere piena, ma i due blocchi possiedono già territori legali differenti perché l'ordine impedisce loro di scambiarsi.
Collocazione più precoce
La collocazione più precoce di un blocco è la posizione più a sinistra o più in alto in cui può apparire mantenendo soddisfacibili tutti gli indizi precedenti, i separatori, le caselle piene note e le X.
Per i blocchi successivi, questo limite dipende da tutto ciò che deve precederli.
Collocazione più tardiva
La collocazione più tardiva è la posizione più a destra o più in basso in cui il blocco può apparire lasciando ancora spazio legale per ogni indizio successivo.
Per i blocchi iniziali, questo limite dipende molto dai blocchi che vengono dopo.
Perché l'ordine conta nelle linee con più indizi
Se una linea contiene 2 5 3, non sono tre blocchi intercambiabili. Il 2 deve venire per primo, il 5 secondo e il 3 per ultimo.
Un frammento pieno vicino al bordo destro potrebbe fisicamente entrare in un blocco di lunghezza 2, ma non può essere il primo indizio 2 se così non resterebbe spazio per 5 3.
Per questo la portata va calcolata usando identità e ordine dell'indizio, non soltanto la lunghezza del blocco.
Esempio svolto: caselle note restringono tre intervalli ordinati
Prendi una linea di 12 caselle con indizi 2 4 2. La casella 4 è confermata vuota e la casella 8 è confermata piena:
???×???■????
Esattamente sei pattern completi restano compatibili con questi stati.
Nei sei pattern, le posizioni iniziali legali sono:
| Blocco di indizio | Inizio più precoce | Inizio più tardivo |
|---|---|---|
primo 2 | 1 | 2 |
4 centrale | 5 | 6 |
ultimo 2 | 10 | 11 |
L'identità dei blocchi è essenziale. Non chiediamo dove possa stare “un blocco da 2”, ma dove possano stare il primo e l'ultimo blocco da 2 mentre il 4 resta tra loro.
Questi limiti implicano subito diverse caselle di consenso:
- la casella 2 è coperta dal primo blocco in ogni pattern valido;
- le caselle 6–8 sono coperte dal blocco centrale in ogni pattern valido;
- la casella 11 è coperta dall'ultimo blocco in ogni pattern valido;
- la casella 4 resta vuota per il vincolo dato.
I limiti quindi non sono semplici intervalli descrittivi. Quando diventano abbastanza stretti, rivelano la sovrapposizione di ciascun blocco ordinato.
I limiti sono accoppiati, non intervalli indipendenti
È facile calcolare un intervallo per ogni indizio e poi considerarli separatamente. Nelle linee con più indizi può essere sbagliato.
Spostare un blocco più tardi può obbligare quello successivo a spostarsi, perché deve restare un separatore. Spostare l'ultimo blocco più presto può trascinare quello precedente nella stessa direzione.
Pensa ai blocchi ordinati come a una catena di intervalli accoppiati:
- i blocchi precedenti spingono quelli successivi verso destra/in basso;
- quelli successivi spingono i precedenti verso sinistra/in alto;
- X e confini di segmento possono spezzare la catena in sottoproblemi;
- frammenti pieni noti possono ancorare un blocco e restringere entrambi i vicini.
Per questo ricalcolare i limiti da entrambe le estremità è più affidabile che stimare separatamente la portata di ciascun indizio.
Limiti contro analisi completa dei pattern validi
Due linee possono avere gli stessi estremi iniziale/finale ma differire nelle combinazioni intermedie legalmente possibili. Le collocazioni estreme comprimono informazione e possono perdere deduzioni visibili solo considerando tutti i pattern completi.
Usa i limiti quando producono una prova pulita. Passa ai pattern di linea validi quando gli estremi lasciano troppa ambiguità o quando le caselle note creano possibilità di collocazione non continue.
I limiti si restringono mentre risolvi la linea
Ogni stato confermato può cambiare gli intervalli:
- una X può spingere un blocco verso l'interno;
- un frammento pieno può obbligare un blocco a coprire una certa area;
- un blocco completato può fissare l'identità di un indizio e dividere la sequenza restante;
- l'assegnazione a segmenti può restringere un indizio a una regione più piccola;
- deduzioni dalle linee incrociate possono eliminare collocazioni prima possibili.
Ricalcola i limiti ogni volta che una linea riceve informazione importante.
I limiti creano sovrapposizione
Quando conosci la collocazione più precoce e quella più tardiva dello stesso blocco, confrontale.
Le caselle occupate dal blocco in ogni collocazione legale sono necessariamente piene. È la versione più profonda del metodo di sovrapposizione.
I limiti possono creare anche caselle vuote obbligatorie
Se una casella si trova fuori dalla portata legale di ogni blocco, deve essere vuota.
I limiti sostengono quindi entrambi i lati della risoluzione di una linea:
- intersezione delle collocazioni legali di un blocco → pieno forzato;
- fuori dall'unione delle portate di tutti i blocchi → vuoto forzato.
Analisi passo passo dei limiti
- mantieni le identità degli indizi nel loro ordine fisso;
- colloca gli indizi precedenti il prima possibile per trovare il limite iniziale di un blocco;
- colloca gli indizi successivi il più tardi possibile per trovare il limite finale;
- rispetta in entrambi i calcoli X e frammenti pieni esistenti;
- confronta l'intervallo legale di ciascun blocco;
- marca soltanto gli stati condivisi da ogni collocazione valida;
- ripeti dopo nuove deduzioni.
Questo approccio è strettamente collegato al line solving left-most/right-most usato dai solver informatici di Nonogrammi.
Errori comuni
Trattare indizi della stessa dimensione come intercambiabili
Anche due indizi con lo stesso numero hanno identità diverse perché il loro ordine è fisso.
Calcolare un limite senza riservare spazio agli indizi successivi
Un blocco non può usare caselle che rendano impossibile il resto della sequenza.
Considerare soltanto le caselle di inizio estreme
Il blocco intero occupa più caselle. I limiti descrivono intervalli per tutto il blocco, non solo per la sua prima casella.
Riempire tutte le caselle tra portata iniziale e finale
Quell'intervallo rappresenta occupazione possibile, non garantita. Per i pieni forzati usa l'intersezione.
Che cosa imparare dopo
I limiti di collocazione sono un modo compatto di rappresentare molte possibilità. I pattern di linea validi fanno un passo ulteriore: elencano o rappresentano ogni disposizione completa che soddisfa indizi e stati noti.
FAQ
Le collocazioni più precoce e più tardiva bastano per risolvere ogni linea?
No. I metodi basati sugli estremi sono potenti ma non completi in ogni linea vincolata. Alcune deduzioni richiedono l'insieme completo dei pattern validi.
I limiti valgono allo stesso modo per righe e colonne?
Sì. “Più precoce” significa più a sinistra nelle righe e più in alto nelle colonne; “più tardiva” significa più a destra o più in basso.
I limiti di un blocco possono ridursi a una sola collocazione?
Sì. Se collocazione più precoce e più tardiva coincidono, la posizione esatta del blocco è fissata.