XY-Chain · Exemplu pas cu pas

Fiecare celulă din lanț are exact doi candidați: R5C8={4, 7}, R5C4={3, 7}, R6C6={2, 3}, R6C5={2, 4}. În interiorul celulei, relația lor este puternică: dacă unul este fals, celălalt trebuie să fie adevărat. Între celule diferite, candidații conectați ai aceleiași cifre se exclud reciproc. Capetele R5C8=4, R6C5=4 au candidatul comun 4.

Branch 1: să presupunem că R5C8=4 este fals.

R5C8=4 este fals. R5C8 mai are acum doar R5C8=7, așa că trebuie să fie adevărat.

Cazul 1: R5C8 este celula cu două valori R5C8=4, R5C8=7. Cu cealaltă cifră candidată falsă, R5C8=7 este forțat adevărat în ipoteza actuală. În celule, se exclude reciproc cu R5C4=7, așa că eliminați aceste conflicte.

R5C4=7 este fals. R5C4 mai are acum doar R5C4=3, așa că trebuie să fie adevărat.

R5C4 este următoarea celulă cu două valori R5C4=3, R5C4=7. Cu cealaltă cifră candidată falsă, R5C4=3 este forțat adevărat în ipoteza actuală. În celule, se exclude reciproc cu R6C6=3, așa că eliminați aceste conflicte.

R6C6=3 este fals. R6C6 mai are acum doar R6C6=2, așa că trebuie să fie adevărat.

R6C6 este următoarea celulă cu două valori R6C6=2, R6C6=3. Cu cealaltă cifră candidată falsă, R6C6=2 este forțat adevărat în ipoteza actuală. În celule, se exclude reciproc cu R6C5=2, așa că eliminați aceste conflicte.

La celula bivalorică a punctului final R6C5 (R6C5=2, R6C5=4), R6C5=2 este fals, deci R6C5=4 este forțat adevărat în ipoteza curentă. Acest punct final exclude țintele R6C8=4, R6C9=4.

Retrageți această presupunere și consecințele ei. Reveniți la instantaneul neschimbat al cifrei candidatului înainte de a examina următoarea posibilitate.

Să presupunem că primul punct final R5C8=4 este adevărat în celula sa bivalorică R5C8 (R5C8=4, R5C8=7). În interiorul celulei exclude cealaltă cifră candidată; între celule exclude cifrele candidate aflate în conflict vizibile R5C8=7, R6C8=4, R6C9=4.

Cele două cazuri terminale epuizează toate posibilitățile și ambele taie R6C8=4, R6C9=4. Retrageți stările de adevăr logice temporare, apoi eliminați-le.

Fiecare celulă din lanț are exact doi candidați: R1C4={3, 8}, R1C8={6, 8}, R7C8={2, 6}, R7C6={2, 4}, R7C5={3, 4}. În interiorul celulei, relația lor este puternică: dacă unul este fals, celălalt trebuie să fie adevărat. Între celule diferite, candidații conectați ai aceleiași cifre se exclud reciproc. Capetele R1C4=3, R7C5=3 au candidatul comun 3.

Branch 1: să presupunem că R1C4=3 este fals.

R1C4=3 este fals. R1C4 mai are acum doar R1C4=8, așa că trebuie să fie adevărat.

Cazul 1: R1C4 este celula cu două valori R1C4=3, R1C4=8. Cu cealaltă cifră candidată falsă, R1C4=8 este forțat adevărat în ipoteza actuală. În celule, se exclude reciproc cu R1C8=8, așa că eliminați aceste conflicte.

R1C8=8 este fals. R1C8 mai are acum doar R1C8=6, așa că trebuie să fie adevărat.

R1C8 este următoarea celulă cu două valori R1C8=6, R1C8=8. Cu cealaltă cifră candidată falsă, R1C8=6 este forțat adevărat în ipoteza actuală. În celule, se exclude reciproc cu R7C8=6, așa că eliminați aceste conflicte.

R7C8=6 este fals. R7C8 mai are acum doar R7C8=2, așa că trebuie să fie adevărat.

R7C8 este următoarea celulă cu două valori R7C8=2, R7C8=6. Cu cealaltă cifră candidată falsă, R7C8=2 este forțat adevărat în ipoteza actuală. În celule, se exclude reciproc cu R7C6=2, așa că eliminați aceste conflicte.

R7C6=2 este fals. R7C6 mai are acum doar R7C6=4, așa că trebuie să fie adevărat.

R7C6 este următoarea celulă cu două valori R7C6=2, R7C6=4. Cu cealaltă cifră candidată falsă, R7C6=4 este forțat adevărat în ipoteza actuală. În celule, se exclude reciproc cu R7C5=4, așa că eliminați aceste conflicte.

La celula bivalorică a punctului final R7C5 (R7C5=3, R7C5=4), R7C5=4 este fals, deci R7C5=3 este forțat adevărat în ipoteza curentă. Acest punct final exclude țintele R1C5=3, R8C4=3.

Retrageți această presupunere și consecințele ei. Reveniți la instantaneul neschimbat al cifrei candidatului înainte de a examina următoarea posibilitate.

Să presupunem că primul punct final R1C4=3 este adevărat în celula sa bivalorică R1C4 (R1C4=3, R1C4=8). În interiorul celulei exclude cealaltă cifră candidată; între celule exclude cifrele candidate aflate în conflict vizibile R1C4=8, R1C5=3, R8C4=3.

Cele două cazuri terminale epuizează toate posibilitățile și ambele taie R1C5=3, R8C4=3. Retrageți stările de adevăr logice temporare, apoi eliminați-le.

Fiecare celulă din lanț are exact doi candidați: R1C3={1, 9}, R1C4={7, 9}, R2C4={7, 9}, R2C8={5, 9}, R2C5={5, 6}, R2C6={1, 6}, R2C9={1, 7}, R3C9={1, 7}. În interiorul celulei, relația lor este puternică: dacă unul este fals, celălalt trebuie să fie adevărat. Între celule diferite, candidații conectați ai aceleiași cifre se exclud reciproc. Capetele R1C3=1, R3C9=1 au candidatul comun 1.

Branch 1: să presupunem că R1C3=1 este fals.

R1C3=1 este fals. R1C3 mai are acum doar R1C3=9, așa că trebuie să fie adevărat.

Cazul 1: R1C3 este celula cu două valori R1C3=1, R1C3=9. Cu cealaltă cifră candidată falsă, R1C3=9 este forțat adevărat în ipoteza actuală. În celule, se exclude reciproc cu R1C4=9, așa că eliminați aceste conflicte.

R1C4=9 este fals. R1C4 mai are acum doar R1C4=7, așa că trebuie să fie adevărat.

R1C4 este următoarea celulă cu două valori R1C4=7, R1C4=9. Cu cealaltă cifră candidată falsă, R1C4=7 este forțat adevărat în ipoteza actuală. În celule, se exclude reciproc cu R2C4=7, așa că eliminați aceste conflicte.

R2C4=7 este fals. R2C4 mai are acum doar R2C4=9, așa că trebuie să fie adevărat.

R2C4 este următoarea celulă cu două valori R2C4=7, R2C4=9. Cu cealaltă cifră candidată falsă, R2C4=9 este forțat adevărat în ipoteza actuală. În celule, se exclude reciproc cu R2C8=9, așa că eliminați aceste conflicte.

R2C8=9 este fals. R2C8 mai are acum doar R2C8=5, așa că trebuie să fie adevărat.

R2C8 este următoarea celulă cu două valori R2C8=5, R2C8=9. Cu cealaltă cifră candidată falsă, R2C8=5 este forțat adevărat în ipoteza actuală. În celule, se exclude reciproc cu R2C5=5, așa că eliminați aceste conflicte.

R2C5=5 este fals. R2C5 mai are acum doar R2C5=6, așa că trebuie să fie adevărat.

R2C5 este următoarea celulă cu două valori R2C5=5, R2C5=6. Cu cealaltă cifră candidată falsă, R2C5=6 este forțat adevărat în ipoteza actuală. În celule, se exclude reciproc cu R2C6=6, așa că eliminați aceste conflicte.

R2C6=6 este fals. R2C6 mai are acum doar R2C6=1, așa că trebuie să fie adevărat.

R2C6 este următoarea celulă cu două valori R2C6=1, R2C6=6. Cu cealaltă cifră candidată falsă, R2C6=1 este forțat adevărat în ipoteza actuală. În celule, se exclude reciproc cu R2C9=1, așa că eliminați aceste conflicte.

R2C9=1 este fals. R2C9 mai are acum doar R2C9=7, așa că trebuie să fie adevărat.

R2C9 este următoarea celulă cu două valori R2C9=1, R2C9=7. Cu cealaltă cifră candidată falsă, R2C9=7 este forțat adevărat în ipoteza actuală. În celule, se exclude reciproc cu R3C9=7, așa că eliminați aceste conflicte.

La celula bivalorică a punctului final R3C9 (R3C9=1, R3C9=7), R3C9=7 este fals, deci R3C9=1 este forțat adevărat în ipoteza curentă. Acest punct final exclude țintele R3C1=1, R3C2=1, R3C3=1.

Retrageți această presupunere și consecințele ei. Reveniți la instantaneul neschimbat al cifrei candidatului înainte de a examina următoarea posibilitate.

Să presupunem că primul punct final R1C3=1 este adevărat în celula sa bivalorică R1C3 (R1C3=1, R1C3=9). În interiorul celulei exclude cealaltă cifră candidată; între celule exclude cifrele candidate aflate în conflict vizibile R1C3=9, R3C1=1, R3C2=1, R3C3=1.

Cele două cazuri terminale epuizează toate posibilitățile și ambele taie R3C1=1, R3C2=1, R3C3=1. Retrageți stările de adevăr logice temporare, apoi eliminați-le.