UVWXYZ-环

UVWXYZ-环是跨两个几乎锁定集恰好涉及六个不同单元格和六个不同候选数字的双链接ALS-XZ构造。对于非重叠集合,单元格数分割为5+1、4+2或3+3。集合共享两个不同的受限公共候选数X和Y。这些限制使两个ALS都解为锁定集。这里的「环」指双链接的ALS对,而不是AIC环。

什么是UVWXYZ-环?

每个ALS由一个区域内k个未解单元格组成,恰好有k+1个不同的候选数字。合计两个ALS恰好包含六个不同单元格和六个不同候选数字。对于非重叠集合,可能的单元格数分割为5+1、4+2或3+3。它们共享两个不同的受限公共候选数:对于这些数字中的每一个,一个ALS中的每次出现必须看到另一ALS中的每次出现。受限公共候选数在ALS中只能出现一次;不要求多次出现。

分步示例

UVWXYZ-Ring分步示例:两个几乎锁定集(ALS)通过两个受限公共候选数相连,从而同时锁定两个集合。

第 1 步

考虑这 6 个单元格。

展示UVWXYZ-环分步示例第 1 步的数独盘面,高亮显示相关候选数与格子。

第 2 步

6 个单元格 I7, I8, G9, H9, I9, I1 形成一个双链接的 UVWXYZ-翼(带 2 个 RCC 的 ALS-XZ)。 5 个单元格 I7, I8, G9, H9, I9 形成 ALS A(持有候选数 1, 3, 4, 6, 7 和 9),双值单元格 I1 是 ALS B。数字 3 和 6 是两个受限共同候选数(RCC):在 ALS A 中的每次出现都能看到它在 ALS B 中的出现。 每个 ALS 有 1 个自由度,至多能支撑一个 RCC,因此两个 RCC 在集合之间分配 — 每个 ALS 一个。跟随 3: - 如果 3 在 ALS A 中,ALS B(I1)不能包含它并变为包含 6 的锁定集。 - 如果 3 在 ALS B 中(I1 是 3),ALS A 不能包含它并变为包含 1, 4, 6, 7 和 9 的锁定集 — 6 在其中。 没有第三种情况:3 必须在两个集合之一中,因此两个 ALS 同时解析为锁定集,且 6 个环单元格恰好各含每个值 1, 3, 4, 6, 7 和 9 一次。

展示UVWXYZ-环分步示例第 2 步的数独盘面,高亮显示相关候选数与格子。

第 3 步

在 ALS-XZ 双链接规则({2 RCC})下: - 每个 RCC(3 和 6)可以从任何能看到其在 ALS A 和 ALS B 中所有出现的单元格中消除。 - 任何限于一个 ALS 的非 RCC 数字可以从能看到其在该 ALS 内所有出现的单元格中消除。 因此,移除所有标记的候选数。

UVWXYZ-环推导后的数独盘面,高亮显示经证明的填数或候选消去。

本分步示例展示了UVWXYZ-Ring的 5+1 形式:一个五格 ALS 与一个双值 ALS 共享两个受限公共候选数。这两条连接将两个集合同时锁定,使结构中的每个数字都恰好被使用一次——这种饱和证明了可以从能看到环内某数字全部出现位置的外部候选数中将其移除。您可以在线玩数独,在当前候选状态可见的情况下进行练习。

如何识别

列出ALS A和ALS B — 共六个单元格和六个不同数字 — 并验证两个独立的受限公共数。对于RCC消除,检查跨两个集合对所有相关出现的可见性。对于锁定在一个ALS中的另一个数字,检查对该特定ALS中该数字每次出现的可见性。不要将这些出现测试替换为看到环中每个单元格的规则。

逻辑

无论一个ALS使用哪个受限公共数,另一个分配都被强制使两个ALS都锁定。受限公共候选数可以从看到其跨集合所有相关出现的单元格中移除。非RCC数字可以从看到其在必须包含它的个别ALS中所有出现的单元格中移除。