锁定子集

锁定子集:一个区域内N个单元格共享N个候选数(显)或N个数字共享N个位置(隐)— 对、三数组和四数组。

一个定理,所有尺寸

锁定子集在一个区域内平衡N个项目与N种可能性。在单元格视角下,N个单元格具有N个候选数字的并集;显子集将这些数字从区域的其他单元格中移除。在位置视角下,N个数字具有N个位置的并集;隐子集将其他所有候选数从这些单元格中移除。

对、三数组和四数组是N = 2、3、4时的同一定理 — 四数组只是更大的实例,不是更高级的规则,只是更罕见且更难发现。相关的鱼结构(X-翼、剑鱼、水母)在多个区域间应用相同的计数,并有自己的分组。