Techniky sudoku · Extrém
ALS-XZ v sudoku
ALS-XZ spojuje dvě Téměř uzamčené množiny, tedy skupiny buněk s jedním kandidátem víc, než je buněk, přes omezeného společného kandidáta X, kterého lze umístit jen do jedné z nich. To vynutí druhého sdíleného kandidáta Z do té druhé, takže Z lze odstranit z každé vnější buňky, která vidí každé Z v obou množinách.
Proč to funguje
Dvě téměř uzamčené množiny (ALS) spojené omezeným společným kandidátem vynutí, aby byl jiný společný kandidát umístěn alespoň v jedné z nich. Lze jej proto odstranit z každé buňky mimo obě množiny, která vidí všechny buňky s tímto kandidátem v obou množinách.
Jak ji rozpoznat
Těžkou částí je uvidět množiny, ne logiku.
- ALS je jakákoli skupina buněk v jednom útvaru s jedním kandidátem navíc: nejmenší z nich je jediná dvouhodnotová buňka.
- Dvě množiny, dva sdílení kandidáti: X musí být omezený, tedy každé X v jedné množině vidí každé X ve druhé. Z omezené být nesmí.
- Odstraňte Z z buněk mimo obě množiny, které vidí všechna Z v obou z nich.
Navazuje na
Vyřešený příklad
Toto jsou vlastní lekční plochy aplikace. Projděte si je stejně, jako to dělá nápověda.
- 1
Podívejte se na první množinu . Všechny její buňky leží ve stejném řádku, sloupci nebo bloku. Počet jejích buněk je 2, zatímco počet různých kandidátů je 3, tedy o jeden vyšší než počet buněk. Tomu se říká Almost Locked Set (ALS).
- 2
Nyní se podívejte na druhou množinu . Všechny její buňky leží ve stejném řádku, sloupci nebo bloku. Počet jejích buněk je 3, zatímco počet různých kandidátů je 4, tedy o jeden vyšší než počet buněk, takže i tato množina tvoří ALS. Obě množiny sdílejí kandidáta 3 jako omezeného společného kandidáta (RCC): každá buňka s kandidátem 3 v jedné množině vidí každou takovou buňku ve druhé, takže číslo 3 lze umístit nanejvýš do jedné z obou množin, nikdy do obou současně.
- 3
Obě množiny obsahují 5 jako kandidáta. Protože číslo 3 lze umístit nanejvýš do jedné množiny, alespoň jedna množina 3 nepoužije. Množina, která 3 nepoužije, má tolik různých zbývajících kandidátů, kolik má buněk, takže každého z nich, včetně 5, musí někde uvnitř sebe umístit. Takže 5 je umístěno alespoň do jedné z obou množin a můžeme odstranit kandidáta 5 z každé buňky mimo obě množiny, která vidí každou buňku s kandidátem 5 napříč oběma množinami. Zde X je 3 a Z je 5.