ナンプレのLocked Candidates｜ブロックと行・列の重なりを見る

Locked Candidatesは、ある数字の候補位置が「ブロックと行・列の重なる部分」に限られることを使い、候補を削除する手筋です。見る方向によってPointingとClaimingの2種類があります。

Pointing：ブロックから行・列を見る

あるブロックの中で、特定の数字の候補がすべて同じ行にあるとします。その数字はブロック内に必要なので、その行のブロック内に入ります。したがって、同じ行のブロック外から、その数字を消せます。候補が同じ列にそろう場合も同様です。

—は「5の候補がない」位置です。1行目のブロック外では5の候補を削除できます。

これは左上ブロックにある5の候補位置を、行ごとに示した図です。左上ブロックの5の候補が1行目の1・3列目だけなら、1行目の4〜9列目から候補の5を消せます。

左上ブロックの2・3行目にも5の候補があるなら、このPointingは成立しません。「1行目に候補が並んでいる」だけでなく、ブロック内の候補位置がすべてそこに限られる必要があります。

逆に、ある行で特定の数字の候補がすべて同じブロック内にあるなら、その数字はその行のブロック内に入ります。したがって、そのブロックの別の行から同じ数字の候補を消せます。列から見る場合は、別の列から消します。

Pointingは「ブロック内に限られる候補位置」を根拠に、行・列のブロック外から消します。Claimingは「行・列内に限られる候補位置」を根拠に、ブロックのその行・列以外から消します。

根拠になった候補は消しません。また、この手筋だけでは、重なり部分のどのマスに数字が入るかは決まりません。

候補を消したら、裸のシングルや隠れたシングルができていないか見直しましょう。候補を減らす手筋と数字を確定する手筋を交互に使うことで、盤面を進められます。