Krani er stutt keðja á einni tölu: sterk–veik–sterk. Skýjakljúfar, Tveggja strengja flugdrekar og Kranar eru í raun sama fjölskyldan — ólíkar teikningar af stystu nytsamlegu X-keðjunni / AIC.
Á undan þessu: Sama turbot-fjölskylda og Skýjakljúfur og Tveggja strengja flugdreki.
Af hverju þetta virkar
Sterkar tengingar þýða „nákvæmlega annar er sannur.“ Veikar tengingar þýða „þeir geta ekki báðir verið sannir.“ Að skiptast á þeim knýr fram gagnlega niðurstöðu við endana: að minnsta kosti annar endinn er sannur, svo reitir sem sjá báða endana geta ekki geymt töluna.
Ef þú skilur Skýjakljúf skilurðu nú þegar Krana — sama rökfræði, önnur rúmfræði.
Sýnidæmi
Fyrir eina tölu skaltu fylgja sterkri tengingu, síðan veikri tengingu, síðan annarri sterkri tengingu.
Grænu reitirnir mynda Krana á 5 — örlítil turbot / X-keðja.
Keðjan segir að að minnsta kosti annar endinn verði að vera sannur fyrir 5. Sameiginlegir nágrannar beggja enda eru ekki öruggir hvort sem er.
Útilokaðu 5 úr reitum sem sjá báða endana (rautt).
Dæmi 1
Finndu stutta sterk–veik–sterk keðju á einni tölu.
Þessi Krani snýst um 3.
Fjarlægðu 3 úr reitum sem sjá báða endana (rautt). Annar endinn verður að vera sannur.
Dæmi 2
Finndu stutta sterk–veik–sterk keðju á einni tölu.
Þessi Krani snýst um 1.
Fjarlægðu 1 úr reitum sem sjá báða endana (rautt). Annar endinn verður að vera sannur.