Il Crane (gru) è una catena corta su una cifra: forte–debole–forte. Skyscraper, Two-String Kite e Crane sono in pratica la stessa famiglia: disegni diversi della X-Chain / AIC utile più corta.
Prima di questa: Stessa famiglia turbot di Skyscraper e Two-String Kite.
Perché funziona
I legami forti significano “esattamente uno è vero”. I legami deboli significano “non possono essere veri entrambi”. Alternandoli si arriva a una conclusione utile alle estremità: almeno un’estremità è vera, quindi le celle che vedono entrambe le estremità non possono contenere la cifra.
Se hai capito lo Skyscraper, hai già capito il Crane: stessa logica, geometria diversa.
Dimostrazione
Per una cifra, segui un legame forte, poi un legame debole, poi un altro legame forte.
Le celle verdi formano un Crane su 5: un piccolo turbot / X-Chain.
La catena dice che almeno un’estremità deve essere vera per 5. Le celle che vedono entrambe le estremità non sono sicure in nessun caso.
Elimina 5 dalle celle che vedono entrambe le estremità (in rosso).
Esempio 1
Trova una catena corta forte–debole–forte su una cifra.
Questo Crane riguarda 3.
Rimuovi 3 dalle celle che vedono entrambe le estremità (in rosso). Un’estremità deve essere vera.
Esempio 2
Trova una catena corta forte–debole–forte su una cifra.
Questo Crane riguarda 1.
Rimuovi 1 dalle celle che vedono entrambe le estremità (in rosso). Un’estremità deve essere vera.