En kran er en kort kjede på ett siffer: sterk–svak–sterk. Skyskrapere, drager med to snorer og kraner er i bunn og grunn samme familie — forskjellige tegninger av den korteste nyttige X-kjeden / AIC.
Før denne: Samme turbot-familie som skyskraper og drage med to snorer.
Hvorfor det virker
Sterke koblinger betyr «nøyaktig én er sann». Svake koblinger betyr «de kan ikke begge være sanne». Når du veksler mellom dem, tvinges en nyttig konklusjon frem i endene: minst én ende er sann, så celler som ser begge endene, kan ikke inneholde sifferet.
Hvis du forstår skyskraperen, forstår du allerede kranen — samme logikk, annen geometri.
Demonstrasjon
For ett siffer: følg en sterk kobling, så en svak kobling, så enda en sterk kobling.
De grønne cellene danner en kran på 5 — en liten turbot / X-kjede.
Kjeden sier at minst én ende må være sann for 5. Felles naboer til begge endene er utrygge uansett.
Eliminer 5 fra celler som ser begge endene (rødt).
Eksempel 1
Finn en kort sterk–svak–sterk-kjede på ett siffer.
Denne kranen gjelder 3.
Fjern 3 fra celler som ser begge endene (rødt). Én ende må være sann.
Eksempel 2
Finn en kort sterk–svak–sterk-kjede på ett siffer.
Denne kranen gjelder 1.
Fjern 1 fra celler som ser begge endene (rødt). Én ende må være sann.