Turbot Fish

Turbot Fish 是短单数字链的已退役总称。它的各种形态如今归类为 X 链——两环节形态表现为 Skyscraper、2-String Kite 或双节点 X 链,更长的则表现为三节点或 4+ 节点 X 链。该结构是一条开放的单数字 AIC:如果第一个端点为假,链会迫使远端点为真,因此至少一个端点为真——可能两个都为真——于是可以从同时看到两个端点的候选数中删除该数字。

什么是 Turbot Fish?

涡轮鱼是具有两个行节点或两个列节点的双节点X链 — 摩天楼或双线风筝。相同的定理在这些命名区域签名下涵盖两者。

现在的归类:两链形式归入 摩天楼、双线风筝、空矩形 和 双节点X链;更长的同数链见 X链 页面。

分步示例

以现代双节点X链签名 (A=B)-(C=D) 展示已退役名称“多宝鱼(Turbot Fish)”的分步示例。

第 1 步

考虑这些单元格。

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

第 2 步

高亮的候选数形成开放的 X-Chain (A6=G6)-(H5=H3)-(E3=E8)-(F7=A7)。每个等号都是强链接(XOR);每个破折号都是弱推论(NAND)。端点定理证明 A6=2 OR A7=2。

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

第 3 步

这些是类型1同数字消除:A1 和 A2 都能看到两个端点 A6=2 和 A7=2,且链证明 A6=2 或 A7=2 为 2。

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

现代证明即双节点X链 (A=B)-(C=D):两条强链接(XOR)与一条弱推论(NAND)证明 A OR D,从而支持共同同侪消去。这是第 1 类同数消去。“多宝鱼”仅作为已退役的统称保留。您可以免费在线玩数独,在当前候选状态可见的情况下进行练习。

如何识别

对于一个数字,找到具有平行区域签名或行+列签名的两个强推理节点。确认每种情况下的弱连接,仅从看到两个端点的候选数中移除该数字。

逻辑

双节点X链证明至少一个端点包含该数字,可能两者都包含。摩天楼使用平行行或列节点;双线风筝通过宫连接行和列节点。两者应用相同的消除规则。