Kraana on lühike ühe numbri ahel: tugev–nõrk–tugev. Pilvelõhkujad, kahe nööriga tuulelohed ja kraanad on sisuliselt sama perekond – lühima kasuliku X-ahela / AIC erinevad joonised.
Enne seda: Sama turboti perekond nagu pilvelõhkuja ja kahe nööriga tuulelohe.
Miks see töötab
Tugev seos tähendab „täpselt üks on tõene“. Nõrk seos tähendab „mõlemad ei saa olla tõesed“. Nende vaheldumine sunnib otstes kasuliku järelduse: vähemalt üks ots on tõene, seega lahtrid, mis näevad mõlemat otsa, ei saa seda numbrit sisaldada.
Kui mõistad pilvelõhkujat, mõistad juba ka kraanat – sama loogika, teistsugune geomeetria.
Näidis
Järgi ühe numbri puhul tugevat seost, siis nõrka seost, siis veel üht tugevat seost.
Rohelised lahtrid moodustavad kraana numbril 5 – pisikese turboti / X-ahela.
Ahel ütleb, et vähemalt üks ots peab olema tõene numbri 5 jaoks. Mõlema otsa ühised naabrid pole kummalgi juhul ohutud.
Välista 5 lahtritest, mis näevad mõlemat otsa (punane).
Näide 1
Leia ühel numbril lühike tugev–nõrk–tugev ahel.
See kraana puudutab numbrit 3.
Eemalda 3 lahtritest, mis näevad mõlemat otsa (punane). Üks ots peab olema tõene.
Näide 2
Leia ühel numbril lühike tugev–nõrk–tugev ahel.
See kraana puudutab numbrit 1.
Eemalda 1 lahtritest, mis näevad mõlemat otsa (punane). Üks ots peab olema tõene.