ロックされた候補
ロックされた候補
関連技術
数独 の ロックされた候補 とは何ですか?
ロックされた候補 は、ブロックと行または列の交差を活用する候補削除技術です。各交差は正確に3つのセルで構成されています。特定の数字の候補がブロック内または行/列内で、これらの3つのセル交差の1つに完全に限定されている場合、その数字は「ロックされた」といわれます。
この技術には2つのタイプがあります。
- 指示(Type 1):論理はブロックから行または列へと展開されます。
- 呼び出し(Type 2 / Box-Line Reduction):論理は行または列からブロックへと内向きに展開されます。
両方とも同じ基本原理に依拠しています。
ロックされた候補の背後にあるコアな原理
ブロックは行とちょうど3つのセルで交差する。数字5と特定のブロックについて考える。もし数字5の残りの候補がそのブロック内ですべて同じ行に位置する場合、数字5はその交差セルのいずれかに配置されることになる。つまり、その行の他の場所には数字5は出現しない。ブロック外の行のすべてのセルから数字5を安全に削除できる。
逆もまた然り。もし数字5の候補が特定の行内にすべて1つのブロック内に収まっている場合、数字5はその交差セルのいずれかに配置されることになる。そのブロックの他のセルから数字5を除外できる。
ポイント:ロックされた候補 型1
ポイントングとは、ブロック内の数字の候補が単一の行または単一の列に沿って並んでいるときに発生する。候補はその行または列に沿ってブロックから外に向かって「指し示す」。その行または列のブロック外にあるすべてのセルから、その数字を除外できる。
候補セルがちょうど2つ存在する場合、このパターンはポイントングペアと呼ばれ、3つの候補セルが存在する場合はポイントングトリプルと呼ばれる。数に関係なく、論理は同じである。
主張:ロックされた候補 型2(ボックス/ライン削減)
クリーミングはポイントの逆です。行または列内の数字の候補が1つのブロックに限定されるときに発生します。その行または列はそのブロックに対してその数字を「主張」するため、そのブロック内の他の場所にはその数字が出現できません。その行または列の外にあるブロック内の他のセルからその数字を除外します。
このパターンは、ボックス/ライン削減またはライン/ボックス削減としても広く知られています。
数独 パズルで ロックされた候補 を見つける方法
戦略1:ブロックごとにスキャンする。各ブロックについて、配置されていない数字を確認する。その数字が候補となるすべてのセルを特定し、それらのセルが同じ行または列に属しているかを確認する。もしそうであれば、その行または列のブロック外のセルからその数字を除外する。
戦略2:行または列ごとにスキャンする。各行または各列について、配置されていない数字を確認する。候補となるセルがすべて同じブロックに含まれるかを確認する。もしそうであれば、そのブロックの行または列外のセルからその数字を除外する。
実用的なヒント:
- 候補が少ない数字から始めること。
- ほとんど埋まっているブロックを探すこと。
- 鉛筆マークの記法を併用すること。
- 各除外処理の後に確認すること。
数独 解決におけるロックされた候補の重要性
ロックされた候補 は 数独 解法の階層において重要な位置を占めています。基本戦略と高度なパターンの間をつなぐ役割を果たします。
ナードシングルとハイドンシングルは、ほとんどの簡単なパズルを解くのに十分です。ペアは中級領域への到達を広げます。しかし、多くの中級およびハードパズルには、シングルやペアでは不十分なボトルネックがあります。ロックされた候補 が頻繁にブレークスルーとなる消去を提供します。
ロックされた候補 を理解することで、フィッシュパターンやほぼ閉鎖された集合 といったより複雑な技術に必要な直感が養われます。
ロックされた候補 パターンは、中級以上と評価されたパズルで頻繁に現れます。このテクニックは常に使用するでしょう。
難易度と分類
ロックされた候補 はレベル3(簡単)に分類されており、隠れたペアとナードペアと共に扱われます。
数独のテクニックを順番に学んでいる場合、ロックされた候補は3番目または4番目の戦略として追加すべきです。
1. フルハウス とナード/隠れたシングル
2. ナードペアと隠れたペア
3. ロックされた候補(ポイントとクレーマー)
ここから、ナードトリプル、X-Wing、さらに進んだテクニックに挑戦する準備が整います。
一般的な用語と別名
ロックされた候補: 2つのサブタイプをカバーする一般的なテクニック
指し示す: タイプ1 -- ブロックが行または列を制約
指し示すペア: ちょうど2つの候補セルを持つ指し示す
指し示すトリプル: ちょうど3つの候補セルを持つ指し示す
主張: タイプ2 -- 行または列がブロックを制約
ボックス/ライン削減: 主張と同じ
ライン/ボックス削減: 主張と同じ(語順が逆)
インターセクション削除: どちらかのサブタイプを指す一般的な用語
名前がどうであれ、基本的な論理は常に同じです: 候補が交差領域に限定されている場合、他の側のハウスで削除が可能になります。
要約
ロックされた候補 は、すべてのソルバーが早期に学ぶべき基盤となる 数独 技術です。ブロックと行または列の交差部分を用いて候補を除外します。数字の可能性がブロック内で単一の行または列に限定される場合(ポイントング)、その行または列の他の部分から候補を除外します。また、数字の可能性が行または列内で単一のブロックに限定される場合(クレーミング)、そのブロックの他の部分から候補を除外します。この技術はレベル3(簡単)に分類され、中級のパズルで頻繁に現れ、上級戦略への入り口となります。
関連技術