Lekcia 33

ALS-XZ

Pravidlo

Dve takmer uzamknuté množiny spojené obmedzeným spoločným kandidátom vynútia umiestnenie ďalšieho spoločného kandidáta aspoň v jednej z nich, takže tohto kandidáta možno odstrániť z každej bunky mimo oboch množín, ktorá vidí každú bunku s týmto kandidátom v oboch množinách.

Krok za krokom

1. Pozri sa na prvú množinu . Počet jej buniek je 2 a všetky ležia v tom istom riadku. Spolu obsahujú 3 rôznych kandidátov, teda o jedného viac, než je počet buniek. Takáto množina sa nazýva Almost Locked Set (ALS).
2. Teraz sa pozri na druhú množinu . Počet jej buniek je 3 a všetky ležia v tom istom riadku. Spolu obsahujú 4 rôznych kandidátov, teda o jedného viac, než je počet buniek, takže aj táto množina tvorí ALS. Obe množiny zdieľajú kandidáta 3 ako obmedzeného spoločného kandidáta (RCC): každá bunka s kandidátom 3 v jednej množine vidí každú takú bunku v druhej, takže číslo 3 možno umiestniť najviac do jednej z oboch množín, nikdy do oboch.
3. Obe množiny obsahujú 5 ako kandidáta. Keďže číslo 3 možno umiestniť najviac do jednej množiny, aspoň jedna množina 3 nepoužije. Množina, ktorá 3 nepoužije, má toľko zostávajúcich rôznych kandidátov, koľko má buniek, takže každý z nich vrátane 5 musí byť umiestnený v jednej z jej buniek. Preto je 5 umiestnené aspoň v jednej z oboch množín a kandidáta 5 môžeme odstrániť z každej bunky mimo oboch množín, ktorá vidí každú bunku s kandidátom 5 v oboch množinách. Odtiaľ pochádza názov: X je 3, kandidát spoločný pre obe množiny, a Z je 5, kandidát, ktorého odstraňujeme.