候補数字の除外：初心者向け実践ガイド

候補の除外は、「ルールは分かる」と「難しい盤面を解ける」の橋です。候補とは、行・列・3×3ブロックを見たあと、空きマスにまだ収まる数字です。上手な解答は、すべての数字をすべてのマスに書くことではありません。正確な可能性の集合を保ち、ルールが不可能を証明したときだけ数字を消し、その削除がシングルや再利用できる型を作ったときに気づくことです。

候補の除外とは

候補の除外は、未確定マスから不可能な数字を消す過程です。最初の除外は置いた数字から直接来ます。5行にすでに7があれば、5行の他マスは候補7を保てません。同じ確認が列とブロックにも適用されます。あとの除外は、ネイキッドペア、隠れたペア、ロックされた候補、X-Wingなどの型からです。これらの型は最終値を当てず、1つ以上の候補がどの正しい完成にも参加できないことを証明します。マスの候補が1つだけならネイキッドシングルです。領域で数字の残るマスが1つなら隠れたシングルです。

信頼できる候補の流れ

1. メモを足す前に直接のシングルを埋める。 混んだブロック、行、列を先にスキャンします。確定した数字は、あとの候補作業を減らします。
2. 3つの制約をすべて確認する。 空きマスごとに、その行、列、3×3ブロックにすでにいる数字を消します。3つの確認を生き残った数字だけが候補です。
3. 仲間をすぐ更新する。 数字を置いたら、新しい型を探す前に、同じ行・列・ブロックの未確定の仲間からその候補を消します。
4. 制限されたグループを探す。 1つの領域内で候補リストを比べます。同じ2数字のマス、2位置に制限された数字、ブロックと線の並びが、さらなる除外を支えます。
5. 変化のたびにシングルへ戻る。 小さな削除が、マスや数字を1位置にすることがあります。より複雑な技法へ上げる前に、その簡単な結果を集めます。

実例：r5c6を1候補まで減らす

5行の欠けている数字が{2,4,7}だとします。r5c6はすでに2がある列を共有し、その3×3ブロックにはすでに7があります。この2つの制約が2と7を消し、4だけが残ります。

1. 行から始める。 5行に欠けている数字だけを列挙します。2、4、7。行にすでにいる数字は、最初の候補集合に入りません。
2. 列の制約を適用する。 6列にはすでに2があるので、r5c6から2を消します。マスの候補は{4,7}になります。
3. ブロックの制約を適用する。 中央右ブロックにはすでに7があるので、r5c6は7になれません。候補4だけが残る合法な値です。
4. 置いて伝播する。 r5c6に4を書き、仲間から候補4を消し、5行、6列、ブロックを再スキャンして、新たにできたシングルを探します。

候補でよくあるミス

候補除外のチェックリスト

• 空きマス1つについて、行の欠けている数字を言い、列とブロックの衝突を消す。
• 配置のたびに、他へ移る前に影響した行・列・ブロックを掃く。
• 候補2つのマスと位置2つの数字を囲むが、型を主張する前に領域全体を検証する。
• 可能性はメモモード、大きな数字は論理で強制された値だけ。

候補の除外は、別の上級トリックではありません。ほとんどすべての技法の下にある管理層です。クラシック中級で練習しましょう。正直な可能性だけを書き、仲間をすべて更新し、削除ごとに説明します。メモが信頼できれば、ペア、ロック、フィッシュは謎ではなく見えるものになります。推論が失敗したら、消した候補を戻し、支えるはずだった行・列・ブロックを監査します。

候補除外のよくある質問