Ciclos X Discontinuos.

Esta entrada será breve, sólo para colocar las bases de las reglas 2 y 3 de los Nice Loops. Hasta aquí, hemos estado mirando sólo los ciclos que alternan perfectamente a lo largo de todo el loop las inferencias débiles con las fuertes. Existen dos reglas interesantes, que conducen a la eliminación de candidatos cuando identificamos una imperfección en el loop, que se llama discontinuidad.

Ocurre una discontinuidad cuando encontramos dos inferencias fuertes una al lado de la otra (o sea, sin inferencias débiles entre ellas) o cuando encontramos dos inferencias débiles una al lado de la otra (sin inferencias fuertes entre ellas). Estas reglas funcionan sólo si existe una sola discontinuidad en el loop, y tal loop siempre tendrá un número impar de nodos.

Discontinuidad no significa que se rompe el loop, o que se trata de una cadena; se refiere sólo a la imperfección que de otro modo dejaría sólo alternancias de inferencias fuerte-débil-fuerte, y así sucesivamente. Estas discontinuidades son muy comunes y permiten destrabar una gran cantidad de sudokus. De hecho es más frecuente hallar ciclos X discontinuos que ciclos X continuos. A partir de la próxima semana veremos las reglas que permiten descartar candidatos con estas discontinuidades.

Pásenlo bien.