单数字模式
什么是共轭对?
当某个数字在单一单元格中恰好剩下两个候选位置时,就存在共轭对。因为每个单元格必须恰好包含每个数字一次,所以这两个单元格中必有一个包含该数字。这在两个单元格之间形成了一条强链。 强链是所有单数字模式技术的核心驱动力。其力量来自于通过一个共同元素将两个共轭对连接起来。 共轭对可以在任何单元格类型中出现:行、列或宫。
共享结构:连接两个共轭对
所有四个单数字模式都具有相同的抽象结构: 1. 为同一个数字找到两组共轭对。 2. 通过一个共享元素(两个单元格相互可见的弱连接)将它们连接起来。 3. 确定两个尾端(非共享的端点)。 4. 至少一个尾端必须包含该数字。 5. 从任何能同时看到两个尾端的单元格中消除该数字。 该结构是一个四节点交替推理链:强连接、弱连接、强连接。这四种技术的区别仅在于提供连接的宫类型不同。
摩天大楼
一个天际线数独使用两个共轭对,这两个共轭对都位于同一种线上(都是行或都是列)。两个共轭对在一条垂直线上共享一个端点,这提供了弱链。 非共享端点称为尾部。至少有一个尾部必须包含该数字。从同时看到两个尾部的单元格中消除该数字。 名称来源于两个平行的“塔”错位一个位置的外观,看起来像城市天际线。
双线风筝
双线风筝技巧使用一个行共轭对和一个列共轭对。这两个共轭对通过一个宫连接:每对的一个端点位于同一个宫中,形成弱链。 两个对不共享的端点称为尾部。至少有一个尾部包含该数字。从同时看到两个尾部的单元格中消除该数字。 行共轭对构成一条“弦”,列共轭对构成另一条,它们在重叠的宫中连接。
鹤 (Turbot Fish)
鹤 将一个区块共轭对与一个行列共轭对连接起来。区块共轭对的一个端点与行列共轭对的一个端点处于同一行或同一列,从而形成弱链。 未共享的端点称为尾部。至少有一个尾部包含该数字。可以从同时看到两个尾部的单元格中排除该数字。 鹤 有时更难发现,因为区块共轭对在视觉上不如行列共轭对明显。
空矩形
空矩形 将一个共轭对替换为块内的一个模式。该数字在块中的候选数恰好跨越两行和两列,但2x2交叉区域的一个角落是空的。这在块内形成了一个有效的强链。 与穿过该块的外部共轭对结合,这会产生两个尾部。至少有一个包含该数字。从同时看到两者的单元格中消除该数字。 识别空矩形的关键是寻找候选数形成L形或T形的块。
四种技巧之间的相互关系
它们是同一结构的四种表现形式:强链 -- 弱链 -- 强链,针对单一数字。 天际线:行 + 共享列 + 行(或列 + 共享行 + 列) 双线风筝:行 + 共享区块 + 列 鹤:区块 + 共享线 + 线 空矩形:ER区块模式 + 共享线 + 线 求解器可以将这四种模式统一为一个算法实现。这些技术名称有助于人类解题者快速识别视觉上不同的模式。 这四种模式处于相同的难度水平。它们没有本质上的难易之分,只是在数独网格上的呈现方式不同。
如何找到单数字模式
步骤 1:选择一个剩余候选数适中的数字。 步骤 2:在行、列和宫中识别所有共轭对。 步骤 3:尝试通过共享元素(行、列或宫)连接配对。 步骤 4:通过寻找同时看到两个尾端的单元格,检查是否有用的消除。 提示: - 从恰好有两个候选数的行和列开始。 - 一次只练习一个技巧。 - 记住,所有四种方法都会产生相同的结果:从同时看到两个尾端的单元格中消除。
难度和它们适合的位置
所有四个单数字模式都位于第5级(具有挑战性)。它们比子集方法和基础鱼形更难,但比高级链和复杂鱼形更容易。 许多难以使用基础技巧解决的谜题,可以通过一个恰到好处的天际线或双线风筝来破解。它们是理解交替推理链概念的绝佳入门。
摘要
摩天大楼、双线风筝、鹤 和 空矩形 是同一枚硬币的四个面。它们都利用共轭对在单一数字上构建简短的交替推理链。通过一个弱链连接两个强链,确定两个尾端,并从任何能同时看到这两个尾端的 单元格 中消除该数字。 它们之间的区别仅在于几何结构。掌握其中一种,你就已经走上了掌握全部四种的正确道路。