Techniky sudoku · Extrémna
ALS-XZ v sudoku
ALS-XZ spája dve Takmer uzamknuté množiny, skupiny buniek s jedným kandidátom navyše oproti počtu buniek, cez obmedzeného spoločného kandidáta X, ktorého možno umiestniť iba do jednej z nich. To vynúti druhého spoločného kandidáta Z do druhej množiny, takže Z možno odstrániť z každej vonkajšej bunky, ktorá vidí každé Z v oboch množinách.
Prečo to funguje
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.
Ako ju nájsť
Ťažká časť je uvidieť množiny, nie logiku.
- ALS je ľubovoľná skupina buniek v jednej skupine s jedným kandidátom navyše: najmenšou je jedna dvojhodnotová bunka.
- Dve množiny, dvaja spoloční kandidáti: X musí byť obmedzený, čo znamená, že každé X v jednej množine vidí každé X v druhej. Z nesmie byť.
- Odstráň Z z buniek mimo oboch množín, ktoré vidia všetky Z v oboch.
Vychádza z
Riešený príklad
Toto sú vlastné lekcie aplikácie. Prejdi si ich rovnako, ako to robí nápoveda.
- 1
Pozri sa na prvú množinu . Počet jej buniek je 2 a všetky ležia v tom istom riadku, stĺpci alebo bloku. 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, stĺpci alebo bloku. 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. Tu X je 3 a Z je 5.