- 空のセルには最初に最大9つの候補があります。目標は1つを除いてすべてを削除することです。
- 最も単純な削除: 共有された行、列、またはボックスにすでにある数字は、候補として削除されます。
- ネイキッドおよびヒドゥンサブセットは、セルのグループ全体から同時に候補を削除します。
- ロック候補は、ボックスの制約に基づいて、行または列全体から数字を削除します。
- より多くの削除 = より少ない候補 = より多くの確定セル = より速い解決
レベル1: 直接排除
最も基本的な排除: 数字5がすでに行3にある場合、5は行3の他の空のセルにとって有効な候補ではありません。これをすべてのユニットタイプ(行、列、ボックス)のすべての与えられた数字に適用すると、数独解決の基礎が得られます。
直接排除の後、候補が1つだけ残ったセルはネイキッドシングルです — すぐに記入し、その排除をピアに伝播させます。
レベル2: クロスハッチスキャン
数字を1つ選びます。各ボックスについて、その数字をすでに含む行と列を使用して、ボックス内のセルを排除します。ボックス内に1つのセルだけが残った場合、それは配置です。数字がボックス内の1つの行または列に限定されている場合、それはロック候補です — その数字はその行または列の他の場所には現れません。
レベル3: ネイキッドサブセット
ユニット内のN個のセルが正確にN個の候補を共有する場合、それらのN個の候補はそのユニットの他のセルには現れません。一般的な例:
- ネイキッドペア: 同じ2つの候補を持つ2つのセル — 両方の候補をユニットの残りから排除します
- ネイキッドトリプル: 3つの候補を共有する3つのセル — 3つすべてをユニットの残りから排除します
レベル4: ヒドゥンサブセット
ユニット内のN個の候補がN個のセルにしか入らない場合、それらのセルは他の候補を持つことができません。ネイキッドサブセットとの違い: セルが持つ候補ではなく、候補がどこに入るかに注目します。
- ヒドゥンシングル: 1つの候補がユニット内の1つのセルに限定される — すぐに配置します
- ヒドゥンペア: 2つの候補が2つのセルに限定される — それらの2つのセルから他のすべての候補を削除します
レベル5: 交差排除
ボックス内の候補が1つの行または列に限定されている場合、その行または列のボックス外の残りから排除できます。これは双方向に機能します: 行内の候補が1つのボックスに限定されている場合、そのボックスの残りから排除できます。
習慣を身につける
速く正確に解く鍵は、これらの排除をランダムではなく体系的に適用することです。良いワークフロー: 候補を記入 → ネイキッドシングルを適用 → ヒドゥンシングルを適用 → ロック候補を確認 → ペアを探す → 繰り返す。完全なテクニックライブラリには、すべてのレベルの実例があります。すべての5つのレベルが通常必要とされるライブのハードパズルで練習してください。