ネイキッド・サブセットとは、1つのハウス（行、列、またはブロック）内にあるN個のマスの候補数字を合わせると、ちょうどN種類の異なる数字になるグループのことです。それらN個の数字は必ずそのN個のマスに入らなければならないため、同じハウス内の他のどのセルにも現れません。これにより、残りのマスからそれらの数字を安全に消去できます。「ネイキッド（裸の）」とは、候補数字が完全に見えていて露出していることを意味します。他の候補に隠れた数字を探す必要はありません。サブセットは、それらのマスの鉛筆マークによって明白に示されます。ネイキッド・サブセットのテクニックは、考えられるグループのサイズごとに4つあります。-ナードシングル（N=1）--候補が1つのセル-ナードペア（N=2）--候補を合わせるとちょうど2つの数字になる2つのマス-ナードルプル（N=3）--候補を合わせるとちょうど3つの数字になる3つのマス-ナAkedquad（N=4）--候補を合わせるとちょうど4つの数字になる4つのマスこれら4つのテクニックは一族を成します。同じ根本的な論理を共有し、関わるマスの数だけが異なります。核心となる原理を一度理解すれば、より大きなサブセットはより単純なものの自然な拡張となります。

ネイキッド・サブセットの背後にある論理は、鳩の巣原理と呼ばれることもある基本的な数え上げの議論に基づいています。平たく言えば、N個の枠とそれを埋めるちょうどN個の項目があるなら、各項目はちょうど1つの枠に入り、他の項目はそれらの枠を占めることができません。9つのマスがある行を考えてみましょう。未解決の各セルには候補数字の集合があり、それはそのセルにまだ合法的に入り得る鉛筆マークです。その行に、候補が同じ2桁のプール、たとえば{4,6}から取られている2つのマスが見つかったとします。一方のマスには4が、もう一方には6が入らなければなりません。他の配置の余地はありません。つまり、その行の他のどのセルも4や6を含むことはできません。両方の数字がそれら2つのマスで完全に説明されるからです。同じ推論はより大きな規模にも当てはまります。候補を合わせるとちょうど3つの数字になる3つのマスは、それら3つの数字をそれら3つのマスに固定します。候補を合わせて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つの候補に絞られることがあります。易しいパズルでは、ネイキッドシングルの連鎖だけで、他のテクニックを使わずに盤面の大部分を解くことができます。難しいパズルでも、ネイキッドシングルはより高度なテクニックで候補を消去した後に盤面を整理します。

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

ナードルプルは、同じハウス内の3つのセルの候補が、ちょうど3つの数字からなる同じプールのみに由来する場合に発生します。3つのセル全体の候補を合わせた集合には、ちょうど3つの異なる数字が含まれます。多くの解答者を不意打ちにする重要なポイントは次のとおりです。個々のセルが3つの数字すべてを含む必要はありません。有効なナードルプルには、3つの数字のうち2つしか持たないセルが含まれていてもかまいません。重要なのは、3つのセル全体の候補の和集合がちょうど3つの異なる値になることです。多くのプレイヤーはまずネイキッドペアを学び、その後、ネイキッドトリプルは3つのセルすべてが同じ3つの候補（例えば3つのセルすべてに{1,3,7}）を含む必要があると想定します。それはナードルプルの有効な形の1つですが、唯一の形ではなく、最も一般的な形でもありません。列5にある次の3つのセルを考えてみましょう。-R2C5:{1,3}-R4C5:{1,7}-R8C5:{3,7}候補を合わせると{1,3,7}となり、これは3つのセルにちょうど3つの数字があることを意味します。これは有効なナードルプルです。ただし、どの単一のセルも3つの数字すべてを含んではいません。論理はネイキッドペアと同じです。これらの3つの数字は、何らかの順序でこれら3つのセルを埋めなければなりません。1つのセルが1を、1つが3を、1つが7を得ます。したがって、1、3、7は列5の他のすべてのセルから除外できます。まず、候補が2つまたは3つのセルを特定します。あるハウスで、候補を合わせるとちょうど3つの数字の集合になる3つのセルを見つけたら、それがナードルプルです。実践的なアプローチ:1.各ハウスで、候補が3つ以下の未解決のセルをすべてリストアップします。2.そのようなセルから3つの任意の組み合わせを選びます。3.それらの候補の和集合を取ります。和集合がちょうど3つの数字であれば、それはナードルプルです。可能な組み合わせが複数あるため、ネイキッドトリプルはネイキッドペアよりも注意深い走査を必要とします。これが、それらをより高難度のテクニックにしている理由の一部です。

ナakedquadは、一般的に使われるネイキッドサブセットの中で最大のものです。これは、あるハウス内の4つのセルが、ちょうど4つの数字だけからなる同じ候補プールから候補を持つときに発生します。トリプルと同様、個々のセルが4つの数字すべてを含む必要はありません。重要な条件は、4つのセルすべての候補の和集合がちょうど4つの異なる値になることです。論理はより小さなネイキッドサブセットとまったく同じです。4つの数字が4つのセルを埋めなければなりません。それらの数字はハウス内の他のどこにも現れてはいけません。ネイキッドクアッドは、何気なく探してもほとんど見つかりません。4つのセルと4つの数字では、確認すべき組み合わせがはるかに多くなります。未解決のセルが6つあるハウスでは、そのうち4つを選ぶ方法が15通りあります。それぞれの組み合わせを頭の中で確認するのは面倒です。ネイキッドクアッドを見つけるソルバーのほとんどは、体系的な確認によるか、残りのセルが補完的なヒドゥンサブセットを形成していることに先に気づくことで見つけます。その希少さにもかかわらず、ネイキッドクアッドは実際のパズル、特に中級から上級の難易度に現れます。このテクニックをレパートリーに持つことで、より簡単なテクニックを使い果たしても行き詰まることがなくなります。

ネイキッドサブセットを効率的に見つけるには、ランダムなスキャンではなく体系的なアプローチが必要です。経験豊富なソルバーが使うテクニックを紹介します。候補数の少ないセルから始める：候補が少ないセルほど、ネイキッドサブセットに関与する可能性が高くなります。候補が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つのセルの除外数字の中にナakedquadが存在します）。どちらか一方を見つけて、対応する消去を適用できます。この双対性により、同じ消去への2つの道筋が得られます。ハウスに未解決のセルが多い場合、小さなネイキッドサブセット（ペアやトリプル）のほうが大きなヒドゥンサブセットより見つけやすいです。逆に、ハウスに未解決のセルが少ない場合、隠れたペアのほうが相補的なナakedquadを探すより見つけやすいかもしれません。熟練した解答者は、その状況でより実用的なほうに応じてネイキッドとヒドゥンの視点を切り替えます。両方の側面を見る力は大きなアドバンテージになります。

4つのネイキッド・サブセット技法はいくつかの難易度レベルにまたがっており、グループのサイズが大きくなるほど見つけるのがどれだけ難しくなるかを反映しています：ナードシングル（N=1）：レベル2、やさしいナードペア（N=2）：レベル3、やさしいナードルプル（N=3）：レベル4、ふつうナAkedquad（N=4）：レベル5、難しい難易度の上昇は、どのセルでも同じである論理そのものではなく、探索の複雑さによるものです：ナードシングル：確認するセルは1つだけです。候補が1つあればそれで完了です。組み合わせの探索は不要です。ナードペア：候補が一致する2つのセルを見つける必要があります。未解決のセルが6つあるハウスでは、確認すべきペアは15通りあります。ただし、まったく同じ2つの候補を持つセルを探すため、視覚的なパターンが特徴的で認識しやすいです。ナードルプル：候補を合わせると3つの数字になる3つのセルを見つける必要があります。未解決のセルが6つあるハウスでは、3つ組は20通りあります。セルが同一の候補セットを持つ必要はないため、探索はより難しくなります。ナAkedquad：未解決のセルが多数ある中から4つのセルを見つける必要があります。組み合わせの数が増え、4桁の和集合を頭の中で計算するのは難しくなります。ほとんどのクワッドは、体系的な候補の数え上げか、補完的な隠れたペアを見つけることによって間接的に発見されます。パズルの難易度評価は、解くのにどの技法が必要かによって決まることがよくあります。ネイキッド・シングルとペアだけで解けるパズルはやさしいと評価されます。ネイキッド・トリプルを必要とするパズルはふつうの領域に入ります。ナakedquadを必要とするパズルは少なくとも難しいです。

間違い1：すべてのセルがすべての数字を含むと期待してしまう裸のトリプルやクアッドで最もよくある誤りは、部分集合内のすべてのセルがN個の数字すべてを含まなければならないと決めつけることです。これは誤りです。セルが{1,3}、{1,7}、{3,7}のナードルプルは、どのセルも1、3、7のすべてを含んでいなくても完全に有効です。回避法：個々のセルではなく、常に候補の和集合を確認しましょう。グループ内のすべてのセルにわたる異なる数字を数えます。その数がセルの数と等しければ、数字が個々のセルにどう分配されていても裸の部分集合です。間違い2：裸の部分集合と隠れた部分集合の混同ナードペアは、候補がN個の数字に限られたN個のセルを持ちます。隠れたペアは、N個の数字がN個のセルに限られていますが、それらのセルには追加の候補があってもかまいません。ナードペアでは、ハウス内の他のセルからペアの数字を消去します。隠れたペアでは、ペア自身のセルからペア以外の数字を消去します。回避法：自問しましょう。「候補が制限されたセル（裸）を見ているのか、位置が制限された数字（隠れた）を見ているのか？」制限の方向が、見つけた部分集合の種類を決めます。間違い3：間違ったセルから消去してしまうセルR1C2とR1C7にナードペア{4,6}を見つけたら、行1の他のセルから4と6を消去します。R1C2とR1C7自体から他の候補を消去してはいけません。ナードペアの候補は、部分集合自身のセル内ではそのまま残ります。回避法：ルールを覚えましょう。裸の部分集合は部分集合の外側のセルからその数字を消去します。隠れた部分集合は部分集合の内側のセルから部分集合以外の数字を消去します。間違い4：すべての共有ハウスの確認を忘れる2つのセルは複数のハウスを共有することがあります。たとえば、R1C1とR1C3は行1とブロック1の両方を共有します。それらがナードペアを形成するなら、行1の他のセルからも、ブロック1の他のセルからもペアの数字を消去できます。消去を1つのハウスだけに限定しないでください。回避法：見つけた裸の部分集合ごとに、部分集合のすべてのセルがどのハウスを共有しているかを確認しましょう。共有するすべてのハウスで消去を適用します。

ネイキッドサブセットは、小さいものから大きいものへと順に確認しましょう：1.まずネイキッドシングル。数字を置くたびに、新しいネイキッドシングルがないか探します。これは手間がかからず即座に使えます。2.次にネイキッドペア。ネイキッドシングルがなくなったら、すべての行・列・ブロックでネイキッドペアを探します。これは最も一般的な中級テクニックで、しばしばさらなるネイキッドシングルを導きます。3.3番目にネイキッドトリプル。ペアで足りないときは、探索をトリプルへ広げます。複数のセルが2つか3つの候補を持つハウスに注目しましょう。4.最後にネイキッドクアッド。より小さなサブセットや他のテクニックを使い果たしたときにのみ、クアッドを探します。その難しさを考えると、先に隠れたペアやトリプルを確認するのもよいでしょう。見つけやすく、双対性の原理を通じて同じ情報を明らかにすることがあるからです。この順序に従うことで、最も簡単で最も生産的なテクニックを先に適用し、本当に必要なときにために頭の労力を節約できます。

ネイキッドサブセットは、1つのエレガントな原理で統一された4つの数独テクニックの一族です：ハウス内のN個のセルが合計N個の候補を持つとき、それらの数字はその場所に固定され、ハウス内の他のすべてのセルからそれらを除外できます。セルを一発で解く地味なナードシングルから、候補を消し去るネイキッドペアやトリプル、そして注意深く体系的な探索を要するとらえどころのないナakedquadまで、これらのテクニックは論理的な数独解法の背骨を成しています。これらをマスターすれば、あらゆる難易度のパズルに使える信頼できる道具が手に入り、隠れたサブセット、フィッシュパターン、チェーンといったさらに高度な戦略に取り組むための土台が築かれます。