ロックサブセット

1つの定理、すべてのサイズ

ロックスドサブセットは、1つの領域内でN個の対象とN個の可能性のバランスを取ります。マス視点では、N個のマスがN個の候補数字の和集合を持ちます。ネイキッドサブセットはそれらの数字を領域の他のマスから取り除きます。位置視点では、N個の数字がN個の位置の和集合を持ちます。ヒドゥンサブセットはそれらのマスから他のすべての候補を取り除きます。

ペア、トリプレット、クアッドは、N = 2、3、4での同じ定理です — クアッドはより高度なルールではなく、より大きなインスタンスで、より稀で見つけにくいだけです。関連するフィッシュ構造（X-ウィング、ソードフィッシュ、クラゲ）は複数の領域にわたって同じ集計を適用し、独自のグループを持ちます。