Claiming v sudoku: box-line reduction krok za krokem

Pravidlo claimingu

Claiming potřebuje tři věci:

1. Vyberte jeden řádek nebo sloupec a jednu číslici, která v něm ještě není doplněna.
2. Najděte všechna políčka tohoto řádku nebo sloupce, kde je číslice stále kandidátem.
3. Ověřte, že všechna tato políčka leží uvnitř téhož čtverce.

Každý řádek a každý sloupec musí obsahovat každou číslici jednou. Pokud jsou jediná políčka řádku nebo sloupce, která mohou číslici obsahovat, uvnitř jednoho čtverce, bude číslice tohoto řádku nebo sloupce v tomto čtverci. Zatím nevíte, které z políček ji dostane, ale znáte čtverec.

I čtverec může obsahovat každou číslici jen jednou. Řádek nebo sloupec už pro tento čtverec číslici dodává, takže ji nemůže obsahovat žádné jiné políčko čtverce. Odeberte číslici ze všech políček čtverce, která v řádku nebo sloupci neleží. Řádek či sloupec si číslici „přivlastní“ pro svá políčka a odtud pochází název techniky (anglicky claim znamená přivlastnit si).

Pravidlo jednou větou

Jeden řádek nebo sloupec, jedna číslice, všechna její políčka v jednom čtverci: odeberte číslici ze zbytku tohoto čtverce.

Claiming, box-line reduction a locked candidates

Claiming a box-line reduction jsou dva názvy téže techniky. Knihy i řešicí programy používají oba. Třetí název zahrnuje dvě techniky dohromady: locked candidates (uzamčení kandidáti). Ukazování je locked candidates typu 1 a claiming je locked candidates typu 2. V obou je číslice uzamčena ve třech políčkách, kde se čtverec protíná s řádkem nebo sloupcem.

Oba typy se liší jen směrem. Ukazování vychází ze čtverce a odebírá kandidáty v řádku nebo sloupci. Claiming vychází z řádku nebo sloupce a odebírá kandidáty ve čtverci. Pokud znáte jeden z nich, logiku druhého už znáte.

Skutečný příklad krok za krokem

Tato pozice pochází ze skutečného hlavolamu. Každé prázdné políčko ukazuje své kandidáty, tedy číslice, které jeho řádek, sloupec a čtverec ještě připouštějí.

Najděte vzor

Podívejte se na řádek 7 a jen na číslici 8. Řádek 7 má tři prázdná políčka: R7S4, R7S8 a R7S9. R7S4 nemá osmičku mezi kandidáty, protože sloupec 4 už osmičku obsahuje. Osmička je tedy možná jen ve dvou políčkách řádku 7: R7S8 a R7S9. Obě políčka leží ve čtverci 9, tedy ve čtverci vpravo dole. Je to claiming na 8.

Odeberte kandidáty

Osmička řádku 7 bude v R7S8, nebo v R7S9. V obou případech je ve čtverci 9, takže čtverec 9 dostane svou osmičku z řádku 7. Žádné jiné políčko čtverce 9 nemůže být osmička. Pět z těchto políček má 8 mezi kandidáty: R8S7, R8S9, R9S7, R9S8 a R9S9. Odeberte 8 ze všech pěti. R7S8 a R7S9 si svou osmičku ponechají.

Využijte výsledek

Claiming sám žádnou číslici nedoplní, ale jeho vyloučení často otevře další tah. Podívejte se na R8S7. Před tahem mělo dva kandidáty, 7 a 8. Teď je osmička odebrána a zbývá jen 7. Políčko s jedním kandidátem je nahý singl: doplňte 7 do R8S7.

Řádky, sloupce, dvě políčka nebo tři

Příklad používá řádek, ale pro sloupec platí stejné pravidlo. Pokud jsou všechna políčka sloupce, která mohou obsahovat číslici, uvnitř jednoho čtverce, odeberte číslici z políček tohoto čtverce v jeho dalších dvou sloupcích.

Počet políček může být dva nebo tři. Řádek či sloupec a čtverec sdílejí právě tři políčka, takže číslice může mít ve vzoru nejvýše tři možná políčka. Při dvou i při třech políčkách je vyloučení stejné.

Jak claiming najít při řešení

Claiming se vidí hůř než ukazování, protože musíte zkontrolovat celý řádek nebo sloupec s devíti políčky, a ne kompaktní čtverec. Hodně pomohou úplné poznámky (anglicky). Hledejte v tomto pořadí:

1. Vezměte jeden řádek nebo sloupec a jednu číslici. Začněte těmi, které mají málo prázdných políček. V příkladu měl řádek 7 jen tři.
2. Spočítejte políčka pro tuto číslici. Pokud má číslice v řádku nebo sloupci dvě nebo tři možná políčka, pokračujte. Čtyři a více políček nemůže ležet v jednom čtverci.
3. Zkontrolujte čtverec. Pokud všechna políčka leží uvnitř téhož čtverce, našli jste vzor.
4. Odeberte kandidáty. Odeberte číslici z každého políčka tohoto čtverce mimo řádek nebo sloupec.
5. Znovu hledejte singly. Nejdřív zkontrolujte políčka, která přišla o kandidáta. Jedno z nich teď může mít jen jednoho kandidáta.

Rychlá kontrola

Řádek nebo sloupec prochází třemi čtverci. Pokud je číslice už doplněna ve dvou z nich, musí být číslice tohoto řádku nebo sloupce ve třetím čtverci. To je vzor claimingu.

Časté chyby

• Odebírání na špatném místě. Claiming odebírá kandidáty ze čtverce, ne z řádku nebo sloupce. Když odebíráte z řádku či sloupce, používáte pravidlo ukazování na vzoru, který ukazující dvojicí není.
• Přehlédnuté políčko mimo čtverec. Pokud je číslice možná i v políčku řádku nebo sloupce, které leží v jiném čtverci, claiming neexistuje a nic odebrat nemůžete.
• Odebírání z políček vzoru. Políčka, kde se řádek či sloupec se čtvercem protíná, si číslici ponechají. Přijdou o ni jen ostatní políčka čtverce.
• Neúplné poznámky. Jeden chybějící kandidát v řádku nebo sloupci může způsobit, že se vzor objeví, ačkoli neexistuje.

Kdy claiming použít a co následuje

Lehké hlavolamy claiming obvykle nepotřebují. Hledejte ho ve středních a těžkých hlavolamech, když už nezbývá žádný singl a nepomůže žádná ukazující dvojice. Je to jednoduchá logika, takže ho vždy zkuste před pokročilou technikou, jako je X-Wing.

Po každém vyloučení znovu hledejte singly. Potom se naučte nahou dvojici a skrytou dvojici, které pracují se dvěma číslicemi ve dvou políčkách. Kam která technika patří, ukazuje úplný seznam technik sudoku (anglicky).