Strong Links nel Sudoku

Uno Strong Link, o link forte, collega due stati candidati che non possono essere entrambi falsi. La conseguenza fondamentale è quindi: se una estremità è falsa, l'altra deve essere vera. La relazione vale in entrambe le direzioni.

Nel caso più comune una cifra ha esattamente due posizioni in una riga, colonna o blocco. Quelle due candidature formano una coppia coniugata. Gli Strong Links sono uno dei mattoni di Skyscraper, Two-String Kite, W-Wing, Coloring e Chains.

Regola rapida

Strong Link
A falso → B vero
B falso → A vero

In forma equivalente: A e B non possono essere entrambi falsi.

Cosa dimostra uno Strong Link?

Uno Strong Link non afferma che entrambe le estremità siano vere. Afferma che la coppia copre tutte le possibilità del contesto logico: se una scompare, l'altra è obbligata.

Per una normale coppia coniugata della stessa cifra le due candidature, oltre a essere Strong, si vedono anche tra loro e quindi non possono essere entrambe vere. In quel caso esattamente una delle due è vera.

Coppia coniugata: lo Strong Link standard sulla stessa cifra

Supponiamo che nella riga 4 il candidato 7 rimanga soltanto in r4c2 e r4c9. La riga deve contenere un 7 e non esiste una terza posizione.

• se r4c2≠7, allora r4c9=7;
• se r4c9≠7, allora r4c2=7.

La stessa struttura può comparire in una colonna o in un blocco 3×3.

Perché “esattamente due” è importante

Con tre o più posizioni, rendere falsa una candidatura non ne forza una specifica: ne restano altre. Due candidature della stessa cifra nella stessa unità sono sempre incompatibili come valori simultanei, ma sono Strong solo quando, nel contesto considerato, non esiste una terza alternativa.

Strong Link dentro una casella bivalue

Una casella con candidati {3,8} contiene anch'essa una relazione Strong tra stati diversi:

• non 3 → 8;
• non 8 → 3.

Questo tipo di link interno permette alle XY-Chain di passare da una cifra all'altra. Una casella trivalue {3,8,9}, invece, non rende 3 e 8 Strong: se 3 è falso, potrebbe essere vero 8 oppure 9.

Strong Link vs coppia coniugata

Coppia coniugata

Il termine descrive normalmente due candidature della stessa cifra che sono le sole rimaste in una unità. È una struttura specifica e facile da individuare sulla griglia.

Strong Link

È il concetto logico più generale: due stati non possono essere entrambi falsi. Può nascere da una coppia coniugata, da una casella bivalue e, nelle tecniche esperte, anche da nodi raggruppati.

Strong Link vs Weak Link

Strong

Risponde alla domanda: possono essere entrambe false? Se la risposta è no, la relazione permette falso → vero.

Weak

Risponde alla domanda: possono essere entrambe vere? Se la risposta è no, la relazione permette vero → falso.

Le due proprietà non sono opposte né mutuamente esclusive.

Perché uno Strong Link può spesso servire anche come Weak Link

Una coppia coniugata della stessa cifra in una unità è Strong perché almeno una estremità deve essere vera, ma è anche Weak perché la cifra non può comparire due volte nella stessa unità. Nelle Chains questo consente di usare la stessa coppia con il ruolo richiesto dall'alternanza, purché l'inferenza sia verificata correttamente.

Una coppia di candidati non è automaticamente Strong

Se il 6 compare in r5c2, r5c4 e r5c8, le prime due candidature si vedono e quindi non possono essere entrambe vere. Tuttavia, se r5c2 è falsa, r5c4 non è forzata: il 6 potrebbe andare in r5c8. Quindi il rapporto è Weak, non Strong.

Esempio passo dopo passo

Come trovare Strong Links su una griglia reale

Lavora una cifra alla volta. Evidenzia le righe, colonne e blocchi in cui quella cifra ha esattamente due posizioni. Poi controlla le caselle bivalue, perché possono offrire link interni tra cifre diverse.

Una buona routine è:

1. scegliere la cifra;
2. contare le posizioni in ogni unità;
3. segnare le coppie coniugate;
4. cercare sovrapposizioni tra più unità;
5. verificare se la rete conduce a un pattern o a una Chain utile.

Gli Strong Links possono sovrapporsi

Una candidatura può appartenere a una coppia coniugata in una riga e, nello stesso tempo, a un'altra coppia coniugata in una colonna o in un blocco. Queste sovrapposizioni creano reti che rendono possibili Coloring e X-Chains.

La condivisione di un nodo non è un errore: l'importante è che ogni singolo link abbia una giustificazione indipendente.

Strong Links e nodi raggruppati

Nelle tecniche più avanzate un “endpoint” può rappresentare un piccolo gruppo di candidature che, nel contesto corretto, funzionano come una alternativa logica collettiva. I Grouped AIC generalizzano proprio questa idea.

Per imparare gli Strong Links, però, conviene prima padroneggiare coppie coniugate e caselle bivalue: il principio inferenziale resta lo stesso.

Errori comuni

Chiamare Strong qualsiasi coppia della stessa cifra

Due candidature che si vedono non bastano. Devi dimostrare che non possono essere entrambe false.

Guardare solo le due estremità

Conta tutte le candidature nella unità sorgente. Una terza posizione distrugge la coppia coniugata.

Leggere Strong come vero → vero

Lo Strong Link usa falso → vero, non vero → vero.

Supporre che Strong e Weak siano etichette opposte che non possono coesistere

Una coppia coniugata ordinaria è entrambe le cose: almeno una vera e al massimo una vera.

Trattare una casella trivalue come bivalue

Con tre candidati, eliminarne uno non forza automaticamente uno specifico degli altri due.

Cercare Chains prima di validare i candidati

Una Chain costruita su note incomplete o obsolete non è affidabile. Aggiorna prima lo stato dei candidati.

Esercizio di riconoscimento

Prendi una griglia con candidati completi, scegli una cifra e marca soltanto le unità con due posizioni residue. Per ogni coppia pronuncia la prova: “se questa è falsa, quella deve essere vera”. Poi cerca nodi condivisi.

FAQ

Cos'è uno Strong Link nel Sudoku?

È una relazione tra due stati candidati che non possono essere entrambi falsi. Rendendo falso un endpoint, l'altro diventa vero.

Cos'è una coppia coniugata?

Due candidature della stessa cifra che sono le uniche posizioni rimaste per quella cifra in una riga, colonna o blocco.

Ogni Strong Link è una coppia coniugata?

No. Una casella bivalue crea uno Strong Link tra due cifre diverse e le tecniche avanzate possono usare anche nodi raggruppati.

Uno Strong Link può essere anche Weak?

Sì. Una normale coppia coniugata è sia Strong sia Weak, quindi esattamente una estremità è vera.

Perché gli Strong Links sono importanti?

Trasformano un'informazione negativa in una conseguenza positiva e permettono di propagare stati nelle Chains.

Gli Strong Links risolvono da soli le caselle?

A volte, se un endpoint viene eliminato da un'altra deduzione. Più spesso costituiscono la struttura necessaria per un'eliminazione successiva.

Cosa imparare dopo

Passa ai Weak Links per completare le due direzioni inferenziali, poi alle Sudoku Chains per vedere come Strong e Weak si alternano in una prova.