ナaked サブセット

数独のナaked サブセットとは何ですか？

ナードサブセットとは、1つのハウス（行、列、ブロック）内のN個のセルの組み合わせで、それらのセルの候補数字の集合に正確にN個の異なる数字が含まれる状態を指します。これらのN個の数字は、そのN個のセルにしか入らないため、そのハウス内の他のセルにはそれらの数字は入らないことになります。これにより、残りのセルからこれらの数字を安全に除外できます。「ナード」という言葉は、候補が完全に可視で明確に現れていることを意味します。他の候補の中に隠れている数字を探す必要はありません。このサブセットは、そのセル内の鉛筆マークによって明確に自らを告げています。ナードサブセットには4つの技法があります。それぞれが可能なグループサイズに対応しています。 - ナードシングル (N=1) -- 1つのセルに1つの候補数字 - ナードペア (N=2) -- 2つのセルの候補数字の合計が正確に2つの数字 - ナードルプル (N=3) -- 3つのセルの候補数字の合計が正確に3つの数字 - ナaked Quad (N=4) -- 4つのセルの候補数字の合計が正確に4つの数字これらの4つの技法は1つの家族を形成しています。共通の論理に基づいており、関与するセルの数だけ異なります。基本的な原理を理解すれば、より大きなサブセットは、より単純なものの自然な拡張であることがわかります。

コア原則：裸の部分集合が機能する理由

ナードサブセットの論理的根拠は、しばしば「鳩の巣原理」と呼ばれる基本的な数え上げ論理に基づいている。簡単に言うと、N個のスロットとちょうどN個のアイテムがある場合、各アイテムは1つのスロットにのみ配置され、他のアイテムはそのスロットを占有できない。 9つのセルからなる行を考えてみよう。未解決のセルには、そのセルに合法的に配置できる可能性のある候補数字（鉛筆マーク）の集合がある。もしある行内の2つのセルの候補が、同じ2つの数字のプール（たとえば{4, 6}）から選ばれていると分かった場合、片方のセルには4が、もう片方のセルには6が入る必要がある。他の配置方法はありえない。つまり、その行内の他のセルには4や6を入れることはできない。なぜなら、その2つの数字はすでにその2つのセルで完全に確保されているからである。この論理は拡張可能である。3つのセルの候補の合計がちょうど3つの数字に一致する場合、その3つの数字はその3つのセルに固定される。4つのセルの候補の合計がちょうど4つの数字に一致する場合、その4つの数字はその4つのセルに固定される。どのセルにおいても、固定された数字は、共有するハウス内の他のすべてのセルから削除できる。この原則は、ハウスが行、列、または3x3のブロックのいずれであっても、全く同じように適用される。唯一の要件は、すべてのN個のセルが同じハウスに属していることである。

ナードシングル: 数独を解くための基盤

ナードシングルは、最も単純なナードサブセットです。これは、セルのペンシルマークにそのセルに残る候補が1つだけになったときに発生します。1つの数字しか合法な値として許可されていないため、その数字がそのセルの解となります。すべての数独ソルバー、人間でもアルゴリズムでも、ナードシングルに依存しています。これは、行、列、ブロックからの制約によって不可能な数字がすべて除外された後の最終段階です。残された唯一の候補が答えです。ナードシングルを見つけるには、各セルのペンシルマークを注意深く追跡する必要があります。セルは最大9つの候補から始まります。ボード上の他の場所に数字を配置するたびに、候補が除外されます： - 同じ行に数字が配置された場合、そのセルの候補から削除します。 - 同じ列に数字が配置された場合、そのセルの候補から削除します。 - 同じ3x3ブロックに数字が配置された場合、そのセルの候補から削除します。これらの除外によって、セルが1つの候補にまで減少したとき、あなたはナードシングルを発見したのです。部分的に解かれたパズルにおけるセル R5C3 を考えてみましょう。行、列、ブロックの制約によって以下の数字が除外されます： - 行5にはすでに：1, 3, 5, 8 があります - 列3にはすでに：2, 6, 9 があります - ブロック4（中央左ブロック）にはすでに：7 があります合わせて、1, 2, 3, 5, 6, 7, 8, 9 がすべて除外されます。残る唯一の候補は4です。したがって、セル R5C3 は4でなければなりません。これはナードシングルです。ナードシングルは、各手を打った直後に最初に確認すべきものです。数字を1つ配置するたびに、隣接するセルが1つの候補にまで減少する可能性があります。簡単なパズルでは、ナードシングルの連鎖によって、他のテクニックを使わずにボードの大部分を解くことができます。難しいパズルでも、ナードシングルはより高度なテクニックで候補を絞り込んだ後のボードの整理に役立ちます。

ナードペア：2つのマス、2つの候補、強力な除外

ナードペアとは、同じハウス内の2つのセルが、他の候補を含まずに、まったく同じ2つの候補を含むときに発生します。これらの2つの数字は、その2つのセルに必ず配置されるため、そのハウス内の他のすべてのセルから、2つの数字を削除できます。ナクドペアは、中級の数独戦略の中で最もよく使われるもの之一です。頻繁に出現し、他のテクニックを妨げる候補を削除することで、大きな進展をもたらすことがあります。 1行目の2つのセルが、{4, 6}という候補を含み、他の候補を含まない場合を考えてみましょう。 - R1C2 には候補：{4, 6} - R1C7 には候補：{4, 6} この2つのセルのどちらかが4、もう片方が6になります。どちらがどの数字かはまだわかりませんが、4と6はこの2つのセルに完全に消費されることが確実です。したがって、1行目の他のすべてのセルには、4または6を含めることはできません。 R1C4 に候補{3, 4, 6, 9}がある場合、4と6を削除することで{3, 9}に簡略化できます。R1C8 に候補{2, 6}がある場合、6を削除することで{2}に簡略化できます。このように、候補が1つに減ることは、自身がナードシングルであることを意味し、そのセルを即座に解決します。各ハウスを調べて、ちょうど2つの候補を含むセルを探します。同じハウス内で、同じ2候補セットを持つ2つのセルが見つかったら、ナードペアが存在します。2つの鉛筆マークしか持たないセルは視覚的に目立つため、ナクドペアは中級テクニックの中で最も見つけやすいものの一つです。役立つ習慣：セルにちょうど2つの候補があることに気づいたら、すぐに、同じ行、列、またはブロック内の他のセルが同じペアを共有していないか確認してください。

ナードルプル: 3つのセル、3つの候補、繊細なひねり

三つのセルが同じハウスにあり、それらの候補が完全に同じ3つの数字のプールから描かれたときに、ナードルプルが発生します。三つのセルのすべての候補の集合は、正確に3つの異なる数字を含みます。ここでの重要な洞察は、多くのソルバーが誤解するポイントです：個々のセルがすべての3つの数字を含む必要はありません。有効なナードルプルは、2つの数字しか含まないセルを含むこともできます。重要なのは、三つのセルのすべての候補の和集合が正確に3つの異なる値であることです。多くのプレイヤーはナードペアを最初に学び、その後ナードトリプルが、三つのセルすべてに同じ3つの候補（例：{1, 3, 7}）が含まれる必要があると誤解します。確かにその形式は一つの有効なナードトリプルですが、唯一の形式ではなく、また最も一般的でもありません。以下の三つのセルを列5で考えてみましょう： - R2C5: {1, 3} - R4C5: {1, 7} - R8C5: {3, 7} これらの候補の和集合は{1, 3, 7}であり、正確に3つの数字が3つのセルに存在します。これは有効なナードルプルです。ただし、どの1つのセルも3つの数字をすべて含んでいません。論理はナードペアと同様です。この三つの数字は、この三つのセルに、ある順序で配置される必要があります。1つのセルが1を、1つが3を、1つが7を取得します。したがって、1、3、7は列5の他のすべてのセルから削除できます。まず、2つまたは3つの候補を持つセルを特定します。あるハウス内で、三つのセルの候補の和集合が正確に3つの数字である場合、それはナードルプルです。実用的なアプローチ： 1. 各ハウスで、3つ以下の候補を持つ未解決のセルをリストアップします。 2. その中から任意の3つのセルの組み合わせを選びます。 3. それらの候補の和集合を取ります。もし和集合が正確に3つの数字であれば、それはナードルプルです。複数の組み合わせが存在するため、ナードトリプルはナードペアよりも注意深くスキャンする必要があります。これが、ナードトリプルがより高い難易度のテクニックとされる理由の一つです。

ナaked Quad: 4つのマス、4つの候補、最大の複雑さ

ナaked Quad は、よく使われる裸の部分集合の中で最も大きいものです。これは、あるハウス内の4つのセルが、まったく同じ4つの数字のプールから候補をもつときに発生します。トリプルと同様、個々のセルがすべての4つの数字を含む必要はありません。重要な条件は、4つのセルの候補の和集合が正確に4つの異なる値に等しいことです。論理は、より小さな裸の部分集合と同一です。4つの数字は4つのセルに配置されなければなりません。その数字は、ハウス内の他の場所に現れることはできません。裸のクアッドは、日常的なスキャンではめったに見つかりません。4つのセルと4つの数字があるため、確認すべき組み合わせが非常に多くなります。6つの未解決セルを持つハウスでは、4つを選ぶ方法が15通りあります。これを頭の中で確認するのは面倒です。ほとんどのソルバーは、系統的なチェックを行っているか、または残りのセルが補完的な隠れた部分集合を形成していることに最初に気づくことで、裸のクアッドを見つけています。そのような手順がめったに使われないにもかかわらず、裸のクアッドは実際に中級から上級の難易度のパズルに現れます。このテクニックを自分の道具箱に持っていることで、より簡単なテクニックがすべて使われた後のピンチに備えることができます。

ナaked サブセットを特定する方法：実践的なスキャンテクニック

ナードサブセットを効率的に見つけるには、ランダムなスキャンではなく構造的なアプローチが必要です。経験豊富なソルバーが使うテクニックを以下に示します。候補数が少ないセルから始める：候補数が少ないセルほどナードサブセットに参加しやすいです。2つの候補を持つセルはペア、トリプル、クアッドの一部になり得ます。5つの候補を持つセルは、合併した数字の数が多すぎるのであまり役に立ちません。まず、各ハウス内の2つの候補を持つセルを調べます。一致するペアがあるか確認します。次に、2つまたは3つの候補を持つセルをまとめて調べてトリプルを見つけてください。ハウスごとに処理する：行、列、またはブロックを1つ選び、その未解決セルをすべて一緒に調べます。それぞれの候補をリストアップし、小さな数字のプール内で重複するセルのクラスターがないか確認します。カウントチェックを使う：N個のセルがナードサブセットを形成すると疑う場合、それらの合併候補に含まれる異なる数字の数を数えます。その数がNに等しければ、ナードサブセットが見つかったことになります。数がNを超える場合は、そのセル群はナードサブセットではありません。すべての削除後に確認する：他のテクニックでセルの候補が削除された後、そのセルのハウスを再確認してください。削除によって以前は見えなかった新しいナードサブセットが生まれている可能性があります。多くのナードペアは、以前の削除の副産物として現れます。補集合を探す：ハウスにK個の未解決セルがある場合、ナードサブセットが存在すると疑うが直接見つからない場合は、補集合を調べてみてください。サイズMの隠れたサブセットが見つかると、自動的にサイズK-Mのナードサブセットが存在することになります。

裸の部分集合と隠れた部分集合の関係

ナードサブセットとヘイドンサブセットは、同じ硬貨の両面です。それらの二重性を理解することで、数独論理の理解が深まり、見逃していたパターンを見つける手助けになります。隠れたサブセットとは、あるハウス内のN個の数字が、N個の特定のセルにのみ現れる場合を指します。これらの数字は「隠れている」ため、そのセルには他の候補も含まれている可能性があります。削除は、これらのN個のセルから余分な候補を除去し、隠れた数字だけを残すものです。 K個の未解決セルを持つどのハウスでも、サイズNのナードサブセットが存在する場合、自動的にサイズK-Nのヘイドンサブセットが存在します。これら2つのサブセットは補完的であり、未解決セルと残りの数字を重複のない2つのグループに分割します。たとえば、6つの未解決セルを持つ行を考えてみましょう。そのうち2つのセルがナードペアを形成する場合、残りの4つのセルは隠れた四つ組を形成します（あるいは、その4つのセルの除外された数字の間にナaked Quadが存在するとも言えます）。どちらか一方を見つけて、対応する削除を適用できます。この二重性により、同じ削除に至る2つの道筋があります。ハウスに多くの未解決セルがある場合、小さなナードサブセット（ペアやトリプル）は、大きなヘイドンサブセットよりも見つけやすいです。逆に、ハウスに少ない未解決セルがある場合、隠れたペアは、補完的なナaked Quadを探すよりも見つけやすいかもしれません。経験豊富なソルバーは、状況に応じてナードとヘイドンの視点を切り替えます。両方の視点を理解できる能力が、大きなアドバンテージをもたらします。

難易度の段階的進化：初心者から上級者まで

4つのナードサブセットテクニックは、グループサイズが大きくなるにつれて難易度が上がることを反映して、いくつかの難易度レベルにわかれています。ナードシングル (N=1): レベル2、簡単ナードペア (N=2): レベル3、簡単ナードルプル (N=3): レベル4、中級ナaked Quad (N=4): レベル5、難しい難易度の上昇は論理の複雑さではなく、検索の複雑さに起因しています。ナードシングル: 1つのセルを確認するだけでよい。1つの候補がある場合、すぐに終了。組み合わせの検索は必要ない。ナードペア: 2つのセルに一致する候補を見つける必要がある。6つの未解決セルを持つハウスでは、15通りのペアを確認する必要がある。しかし、同じ2つの候補を持つセルを探しているため、視覚的なパターンは明確で見つけやすい。ナードルプル: 3つのセルの合計候補が3つの数字になるようにする必要がある。6つの未解決セルを持つハウスでは、20通りの組み合わせがある。検索が難しくなるのは、セルが同じ候補集合を持つ必要がないため。ナaked Quad: 複数の未解決セルから4つのセルを見つける必要がある。組み合わせの数が増加し、4桁の和を頭の中で計算するのはより難しい。ほとんどの四つ組は、系統的な候補数え上げ、または補完的な隠れたペアを発見することで間接的に見つける。パズルの難易度評価は、解くために必要なテクニックに依存することが多い。ナードシングルやナードペアまでで解けるパズルは簡単とされる。ナードトリプルが必要なパズルは中級に分類される。ナaked Quadを必要とするパズルは、少なくとも難しいとされる。

よくあるミスとその回避方法

ミス1: すべてのセルにすべての数字が含まれると期待することナードルブルやクアッドで最もよくある誤りは、サブセット内のすべてのセルにすべてのN桁が含まれると思い込むことです。これは誤りです。セル{1,3}、{1,7}、{3,7}を持つナードルプルは、1、3、7のすべてが1つのセルに含まれないとしても、完全に有効です。回避方法: 個々のセルではなく、候補の和集合を常に確認してください。グループ内のすべてのセルにわたって異なる桁を数えます。その数がセルの数と一致すれば、桁の分布に関わらずナードルブルサブセットです。ミス2: ナードルブルとハイドンサブセットを混同することナードペアはN個のセルに候補がN桁に限定されるものです。隠れたペアはN桁がN個のセルに限定されるものですが、そのセルには追加の候補がある可能性があります。ナードペアでは、ペアの桁を他のセルから除外します。隠れたペアでは、ペア自身のセルから非ペアの桁を除外します。回避方法: 自分に問いましょう。「私は候補が制限されたセル（ナードルブル）を見ているのか、それとも位置が制限された桁（ハイドン）を見ているのか？」制限の方向が、どのタイプのサブセットを見つけたかを決定します。ミス3: 間違ったセルから除外することナードペア{4,6}がセルR1C2とR1C7に見つかった場合、行1の他のセルから4と6を除外します。R1C2とR1C7自体から他の候補を除外してはいけません。ナードペアの候補は、サブセット自身のセルにそのまま残ります。回避方法: ルールを思い出してください。ナードルブルサブセットは、サブセット外のセルからその桁を除外します。ハイドンサブセットは、サブセット内のセルから非サブセットの桁を除外します。ミス4: すべての共有ハウスを確認しないこと 2つのセルは1つ以上のハウスを共有することがあります。たとえば、R1C1とR1C3は行1とブロック1の両方を共有します。もしこれらがナードペアを形成すれば、行1の他のセルからペアの桁を除外し、ブロック1の他のセルからも除外できます。1つのハウスに限定して除外してはいけません。回避方法: あなたが見つけたナードルブルサブセットごとに、そのサブセットのすべてのセルが共有するハウスを確認してください。共有するすべてのハウスで除外を適用してください。

解法ワークフローでナードサブセットを使用するタイミング

ナード・サブセットは、最も小さい順に確認する必要があります： 1. ナード・シングルを最初に確認します。各配置後、新しいナード・シングルをスキャンします。これらは無料で即座に利用可能です。 2. ナード・ペアを2番目に確認します。ナード・シングルが残っていないことを確認した後、各行、各列、各ブロックでナード・ペアをスキャンします。これらは最も一般的な中間技術であり、しばしばさらなるナード・シングルを解き放ちます。 3. ナード・トリプルを3番目に確認します。ペアが不十分な場合、トリプルに検索範囲を広げます。複数の候補を持つセルが集まっているハウスに注目してください。 4. ナード・クォッドを最後に確認します。小さなサブセットや他のテクニックをすべて確認した後にのみクォッドを検索してください。難易度が高いため、隠れたペアやトリプルを最初に確認することを検討してください。それらは双対原理によって同じ情報を明らかにする可能性があり、見つけやすい場合があります。この順序に従うことで、最も簡単で生産的なテクニックを最初に適用し、精神的負荷を本当に必要なときにのみ残すことができます。

要約

ナード・サブセットは、4つの数独技術を1つのエレガントな原理で統合した家族です。ハウス内のN個のセルに、ちょうどN個の候補数字が集まっている場合、その数字は固定され、他のすべてのセルから除外できます。単純なナードシングルがセルを即座に解決するところから、ナード・ペアやトリプルが候補を削除するところまで、そして慎重な体系的な検索を要する難解なナaked Quadに至るまで、これらの技術は論理的な数独解法の基盤を形成しています。これらをマスターすることで、あらゆる難易度のパズルに適用可能な信頼できるツールを手に入れ、隠れたサブセット、フィッシュパターン、チェーンといったより高度な戦略に進むための土台が築かれます。