VWXYZ-翼

VWXYZ-翼是跨两个几乎锁定集恰好涉及五个不同单元格和五个不同候选数字的ALS-XZ构造。对于非重叠集合,单元格数分割为4+1或3+2。集合共享受限公共候选数X:一个集合中X的每次出现都看到另一集合中X的每次出现,因此X不能出现在两个集合中。另一个共享数字Z然后可以从看到两个集合中所有Z出现的外部单元格中消除。

什么是VWXYZ-翼?

几乎锁定集(ALS)由一个区域 — 行、列或宫 — 内k个未解单元格组成,其组合候选数恰好包含k+1个不同的数字。VWXYZ-翼是ALS-XZ规则的5单元格5数字特化:其两个ALS合计恰好包含五个不同单元格和五个不同候选数字。对于非重叠ALS,可能的单元格数分割为4+1 — 4单元格ALS和二值单元格 — 或3+2 — 3单元格ALS和2单元格ALS。本演示使用4+1形式。其他2 ALS构造也可能满足ALS-XZ规则,但除非恰好包含五个不同单元格和五个不同候选数字,否则不是VWXYZ-翼。

分步示例

VWXYZ-Wing分步示例:两个几乎锁定集(ALS)通过一个受限公共候选数相连,证明共享数字至少出现在其中一个集合中。

第 1 步

考虑这 5 个单元格。

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

第 2 步

5 个单元格 B9, C9, H9, I9, G7 形成一个 VWXYZ-翼。 4 个单元格 B9, C9, H9, I9 形成 ALS A:4 个带有 5 个不同候选值的单元格。双值单元格 G7 是单单元格的 ALS B。7 在 ALS A 中的每次出现都能看到它在 ALS B 中的出现,因此 7 是它们的受限共同候选数(RCC)(B9, C9, H9 不包含 7,因此下方不会直接针对它们,但它们仍然算作几乎锁定集的一部分)。 - 如果 7 在 ALS A 中,ALS B 失去自由度并变为包含 1 的锁定集。 - 如果 7 在 ALS B 中,ALS A 失去自由度并变为包含 1 的锁定集。 - 如果 7 不在任何集合中,两个 ALS 都变为包含 1 的锁定集。 无论哪种情况,1 都保证存在于 ALS A 或 ALS B 中。

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

第 3 步

因此 1 的至少一个翼出现必须为真。外部候选数 1 如果看到 1 的所有翼出现就可以移除;无论哪个出现为真,否则都会与其冲突。

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

本分步示例展示了VWXYZ-Wing的 4+1 形式:一个四格 ALS 与一个双值 ALS 共享受限公共候选数 X 和另一个数字 Z。X 不能同时出现在两个集合中,因此 Z 必定出现在至少一个集合中——这一限制证明了可以从能看到两个集合中所有 Z 出现位置的外部格中移除 Z。您可以在线玩数独,在当前候选状态可见的情况下进行练习。

如何识别

识别ALS A和ALS B:其单元格总数恰好为五个,其并集恰好持有五个不同数字。列出每个集合的候选数,找到一个共享数字X,其中A中每个X出现都看到B中每个X出现。然后找到另一个共享数字Z;提议的目标仅在看到两个集合中所有Z出现时有效。不要求一个ALS的每个单元格看到另一个ALS的每个单元格。

消去的依据

由于X不能出现在两个ALS中,至少一个ALS不能使用X。没有X时,该ALS的剩余候选数字与单元格数恰好相同,必须使用每一个,包括Z。因此Z出现在两个ALS中的至少一个中。看到两个集合中所有Z出现的外部单元格不能包含Z。