不连续环
Loading demo...
“不连续环”是两端为同一个简单节点的交替推理链。沿链的强关系和弱关系交替出现，但在这个共用节点处，两条强关系相接，打断了强弱交替的顺序，因此称为“不连续环”。
不连续环可以直接确定一个数字：共用节点中的候选数必定为真。连续环则通过环上的弱关系进行删数。
如何识别
- 观察盘面上的强关系。注意明显的特征：某个单元格
C中的候选数x连接了两个强关系。 - 用弱关系连接这些强关系，如果能形成首尾都是
[C:x]的交替推理链，则可以得到不连续环。 - 根据交替推理链首尾必有一真的推论，可以直接在单元格
C中填数字x。
原理
交替推理链可以推导出链两端存在逻辑上的强关系，即至少有一端为真。不连续环的两端是同一个节点[C:x]，因此该节点必定为真，即单元格C中必须填入数字x。
也可以用反证法理解：假设[C:x]为假，第一条强关系会迫使下一个节点为真，随后的弱关系会迫使再下一个节点为假。沿环依次推导，最终会迫使[C:x]为真，与假设矛盾。
对于盘面上直接找到、且两端能彼此看到的强关系，它同时也满足弱关系，因此两个节点恰有一个为真，不能同时为真。但通过AIC推导出来的逻辑上的强关系，仅保证两端至少有一真，并不保证它们不能同时为真。尤其是在不连续环中，两个端节点本来就是同一个节点，因此该节点只能为真。
实例
上面的盘面中存在不连续环[R3C1:2]━[R3C8:2]┉[R3C8:7]━[R3C9:7]┉[R7C9:7]━[R9C7:7]┉[R9C2:7]━[R9C2:2]┉[R7C1:2]━[R3C1:2]。首尾都是节点[R3C1:2]，与该节点相接的两条关系都是强关系。
如果R3C1不是2，第一条强关系会迫使R3C8为2。沿强弱关系交替推导，又会依次迫使R3C9为7、R9C7为7、R9C2为2。于是R7C1不能为2，最后一条强关系又迫使R3C1为2，与假设矛盾。
因此，R3C1中只能填入2。