Celtnis ir īsa ķēde ar vienu ciparu: spēcīga–vāja–spēcīga. Debesskrāpji, Divu auklu pūķi un Celtņi būtībā ir viena ģimene — dažādi zīmējumi īsākajai noderīgajai X-ķēdei / AIC.
Pirms tam: Tā pati turbot ģimene kā Debesskrāpis un Divu auklu pūķis.
Kāpēc tas darbojas
Spēcīgas saites nozīmē „tieši viens ir patiess”. Vājas saites nozīmē „abi nevar būt patiesi”. To mija galos piespiež noderīgu secinājumu: vismaz viens gals ir patiess, tāpēc šūnas, kas redz abus galus, nevar saturēt šo ciparu.
Ja saproti Debesskrāpi, tu jau saproti Celtni — tā pati loģika, cita ģeometrija.
Demonstrācija
Vienam ciparam seko spēcīgai saitei, tad vājai saitei, tad vēl vienai spēcīgai saitei.
Zaļās šūnas veido Celtni ar 5 — mazu turbot / X-ķēdi.
Ķēde saka, ka vismaz vienam galam jābūt patiesam ciparam 5. Abu galu kopīgie kaimiņi jebkurā gadījumā nav drošībā.
Izslēdz 5 no šūnām, kas redz abus galus (sarkanā krāsā).
1. piemērs
Atrodi īsu spēcīga–vāja–spēcīga ķēdi ar vienu ciparu.
Šis Celtnis ietver 3.
Izņem 3 no šūnām, kas redz abus galus (sarkanā krāsā). Vienam galam jābūt patiesam.
2. piemērs
Atrodi īsu spēcīga–vāja–spēcīga ķēdi ar vienu ciparu.
Šis Celtnis ietver 1.
Izņem 1 no šūnām, kas redz abus galus (sarkanā krāsā). Vienam galam jābūt patiesam.