第 19 讲:死锁唯一矩形
2020-08-29 10:16 作者:SunnieShine | 我要投稿
今天我们来看最后一种UR类型:死锁UR(Locked UR)。死锁UR基于二链列类型的UR,不过逻辑就不比之前的简单和死板了。
Part 1 标准类型(Locked UR Type 1)

如图所示。我们观察,2在全盘只有r56c67这四格可填,而候选数5的位置关于r56来说,也只有5个位置。要是r5c1 <> 5,5在r56内填数的位置也只有r56c67那几格了。试想一下,2和5全被挤在r56c67里,会怎么样?全挤进去意味着2和5都是二链列结构。意味着两个数都是对角两格是一样的数值。那其中一个数是撇对角两格,那剩下另一个数就应该是捺对角两格,这样不就构成2和5的UR致命形式了嘛!所以唯一能防止这样结构出现毛病的,只能让r5c1 = 5。
所谓的撇对角和捺对角指的是按笔画的方向定义的对角,即撇对角指的是右上和左下两个单元格;而捺对角则指的是左上和右下连个单元格。
这种结构是为了规避2和5卡死在四格之中形成二链列形式的UR结构,它被称为死锁唯一矩形,而它是标准类型(即类型1)。
Part 2 区块类型(Locked UR Type 2)

如图所示,这个结构和刚才的差不多,不过这个结构多了些情况。
如果r2c8(4)、r6c78(4)、r79c8(4)都为假时,4在c78的位置就卡死在结构涉及的四格r15c78之中了,而本来7就只有这四格位置可填,那4和7都卡死在里面,必然会致命。所以这些数不能同时消失。换句话说,至少一个是正确的数字,所以便可删掉交集,那么r5c8 <> 4就成立了。
这个类型则是区块类型(类型2)。
目前这个结构只有两种类型的示例,因为不太好找到。

技巧信息
死锁UR类型1:难度4.6。
死锁UR类型2:难度4.7。
名词解释
死锁(Locked):结构缺失一部分后会直接变成与之矛盾的特殊推导模式。