第 65 讲:高级飞鱼导弹
下面我们来看高级版的飞鱼导弹——高级飞鱼导弹(Senior Exocet,简称SE)结构。
Part 1 普通示例

如图所示,我们如果把r1c12作为基准单元格的话,就会发现目标单元格此时仅剩下唯一一个单元格:r3c4了。这是否意味着结构直接出错了呢?并不是这样,因为r6c7是这个时候“居然”空的。
之所以说“居然”,是因为之前的逻辑里,我们可以发现一个经验上的东西,即确定值在交叉线单元格里的分布基本上是占满了其中的两行(列)甚至是三行(列)。而这个例子里却缺少了一个单元格r6c7没有被确定值占据掉。我们尝试从JE的原理入手分析这个结构。
假如r6c7不放入基准单元格r1c12涉及的候选数1、2、3、4会怎么样呢?这显然就意味着,1、2、3、4在交叉线单元格里都是最多出现两次的情况的,而这便会使得与之互补的r123c347里必须至少一个1、至少一个2、至少一个3和至少一个4的出现才能够满足c347填够三次1、2、3、4的要求。
可是如果我们一旦假设r1c12填入的是a和b后,就会发现,其中有一个数必然放不到r123c347里,这是因为此时目标单元格仅剩下唯一一个单元格:r3c4了。如果r3c4是a的话,那b放哪里呢?那如果r3c4是b的话,那么a又放哪里呢?这便使得结构出现了矛盾:a和b里会有一个数填不进去。所以,我们最初的假设,r6c7不放入1、2、3、4,这个说法就是错误的,故r6c7只能是1、2、3、4的其一,故删除掉和1、2、3、4无关的其余候选数,故r6c7 <> 8。那么,我们就完全可以把a和b的其一放到r6c7里作为目标单元格了,这样一来,r3c4如果是a,那么r6c7就是b,这样便满足了要求。所以,r3c4 <> 8实际上也是成立的。
这就是这个示例想要告诉你的推导逻辑:它尝试把目标单元格向下调整到了交叉线单元格里,但依旧不影响我们的推导,这种结构作为飞鱼导弹的升级版,自然就被取名叫做高级飞鱼导弹了。
Part 2 退化SE
下面我们来看一点稍微不一样的构型。

如图所示。我们发现,如果把r456789c347作为交叉线单元格,而把r1c12作为基准单元格的话,里面居然包含了基准单元格里的候选数6。这未免也太神奇了吧。显然,它想要直接告诉我们,基准单元格里必有一个6的出现。如果基准单元格没有6的话,JE此时是成立的,那么2、4、5作为我们推导的数字,却发现目标单元格此时就只有r2c4一个单元格,那么r1c12里填入的两种数字的其中一种就必然无法放到r123c347里,导致矛盾的出现。所以,我们不得不把这个6也算作是目标单元格处理,这样,JE此时是成立的,而且它还直接暗示了我们,r1c12必须有一个6,故r1c12(6)是一个区块结构,删除掉r1和b1其余位置的6。当然,r2c4 <> 6,因为目标单元格的填数必须是不同的,它对应着“基准单元格的填数是不同的”这一个要求。
这种结构也属于SE的一种,但由于它的其中一个目标单元格直接变为了确定值来暗示填数结论,我们把这种结构使用鱼里的“退化”一词来表示,所以这个结构叫做退化SE(Sashimi SE)。

没了?
没了。
