ALS-XZ 翼

由受限公共数连接的几乎锁定集

几乎锁定集（ALS）是区域内N个单元格的片段，含N+1个候选数。当两个这样的集合共享一个受限公共候选数（RCC）— 一个不能同时出现在两个集合中的数字 — RCC的缺失迫使每个集合锁定在其剩余数字上，从而可以从看到其所有可能位置的单元格中移除两个集合共有的数字。所有命名的翼都是这一ALS-XZ规则在集合尺寸递增下的实例 — 每个命名的翼固定N个单元格，跨越其两个ALS恰好携带N个不同的数字。

在双链接对中，两个集合共享两个RCC，产生额外的消除和锁定集推论。像WXYZ-环这样的环名正是指这个 — 两个RCC — 而不是闭合的AIC。指南中视觉中心的单元格只是帮助定位的辅助；证明的操作数是ALS集、RCC以及每个目标的普遍可见性条件。