XY-Chain · Stapsgewijs voorbeeld

Elke cel in de keten heeft precies twee kandidaten: R5C8={4, 7}, R5C4={3, 7}, R6C6={2, 3}, R6C5={2, 4}. Binnen de cel is hun relatie sterk: als de ene onwaar is, moet de andere waar zijn. Tussen verschillende cellen sluiten verbonden kandidaten voor hetzelfde cijfer elkaar uit. De eindpunten R5C8=4, R6C5=4 hebben kandidaat 4 gemeen.

Branch 1: stel dat R5C8=4 onwaar is.

R5C8=4 is onwaar. R5C8 heeft nu alleen R5C8=7 over, dus het moet waar zijn.

Geval 1: R5C8 is de tweewaardige cel R5C8=4, R5C8=7. Omdat de andere kandidaat onwaar is, wordt R5C8=7 onder de huidige aanname gedwongen waar te zijn. In alle cellen sluit het elkaar uit met R5C4=7, dus schrap die conflicten.

R5C4=7 is onwaar. R5C4 heeft nu alleen R5C4=3 over, dus het moet waar zijn.

R5C4 is de volgende cel met twee waarden R5C4=3, R5C4=7. Omdat de andere kandidaat onwaar is, wordt R5C4=3 onder de huidige aanname gedwongen waar te zijn. In alle cellen sluit het elkaar uit met R6C6=3, dus schrap die conflicten.

R6C6=3 is onwaar. R6C6 heeft nu alleen R6C6=2 over, dus het moet waar zijn.

R6C6 is de volgende cel met twee waarden R6C6=2, R6C6=3. Omdat de andere kandidaat onwaar is, wordt R6C6=2 onder de huidige aanname gedwongen waar te zijn. In alle cellen sluit het elkaar uit met R6C5=2, dus schrap die conflicten.

Bij de eindpuntcel met twee waarden R6C5 (R6C5=2, R6C5=4) is R6C5=2 onwaar, dus R6C5=4 wordt onder de huidige aanname geforceerd waar. Dit eindpunt sluit de doelen R6C8=4, R6C9=4 uit.

Trek deze veronderstelling en de gevolgen ervan in. Keer terug naar de ongewijzigde momentopname van de kandidaat voordat u de volgende mogelijkheid onderzoekt.

Stel dat het eerste eindpunt R5C8=4 waar is in de cel met twee waarden R5C8 (R5C8=4, R5C8=7). Binnen de cel sluit het de andere kandidaat uit; tussen cellen sluit het de zichtbare conflicterende kandidaten R5C8=7, R6C8=4, R6C9=4 uit.

De twee eindpuntgevallen benutten alle mogelijkheden en schrappen beide R6C8=4, R6C9=4. Trek de tijdelijke statussen in en verwijder ze vervolgens.

Elke cel in de keten heeft precies twee kandidaten: R1C4={3, 8}, R1C8={6, 8}, R7C8={2, 6}, R7C6={2, 4}, R7C5={3, 4}. Binnen de cel is hun relatie sterk: als de ene onwaar is, moet de andere waar zijn. Tussen verschillende cellen sluiten verbonden kandidaten voor hetzelfde cijfer elkaar uit. De eindpunten R1C4=3, R7C5=3 hebben kandidaat 3 gemeen.

Branch 1: stel dat R1C4=3 onwaar is.

R1C4=3 is onwaar. R1C4 heeft nu alleen R1C4=8 over, dus het moet waar zijn.

Geval 1: R1C4 is de tweewaardige cel R1C4=3, R1C4=8. Omdat de andere kandidaat onwaar is, wordt R1C4=8 onder de huidige aanname gedwongen waar te zijn. In alle cellen sluit het elkaar uit met R1C8=8, dus schrap die conflicten.

R1C8=8 is onwaar. R1C8 heeft nu alleen R1C8=6 over, dus het moet waar zijn.

R1C8 is de volgende cel met twee waarden R1C8=6, R1C8=8. Omdat de andere kandidaat onwaar is, wordt R1C8=6 onder de huidige aanname gedwongen waar te zijn. In alle cellen sluit het elkaar uit met R7C8=6, dus schrap die conflicten.

R7C8=6 is onwaar. R7C8 heeft nu alleen R7C8=2 over, dus het moet waar zijn.

R7C8 is de volgende cel met twee waarden R7C8=2, R7C8=6. Omdat de andere kandidaat onwaar is, wordt R7C8=2 onder de huidige aanname gedwongen waar te zijn. In alle cellen sluit het elkaar uit met R7C6=2, dus schrap die conflicten.

R7C6=2 is onwaar. R7C6 heeft nu alleen R7C6=4 over, dus het moet waar zijn.

R7C6 is de volgende cel met twee waarden R7C6=2, R7C6=4. Omdat de andere kandidaat onwaar is, wordt R7C6=4 onder de huidige aanname gedwongen waar te zijn. In alle cellen sluit het elkaar uit met R7C5=4, dus schrap die conflicten.

Bij de eindpuntcel met twee waarden R7C5 (R7C5=3, R7C5=4) is R7C5=4 onwaar, dus R7C5=3 wordt onder de huidige aanname geforceerd waar. Dit eindpunt sluit de doelen R1C5=3, R8C4=3 uit.

Trek deze veronderstelling en de gevolgen ervan in. Keer terug naar de ongewijzigde momentopname van de kandidaat voordat u de volgende mogelijkheid onderzoekt.

Stel dat het eerste eindpunt R1C4=3 waar is in de cel met twee waarden R1C4 (R1C4=3, R1C4=8). Binnen de cel sluit het de andere kandidaat uit; tussen cellen sluit het de zichtbare conflicterende kandidaten R1C4=8, R1C5=3, R8C4=3 uit.

De twee eindpuntgevallen benutten alle mogelijkheden en schrappen beide R1C5=3, R8C4=3. Trek de tijdelijke statussen in en verwijder ze vervolgens.

Elke cel in de keten heeft precies twee kandidaten: R1C3={1, 9}, R1C4={7, 9}, R2C4={7, 9}, R2C8={5, 9}, R2C5={5, 6}, R2C6={1, 6}, R2C9={1, 7}, R3C9={1, 7}. Binnen de cel is hun relatie sterk: als de ene onwaar is, moet de andere waar zijn. Tussen verschillende cellen sluiten verbonden kandidaten voor hetzelfde cijfer elkaar uit. De eindpunten R1C3=1, R3C9=1 hebben kandidaat 1 gemeen.

Branch 1: stel dat R1C3=1 onwaar is.

R1C3=1 is onwaar. R1C3 heeft nu alleen R1C3=9 over, dus het moet waar zijn.

Geval 1: R1C3 is de tweewaardige cel R1C3=1, R1C3=9. Omdat de andere kandidaat onwaar is, wordt R1C3=9 onder de huidige aanname gedwongen waar te zijn. In alle cellen sluit het elkaar uit met R1C4=9, dus schrap die conflicten.

R1C4=9 is onwaar. R1C4 heeft nu alleen R1C4=7 over, dus het moet waar zijn.

R1C4 is de volgende cel met twee waarden R1C4=7, R1C4=9. Omdat de andere kandidaat onwaar is, wordt R1C4=7 onder de huidige aanname gedwongen waar te zijn. In alle cellen sluit het elkaar uit met R2C4=7, dus schrap die conflicten.

R2C4=7 is onwaar. R2C4 heeft nu alleen R2C4=9 over, dus het moet waar zijn.

R2C4 is de volgende cel met twee waarden R2C4=7, R2C4=9. Omdat de andere kandidaat onwaar is, wordt R2C4=9 onder de huidige aanname gedwongen waar te zijn. In alle cellen sluit het elkaar uit met R2C8=9, dus schrap die conflicten.

R2C8=9 is onwaar. R2C8 heeft nu alleen R2C8=5 over, dus het moet waar zijn.

R2C8 is de volgende cel met twee waarden R2C8=5, R2C8=9. Omdat de andere kandidaat onwaar is, wordt R2C8=5 onder de huidige aanname gedwongen waar te zijn. In alle cellen sluit het elkaar uit met R2C5=5, dus schrap die conflicten.

R2C5=5 is onwaar. R2C5 heeft nu alleen R2C5=6 over, dus het moet waar zijn.

R2C5 is de volgende cel met twee waarden R2C5=5, R2C5=6. Omdat de andere kandidaat onwaar is, wordt R2C5=6 onder de huidige aanname gedwongen waar te zijn. In alle cellen sluit het elkaar uit met R2C6=6, dus schrap die conflicten.

R2C6=6 is onwaar. R2C6 heeft nu alleen R2C6=1 over, dus het moet waar zijn.

R2C6 is de volgende cel met twee waarden R2C6=1, R2C6=6. Omdat de andere kandidaat onwaar is, wordt R2C6=1 onder de huidige aanname gedwongen waar te zijn. In alle cellen sluit het elkaar uit met R2C9=1, dus schrap die conflicten.

R2C9=1 is onwaar. R2C9 heeft nu alleen R2C9=7 over, dus het moet waar zijn.

R2C9 is de volgende cel met twee waarden R2C9=1, R2C9=7. Omdat de andere kandidaat onwaar is, wordt R2C9=7 onder de huidige aanname gedwongen waar te zijn. In alle cellen sluit het elkaar uit met R3C9=7, dus schrap die conflicten.

Bij de eindpuntcel met twee waarden R3C9 (R3C9=1, R3C9=7) is R3C9=7 onwaar, dus R3C9=1 wordt onder de huidige aanname geforceerd waar. Dit eindpunt sluit de doelen R3C1=1, R3C2=1, R3C3=1 uit.

Trek deze veronderstelling en de gevolgen ervan in. Keer terug naar de ongewijzigde momentopname van de kandidaat voordat u de volgende mogelijkheid onderzoekt.

Stel dat het eerste eindpunt R1C3=1 waar is in de cel met twee waarden R1C3 (R1C3=1, R1C3=9). Binnen de cel sluit het de andere kandidaat uit; tussen cellen sluit het de zichtbare conflicterende kandidaten R1C3=9, R3C1=1, R3C2=1, R3C3=1 uit.

De twee eindpuntgevallen benutten alle mogelijkheden en schrappen beide R3C1=1, R3C2=1, R3C3=1. Trek de tijdelijke statussen in en verwijder ze vervolgens.