ヒドゥンシングル

ヒドゥンシングルは、領域内の1つの数字に対する「ちょうど1つ」の条件を解きます。8つの位置はすでに排除されているため、1つの候補が真として残ります。それを解くと、そのマスの他のすべての数字と、ソース領域の外の12のピアからその数字が排除されます。大きな解決済み数字はこれらの排除のコンパクトな記録にすぎません。

ヒドゥンシングルとは?

すべての領域はすべての数字をちょうど1回ずつ含みます。ヒドゥンシングルでは、ある数字が行、列、またはブロックの8つの位置ですでに偽であるため、その9番目の位置が真です。そのマスはまだ他の候補を表示する場合があります。その数字は領域内ではシングルですが、必ずしもマス内ではシングルではないからです。

解説付きの実例

下の例では、ある数字がその領域内で入れる場所が1つだけ残っています。これが隠れシングルです。

ステップ 1

1 は ブロック 1 の1つのセルにしか現れません。

ブロック1で唯一の残り位置として候補1がハイライトされた隠れシングルの例。

ステップ 2

ブロック 1 内の 1 の他の8つの位置はすでに除外されているため、C1 では 1 が確定です。これを解決するとそのセルから他のすべての数字が除外され、ブロック 1 の外側にある残り12の関連セルから 1 が除外されます。赤いメモは現在見えている除外を示しています。

C1で1が保持され、同マスの他のメモと行・列内のピアにある1のメモが削除対象として赤く示された隠れシングルの除外ステップ。

ステップ 3

1 を C1 の確定数字として書き込みます。これにより前のステップの除外が記録・適用されます。

マス内およびピアの除外が適用され、C1に確定数字として1が書き込まれた隠れシングルの結果。

この例では、1はブロック内の他の8つの位置からすでに除外されているため、残ったマスで真になります。これを確定するとそのマスの他の候補が削除され、ブロック外の12個のピアから1が除外されます(そのうち4つに残っていた1のメモが赤く示されています)。大きな確定数字の1はこれらの除外を記録したものです。現在の候補状態を表示したまま練習するには、無料の数独パズルを試すことができます。

1つまで消し込む

領域内で1つの数字を選び、交差する行、列、ブロック、または以前の正しい推論によってブロックされた位置を消し込みます。8つの位置が排除されたら、残りの位置がヒドゥンシングルです。書き込まれた候補は同じ位置ごとのスキャンを記録しますが、証明には必須ではありません。

両方の排除セットを適用

残った位置を確定すると、そのマス内の他のすべての数字が偽になります。また、そのマスのすべてのピアでも確定した数字が偽になります。元の領域内の8つのピアは隠れシングルの前提によってすでに除外されているため、その領域外で新たに12個のピア除外が生じます。そのマスに他の候補がなかった場合、同じ候補は隠れシングルであり裸のシングルでもあります。