ALS-XZ

高级 ALS策略双区域

两个几乎锁定集通过一个受限公共候选数连接时，可删除它们公共可见区域中的另一个公共候选数。

原理说明

ALS-XZ的原理是：两个几乎锁定集（ALS）共享恰好两个公共候选数（设为Z和X），且X在两个ALS中只有一个候选位置（受限候选数）。由于X的受限性，无论X出现在哪个ALS中，Z都必然出现在另一个ALS的某个格子中。因此，两个ALS公共可见的格子中的Z候选数可以被删除。

识别方法

识别棋盘中的几乎锁定集（ALS：候选数总数 = 格子数 + 1）
找到两个共享恰好两个候选数Z和X的ALS
确认X在其中至少一个ALS中只有一个候选位置
找到两个ALS公共可见的所有格子
从这些格子中删除Z候选数

应用场景

ALS-XZ是高级ALS策略的基础形式。它比简单的子集策略更强大，因为ALS可以在行/列/宫中跨越多个约束单元。在复杂谜题的后期阶段，ALS-XZ常常能发现隐藏的排除机会。

逻辑推导详解

ALS-XZ的核心是"几乎锁定集"（Almost Locked Set）的性质。一个 ALS 由 n 个格子组成，这些格子合起来恰好有 n+1 个不同的候选数——比"锁定"（n 个候选数）只多一个，所以叫"几乎"锁定。

已知条件：

ALS A：n 个格子，合起来有 n+1 个候选数（含 Z 和 X）
ALS B：m 个格子，合起来有 m+1 个候选数（含 Z 和 X）
两个 ALS 不共享任何格子，且共享恰好两个公共候选数 Z 和 X
X 是受限公共候选数（Restricted Common）：X 在 ALS A 中的所有位置与 X 在 ALS B 中的所有位置，两两同行/列/宫可见
Z 是非受限公共候选数：Z 在两个 ALS 中的位置不完全互相可见

受限公共候选数 X 的关键性质是：由于 ALS A 中的所有 X 和 ALS B 中的所有 X 互相可见，X 只能出现在其中一个 ALS 中（不能同时出现在两个 ALS，否则同行/列/宫冲突）。我们对 X 的位置做分类讨论：

如果 X 出现在 ALS A 中：ALS A 的 n 个格子中有一个填了 X，剩余 n-1 个格子需要填 n 个候选数（n+1 个减去 X）。但 n-1 个格子填不下 n 个候选数——矛盾！所以 ALS A 中除了 X 之外，必须还有一个格子填 Z。换言之，Z 必出现在 ALS A 中。
如果 X 出现在 ALS B 中：同理分析，ALS B 的 m 个格子中有一个填了 X，剩余 m-1 个格子需要填 m 个候选数。同样矛盾，所以Z 必出现在 ALS B 中。

由于 X 只能在一个 ALS 中，而无论在哪个 ALS，Z 都必出现在另一个 ALS 中。因此，同时被 ALS A 中所有 Z 位置和 ALS B 中所有 Z 位置"看到"的格子不可能是 Z——因为它会被某个 ALS 中的 Z 同行/列/宫排除。这些公共可见格中的 Z 候选数可以安全删除。

常见变体

双 ALS 基础型

最基础的 ALS-XZ 形态：两个 ALS 各自在同一行/列/宫中（也可以跨单元），共享两个公共候选数，其中一个受限。这是小程序中最常见的形态，ALS 大小通常为 2-4 个格子。

双受限公共候选数（Double Restricted Common）

当两个 ALS 共享的公共候选数中，两个都是受限的时，可以同时删除两个非受限公共候选数。这种形态删数能力更强，但出现频率较低，且需要更严格的可见性条件。

ALS-XY-Wing

ALS-XZ 的三 ALS 扩展：三个 ALS 通过受限公共候选数形成"翼"形结构。它将 XY 翼的"双候选格"泛化为"ALS"——每个翼不再局限于双候选格，而是可以是任意大小的 ALS。

跨单元 ALS

ALS 不必局限于同一行/列/宫——它可以跨越多个约束单元。例如一个 ALS 可以由同行中分属不同宫的格子组成。跨单元 ALS 的候选数分布更灵活，能发现更多排除机会，但识别难度也更高。

识别技巧

从候选数密集区入手：ALS 出现在候选数较多的区域。如果某行/列/宫中有几个格子的候选数合起来恰好比格子数多一个，那就是一个 ALS。优先关注候选数 3-5 个的格子聚集区。
识别 ALS 的公式：n 个格子，候选数并集恰好 n+1 个。例如：2 格 3 候选数、3 格 4 候选数、4 格 5 候选数。注意是"恰好"——多了就不是 ALS，少了就是裸数对了。
寻找共享候选数的 ALS 对：找到两个 ALS 后，检查它们的候选数交集。如果共享恰好两个候选数（Z 和 X），就具备了 ALS-XZ 的基本条件。
验证受限性：对共享候选数 X，检查 ALS A 中所有含 X 的格子与 ALS B 中所有含 X 的格子是否两两同行/列/宫可见。如果是，X 就是受限公共候选数。
从小 ALS 开始：2-3 个格子的小 ALS 更容易识别和验证。熟练后再尝试 4 格的大 ALS，它们能提供更多候选数组合。

常见误区

误区一：ALS 识别错误

ALS 要求 n 个格子的候选数并集恰好是 n+1 个。如果并集有 n+2 个或更多候选数，就不是 ALS；如果有 n 个或更少，那就是裸数对/三数等子集策略，不需要用 ALS-XZ。计数时务必准确，不要遗漏或重复候选数。

误区二：受限公共候选数判断错误

受限公共候选数 X 要求：ALS A 中所有含 X 的格子与 ALS B 中所有含 X 的格子，两两同行/列/宫可见。如果有任何一对不可见，X 就不是受限的。漏检一对就会导致错误的删数结论。

误区三：两个 ALS 共享格子

两个 ALS 不能有任何重叠的格子。如果共享格子，推导逻辑会失效——因为共享格子的取值会同时影响两个 ALS，"X 只在一个 ALS 中"的前提不成立。检查时务必确认两个 ALS 的格子集合不相交。

误区四：删除范围错误

只能删除同时被两个 ALS 中所有 Z 位置看到的格子中的 Z。不要删除只被一个 ALS 看到的格子，也不要删除只被部分 Z 位置看到的格子。"所有"是关键——必须是全部 Z 位置的公共可见格。

误区五：混淆受限与非受限候选数

受限公共候选数 X 是"桥梁"，非受限公共候选数 Z 是"删除目标"。不要搞反——删除的是 Z 而不是 X。X 的作用是连接两个 ALS 并保证 Z 必出现在其中一个中，X 本身不一定是删除目标。

练习建议

先掌握子集策略：ALS 是子集策略（裸数对、显性/隐性三数等）的"几乎"版本。熟练掌握子集策略后，再学习 ALS 会更容易——ALS 就是"差一点成为子集"的结构。
练习识别 ALS：拿到一道题后，在候选数密集的区域寻找 ALS。2 格 3 候选数是最容易识别的 ALS，先从这种小结构练起。
理解"受限"概念："受限公共候选数"是 ALS-XZ 最核心的概念。多做"两个格子是否互相可见"的判断练习，培养对行/列/宫可见性的敏感度。
对比翼类策略：XY 翼、WXYZ 翼都可以视为 ALS-XZ 的特例（当 ALS 退化为双候选格时）。学习 ALS-XZ 后回头再看翼类策略，会有更深的理解。
借助小程序验证：在小程序中加载包含 ALS-XZ 的棋盘，观察高亮标注的两个 ALS、受限公共候选数连线，以及删除目标格。对照自己的理解，关闭提示后独立寻找。

与其他策略的关系

ALS-XZ是ALS策略家族的核心，ALS链（ALS-Chain）和SueDeCoq都建立在ALS-XZ的基础上。它与XY翼、WXYZ翼有深层联系——这些翼策略可视为ALS-XZ的特例（当 ALS 退化为双候选格时，ALS-XZ 就退化为 XY 翼）。ALS-XZ 将子集策略的"锁定集"泛化为"几乎锁定集"，大幅扩展了排除能力。

策略家族关系：

上级策略：显性/隐性子集（裸数对、显性三数等）——ALS 是"差一个候选数"的子集；XY翼（XY-Wing）——双候选格退化的 ALS-XZ
同级策略：WXYZ翼（WXYZ-Wing）——同为 ALS 思想的翼类策略
下级/扩展策略：ALS链（ALS-Chain）——多个 ALS 串联的链式扩展；SueDeCoq——基于 ALS 的复合策略
思想延伸："几乎锁定集"思想是现代高级数独策略的基石，广泛运用于 ALS-XY-Wing、ALS-Death Blossom 等策略中