Una Grua és una cadena curta d’una xifra: fort–feble–fort. Els Gratacels, els Estels de dues cordes i les Grues són bàsicament la mateixa família: dibuixos diferents de la Cadena X / AIC útil més curta.
Abans d’això: La mateixa família turbot que el Gratacel i l’Estel de dues cordes.
Per què funciona
Els enllaços forts volen dir “exactament un és cert”. Els enllaços febles volen dir “no poden ser tots dos certs”. Alternar-los porta a una conclusió útil als extrems: almenys un extrem és cert, així que les cel·les que veuen tots dos extrems no poden contenir la xifra.
Si entens el Gratacel, ja entens la Grua: la mateixa lògica, una geometria diferent.
Demostració
Per a una xifra, segueix un enllaç fort, després un de feble i després un altre de fort.
Les cel·les verdes formen una Grua de 5: un petit turbot / Cadena X.
La cadena diu que almenys un extrem ha de ser cert per al 5. Les veïnes comunes de tots dos extrems no són segures en cap cas.
Elimina el 5 de les cel·les que veuen tots dos extrems (en vermell).
Exemple 1
Busca una cadena curta fort–feble–fort d’una xifra.
Aquesta Grua fa servir el 3.
Elimina el 3 de les cel·les que veuen tots dos extrems (en vermell). Un extrem ha de ser cert.
Exemple 2
Busca una cadena curta fort–feble–fort d’una xifra.
Aquesta Grua fa servir el 1.
Elimina el 1 de les cel·les que veuen tots dos extrems (en vermell). Un extrem ha de ser cert.