Een XY-Chain loopt door bivalue cellen. Elke stap deelt een cijfer met de volgende, als stapstenen met elk twee letters erop. Het is nog een speciale AIC.
Waarom het werkt
Als je aan beide uiteinden van de keten begint en eindigt met hetzelfde cijfer D, dan kan D niet aan beide uiteinden onwaar zijn — dan zou de keten zichzelf tegenspreken.
Minstens één uiteinde is dus D. Elke cel die beide uiteinden ziet, kan geen D zijn.
Zo herken je het
Loop alleen door bivalue cellen. Het gelijke eindcijfer is de angel.
Demonstratie
Zoek een pad van bivalue cellen dat begint en eindigt met hetzelfde cijfer.
De groene cellen vormen een XY-Chain. Het gedeelde eindcijfer is 9.
Beide uiteinden kunnen niet onwaar zijn voor 9. Minstens één uiteinde is 9 — controleer beide werelden langs het pad.
Streep 9 weg uit cellen die beide uiteinden zien (rood).
Voorbeeld 1
Loop een bivalue keten af met gelijke eindcijfers.
Deze XY-Chain streept 6 weg.
Haal 6 weg uit cellen die beide uiteinden zien (rood). Minstens één uiteinde moet dat cijfer zijn.
Voorbeeld 2
Loop een bivalue keten af met gelijke eindcijfers.
Deze XY-Chain streept 8 weg.
Haal 8 weg uit cellen die beide uiteinden zien (rood). Minstens één uiteinde moet dat cijfer zijn.