Risultato
Alla fine di questa lezione saprai riconoscere due brevi pattern su una sola cifra, identificare i loro Strong Links e il Weak Link che li collega ed eliminare i candidati che vedono entrambi gli estremi liberi.
Impara prima il motore condiviso
Skyscraper e Two-String Kite hanno geometrie diverse sulla griglia, ma usano quasi lo stesso motore logico.
Per questa lezione basta una definizione operativa: c’è uno Strong Link quando, per una cifra, in un’unità restano esattamente due candidati e almeno uno deve essere vero; un Weak Link collega due candidati della stessa cifra in celle collegate, che non possono essere veri contemporaneamente. La prossima lezione formalizza questo linguaggio in modo più approfondito.
Parti da due Strong Links per la stessa cifra.
Collega un estremo di ciascun link tramite un Weak Link.
Gli estremi collegati non possono essere entrambi veri. Quello che risulta falso obbliga l'estremo opposto del suo Strong Link a essere vero.
Quindi:
almeno uno degli estremi liberi deve essere vero.
Qualunque candidato che veda entrambi gli estremi liberi può essere eliminato.
Parte 1 — Skyscraper
Uno Skyscraper comune usa due Strong Links di riga.
Un estremo di ciascuna coppia è allineato nella stessa colonna. Questi estremi allineati formano il Weak Link di collegamento.
Gli altri due estremi sono i tetti.
Un candidato bersaglio che vede entrambi i tetti non può contenere la cifra.
Non confondere un rettangolo completo con uno Skyscraper
Se anche le due colonne degli altri estremi sono allineate, verifica se la struttura più semplice è in realtà un X-Wing.
L'obiettivo è usare la dimostrazione corretta più semplice.
Parte 2 — Two-String Kite
Un Two-String Kite di solito combina:
- uno Strong Link di riga;
- uno Strong Link di colonna.
Un estremo di ciascuna coppia si trova nello stesso blocco. La condivisione del blocco crea il Weak Link di collegamento.
Gli estremi opposti diventano gli estremi liberi.
Anche qui elimina soltanto un candidato che veda entrambi gli estremi liberi.
Passaggio 3 — Classifica la geometria prima di risolvere
Distingui tra:
- Skyscraper;
- Two-String Kite;
- X-Wing;
- un pattern non valido senza Strong Link;
- una struttura valida senza eliminazioni utili.
Dare un nome al pattern è meno importante che dimostrare l'inferenza tra gli estremi.
Checkpoint
Identifica i due Strong Links, trova il Weak Link di collegamento, riconosci gli estremi liberi e decidi se esiste un'eliminazione in una casella collegata a entrambi.
Ricorda
Per entrambi i pattern, pensa:
due Strong Links + un Weak Link di collegamento → almeno un estremo libero è vero.
La geometria dà il nome al pattern. L'implicazione fornisce la prova dell'eliminazione.
Prossima lezione
Strong Links e Weak Links — rendi esplicito il linguaggio dei link e usalo senza dipendere da una forma fissa con nome.
Riferimento
Leggi Skyscraper e Two-String Kite per le dimostrazioni complete, i diagrammi e le routine di ricerca.