显性四数组

什么是显性四数组？

显性四数组（Naked Quad）是显性三数组的逻辑延伸，将候选数组技法扩展到极限——四个格子，四个数字。

在一个行、列或宫（“单元”）中，如果有四个格子，它们候选数的并集恰好只有四个不同数字（设为 A、B、C、D），那么这四个数字在该单元中被”锁定”在这四个格子里。单元内其他格子不可能包含 A、B、C、D 中的任何一个，可以全部消除。

关键规则：每个参与格子的候选数必须是 {A, B, C, D} 的子集，即每个格子只能含这四个数字中的部分，不能有额外的第五个候选数。合法的候选数格式包括：

• 双值格：{A,B}、{A,C}、{B,D} 等
• 三值格：{A,B,C}、{A,C,D}、{B,C,D} 等
• 四值格：{A,B,C,D}

为什么不常见：显性四数组在实际数独中比数对和三数组罕见得多。一个单元通常最多有 9 个空格，四个格子锁定四个数字是相当强的约束，需要特定的候选数分布才能出现。

解题步骤

1. 选定一个单元：选择一行、一列或一个宫

2. 寻找四个格子：在该单元中找四个格子，使得它们候选数的并集恰好只有四个数字

3. 验证子集条件：确认每个格子的候选数都不超出这四个数字的范围

4. 消除：将这四个数字从单元内其他所有格子的候选数中删除

5. 连锁推理：消除后观察是否触发更简单的技法（如唯一空位、显性数对等）

实用搜索策略：

• 找所有只有 2 个候选数的双值格
• 找所有只有 3 个候选数的三值格
• 尝试将 4 个这样的格子组合，检查并集是否 ≤ 4

示例详解

以第 3 列为例，该列共有 7 个空格，候选数分布如下：

格子	候选数
R1C3	{1, 6}
R2C3	{1, 4, 6}
R3C3	{4, 9}
R4C3	{1, 6, 9}
R5C3	{2, 5, 7}
R7C3	{2, 7}
R9C3	{2, 5}

寻找四数组：

R1C3 {1,6}、R2C3 {1,4,6}、R3C3 {4,9}、R4C3 {1,6,9}

并集：{1,6} ∪ {1,4,6} ∪ {4,9} ∪ {1,6,9} = {1, 4, 6, 9}，恰好四个数字！

验证子集条件：

• R1C3 {1,6} ⊆ {1,4,6,9} ✓
• R2C3 {1,4,6} ⊆ {1,4,6,9} ✓
• R3C3 {4,9} ⊆ {1,4,6,9} ✓
• R4C3 {1,6,9} ⊆ {1,4,6,9} ✓

显性四数组确认！ 四个数字 {1, 4, 6, 9} 锁定在 R1C3、R2C3、R3C3、R4C3。

消除操作：第 3 列其余格子中，删除候选数 1、4、6、9。如果 R6C3 含有 {1, 2, 6}，消除后变为 {2}，R6C3 直接确定为 2，触发连锁推理。

实用技巧

• 按单元系统扫描：对每一行、列、宫，列出所有空格的候选数，从双值格开始组合，系统检查四格并集是否 ≤ 4

• 隐性四数组作为补充：如果显性四数组难以发现，可以尝试隐性四数组视角——找四个数字在单元中只出现在四个格子的情况

• 四数组的稀缺性：在标准数独中，显性四数组本身就意味着这四个格子的候选数分布非常特殊。看到一行/列/宫中有很多双值格和三值格时，要特别警惕四数组的存在

• 不要忽视”退化”情况：如果四个格子的候选数并集只有 3 个甚至 2 个数字，这是一种更强的约束（退化的三数组或数对），消除效果更好

• 候选数工具辅助：在爱九宫数独 App 的铅笔模式下，标好所有候选数后，寻找四数组会更加直观，不易遗漏

与其他技法的关系

• 前置技法：显性三数组——显性四数组是三数组的直接扩展，逻辑完全相同，从 3 扩展到 4
• 对称技法：隐性四数组——从数字视角找四个数字只出现在四个格子的情况，与显性四数组逻辑等价，互为镜像
• 技法族完结：显性数对 → 显性三数组 → 显性四数组构成显性候选数组技法族的完整体系。理论上还有五数组（Naked Quint），但在实际解题中极为罕见，意义有限

常见问题

Q：显性四数组是否比显性三数组更难发现？

A：是的，显性四数组在实际题目中较为罕见，发现难度也更高——需要在九个空格中找到四个候选数完全受限在四个数字内的格子。在日常解题中，如果三数组和其他技法已经用尽，才值得花时间系统搜索四数组。在困难级数独中，四数组偶尔出现，是高手的重要武器。

Q：能有五数组或更高阶的组合吗？

A：理论上可以，但在标准 9x9 数独中，五数组（Naked Quint）在实践中几乎没有意义。原因是：如果一个单元有五个格子共享五个候选数，那么剩余的四个格子也共享另外四个候选数，形成一个显性四数组。两种视角等价，而四数组更容易发现。因此，实际解题中止步于四数组即可。

在爱九宫数独中练习

打开爱九宫数独 App → 学习 → 高级技法 → 显性四数组，开始专项练习。建议按显性数对 → 显性三数组 → 显性四数组的顺序逐步学习，系统建立候选数组技法的直觉。掌握四数组后，你将具备解开绝大多数高难度数独所需的消除技能。