I Nonogrammi parzialmente risolti contengono spesso due frammenti pieni con caselle indeterminate tra loro. La domanda chiave è se quei frammenti debbano diventare un unico blocco di indizio oppure restare separati.
La decisione non dipende mai da come sembra l'immagine. Dipende dalle lunghezze degli indizi e dalle assegnazioni legali dei blocchi.
Unire: un solo indizio deve coprire entrambi i frammenti
Considera una linea di 9 caselle con un solo indizio 5:
??■■?■■??
Esiste un solo blocco nell'intera linea, quindi entrambi i frammenti pieni devono appartenere a quel blocco.
Un blocco di lunghezza 5 che copra entrambi deve occupare le caselle 3–7. La casella indeterminata tra i frammenti è quindi necessariamente piena.
I due frammenti si uniscono in un unico blocco continuo di cinque caselle.
Separare: unirli violerebbe ogni lunghezza compatibile
Ora considera una linea di 10 caselle con indizi 3 3 e frammenti pieni noti nelle caselle 2–3 e 5–6:
?■■?■■????
Se la casella 4 fosse piena, le caselle 2–6 formerebbero una sequenza continua di cinque caselle piene. Ma gli unici blocchi previsti dagli indizi hanno lunghezza 3.
Un blocco di cinque non può esistere, quindi la casella 4 deve essere vuota. I due frammenti devono appartenere a blocchi diversi.
Una volta noto il separatore, ciascun frammento può estendersi solo nel proprio lato del confine.
Che cosa dimostra che due frammenti devono unirsi?
I frammenti devono unirsi quando:
- un solo blocco irrisolto può coprirli entrambi;
- un segmento è assegnato a un unico indizio e entrambi i frammenti ricadono nella sua portata legale;
- separarli richiederebbe più blocchi di quanti ne restano;
- l'ordine degli indizi rende impossibile ogni assegnazione separata.
La prova è sempre la stessa: ogni pattern di linea valido li collega.
Che cosa dimostra che devono restare separati?
I frammenti devono restare distinti quando:
- unirli creerebbe una sequenza piena più lunga di ogni indizio compatibile;
- una X confermata si trova già tra essi;
- le assegnazioni degli indizi dimostrano che appartengono a blocchi diversi;
- unirli non lascerebbe spazio legale per un altro blocco obbligatorio;
- l'ordine degli indizi verrebbe violato.
Una separazione dimostrata produce spesso immediatamente una nuova casella vuota.
Non confondere “vicini” con “stesso blocco”
Due caselle piene separate da una sola casella indeterminata invitano visivamente a essere unite. Ma quella casella potrebbe dover essere vuota.
Allo stesso modo, frammenti distanti diverse caselle possono appartenere a un unico indizio lungo se tutte le caselle tra loro finiranno per essere piene.
La distanza, da sola, non dimostra nulla.
Usa l'identità assegnata dell'indizio quando possibile
Unire o separare diventa molto più semplice dopo l'assegnazione degli indizi ai segmenti.
Se sai che un segmento contiene soltanto l'indizio 7, tutti i frammenti pieni in quel segmento devono essere coperti dallo stesso blocco da sette.
Se sai invece che due frammenti appartengono agli indizi consecutivi 3 e 4, deve esserci almeno una casella vuota tra essi.
A volte non è ancora dimostrata né l'unione né la separazione
Una competenza avanzata importante è riconoscere quando le informazioni sono insufficienti.
Considera una linea di 12 caselle con indizi 2 5 e caselle piene confermate in posizione 5 e 7:
????■?■?????
Esistono pattern legali in cui entrambe le caselle piene appartengono al blocco successivo da 5. Esistono anche pattern legali in cui la casella 5 appartiene al primo blocco da 2 e la casella 7 al blocco da 5, con un separatore tra loro.
Quindi nessuna delle due conclusioni è ancora giustificata:
- riempire la casella 6 per unire i frammenti sarebbe prematuro;
- segnare la casella 6 vuota per separarli sarebbe altrettanto prematuro.
Lo stato corretto della casella 6 resta indeterminato finché un altro vincolo non elimina una delle due famiglie di pattern.
Questo esempio è importante perché molti errori avanzati nascono dal trasformare un'identità plausibile del frammento in un fatto.
L'identità del frammento può cambiare prima che cambino gli indizi
La sequenza degli indizi è fissa, ma la tua interpretazione di un frammento pieno specifico può restare flessibile.
Un frammento può essere compatibile con l'indizio 2 in un pattern valido e con l'indizio 5 in un altro. Quando una X proveniente dalla linea perpendicolare elimina una delle due possibilità, l'identità del frammento può diventare improvvisamente certa e innescare diverse deduzioni di unione/separazione.
Un buon flusso è:
- registra quali indizi possono ancora possedere ogni frammento;
- usa assegnazione ai segmenti e limiti di collocazione per eliminare proprietari impossibili;
- solo allora decidi se frammenti vicini devono collegarsi o separarsi.
Unire e separare sono affermazioni su tutti i pattern validi
Le definizioni più sicure sono:
- i frammenti devono unirsi se ogni pattern valido li assegna a un unico blocco continuo;
- i frammenti devono separarsi se ogni pattern valido li assegna a blocchi diversi;
- la relazione è irrisolta se sopravvivono entrambi i tipi di pattern.
Questo modo di ragionare impedisce all'intuizione visiva locale di superare i vincoli reali.
Test passo passo dei frammenti
Quando due frammenti pieni possono interagire:
- identifica quali indizi irrisolti possono coprire ciascun frammento;
- verifica se un unico blocco legale può coprirli entrambi senza superare la propria lunghezza;
- verifica se possono appartenere a blocchi diversi mantenendo ordine e separatori;
- elimina i casi che contraddicono X note o confini di segmento;
- riempi le caselle tra i frammenti solo se ogni caso valido li unisce;
- marca una casella separatrice vuota solo se ogni caso valido li tiene distinti.
Errori comuni
Unire i frammenti perché l'immagine “ha bisogno di una linea”
L'immagine non è un indizio.
Dimenticare la lunghezza massima dell'indizio
Una sequenza continua di caselle piene non può diventare più lunga del blocco assegnato.
Separare senza spazio per il separatore obbligatorio
Blocchi monocromatici differenti richiedono almeno una casella vuota tra loro.
Presumere l'identità del frammento prima che l'assegnazione sia nota
Nelle linee avanzate lo stesso frammento può restare compatibile con più indizi. Mantieni le alternative finché una non viene esclusa.
Che cosa imparare dopo
Quando le identità dei blocchi diventano più chiare, usa ordine dei blocchi e limiti di collocazione per calcolare la prima e l'ultima posizione legale di ciascun blocco, invece di trattare la linea come un unico insieme indistinto di possibilità.
FAQ
Due frammenti pieni possono appartenere allo stesso blocco?
Sì, se tutte le caselle tra loro possono diventare piene e la sequenza continua risultante rispetta lunghezza e posizione legale dell'indizio.
Due frammenti pieni adiacenti possono appartenere a due indizi monocromatici diversi?
No. Due blocchi monocromatici diversi richiedono almeno una casella vuota di separazione, quindi caselle piene adiacenti formano un unico blocco continuo.
Unire è la stessa cosa che estendere un blocco confermato?
Sono concetti collegati. L'estensione fa crescere un frammento già noto; l'unione dimostra che due frammenti sono parti dello stesso blocco e riempie il ponte tra loro.