毛边的使用

Usage of Kraken Link

下面我们来看一些例子。

例子 1：毛边融合待定数组

如图所示。当如果我们忽略 r3c6(23) 的存在的话，那么五个单元格 r3456c6 和 r5c4 将构成一个标准的融合待定数组，于是所有 1、4、6、7、9 在所在的区域都可以进行删除。

但是很遗憾，他们客观存在。我们无法消除他们，所以值得讨论真假性。将两个候选数当成毛刺看待，于是有四个可能的填数情况。因为同假可以形成结构，所以我们将其分为同假结构和不同假强链的两个情况考虑。

当不同假时，这两个候选数将自动形成强链关系，于是我们可以构造出这个不连续环：

如图所示。链表示如下：

5r4c4=(5-2)r4c2=2r8c2-2r8c5=2r2c5-(2=3)r3c6-(3=4)r3c4

于是我们可以知道此时 r4c4 <> 4 的结论。也就是说可以因为强链毛边关系构成后得到这个删数结论成立。

但是，因为此时 r4 具有 4 的共轭对，所以 r4c6 = 4 会在 r4c4 <> 4 时同步得出。也就是说，强毛边构成时也可以直接得到 r4c6 = 4 的结论。

所以，r2c6(4) 不论在毛刺同假（融合待定数组成立）还是毛刺不同假（强毛边构成），都可以删除，所以这个题的结论就是 r2c6 <> 4。

本教程省略了 r4c46(4) 共轭对得到 r4c6 = 4 造成 r2c6(4) 删数的这一幅图。

例子 2：毛边摩天楼构造链

如左图所示。当 r2c36(3) 同为假的时候，我们会有摩天楼，并得到 r9c1 <> 3 的结论。得到这个删数因为无法用于后续的结论析取（联立后得出删数结论），所以我们继续延长，和前面分步那样继续延伸一下。

现在看右图。我们从 r9c1(3) 为假出发可得到 r5c2(1) 为假的结论（因为 r9c1(3) 会顺着假设走到 r7c2(1) 为真的结论，所以这个结论是可以得出的）。

也就是说，当毛刺 r2c36(3) 同假时，有摩天楼成立并最终产生 r5c2(1) 的删数结论。这是这一个情况。下面我们来看毛刺不同假的情况。

如图所示。当强毛边成立时有这么一条链：

5c5c3=(5-3)r2c3=(3-7)r2c6=7r5c6-7r4c45=2r4c8-2r6c9=5r6c7

于是造成删数 r5c8 <> 5。不过，因为 r5c8 此时是双值格，所以可得 r5c8 = 1 的结论。因为此时 r5c8 = 1 成立，所以 r5c2 也不能填 1。因此，强毛边这个情况成立时候也可以得到 r5c2 <> 1 的结论。所以，这个题的结论就是 r5c2 <> 1。

和前面那个例子一样，本教程也省略了 r5c8(5) 删数可得到 r5c8(1) 为真，进而删除 r5c2(1) 的这一幅图。

例子 3：毛边伪数组构造链

如图所示。如果我们忽略 r3c6(4) 和 r6c6(9) 两个候选数的话，此时 1、2、3、7 四个数字在 r356c6 和 r5c5 四个单元格里将构成伪数组结构，但是不能用于删数，因为 7 这个数字的摆放实在是有点“毒辣”。于是我们还是借用前一个例子那样，延长推理。将数字 7 考虑用强链串起来。