L'eliminazione degli spazi impossibili permette di segnare caselle vuote quando una regione aperta è troppo corta per ospitare qualunque blocco di indizio che possa legalmente trovarsi al suo interno.
L'idea è semplice: se nessun blocco rimasto può entrare in una regione, nessuna delle sue caselle può far parte della soluzione.
Esempio: una regione di tre caselle non può contenere un blocco di quattro
Prendi una linea di 10 caselle con un solo indizio 4. Supponiamo che la casella 4 sia già confermata vuota:
??? × ??????
La X crea due regioni aperte. La prima è lunga soltanto tre caselle. Un blocco di quattro non può entrarvi, quindi le caselle 1–3 sono tutte necessariamente vuote.
Il blocco deve quindi trovarsi da qualche parte nella regione di sei caselle a destra.
Questo non determina ancora la sua posizione esatta. L'eliminazione rimuove spazio impossibile; una tecnica come la sovrapposizione può poi trovare caselle piene obbligatorie nella regione rimasta.
Che cosa conta come regione aperta?
Le caselle confermate vuote dividono una riga o una colonna in aree contigue che possono ancora contenere blocchi non risolti. VeyraPlay chiama queste aree segmenti aperti.
Per applicare l'eliminazione degli spazi, fai due domande:
- quali blocchi di indizio non risolti potrebbero legalmente appartenere a questo segmento?
- il segmento è abbastanza lungo da contenerne almeno uno?
Se la risposta alla seconda domanda è no per ogni blocco compatibile, l'intero segmento è vuoto.
Confronta gli indizi compatibili, non solo il numero più piccolo
Una scorciatoia comune consiste nel confrontare uno spazio con il più piccolo indizio rimasto. È sicura solo se ogni indizio rimasto può davvero occupare quella regione.
L'ordine degli indizi, i blocchi completati, i separatori e i segmenti già assegnati possono escludere alcuni indizi. Un segmento di due caselle potrebbe, per esempio, essere abbastanza grande per un indizio 2, ma dover comunque essere vuoto se quel 2 è già assegnato altrove.
La regola precisa è quindi:
elimina un segmento quando nessuna assegnazione legale degli indizi rimasti può collocare un blocco al suo interno.
Questa precisione diventa sempre più importante nelle linee con più indizi.
Eliminazione dopo aver completato un blocco
I blocchi completati creano spesso le occasioni migliori.
Quando un blocco è terminato e correttamente separato, gli indizi restanti hanno meno spazio disponibile. Una piccola regione residua che prima sembrava possibile può diventare improvvisamente troppo corta per ogni indizio ancora irrisolto.
A quel punto l'intera regione può essere barrata.
Una sequenza utile è:
- completa un blocco;
- inserisci il suo separatore obbligatorio;
- ricalcola i segmenti aperti rimasti;
- elimina i segmenti che non possono contenere alcun blocco irrisolto;
- analizza di nuovo la linea.
Eliminazione degli spazi e portata dei blocchi sono due viste dello stesso vincolo
G-030 chiede quali caselle un blocco può ancora raggiungere. L'eliminazione degli spazi chiede se un'intera regione si trova fuori dalla portata di tutti i blocchi rilevanti.
Se nessun blocco può raggiungere alcuna casella di un segmento, quel segmento è necessariamente vuoto.
Per una persona, la vista a segmenti è spesso più intuitiva perché le X confermate rendono subito visibili i confini.
Metodo passo passo
Quando in una linea compaiono diverse X:
- individua i segmenti aperti tra le X;
- annota quali blocchi di indizio restano irrisolti;
- usa ordine degli indizi e assegnazioni già note per capire quali indizi possono occupare ogni segmento;
- confronta la lunghezza di ogni segmento con la dimensione di tali indizi;
- se nessuno può entrarvi, marca l'intero segmento come vuoto;
- controlla se le nuove X producono deduzioni più forti altrove.
Errori comuni
Eliminare una regione perché non entra l'indizio più grande
Un indizio più piccolo ancora irrisolto potrebbe entrarvi. Devi escludere tutti gli indizi compatibili, non uno soltanto.
Ignorare l'ordine degli indizi
Un segmento può avere abbastanza spazio per un blocco ma trovarsi dal lato sbagliato rispetto ai blocchi che devono precederlo o seguirlo.
Trattare una casella indeterminata come separatore
Solo le caselle confermate vuote dividono la linea. Le caselle indeterminate restano disponibili ai blocchi.
Riempire automaticamente tutta la regione sopravvissuta
Eliminare una regione dice dove un blocco non può stare. Non determina necessariamente la posizione esatta nella regione restante.
Che cosa imparare dopo
L'eliminazione degli spazi porta naturalmente alla segmentazione della linea. Una volta confermati diversi separatori vuoti, conviene smettere di vedere la riga o colonna come un'unica linea lunga e risolverne i segmenti aperti come problemi più piccoli e vincolati.
FAQ
L'eliminazione degli spazi serve solo per intervalli molto piccoli?
No. Qualunque regione aperta può essere eliminata se nessun blocco di indizio irrisolto può occuparla legalmente.
Un segmento può essere troppo piccolo per un indizio ma utilizzabile da un altro?
Sì. Per questo devi considerare compatibilità e ordine degli indizi prima di barrare tutta la regione.
È la stessa cosa che segnare le caselle fuori dalla portata dei blocchi?
I concetti sono strettamente collegati. La portata lavora casella per casella o blocco per blocco; l'eliminazione degli spazi è la conseguenza a livello di segmento quando un'intera regione è irraggiungibile.