Una Cometa de dos cuerdas une un enlace fuerte de fila con un enlace fuerte de columna del mismo dígito. Los dos enlaces se encuentran dentro de una caja, como dos cuerdas de cometa atadas en un nudo.
Como el Rascacielos, es una cadena muy corta de un solo dígito (fuerte–débil–fuerte): una pequeña AIC / X-Chain en la que uno de los extremos lejanos tiene que ser verdadero.
Antes de esta: De la misma familia que Rascacielos: una cadena corta fuerte–débil–fuerte sobre un dígito.
Por qué funciona
Cada cuerda es un enlace fuerte: exactamente un extremo es verdadero. Como se encuentran en una caja (bisagra débil), no pueden ser ambas verdaderas en el lado del encuentro de forma contradictoria: la lógica obliga a que al menos uno de los extremos lejanos sea verdadero.
Cualquier celda que vea los dos extremos lejanos no puede ser el dígito. Es la misma idea de “te pica en cualquier caso” del Rascacielos, con una caja como bisagra.
Demostración
Busca un enlace fuerte de un dígito en una fila y otro en una columna.
Si se conectan a través de la misma caja (enlace débil), tienes una Cometa de dos cuerdas de 4: fuerte–débil–fuerte.
Uno de los extremos lejanos tiene que ser 4. Las celdas que ven los dos extremos lejanos quedan atrapadas en los dos mundos.
Elimina 4 de las celdas que ven los dos extremos lejanos (rojo).
Ejemplo 1
Une un enlace fuerte de fila y uno de columna de un dígito a través de una caja compartida.
Esto es una Cometa de dos cuerdas de 6.
Elimina 6 de las celdas que ven los dos extremos lejanos (rojo). Al menos un extremo lejano tiene que ser verdadero.
Ejemplo 2
Une un enlace fuerte de fila y uno de columna de un dígito a través de una caja compartida.
Esto es una Cometa de dos cuerdas de 2.
Elimina 2 de las celdas que ven los dos extremos lejanos (rojo). Al menos un extremo lejano tiene que ser verdadero.