XY-Chain · Ejemplo paso a paso

Cada casilla de la cadena tiene exactamente dos candidatos: R5C8={4, 7}, R5C4={3, 7}, R6C6={2, 3}, R6C5={2, 4}. Dentro de cada casilla, tienen una relación fuerte: si uno es falso, el otro debe ser verdadero. Entre casillas distintas, los candidatos conectados del mismo dígito se excluyen mutuamente. Los extremos R5C8=4, R6C5=4 comparten el candidato 4.

Rama 1: supongamos que R5C8=4 es falsa.

R5C8=4 es falso. A R5C8 ahora solo le queda R5C8=7, por lo que debe ser cierto.

Caso 1: R5C8 es la casilla bivalor R5C8=4, R5C8=7. Con su otro dígito candidato falso, R5C8=7 se fuerza a verdadero según el supuesto actual. Entre casillas, es mutuamente excluyente con R5C4=7, así que tache esos conflictos.

R5C4=7 es falso. A R5C4 ahora solo le queda R5C4=3, por lo que debe ser cierto.

R5C4 es la siguiente casilla bivalor R5C4=3, R5C4=7. Con su otro dígito candidato falso, R5C4=3 se fuerza a verdadero según el supuesto actual. Entre casillas, es mutuamente excluyente con R6C6=3, así que tache esos conflictos.

R6C6=3 es falso. A R6C6 ahora solo le queda R6C6=2, por lo que debe ser cierto.

R6C6 es la siguiente casilla bivalor R6C6=2, R6C6=3. Con su otro dígito candidato falso, R6C6=2 se fuerza a verdadero según el supuesto actual. Entre casillas, es mutuamente excluyente con R6C5=2, así que tache esos conflictos.

En la casilla bivalor del punto final R6C5 (R6C5=2, R6C5=4), R6C5=2 es falso, por lo que R6C5=4 se fuerza a ser verdadero según el supuesto actual. Este punto final excluye los objetivos R6C8=4, R6C9=4.

Retirar este supuesto y sus consecuencias. Regrese a la instantánea del dígito candidato sin cambios antes de examinar la siguiente posibilidad.

Supongamos que el primer punto final R5C8=4 es verdadero en su casilla bivalor R5C8 (R5C8=4, R5C8=7). Dentro de la casilla excluye el otro dígito candidato; entre casillas excluye los dígitos candidatos visibles en conflicto R5C8=7, R6C8=4, R6C9=4.

Los dos casos de punto final agotan todas las posibilidades y ambos tachan R6C8=4, R6C9=4. Retire los estados de verdad lógicos temporales y luego elimínelos.

Cada casilla de la cadena tiene exactamente dos candidatos: R1C4={3, 8}, R1C8={6, 8}, R7C8={2, 6}, R7C6={2, 4}, R7C5={3, 4}. Dentro de cada casilla, tienen una relación fuerte: si uno es falso, el otro debe ser verdadero. Entre casillas distintas, los candidatos conectados del mismo dígito se excluyen mutuamente. Los extremos R1C4=3, R7C5=3 comparten el candidato 3.

Rama 1: supongamos que R1C4=3 es falsa.

R1C4=3 es falso. A R1C4 ahora solo le queda R1C4=8, por lo que debe ser cierto.

Caso 1: R1C4 es la casilla bivalor R1C4=3, R1C4=8. Con su otro dígito candidato falso, R1C4=8 se fuerza a verdadero según el supuesto actual. Entre casillas, es mutuamente excluyente con R1C8=8, así que tache esos conflictos.

R1C8=8 es falso. A R1C8 ahora solo le queda R1C8=6, por lo que debe ser cierto.

R1C8 es la siguiente casilla bivalor R1C8=6, R1C8=8. Con su otro dígito candidato falso, R1C8=6 se fuerza a verdadero según el supuesto actual. Entre casillas, es mutuamente excluyente con R7C8=6, así que tache esos conflictos.

R7C8=6 es falso. A R7C8 ahora solo le queda R7C8=2, por lo que debe ser cierto.

R7C8 es la siguiente casilla bivalor R7C8=2, R7C8=6. Con su otro dígito candidato falso, R7C8=2 se fuerza a verdadero según el supuesto actual. Entre casillas, es mutuamente excluyente con R7C6=2, así que tache esos conflictos.

R7C6=2 es falso. A R7C6 ahora solo le queda R7C6=4, por lo que debe ser cierto.

R7C6 es la siguiente casilla bivalor R7C6=2, R7C6=4. Con su otro dígito candidato falso, R7C6=4 se fuerza a verdadero según el supuesto actual. Entre casillas, es mutuamente excluyente con R7C5=4, así que tache esos conflictos.

En la casilla bivalor del punto final R7C5 (R7C5=3, R7C5=4), R7C5=4 es falso, por lo que R7C5=3 se fuerza a ser verdadero según el supuesto actual. Este punto final excluye los objetivos R1C5=3, R8C4=3.

Retirar este supuesto y sus consecuencias. Regrese a la instantánea del dígito candidato sin cambios antes de examinar la siguiente posibilidad.

Supongamos que el primer punto final R1C4=3 es verdadero en su casilla bivalor R1C4 (R1C4=3, R1C4=8). Dentro de la casilla excluye el otro dígito candidato; entre casillas excluye los dígitos candidatos visibles en conflicto R1C4=8, R1C5=3, R8C4=3.

Los dos casos de punto final agotan todas las posibilidades y ambos tachan R1C5=3, R8C4=3. Retire los estados de verdad lógicos temporales y luego elimínelos.

Cada casilla de la cadena tiene exactamente dos candidatos: R1C3={1, 9}, R1C4={7, 9}, R2C4={7, 9}, R2C8={5, 9}, R2C5={5, 6}, R2C6={1, 6}, R2C9={1, 7}, R3C9={1, 7}. Dentro de cada casilla, tienen una relación fuerte: si uno es falso, el otro debe ser verdadero. Entre casillas distintas, los candidatos conectados del mismo dígito se excluyen mutuamente. Los extremos R1C3=1, R3C9=1 comparten el candidato 1.

Rama 1: supongamos que R1C3=1 es falsa.

R1C3=1 es falso. A R1C3 ahora solo le queda R1C3=9, por lo que debe ser cierto.

Caso 1: R1C3 es la casilla bivalor R1C3=1, R1C3=9. Con su otro dígito candidato falso, R1C3=9 se fuerza a verdadero según el supuesto actual. Entre casillas, es mutuamente excluyente con R1C4=9, así que tache esos conflictos.

R1C4=9 es falso. A R1C4 ahora solo le queda R1C4=7, por lo que debe ser cierto.

R1C4 es la siguiente casilla bivalor R1C4=7, R1C4=9. Con su otro dígito candidato falso, R1C4=7 se fuerza a verdadero según el supuesto actual. Entre casillas, es mutuamente excluyente con R2C4=7, así que tache esos conflictos.

R2C4=7 es falso. A R2C4 ahora solo le queda R2C4=9, por lo que debe ser cierto.

R2C4 es la siguiente casilla bivalor R2C4=7, R2C4=9. Con su otro dígito candidato falso, R2C4=9 se fuerza a verdadero según el supuesto actual. Entre casillas, es mutuamente excluyente con R2C8=9, así que tache esos conflictos.

R2C8=9 es falso. A R2C8 ahora solo le queda R2C8=5, por lo que debe ser cierto.

R2C8 es la siguiente casilla bivalor R2C8=5, R2C8=9. Con su otro dígito candidato falso, R2C8=5 se fuerza a verdadero según el supuesto actual. Entre casillas, es mutuamente excluyente con R2C5=5, así que tache esos conflictos.

R2C5=5 es falso. A R2C5 ahora solo le queda R2C5=6, por lo que debe ser cierto.

R2C5 es la siguiente casilla bivalor R2C5=5, R2C5=6. Con su otro dígito candidato falso, R2C5=6 se fuerza a verdadero según el supuesto actual. Entre casillas, es mutuamente excluyente con R2C6=6, así que tache esos conflictos.

R2C6=6 es falso. A R2C6 ahora solo le queda R2C6=1, por lo que debe ser cierto.

R2C6 es la siguiente casilla bivalor R2C6=1, R2C6=6. Con su otro dígito candidato falso, R2C6=1 se fuerza a verdadero según el supuesto actual. Entre casillas, es mutuamente excluyente con R2C9=1, así que tache esos conflictos.

R2C9=1 es falso. A R2C9 ahora solo le queda R2C9=7, por lo que debe ser cierto.

R2C9 es la siguiente casilla bivalor R2C9=1, R2C9=7. Con su otro dígito candidato falso, R2C9=7 se fuerza a verdadero según el supuesto actual. Entre casillas, es mutuamente excluyente con R3C9=7, así que tache esos conflictos.

En la casilla bivalor del punto final R3C9 (R3C9=1, R3C9=7), R3C9=7 es falso, por lo que R3C9=1 se fuerza a ser verdadero según el supuesto actual. Este punto final excluye los objetivos R3C1=1, R3C2=1, R3C3=1.

Retirar este supuesto y sus consecuencias. Regrese a la instantánea del dígito candidato sin cambios antes de examinar la siguiente posibilidad.

Supongamos que el primer punto final R1C3=1 es verdadero en su casilla bivalor R1C3 (R1C3=1, R1C3=9). Dentro de la casilla excluye el otro dígito candidato; entre casillas excluye los dígitos candidatos visibles en conflicto R1C3=9, R3C1=1, R3C2=1, R3C3=1.

Los dos casos de punto final agotan todas las posibilidades y ambos tachan R3C1=1, R3C2=1, R3C3=1. Retire los estados de verdad lógicos temporales y luego elimínelos.