欢迎光临散文网 会员登陆 & 注册

第 36 讲:待定唯一矩形

2021-07-17 08:37 作者:SunnieShine  | 我要投稿

当然,因为这里的唯一矩形并非真正的唯一矩形,和毛刺数组、ALS类似,它并不是真正的数组结构,需要链的介入才能使用,所以我们把这里的唯一矩形叫做待定唯一矩形(Almost UR,简称AUR)。

Part 1 AUR里的强弱关系

1-1 构建出UR标准类型的强关系

如图所示,设r8c5(9)为假,我们可以依次得到r7c5(9)真、r7c23(9)为假。

当此时区块为假时,意味着r7c23都不是5,则r17c23形成UR的标准类型,故r1c3(7)为真。你也可以理解为r1c3(7)=r7c23(9),原因是不同假,同假后导致r17c23只有5、8,构成UR的致命形式。

后面的逻辑就不难了。最终我们得到了这个不连续环,并删除了r8c5(7)。

这个示例里我们使用了UR的致命形式,使得跟UR无关的两侧节点互为强关系,这一点很重要,后续的示例都将使用这种思路来解题。

接下来我们再来看一则示例。

1-2 构建出UR区块类型的强关系

如图所示。链表示如下:

假设r9c6(1)为假,则r7c6(6)为真、r78c4(6)区块为假。此时注意到,当r78c4(6)为假时,r78c47只包含2、8、9,且8只出现在r78c7里。根据UR区块类型的逻辑,我们应当得到区块为真的结果,所以r78c7(8)此时为真,故形成强关系。接着向下推理,后面的逻辑就不难了。

这个例子是区块不连续环,所以删数是r9c6(8)。

这个示例我们用到了UR区块类型的基本逻辑和思维,把两个区块节点直接使用强关系连了起来。

1-3 构建出UR共轭对类型的强关系

如图所示,假设r2c5(8)为假,则r2c5(7)为真、r79c5(7)为假,接着我们应当使用强关系使链继续持续下去。此时发现r7c2(9)=r79c5(7)。这是因为,一旦两个节点同假后,b7内能放下9的位置只剩下r79c3,形成宫区块,而c3含有2的共轭对,导致2只能放在r79c3里。如果此时9也只能放到r79c3的话,则2和9都只能放在r79c3,形成关于2和9的隐性数对,而此时r79c5(7)都为假,也只有2和9,所以r79c35此时形成关于2和9的UR的致命形式,所以矛盾。故这个强关系是成立的。

接着向下推理,直到r1c2(8),于是删除交集。

这条链使用到的是UR结构外部和内部两个看似完全不相关的节点的强关系:当它们同假时,配合一个共轭对,形成了致命形式。

1-4 构建出UR死锁形式的弱关系

如图所示。首先假设r9c1(3)为假,则得到r7c3(3)为真、r7c78(3)区块为假、r89c7(3)区块为真。如果此时r89c7(4)区块节点也为真,则这两个单元格就产生了两个区块。试想一下。两个区块都成立,而且在同样两个单元格,这意味着什么?这意味着两个单元格里使得同时成立,必须一个是3,一个是4。但凡少一个数不出现(比如3)都不叫区块为真。所以两个区块在同样两个单元格并且为真(例如图上r89c7)这种形式,就表示一个关于3、4的隐性数对(当然,前提是建立在r7c78(3)区块为假的基础上的)。

既然是一个隐性数对,就意味着两个单元格都只有3和4,此时r89c57就构成了只有3和4的UR的致命形式,所以矛盾了;所以,这两个区块不能同时为真,即给定的关系r89c7(3-4)成立。

接着向上推理,可以得到一个ALS区域和一个毛刺显性数对。最后链结束于r2c78(36)。所以删数是r9c1(3)和r2c78(36)的交集,即这里的r2c1(3),所以我们有r2c1 <> 3。

这个例子更为特殊的地方是,利用了区块和区块之间不同真,同真便导致形成隐性数对,进而出现致命形式,便用到了弱关系。

Part 2 万用UR

下面来介绍一种AUR结构,这种AUR极为特殊,它的四个顶点都包含一个相同的额外数字。

如图所示,首先我们可以利用之前构建区块类型的强关系来得到一个特殊的强关系r1c45(6)=r9c45(6),接着使用弱关系和强关系让链得以延续,最终删除r1c8(6)。

这个例子特殊的地方在于,r19c45这个AUR实际上带的两个区块涉及的数字不一定非要是6。如果是6,那么UR就是2和7;如果我们把两个7区块看成强关系,那UR此时涉及的就是2和6;如果是2区块的话,则UR涉及6和7。这种类型的AUR可以根据你的个人喜好,在后面使用到哪种情况,它就可以变为哪种情况,所以这种AUR称为万用UR(或万能UR,UR of Panacea),其中Panacea是万金油的意思,即表示怎样都可以用。


第 36 讲:待定唯一矩形的评论 (共 条)

分享到微博请遵守国家法律