XY-Chain · Esempio passo passo

Ogni cella della catena ha esattamente due candidati: R5C8={4, 7}, R5C4={3, 7}, R6C6={2, 3}, R6C5={2, 4}. All’interno della cella, il loro legame è forte: se uno è falso, l’altro deve essere vero. Tra celle diverse, i candidati collegati della stessa cifra si escludono a vicenda. Gli estremi R5C8=4, R6C5=4 condividono il candidato 4.

Ramo 1: supponiamo che R5C8=4 sia falso.

R5C8=4 è falso. A R5C8 ora è rimasto solo R5C8=7, quindi deve essere vero.

Caso 1: R5C8 è la cella bivalore R5C8=4, R5C8=7. Con l'altro candidato falso, R5C8=7 viene forzato a vero secondo le ipotesi attuali. Tra le celle, si esclude a vicenda con R5C4=7, quindi cancella questi conflitti.

R5C4=7 è falso. A R5C4 ora è rimasto solo R5C4=3, quindi deve essere vero.

R5C4 è la successiva cella bivalore R5C4=3, R5C4=7. Con l'altro candidato falso, R5C4=3 viene forzato a vero secondo le ipotesi attuali. Tra le celle, si esclude a vicenda con R6C6=3, quindi cancella questi conflitti.

R6C6=3 è falso. A R6C6 ora è rimasto solo R6C6=2, quindi deve essere vero.

R6C6 è la successiva cella bivalore R6C6=2, R6C6=3. Con l'altro candidato falso, R6C6=2 viene forzato a vero secondo le ipotesi attuali. Tra le celle, si esclude a vicenda con R6C5=2, quindi cancella questi conflitti.

Nella cella bivalore dell'endpoint R6C5 (R6C5=2, R6C5=4), R6C5=2 è falso, quindi R6C5=4 viene forzato vero in base al presupposto corrente. Questo endpoint esclude le destinazioni R6C8=4, R6C9=4.

Ritirare questo presupposto e le sue conseguenze. Ritorna all'istantanea del candidato invariata prima di esaminare la possibilità successiva.

Supponiamo che il primo endpoint R5C8=4 sia vero nella relativa cella bivalore R5C8 (R5C8=4, R5C8=7). All'interno della cella esclude l'altro candidato; tra le celle esclude i candidati visibili in conflitto R5C8=7, R6C8=4, R6C9=4.

I due casi endpoint esauriscono tutte le possibilità ed entrambi eliminano R6C8=4, R6C9=4. Ritirare gli stati temporanei, quindi rimuoverli.

Ogni cella della catena ha esattamente due candidati: R1C4={3, 8}, R1C8={6, 8}, R7C8={2, 6}, R7C6={2, 4}, R7C5={3, 4}. All’interno della cella, il loro legame è forte: se uno è falso, l’altro deve essere vero. Tra celle diverse, i candidati collegati della stessa cifra si escludono a vicenda. Gli estremi R1C4=3, R7C5=3 condividono il candidato 3.

Ramo 1: supponiamo che R1C4=3 sia falso.

R1C4=3 è falso. A R1C4 ora è rimasto solo R1C4=8, quindi deve essere vero.

Caso 1: R1C4 è la cella bivalore R1C4=3, R1C4=8. Con l'altro candidato falso, R1C4=8 viene forzato a vero secondo le ipotesi attuali. Tra le celle, si esclude a vicenda con R1C8=8, quindi cancella questi conflitti.

R1C8=8 è falso. A R1C8 ora è rimasto solo R1C8=6, quindi deve essere vero.

R1C8 è la successiva cella bivalore R1C8=6, R1C8=8. Con l'altro candidato falso, R1C8=6 viene forzato a vero secondo le ipotesi attuali. Tra le celle, si esclude a vicenda con R7C8=6, quindi cancella questi conflitti.

R7C8=6 è falso. A R7C8 ora è rimasto solo R7C8=2, quindi deve essere vero.

R7C8 è la successiva cella bivalore R7C8=2, R7C8=6. Con l'altro candidato falso, R7C8=2 viene forzato a vero secondo le ipotesi attuali. Tra le celle, si esclude a vicenda con R7C6=2, quindi cancella questi conflitti.

R7C6=2 è falso. A R7C6 ora è rimasto solo R7C6=4, quindi deve essere vero.

R7C6 è la successiva cella bivalore R7C6=2, R7C6=4. Con l'altro candidato falso, R7C6=4 viene forzato a vero secondo le ipotesi attuali. Tra le celle, si esclude a vicenda con R7C5=4, quindi cancella questi conflitti.

Nella cella bivalore dell'endpoint R7C5 (R7C5=3, R7C5=4), R7C5=4 è falso, quindi R7C5=3 viene forzato vero in base al presupposto corrente. Questo endpoint esclude le destinazioni R1C5=3, R8C4=3.

Ritirare questo presupposto e le sue conseguenze. Ritorna all'istantanea del candidato invariata prima di esaminare la possibilità successiva.

Supponiamo che il primo endpoint R1C4=3 sia vero nella relativa cella bivalore R1C4 (R1C4=3, R1C4=8). All'interno della cella esclude l'altro candidato; tra le celle esclude i candidati visibili in conflitto R1C4=8, R1C5=3, R8C4=3.

I due casi endpoint esauriscono tutte le possibilità ed entrambi eliminano R1C5=3, R8C4=3. Ritirare gli stati temporanei, quindi rimuoverli.

Ogni cella della catena ha esattamente due candidati: R1C3={1, 9}, R1C4={7, 9}, R2C4={7, 9}, R2C8={5, 9}, R2C5={5, 6}, R2C6={1, 6}, R2C9={1, 7}, R3C9={1, 7}. All’interno della cella, il loro legame è forte: se uno è falso, l’altro deve essere vero. Tra celle diverse, i candidati collegati della stessa cifra si escludono a vicenda. Gli estremi R1C3=1, R3C9=1 condividono il candidato 1.

Ramo 1: supponiamo che R1C3=1 sia falso.

R1C3=1 è falso. A R1C3 ora è rimasto solo R1C3=9, quindi deve essere vero.

Caso 1: R1C3 è la cella bivalore R1C3=1, R1C3=9. Con l'altro candidato falso, R1C3=9 viene forzato a vero secondo le ipotesi attuali. Tra le celle, si esclude a vicenda con R1C4=9, quindi cancella questi conflitti.

R1C4=9 è falso. A R1C4 ora è rimasto solo R1C4=7, quindi deve essere vero.

R1C4 è la successiva cella bivalore R1C4=7, R1C4=9. Con l'altro candidato falso, R1C4=7 viene forzato a vero secondo le ipotesi attuali. Tra le celle, si esclude a vicenda con R2C4=7, quindi cancella questi conflitti.

R2C4=7 è falso. A R2C4 ora è rimasto solo R2C4=9, quindi deve essere vero.

R2C4 è la successiva cella bivalore R2C4=7, R2C4=9. Con l'altro candidato falso, R2C4=9 viene forzato a vero secondo le ipotesi attuali. Tra le celle, si esclude a vicenda con R2C8=9, quindi cancella questi conflitti.

R2C8=9 è falso. A R2C8 ora è rimasto solo R2C8=5, quindi deve essere vero.

R2C8 è la successiva cella bivalore R2C8=5, R2C8=9. Con l'altro candidato falso, R2C8=5 viene forzato a vero secondo le ipotesi attuali. Tra le celle, si esclude a vicenda con R2C5=5, quindi cancella questi conflitti.

R2C5=5 è falso. A R2C5 ora è rimasto solo R2C5=6, quindi deve essere vero.

R2C5 è la successiva cella bivalore R2C5=5, R2C5=6. Con l'altro candidato falso, R2C5=6 viene forzato a vero secondo le ipotesi attuali. Tra le celle, si esclude a vicenda con R2C6=6, quindi cancella questi conflitti.

R2C6=6 è falso. A R2C6 ora è rimasto solo R2C6=1, quindi deve essere vero.

R2C6 è la successiva cella bivalore R2C6=1, R2C6=6. Con l'altro candidato falso, R2C6=1 viene forzato a vero secondo le ipotesi attuali. Tra le celle, si esclude a vicenda con R2C9=1, quindi cancella questi conflitti.

R2C9=1 è falso. A R2C9 ora è rimasto solo R2C9=7, quindi deve essere vero.

R2C9 è la successiva cella bivalore R2C9=1, R2C9=7. Con l'altro candidato falso, R2C9=7 viene forzato a vero secondo le ipotesi attuali. Tra le celle, si esclude a vicenda con R3C9=7, quindi cancella questi conflitti.

Nella cella bivalore dell'endpoint R3C9 (R3C9=1, R3C9=7), R3C9=7 è falso, quindi R3C9=1 viene forzato vero in base al presupposto corrente. Questo endpoint esclude le destinazioni R3C1=1, R3C2=1, R3C3=1.

Ritirare questo presupposto e le sue conseguenze. Ritorna all'istantanea del candidato invariata prima di esaminare la possibilità successiva.

Supponiamo che il primo endpoint R1C3=1 sia vero nella relativa cella bivalore R1C3 (R1C3=1, R1C3=9). All'interno della cella esclude l'altro candidato; tra le celle esclude i candidati visibili in conflitto R1C3=9, R3C1=1, R3C2=1, R3C3=1.

I due casi endpoint esauriscono tutte le possibilità ed entrambi eliminano R3C1=1, R3C2=1, R3C3=1. Ritirare gli stati temporanei, quindi rimuoverli.