Techniky sudoku · Extrém
BUG+1 v sudoku
BUG+1, zkratka pro Bivalue Universal Grave plus one, je argument založený na jedinečnosti. Pokud by měla každá nevyřešená buňka přesně dva kandidáty a každé číslo by se v každém útvaru objevovalo přesně dvakrát, měla by mřížka dvě řešení, což platný hlavolam nikdy nedovolí. Když se tedy mřížka dostane do tohoto stavu až na jednu buňku se třemi kandidáty, musí být odpovědí právě ten kandidát, který tento vzor narušuje.
Proč to funguje
V hádance s jediným řešením předpokládejme, že každá nevyřešená buňka má dva kandidáty kromě jedné, která má tři. Pokud by odstranění jednoho kandidáta z této buňky vedlo k tomu, že se každá číslice v každém řádku, sloupci a bloku vyskytuje jako kandidát buď nulakrát, nebo dvakrát, musí být tento kandidát správný. Jinak by z každého řešení šlo vytvořit druhé přepnutím každé nevyřešené buňky na jejího druhého kandidáta.
Jak ji rozpoznat
Tohle se nehledá; všimnete si toho pozdě v těžkém hlavolamu, když se mřížka rovnoměrně stane dvouhodnotovou.
- Zkontrolujte, že má každá nevyřešená buňka přesně dva kandidáty, kromě jedné se třemi.
- V této jedné buňce najděte kandidáta, který se v jejím řádku, sloupci a bloku objevuje lichý počet krát. To je odpověď.
- Stejně jako u Jedinečného obdélníku platí tohle jen díky tomu, že má hlavolam zaručeně jedno řešení: nejde o čistou logiku samotné mřížky.
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
Každá nevyřešená buňka, která na desce zbývá, je dvouhodnotová: obsahuje právě dva kandidáty. Jedinou výjimkou je zvýrazněná buňka, která obsahuje tři: 2, 4, 6.
- 2
Podívejte se nyní na řádek, sloupec a blok zvýrazněné buňky: kandidát 6 se v každém z nich vyskytuje třikrát, zatímco každý jiný kandidát právě dvakrát, pokud se tam vůbec vyskytuje. Kdyby v této buňce nebylo 6, každý kandidát by se všude vyskytoval právě dvakrát, což je smrtící vzor, který lze dokončit dvěma různými způsoby. Hádanka má jediné řešení, takže sem musí patřit 6 a 2 i 4 lze odstranit.