带组合节点的不连续环
Loading demo...
“带组合节点的不连续环”是允许链内出现组合节点的不连续环。链的两端仍然必须是同一个简单节点，因此可以确定一个单元格中的数字。
如何识别
- 观察盘面上的强关系，包括带组合节点的强关系。注意明显的特征：某个单元格
C中的候选数x连接了两个强关系。 - 用弱关系连接这些强关系，如果能形成首尾都是简单节点
[C:x]的交替推理链，则可以得到带组合节点的不连续环。 - 根据交替推理链首尾必有一真的推论，可以直接在单元格
C中填数字x。
组合节点为真，表示组内至少有一个候选数为真。与组合节点相接的弱关系必须对组内每个候选数都成立。
原理
交替推理链可以推导出链两端存在逻辑上的强关系，即至少有一端为真。不连续环的两端是同一个简单节点[C:x]，因此该节点必定为真，即单元格C中必须填入数字x。
也可以用反证法理解：假设[C:x]为假，第一条强关系会迫使下一个节点为真，随后的弱关系会迫使再下一个节点为假。沿环依次推导，最终会迫使[C:x]为真，与假设矛盾。
对于盘面上直接找到、且两端能彼此看到的强关系，它同时也满足弱关系，因此两个节点恰有一个为真，不能同时为真。但通过AIC推导出来的逻辑上的强关系，仅保证两端至少有一真，并不保证它们不能同时为真。尤其是在不连续环中，两个端节点本来就是同一个节点，因此该节点只能为真。
带组合节点的不连续环要求共用端点为简单节点，因为如果共用端点本身也是组合节点，证明它为真只能说明组内至少有一个候选数为真，无法确定数字应填在哪一格。
实例
上面的盘面中存在包含两个组合节点的不连续环[R2C5:2]━[R2C5:8]┉[R4C5:8]━[R6C4:8, R6C5:8, R6C6:8]┉[R6C7:8]━[R4C8:8, R5C8:8]┉[R1C8:8]━[R1C8:2]┉[R1C4:2]━[R2C5:2]。首尾都是简单节点[R2C5:2]，与该节点相接的两条关系都是强关系。
假设R2C5不是2，那么它必须为8，于是R4C5:8为假。第一组组合节点必定为真，迫使R6C7:8为假。第二组组合节点又必定为真，迫使R1C8:8为假。于是R1C8必须为2，R1C4:2为假，最后一条强关系又迫使R2C5为2，与假设矛盾。
因此，R2C5中只能填入2。