Strong Links e Weak Links

Risultato

Saprai stabilire se due candidati hanno uno Strong Link, un Weak Link, entrambi o nessun link diretto e usare correttamente la direzione di ogni implicazione.

Le due idee

Le catene sono costruite su due affermazioni semplici:

• Strong Link: i due candidati non possono essere entrambi falsi.
• Weak Link: i due candidati non possono essere entrambi veri.

Questo produce due implicazioni sicure:

Strong: falso → vero
Weak:   vero  → falso

Le frecce non sono intercambiabili. Un Weak Link non significa che, se un candidato è falso, l'altro venga forzato a essere vero.

Passaggio 1 — Uno Strong Link in un'unità

Immagina che il candidato 7 compaia esattamente in due celle di una riga.

Se il 7 a sinistra è falso, quello a destra deve essere vero perché la riga ha comunque bisogno di un 7.

Questa è l'idea dello Strong Link:

un estremo falso forza l'altro a essere vero.

Passaggio 2 — Un Weak Link

Ora immagina che la stessa riga contenga quattro possibili 7.

Scegli due candidati che si vedono. Se il primo è vero, il secondo deve essere falso: una riga non può contenere due 7.

Ma se il primo è falso, il secondo non viene forzato a essere vero. Esistono ancora altre due posizioni.

Questa coppia è soltanto Weak.

Passaggio 3 — Una coppia può essere entrambe le cose

Una coppia coniugata — esattamente due posizioni per una cifra in un'unità — è sia Strong sia Weak:

• non possono essere entrambe false;
• non possono essere entrambe vere.

Le celle bivalue si comportano allo stesso modo internamente. Se una cella contiene solo {3,8}, un candidato falso forza l'altro a essere vero e uno vero forza l'altro a essere falso.

Passaggio 4 — Dentro una cella

Confronta:

{3,8}

con:

{3,8,9}

Nella cella bivalue, 3 e 8 sono Strong + Weak.

Nella cella trivalue, 3 e 8 sono solo Weak: se 3 è falso, 8 non viene forzato perché 9 è ancora possibile.

Passaggio 5 — Classifica la relazione

Per ogni coppia, fai due domande:

1. Possono essere entrambe vere?
2. Possono essere entrambe false?

Poi classifica:

• non possono essere entrambe vere → Weak;
• non possono essere entrambe false → Strong;
• valgono entrambe le affermazioni → Strong + Weak;
• nessuna è garantita → nessun link diretto.

Passaggio 6 — Propaga una catena breve

Considera:

A = B - C = D

Parti da A = falso.

Uno Strong Link forza B = vero. Il Weak Link forza poi C = falso. Lo Strong Link finale forza D = vero.

La capacità importante non è disegnare i simboli, ma sapere perché ogni stato deriva dal precedente.

Controllo rapido

Classifica le relazioni e propaga le implicazioni senza invertire un Weak Link.

Ricorda

Strong significa non possono essere entrambe false. Weak significa non possono essere entrambe vere.

La stessa coppia di candidati può soddisfare entrambe le definizioni.

Prossima lezione

Come funzionano le catene

Ora combina queste relazioni in deduzioni i cui estremi dimostrano qualcosa di utile.

Riferimento

Leggi Strong Links e Weak Links per le definizioni complete e altri esempi.