基礎

シングルとブロック-ライン削減ルール

ネイキッドシングルとヒドゥンシングルは、排除によって「ちょうど1つ」の条件を解きます。ネイキッドシングルでは、8つの数字がマスから排除されています。生き残りを解くと、20のピアすべてから排除されます。ヒドゥンシングルでは、1つの数字に対する8つの位置が領域内で排除されています。生き残った位置を解くと、そのマスの他の数字と、ソース領域の外の12のピアからその数字が排除されます。ネイキッドシングルは1〜9を数え、ヒドゥンシングルは領域内で1つの数字を消し込みます。

Pointing と Claiming は2つの別々の法則ではなく、1つのボックス・ライン削減ルールの2つの向きです。1つの領域内のある数字のすべての候補が第2の領域との交差部分にあるとき、その数字はその交差部分にロックされ、もう一方の領域の残りから削除できます。Pointing はブロック → ラインと読み、Claiming はライン → ブロックと読みます。