ネイキッドシングル

ネイキッドシングルは、マスの「ちょうど1つ」の条件を解きます。その行、列、ブロック、および以前の推論はすでに8つの数字を排除しているため、1つの候補が真として残ります。この候補を解くと、20のピアすべてからも排除されます。それを大きな解決済み数字として書くことは、これらの排除のコンパクトな記録です。

1つまで数え下げる

完全な候補状態は、以前の正しい推論が行ったすべての排除を保持しなければなりません。8つの数字があるマスで偽の場合、9番目がネイキッドシングルです。鉛筆マークはこの状態を可視化します。8つの排除すべてがそのマスの行、列、ブロックにすでに配置された数字から直接来る場合、同じ生き残りはノートなしで完全に見つけられます — このスキャンは基本の最後の可能な数字です。そうでなければ、以前の消去は候補状態に記録されたままにする必要があります。

解説付きの実例

次の例を見てみましょう。メモが1つの候補だけに絞られたマスです。

ステップ 1

B4 には候補が1つしか残っていません。

B4で唯一の残りメモとして候補8がハイライトされた裸のシングルの例。

ステップ 2

他の8つの数字はすでに B4 から除外されているため、そこでは 8 が確定です。これを解決すると 8 も関連する20セルすべてから除外されます。赤い 8 のメモは現在見えている除外を示しています。

B4で候補8が保持され、ピア内の削除可能な8のメモが赤く示された裸のシングルの除外ステップ。

ステップ 3

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

B4に確定数字として8が書き込まれ、ピアの除外が赤く示されたままの裸のシングルの結果。

この例では、8つの数字がそのマスからすでに除外されているため、そこでは8が真になります。これを確定すると20個のすべてのピアから8が除外され、ピア内にある8のメモはすべて削除できます。大きな確定数字の8はその除外結果の全体を記録したものです。現在の候補状態を表示したまま練習するには、数独を無料でプレイすることができます。

ピアの排除を適用

生き残った候補を解くと、同じ数字がそのマスの20のピアすべてで偽になります。共有された行、列、ブロックからその数字の見える鉛筆マークをすべて取り除きます。生き残った候補を大きな解決済み数字として書くことは有用な簿記ですが、論理的効果はそれが表すピア排除のセットです。

ネイキッドシングル対ヒドゥンシングル

両方のシングルは「ちょうど1つ」の条件を使用しますが、その前提は反対方向を向いています。ネイキッドシングルは、1つのマス内の8つの数字排除から始まり、生き残った数字を20のピアから排除します。ヒドゥンシングルは、領域内の1つの数字に対する8つの位置排除から始まり、生き残ったマスから他のすべての数字を排除し、解決された数字をそのソース領域の外の12のピアから排除します。