Una Grúa es una cadena corta de un dígito: fuerte–débil–fuerte. El Rascacielos, la Cometa de dos cuerdas y la Grúa son básicamente de la misma familia: distintos dibujos de la X-Chain / AIC útil más corta.
Antes de esta: De la misma familia turbot que Rascacielos y Cometa de dos cuerdas.
Por qué funciona
Los enlaces fuertes significan “exactamente uno es verdadero”. Los enlaces débiles significan “no pueden ser ambos verdaderos”. Alternarlos obliga a una conclusión útil en los extremos: al menos un extremo es verdadero, así que las celdas que ven los dos extremos no pueden contener el dígito.
Si entiendes el Rascacielos, ya entiendes la Grúa: la misma lógica, otra geometría.
Demostración
Para un dígito, sigue un enlace fuerte, luego uno débil y luego otro fuerte.
Las celdas verdes forman una Grúa de 5: un pequeño turbot / X-Chain.
La cadena dice que al menos un extremo tiene que ser verdadero para 5. Las vecinas comunes de los dos extremos no están a salvo en ningún caso.
Elimina 5 de las celdas que ven los dos extremos (rojo).
Ejemplo 1
Busca una cadena corta fuerte–débil–fuerte de un dígito.
Esta Grúa trabaja con 3.
Elimina 3 de las celdas que ven los dos extremos (rojo). Un extremo tiene que ser verdadero.
Ejemplo 2
Busca una cadena corta fuerte–débil–fuerte de un dígito.
Esta Grúa trabaja con 1.
Elimina 1 de las celdas que ven los dos extremos (rojo). Un extremo tiene que ser verdadero.