エンプティレクタングル · ステップごとの解説

ボックス8では候補3が7行または4列だけにあり、候補の十字を作ります。交点R7C4と十字の外側にある斜線の4マスには3がなく、この空の領域が名前の由来です。ボックスの外では、5行の候補がR5C1とR5C4の2つだけなので、この強リンクが推論を十字へつなぎます。

5行で3を置けるのはR5C1とR5C4だけです。どちらか一方は必ず3になります。

R7C1を3と仮定します。「?」付きの数字は推論用で、確定した答えではありません。 R5C1はR7C1と同じ1列にあるので、3にはできません。

R5C1には3を置けないので、5行ではR5C4だけが残ります。この仮定のもとでは、ここが3になります。 R5C4が3になりました。R8C4は同じ4列にあるため、3を置けません。ボックス8のこちら側には候補3がなくなります。

ボックス8には3が必要で、残るのはR7C6だけです。ここが3になりますが、仮定したR7C1と同じ7行なので、3が2つできてしまいます。

R7C1に3を置くという仮定は矛盾します。この候補を消し、仮定で置いた数字は元に戻します。

ボックス5では候補1が6行または6列だけにあり、候補の十字を作ります。交点R6C6と十字の外側にある斜線の4マスには1がなく、この空の領域が名前の由来です。ボックスの外では、3列の候補がR9C3とR6C3の2つだけなので、この強リンクが推論を十字へつなぎます。

3列で1を置けるのはR9C3とR6C3だけです。どちらか一方は必ず1になります。

R9C6を1と仮定します。「?」付きの数字は推論用で、確定した答えではありません。 R9C3はR9C6と同じ9行にあるので、1にはできません。

R9C3には1を置けないので、3列ではR6C3だけが残ります。この仮定のもとでは、ここが1になります。 R6C3が1になりました。R6C4、R6C5は同じ6行にあるため、1を置けません。ボックス5のこちら側には候補1がなくなります。

ボックス5の1はR4C6、R5C6のどこかに必要です。でも全てのマスが仮定したR9C6と同じ6列にあり、どこにも置けません。このボックスに1の場所がなくなってしまいます。

R9C6に1を置くという仮定は矛盾します。この候補を消し、仮定で置いた数字は元に戻します。