不连续环

什么是不连续环？

不连续环（Discontinuous Nice Loop）是交替推理链（AIC）的一种特殊形式。当一条 AIC 的终点试图连回起点，但连接时违反了强弱交替规则，就在该节点处产生逻辑矛盾，从而强制确定该节点的真假状态。

与连续环不同，不连续环在”断点”处产生矛盾，正是这个矛盾提供了推理价值。

不连续环的两种类型：

类型一：强链连接处的矛盾（两条强链相遇） 若链的终点与起点之间是强链，但按照正常交替规则此处应为弱链，则起点节点处出现”强链两端都为真”的矛盾 → 起点节点必为真（候选数确定）。

规则：断点节点的候选数可以填入（确定值）。

类型二：弱链连接处的矛盾（两条弱链相遇） 若链的终点与起点之间是弱链，但按照正常交替规则此处应为强链，则起点节点处出现”弱链一端为假导致另一端也需为假”的矛盾 → 起点节点必为假（候选数消去）。

规则：断点节点的候选数可以删去（候选数消去）。

解题步骤

1. 构建 AIC：从节点 A 出发，用强弱交替的方式构建一条链，到达节点 Z。
2. 检查回连链型：节点 Z 到节点 A 之间存在什么链型（强链还是弱链）？
3. 检查期望链型：根据当前链段数，节点 Z 到 A 的连接”应该”是强链还是弱链？
4. 判断矛盾类型：
   • 实际链型与期望相同 → 构成连续环，非不连续环
   • 实际为强链，期望为弱链 → 类型一矛盾：节点 A 的候选数必为真
   • 实际为弱链，期望为强链 → 类型二矛盾：节点 A 的候选数必为假
5. 执行结论：
   • 类型一：在节点 A 对应的格子填入对应候选数
   • 类型二：从节点 A 对应的格子删去对应候选数

示例详解

示例一（类型二，候选数消去）：

从节点 (R3C5, 6) 出发构建链：

(R3C5, 6) =(强)= (R3C1, 6) -(弱)- (R3C1, 9) =(强)= (R8C1, 9) -(弱)- (R8C5, 9) =(强)= (R3C5, 9)

链中最后一步到达 (R3C5, 9)，而 R3C5 同时含候选数 6 和 9，即 (R3C5, 6) 和 (R3C5, 9) 在同一格中。

按链的下一步应为弱链连回 (R3C5, 6)（同格的 6 和 9 之间是弱链）。

但两条弱链在同一格子同一节点处相遇 → 若 (R3C5, 6) 为真则链起点也为真，矛盾——（两条弱链汇聚，意味着若 6 为真，推出 9 也在此格为真，矛盾）

结论：(R3C5, 6) 必为假 → R3C5 中删去候选数 6。

示例二（类型一，候选数确定）：

从节点 (R2C4, 3) 出发构建链：

(R2C4, 3) -(弱)- (R2C7, 3) =(强)= (R6C7, 3) -(弱)- (R6C4, 3)

最后到达 (R6C4, 3)，而 R2C4 和 R6C4 在同列（C4），第4列中 3 只在 R2 和 R6 两处 → 它们之间是强链。

按链的下一步应为弱链（因为当前已用弱链结束），但实际存在强链 → 类型一矛盾。

结论：(R2C4, 3) 必为真 → R2C4 = 3（确定填值）。

实用技巧

• 关注链的终点落在哪里：若终点节点与起点节点在同格、同行、同列或同宫，有可能形成不连续环。
• 同格终止是最常见情形：链终点的候选数与起点在同一格，通过该格的候选数关系（强链或弱链）直接产生矛盾。
• 类型二比类型一更常见：候选数消去比直接填值更容易从不连续环中得出。
• 不连续环本质上是”反证法”：假设起点节点为某值，通过链的追踪最终导出矛盾，因此该假设错误——起点必为另一状态。
• 与强制链的关系：不连续环在逻辑上等价于某种形式的强制链（Forcing Chain），但不连续环的表述更结构化、更容易验证。

与其他技法的关系

• 前置技法：交替推理链（AIC） — 不连续环的基础框架，必须先理解 AIC 的强弱链概念。
• 对比技法：连续环 — 环在所有节点处均自洽，消去规则为逐段弱链消去；不连续环在断点产生矛盾，消去规则为断点确定/消去。
• 扩展形式：区块不连续环 — 允许使用组合节点（同行/列同宫的候选格群）的不连续环。

常见问题

Q：如何快速判断构建的环是连续环还是不连续环？

A：数链的总段数：若为偶数且首尾连接保持强弱交替，则为连续环；若为奇数，或首尾连接处强弱链型与期望不符，则为不连续环。更直接的方法是追踪链的推理——若链的终点和起点所对应的节点在同一格/同一单元中形成矛盾，即为不连续环。

Q：不连续环比连续环更强吗？

A：两者各有优势。不连续环一次产生一个确定性结论（填值或消去），结论清晰；连续环一次产生多个消去，信息量更大。在实际解题中，遇到哪种用哪种，不必强行区分孰优孰劣。

在爱九宫数独中练习

打开爱九宫数独 App → 学习 → 大师技法 → 不连续环，开始专项训练。建议先从简单的4-5段链入手，追踪终点是否落回到与起点相关的节点，判断矛盾类型后执行结论。