一意性

一意性を利用した数独ロジックの仕組み

一意性テクニックは、解がちょうど1つであることが保証された、正しく作られた数独に適用します。致命的なパターンとは、2つの数字を入れ替えることで2通りの有効な完成形が生じる未解決の配置です。ユニーク・レクタングルは2本の行、2本の列、2つのブロックにまたがる4つのマスを使い、ユニーク・ループは同じ原理をより長い偶数ループへ拡張します。解が一意の問題では致命的な形が残れないため、少なくとも1つのマスがその形を崩さなければなりません。

4つのタイプは、これらの追加候補が救出を提供するさまざまな方法を説明します。タイプ1は単一の救出マスから致命的なペアを取り除きます。タイプ2と4は共有の追加候補または共役関係を利用し、タイプ3は共通の領域内でエクストラをサブセットと組み合わせます。BUGは同じ前提を全二値エンドゲーム状態に適用します。致命的なバランス状態を残すマスまたは候補が特定され、解決されます。これらは条件付き推論です。パズルの一意性が分かっている場合にのみ使用すべきで、任意のグリッドでの矛盾テストの一般的な代用品ではありません。