隠れたサブセット
隠れたサブセット
数独における隠れたサブセットとは?
隠れたサブセットとは、N個の数字が1つのハウス(行・列・ブロック)内のちょうどN個のセルに候補として現れ、それらの数字がそのハウスの他のどのセルにも候補として現れないときに生じます。「隠れた」という言葉は、それらN個のセルが通常、パターンを覆い隠す追加の候補を含んでいるという事実を表しています。隠れたサブセットを特定すれば、そのN個の数字がそれらN個のセルを占めることがわかり、そこから他のすべての候補を安全に除外できます。数独におけるハウスは基本的なグループ単位です:9つの行、9つの列、9つのブロック(3x3のボックス)のそれぞれがハウスです。すべてのハウスには1から9までの各数字がちょうど1回ずつ入らなければなりません。隠れたサブセットは、このルールを利用して、ハウス内で特定の数字がどこに入れるかを絞り込みます。5つの隠れたサブセットテクニックは自然な段階を成しています:-フルハウス--空のセルが1つ、欠けた数字が1つ(N=1、退化したセル)-隠れたシングル--1つの数字が1つのセルに限定(N=1)-隠れたペア--2つの数字が2つのセルに限定(N=2)-隠れた3つ組--3つの数字が3つのセルに限定(N=3)-隠れた四つ組--4つの数字が4つのセルに限定(N=4)各テクニックは、複雑さを増しながら同じ核心的な論理に従います。
核心原理:隠れたサブセットの仕組み
隠れたサブセットを理解するには、その対となる存在である裸のサブセットと対比すると分かりやすい。どちらもサブセットに基づく候補消去の戦略だが、パズルへのアプローチは正反対である。裸のサブセットはマスに注目する。あるハウス内で、候補を合わせるとちょうどN個の数字になるN個のマスを見つける。それらの数字はそのマスに固定され、ハウス内の他のすべてのセルから消去できる。隠れたサブセットは数字に注目する。あるハウス内で、その候補位置がちょうどN個のマスに限られるN個の数字を見つける。それらの数字はそのマスに固定され、それらのマスにある他のすべての候補を消去できる。視点は逆である。ナードペアでは、同じ2つの候補を共有する2つのマスに気づき、それらの候補を他の場所から消去する。隠れたペアでは、特定の2つのマスにしか入らない2つの数字に気づき、それらのマスを埋め尽くしている余分な候補を取り除く。この双対性は単なる教え方のたとえではない――数学的な事実である。未解決のマスがK個あるハウスでは、サイズNの隠れたサブセットは常に、残りのマスの中にサイズK-Nの裸のサブセットを意味する。この双対性を理解すると解く直感が深まる。ナードペアを見つけるのに苦労したら、視点を逆にして隠れたペアを探してみよう。
フルハウス:最も単純な数独のテクニック
フルハウスは、数独全体の中で最も単純な解法テクニックである。あるハウスでは8個のマスにすでに数字が入っている。空いているセルは1つだけ。そのセルには、欠けている唯一の数字が入らなければならない。各行、各列、各ブロックで埋まっているマスを数えよう。8個のマスが埋まっていると数えられたら、それがフルハウスである。欠けている数字とは、1から9までのうち存在しない数である。フルハウスは隠れたシングルの退化したセルである。ハウス内で空いているセルが1つだけのとき、「隠れた」数字は自明に唯一欠けている数となる。解き手は候補の分析がまったく不要なので、何よりも先にこのテクニックを確認する。埋まっているマスを数え、欠けている数字を特定するだけでよい。よく設計されたソルバーでは、フルハウスはペンシルマークも候補の追跡も不要なため、難易度レベル1(初心者)に割り当てられる。手作業で解くとき、フルハウスの機会は多くのマスが埋まった終盤によく現れる。しかし、やさしいパズルの中には、特にパズル作者が9個のうち8個のマスをあらかじめ埋めているブロックにおいて、最初からフルハウスの状況を示すものもある。
隠れたシングル:数独解法の働き手
隠れたシングルは、おそらく数独において単独で最も重要なテクニックです。ある数字が、あるハウス内のただ一つのセルにしか候補として現れない場合です。たとえそのセルに他の候補がいくつか含まれていても、その数字が行・列・ブロックの中で置ける唯一の場所です。したがって、その数字はそこに置かなければなりません。各ハウスについて、数字1から9がそれぞれどこに置けるかを確認します。ある数字がハウス内でちょうど一つの候補セルしか持たないなら、それが隠れたシングルです。実際には、熟練した解答者はクロスハッチングと呼ばれるテクニックを使います。ある数字について、行と列を走査してその数字がすでにどこに置かれているかを見て、次にブロック内でその数字のためにまだ空いているセルを確認します。セルが一つだけ残っていれば、それが隠れたシングルです。ヒドゥンシングルはどのハウスの種類でも発生します。各数字について常に三種類すべてのハウスを確認してください。ブロック内の隠れたシングルは「ボックスシングル」または「ブロックシングル」と呼ばれることもあり、ブロックはコンパクトな3x3の領域なので、視覚的に見つけるのが最も簡単なことが多いです。ヒドゥンシングルは数独を解くための主力です。「Easy」と評価されたほとんどのパズルは、ヒドゥンシングルとネイキッドシングルだけで完全に解けます。より難しいパズルでも、より複雑な戦略を使う合間にヒドゥンシングルを何十回も適用することになります。隠れたシングルは難易度レベル2(Easy)に評価されています。
隠れたペア:二つの数字が二つのセルに固定される
隠れたペアは、二つの数字がハウス内のまったく同じ2つのセルに限定され、ハウス内の他のどのセルにもそのどちらの数字も候補として含まれないときに発生します。それら二つのセルにはペア以外の追加の候補があってもかまいませんが、二つの数字はその二つのセルを占めなければならないため、それらのセルにある他のすべての候補は消去できます。各ハウスについて、どのセルが各数字を候補として含むかを追跡します。二つの数字がまったく同じ二つのセル位置の集合を共有していれば、隠れたペアを見つけたことになります。それら二つのセルから他のすべての候補を消去してください。このペアがヒドゥンである理由は、両方のセルにパターンを覆い隠す余分な候補が含まれているからです。ナードペアなら明白だったでしょう――二つのセルが同じ二つの数字を表示している状態です。隠れたペアでは数字の側から見る必要があります。「これらの数字はどこに行けるのか?同じ二つのセルにしか行けない」という具合です。ヒドゥンペアは難易度レベル3(Easy)に評価されており、シングルを習得した後に解答者が学ぶ最初の中級テクニックの一つです。
隠れた3つ組:三つの数字が三つのセルに限定される
隠れた3つ組は隠れたペアの概念を3つの数字に拡張したものです。3つの数字が、あるハウス内のちょうど同じ3つのセルに候補として存在します(そのハウスの他のセルには存在しません)。それら3つのセルにある他のすべての候補は削除できます。重要な注意点があります。3つの数字それぞれが3つのセルすべてに現れる必要はありません。たとえば、数字Aがセル1と2に、数字Bがセル2と3に、数字Cがセル1と3に現れることがあります。3つの数字の位置の集合を合わせてちょうど3つのセルを覆っていれば、有効な隠れた3つ組です。ここから、隠れたサブセットを手作業で見つけるのが本当に難しくなります。3つの数字のすべての組み合わせを調べ、それらの候補位置を合わせてちょうど3つのセルに収まるかどうかを確認する必要があります。実践的な方法:まず、あるハウス内で位置が限られている数字(2つか3つのセルにしか現れないもの)を書き出します。次に、それらの位置が限られた数字のうち3つが同じセルの集合を共有しているかどうかを確認します。隠れたトリプルは難易度レベル4(中級)です。注意深い記録が必要で、ペンシルマークを書き留めることが不可欠となるテクニックの一つです。
隠れた四つ組:4つのセルに4つの数字
隠れた四つ組は実用的な隠れたサブセットの中で最大のものです。4つの数字が、あるハウス内のちょうど4つのセルに候補として存在し、それらの数字はそのハウスの他のどのセルにも現れません。それら4つのセルからクワッド以外の候補をすべて削除します。隠れたクワッドは本当に珍しく、いくつかの理由から手作業で特定するのは極めて困難です:1.組み合わせの爆発。9つの数字があるため、確認すべき4桁の組み合わせは126通りあります。2.大きなセルグループ。ノイズを頭の中で取り除きながら4つのセルにまたがる4つの数字を追跡するのは、認知的に負荷がかかります。3.補集合のショートカット。隠れた四つ組は、見つけやすいネイキッドの補集合をしばしば意味します。4.出現頻度が低い。多くのパズルでは他の上級テクニックに直接進みます。スキャン戦略は隠れた3つ組の検出を拡張したものです。あるハウス内で位置が限られている数字(2、3、または4つのセルに現れるもの)を探します。そのような4つの数字がすべて同じ4つのセルの集合内に現れれば、隠れた四つ組です。隠れたクワッドは難易度レベル6(上級)です。
隠れたサブセットの見つけ方:実践的なスキャン戦略
あらゆるサイズの隠れたサブセットを見つけるための統一的な戦略を紹介します。1.ハウス(行、列、ブロック)を1つ選びます。2.数字の位置マップを作ります。1から9までの各数字について、そのハウス内の未解決のマスで候補として含むものをリストアップします。すでに配置済みの数字は飛ばします。3.位置が限られた数字を探します。1つのセルにしか現れない数字は隠れたシングルです。2つのマスに現れる数字は隠れたペアの候補です。3つのマスに現れる数字は隠れた3つ組の一部である可能性があります。4.位置の共有を確認します。それぞれ2つのマスにしか現れない2つの数字を取り上げます。それらが同じ2つのマスを共有していれば、隠れたペアです。それぞれ2〜3のマスに現れる3つの数字を取り上げます。それらのセルの集合がちょうど3つのマスであれば、隠れた3つ組です。5.余分な候補を消去します。隠れたサブセットを確認したら、特定したマスからサブセット以外の候補をすべて取り除きます。6.すべてのハウスで繰り返します。実践のヒント:-ブロックから始めましょう。コンパクトでスキャンしやすいです。-少ない数字に注目しましょう。6つか7つのハウスに配置された数字は、残りの位置がごくわずかです。-隠れたシングルにはクロスハッチングを使いましょう。-配置するたびに確認しましょう。-列を忘れないようにしましょう。
隠れたサブセットと裸のサブセット:補集合の関係を理解する
未解決のマスがK個あるハウスでは、サイズNの隠れたサブセットは常にサイズK-Nの裸のサブセットと共存します。一般的なルールとして:-ハウスの未解決のマスが少ない(5以下)ときは、裸のサブセットを探します。-ハウスの未解決のマスが多い(6以上)ときは、隠れたサブセットを探します。解答者は、より簡単な説明が得られるため、小さいほうのサブセットを報告します。
難易度の進行:初心者から上級者まで
5つの隠れたサブセットのテクニックは、幅広い難易度に及びます:フルハウス(N=1、退化):レベル1、初心者隠れたシングル(N=1):レベル2、やさしい隠れたペア(N=2):レベル3、やさしい隠れた3つ組(N=3):レベル4、中級隠れた四つ組(N=4):レベル6、上級隠れた3つ組(レベル4)から隠れた四つ組(レベル6)への跳躍は、難易度の大きな飛躍を反映しています。隠れたトリプルはすでに珍しく難関ですが、隠れたクワッドは組み合わせの複雑さと希少さの両方を加えます。
隠れたシングルが数独戦略の基盤である理由
隠れたシングルをマスターしましょう。これは他のすべての数独戦略の土台となるものです。隠れたシングルはどこにでもあります。典型的なパズルでは、他のどのテクニックよりも頻繁に隠れたシングルを使うことになります。隠れたシングルは上級テクニックへの入り口です。あらゆる上級テクニックは最終的に候補を消してグリッドを単純化し、その結果生まれた確定マスを隠れたシングルが片付けます。隠れたシングルは走査の流暢さを養います。「このハウスで数字Xはどこに入れるか?」と確認する思考プロセスは、より複雑なテクニックでも使われる同じ走査です。速さは隠れたシングルから生まれます。競技ソルバーは主に素早い隠れたシングルの検出によって速いタイムを実現します。練習の推奨:1.「Easy」パズルを隠れたシングルとフルハウスだけで解くことから始めましょう。2.「Medium」パズルに進み、隠れたペアを加えましょう。3.「Hard」パズルに進み、隠れたトリプルやクアッドが時々現れるようにしましょう。