Skýjakljúfur er annað eintölumynstur — eins og beyglaður X-Wing með myndlíkingu sem situr eftir.
Allt sem hann þarf er gólf, sterkir veggir og bratt þak. Þá geturðu útilokað möguleika sem sjá báða þakreitina.
Hann er líka stysta nytsamlega AIC / X-keðjuformið: sterk–veik–sterk.
Á undan þessu: Lærðu fyrst: X-Wing (sama eintöluhugmynd).
Af hverju þetta virkar
Gólfið er veik tenging: tveir reitir í sömu röð (slétt gólf). Veggirnir eru sterkir tvístæðir dálkar (nákvæmlega tveir möguleikar). Þakendarnir eru ekki í sömu röð — annars væri þetta X-Wing.
Á hvorum sterkum vegg er annar endinn sannur og hinn ósannur fyrir töluna. Sameiginlegi grunnurinn getur ekki geymt tvo sannleika. Þess vegna verður að minnsta kosti einn þakendi að vera sannur.
Sérhver reitur sem sér báða þakendana verður fyrir árás, sama hvor þakendinn er sannur. Sá reitur getur ekki verið talan.
Hvernig á að koma auga á það
Leitaðu að gólfi, veggjum og bröttu þaki. Snúðu/speglaðu — sama mynstrið á hlið eða á hvolfi.
Sýnidæmi
Fyrir eina tölu skaltu finna tvær sterkar tengingar (nákvæmlega tveir möguleikar á línu) — þær verða veggirnir.
Raðaðu þeim á slétt gólf (veik tenging í einni röð). Hinir endarnir standa upp sem bratt þak. Grænu reitirnir mynda Skýjakljúf á 9.
Þetta er sterk–veik–sterk — örlítil X-keðja / AIC. Annar þakendanna verður að vera 9.
Útilokaðu 9 úr reitum sem sjá báða þakendana (rautt). Báðir heimar stinga þá reiti.
Dæmi 1
Finndu gólf + veggi + bratt þak á einni tölu (tvær sterkar tengingar sem deila grunni).
Þessi Skýjakljúfur á 1 hefur tvo þakenda.
Fjarlægðu 1 úr reitum sem sjá báða þakendana (rautt). Að minnsta kosti annað þakið verður að vera satt.
Dæmi 2
Finndu gólf + veggi + bratt þak á einni tölu (tvær sterkar tengingar sem deila grunni).
Þessi Skýjakljúfur á 2 hefur tvo þakenda.
Fjarlægðu 2 úr reitum sem sjá báða þakendana (rautt). Að minnsta kosti annað þakið verður að vera satt.