Durante la risoluzione di un Nonogramma una casella può essere piena, vuota oppure indeterminata. La distinzione è fondamentale: una casella che non hai ancora risolto non è automaticamente vuota.
Usare correttamente questi stati rende visibili i vincoli e impedisce di trasformare l'assenza di informazione in una falsa deduzione.
Casella piena
Una casella piena è una posizione dimostrata appartenere a uno dei blocchi descritti dagli indizi.
Puoi riempirla perché, date le condizioni attuali, ogni configurazione valida richiede che sia piena.
La prova può derivare da:
- una linea a incastro esatto;
- una sovrapposizione;
- l'estensione obbligatoria di un blocco;
- un pattern valido comune a tutte le possibilità;
- una conseguenza propagata da una linea incrociata;
- un ragionamento per contraddizione.
Il metodo può cambiare, ma il risultato logico è lo stesso: quella casella non è più opzionale.
Casella vuota
Una casella vuota è una posizione dimostrata non appartenere a nessun blocco della soluzione.
Viene spesso rappresentata con una X, ma potrebbe essere mostrata anche con un punto, un tratto o uno stile visivo diverso.
Una casella può diventare vuota perché:
- la linea non contiene blocchi;
- un blocco completato non può estendersi;
- serve come separatore tra blocchi distinti;
- nessun blocco restante può raggiungerla;
- un segmento è inutilizzabile;
- tutte le configurazioni valide la lasciano vuota.
Casella indeterminata
Una casella indeterminata non è ancora stata dimostrata né piena né vuota.
Questo stato significa semplicemente:
più di una possibilità rimane compatibile con i vincoli attuali.
Lasciarla indeterminata è una decisione corretta. Non sei obbligato a “fare una mossa” su ogni casella immediatamente.
Perché indeterminata e vuota devono rimanere separate
Considera una linea con molti spazi ancora non risolti.
Se tratti ogni casella non piena come vuota, elimini collocazioni che potrebbero essere necessarie alla soluzione. Stai trasformando una mancanza di prova in una prova negativa.
Questa distinzione è particolarmente importante nei solver digitali, negli hint e nella logica avanzata: unknown e empty sono due stati diversi del sistema.
Una casella passa da indeterminata a dimostrata
La progressione logica normale è in una sola direzione:
indeterminata → piena
oppure:
indeterminata → vuota
Una volta che uno stato è stato dimostrato correttamente, fa parte della soluzione finale.
Se più tardi devi cambiarlo, significa che una deduzione precedente o una marcatura manuale era sbagliata. L'azione di annullare appartiene all'interfaccia; logicamente, la prova iniziale non era valida.
La X è una notazione, non lo stato stesso
È comune dire “metti una X”, ma VeyraPlay separa la rappresentazione dal significato.
- vuota è lo stato logico;
- X è una possibile rappresentazione grafica.
Questa distinzione rende il sistema coerente tra carta, web, mobile e interfacce accessibili.
Come aiutano le caselle piene
Una casella piena confermata dice che almeno un blocco deve attraversare quella posizione.
Questo può limitare:
- a quale indizio appartiene;
- dove può iniziare il blocco;
- dove può terminare;
- quanto spazio rimane per i blocchi precedenti e successivi.
Una sola casella piena può quindi produrre diverse deduzioni nella stessa linea.
Come aiutano le caselle vuote
Una casella vuota elimina tutte le collocazioni di blocchi che la attraverserebbero.
Immagina una linea di 7 caselle con indizio 3:
???×???
Il blocco da 3 deve stare interamente a sinistra oppure interamente a destra della X. Non può attraversarla.
La X ha quindi diviso la linea in due segmenti aperti. Con ulteriori informazioni, uno dei segmenti può diventare impossibile e forzare il blocco nell'altro.
I blocchi completati creano confini vuoti
Con una linea di 7 caselle e un solo indizio 3, supponi che le caselle 3–5 siano dimostrate piene:
??■■■??
Se quelle tre caselle sono il blocco dell'indizio 3, il blocco ha già raggiunto la sua lunghezza completa. Non può estendersi alle caselle 2 o 6.
Quindi:
?×■■■×?
Poiché l'unico indizio è ormai soddisfatto, anche tutte le altre caselle della linea saranno vuote.
La prova non è “vedo tre caselle quindi il blocco è finito”, ma:
- le tre caselle appartengono con certezza all'indizio
3; - la lunghezza è già esattamente 3;
- qualsiasi estensione violerebbe l'indizio.
Possono rimanere indeterminate dopo un progresso utile
Non devi completare tutta una linea in una sola volta.
Uno stato come:
×??■■??×
è già utile: i confini vuoti e le caselle piene riducono le possibilità, anche se quattro caselle rimangono indeterminate.
Una linea incrociata potrà più tardi determinare una di quelle caselle e sbloccare il resto.
Come gli stati interagiscono tra righe e colonne
Se una riga dimostra che una casella è piena, la colonna incrociata riceve quel vincolo pieno.
Se una colonna dimostra una casella vuota, la riga riceve un vincolo vuoto.
Nessuno stato appartiene quindi soltanto alla linea che l'ha scoperto. La griglia è un unico sistema condiviso.
Questo è anche il motivo per cui una marcatura sbagliata può contaminare rapidamente molte deduzioni in entrambe le direzioni.
Errori comuni sugli stati delle caselle
Lasciare non marcati i vuoti già dimostrati
Perdi confini utili e rischi di rivalutare continuamente collocazioni già impossibili.
Segnare vuoto perché una casella “sembra inutilizzata”
Il vuoto deve essere dimostrato dagli indizi.
Riempire una casella solo perché un blocco può raggiungerla
La portata indica possibilità, non certezza. Una casella è piena solo se è forzata.
Trattare le X come decorazione
Una X elimina collocazioni e divide segmenti: è un vincolo logico vero.
Dimenticare di propagare un nuovo stato
Ogni nuova casella va riletta anche nella linea perpendicolare.
FAQ
Che cosa significa una X in un Nonogramma?
Normalmente indica una casella confermata vuota.
Una casella non marcata è vuota?
No. È indeterminata finché non viene dimostrato uno stato.
Devo segnare le caselle vuote?
Non è necessario per la validità matematica, ma è fortemente consigliato perché rende visibili i vincoli.
Una casella piena può diventare vuota più tardi?
Non se è stata dedotta correttamente. Se devi cambiarla, la deduzione precedente era errata o provvisoria.
Esistono tre stati finali?
No. Nella soluzione finale ogni casella è piena o vuota. Indeterminata è uno stato del processo di risoluzione.
Perché le caselle vuote sono così utili?
Perché bloccano collocazioni, separano blocchi, delimitano segmenti e permettono di eliminare possibilità.
Che cosa leggere dopo
Approfondisci blocchi completati, eliminazione degli spazi, incrocio tra linee ed errori comuni.