Nice Loop - Regla 2.

Hoy voy a mostrar la regla que se aplica cuando estamos en presencia de dos inferencias fuertes adyacentes. Si las inferencias adyacentes son fuertes (líneas continuas), se puede decidir un candidato en la celda de la discontinuidad. Esta regla nos permite conocer la solución de una cierta celda absolutamente, sin importar cuantos otros candidatos puedan existir en esa celda. A diferencia del caso de la primera regla, no estamos mirando una masa de eliminaciones fuera del loop; a cambio, esta regla nos dice algo del loop en sí mismo. Veamos la lógica de esta regla.

Veamos en la figura anterior el enlace fuerte marcado en azul. Ese enlace significa que en la segunda fila, si uno de esos dos 7 no es, entonces es el otro. O sea, uno de los dos vale 7. Si vale 7 el que está en la segunda fila segunda columna, entonces no es siete el que está en la fila octava segunda columna y en consecuencia (a causa del enlace fuerte de la octava fila) debe valer 7 el que está en la octava fila novena columna (la celda de la discontinuidad del loop). Si, por el contrario, vale 7 el que está en la segunda fila séptima columna, entonces no es 7 el que está en la tercera fila novena columna y en consecuencia (a causa del enlace fuerte de la novena columna) debe valer 7 el que está en la octava fila novena columna (la celda de la discontinuidad del loop). Es decir, que para cualquiera sea el 7 verdadero del enlace fuerte de la segunda fila (en azul), en ambos casos, la celda de la discontinuidad del loop debe tomar el valor 7. Con lo cual se comprueba la regla.

En el siguiente ejercicio es posible deducir el valor de la celda amarilla.

Pásenlo bien.