Kran je kratak lanac na jednoj znamenki: jaka–slaba–jaka. Neboderi, zmajevi s dvije uzice i kranovi u osnovi su ista obitelj — različiti crteži najkraćeg korisnog X-lanca / AIC-a.
Prije ovoga: Ista turbot obitelj kao neboder i zmaj s dvije uzice.
Zašto funkcionira
Jake veze znače „točno je jedan istinit“. Slabe veze znače „ne mogu oba biti istinita“. Njihovo izmjenjivanje daje korisan zaključak na krajevima: barem je jedan kraj istinit, pa polja koja vide oba kraja ne mogu sadržavati tu znamenku.
Ako razumiješ neboder, već razumiješ i kran — ista logika, drugačija geometrija.
Demonstracija
Za jednu znamenku prati jaku vezu, zatim slabu vezu, pa još jednu jaku vezu.
Zelena polja tvore kran na 5 — mali turbot / X-lanac.
Lanac kaže da barem jedan kraj mora biti istinit za 5. Zajednički susjedi obaju krajeva nisu sigurni ni u jednom slučaju.
Ukloni 5 iz polja koja vide oba kraja (crveno).
Primjer 1
Pronađi kratak jaka–slaba–jaka lanac na jednoj znamenki.
Ovaj kran uključuje 3.
Ukloni 3 iz polja koja vide oba kraja (crveno). Jedan kraj mora biti istinit.
Primjer 2
Pronađi kratak jaka–slaba–jaka lanac na jednoj znamenki.
Ovaj kran uključuje 1.
Ukloni 1 iz polja koja vide oba kraja (crveno). Jedan kraj mora biti istinit.