Vynucovací řetězce: porovnejte všechny větve
Vynucovací řetězec sleduje důsledky volby kandidáta. U vynucovacího řetězce pro políčko zvažte každého kandidáta v jednom políčku; u vynucovacího řetězce pro jednotku zvažte každé zbývající místo pro jednu číslici v řádku, sloupci nebo bloku. Společný závěr lze bezpečně přijmout teprve po ověření všech výchozích případů. Rozpor naopak vyvrací předpoklad, který k němu vedl.
Klíčová myšlenka
Pokud kterákoli hodnota výchozího políčka se dvěma kandidáty vynutí kandidáta Z v políčku, které vidí cíl, lze Z z cílového políčka vyloučit.
Prohlédněte si tah krok za krokem
Na stejném příkladu jako v lekci XY-Wing sledujte obě možnosti: R1C3 obsahuje buď 5, nebo 7. Poznámky zahrnují dřívější vyloučení kandidátů.
Krok 1 z 4
Vyberte jasný bod větvení
R1C3 má právě dva kandidáty, takže rozbor zahrnuje dva případy pokrývající všechny možnosti.
Krok 2 z 4
Sledujte oba důsledky
Pokud je v R1C3 číslice 5, musí být v R1C4 číslice 6. Pokud je v R1C3 číslice 7, musí být v R2C3 číslice 6.
Krok 3 z 4
Najděte společný výsledek
R2C4 vidí obě možné vynucené šestky, takže nemůže obsahovat 6 v žádné z obou větví.
Krok 4 z 4
Ponechte jen závěr nezávislý na větvi
Vylučte 6 z R2C4. Žádného předpokládaného kandidáta neumísťujte, pokud nebyla jedna z větví vyvrácena.
Vyzkoušejte si to na dnešním sudoku
Používejte krátké řetězce, když jednodušší postupy nepomáhají. Řetězec střídavých inferencí (AIC) střídá silné vazby (je-li jeden kandidát nepravdivý, druhý musí být pravdivý) a slabé vazby (je-li jeden pravdivý, druhý musí být nepravdivý). Pokud v této mřížce R1C4 není 6, musí být 5; R1C3 pak nemůže být 5, takže je 7; R2C3 pak nemůže být 7, takže je 6. R1C4 nebo R2C3 tedy musí obsahovat 6 a jejich společná sousední buňka R2C4 ji obsahovat nemůže. Jde o stejné vyloučení zapsané jako AIC. Každou vazbu ověřte podle aktuálních kandidátů, ne pouze podle nakresleného tvaru. Předchozí lekce o Nice Loops ukazuje střídající se vazby v uzavřené smyčce.
Hrát dnešní sudoku