唯一矩形(UR)扫盲篇 想想当初自己看到UR时,不明觉厉,想不通什么是致命模式,UR换个马甲就不知道怎么找可删的数,况且UR的马甲还很多……,才写下了这篇UR,以供参考。唯一矩形(Unique Rectangle):简写UR,这里以最常规的双数UR为列
边界条件:构成UR的基础数有2个,位于2宫4格2行2列,且四格连线构成矩形模式。
候选特点:构成UR的4个单元格共同基础数有2个,如下图中的A和B,其余的数字为额外数,如下图中的C。

致命模式:如果将所有的额外数预删除,只保留UR基础数,则出现致命模式。来看看图2所示:独立的UR,独立之后的结果看图3和图4。

致命模式:独立后的UR出现了两种排列方式,又因2个基础数互换位置对除这4格之外的格子不产生影响,也就是说致命模式下产生了多解,因为合格的数独是具有唯一解属性的,独立了的UR违背了唯一解的基本原则,所以说它是致命的,需要规避,如图3图4致命模式。

机理:一旦出现图3和图4那样的模式,就出现了多解,所以造成出现这种模式的删数都是错误的!也就是说必须有额外数的存在来规避这种致命模式的产生,如图1中的额外数C就是不可以删除的数。
这里面有个小梗:有人疑惑?出现图3中的模式不是也是唯一的吗?答案当然是否定的,且不说推导存在的逻辑问题,来看一下:
为什么说他们是双胞胎呢?只要图3存在,图4也是必然存在的,只不过作为造物主的你选择了老大丢弃了老二,为什么这么说呢?想一想,既然得到了图3的模式,就等于删除了所有的额外数,那么不妨把额外数之外的基础数都恢复如何?恢复后就得到了图2的模式,这样是不是又看到了老二!想通了这个环节,想必再也不会看到老大就想不起来老二了。
注意事项:题目中的给定数是不可以如此简单的作为老大老二的腿当做UR来看的。
既然理清了UR的逻辑机理:唯一解原则。那么如何利用这个攻歼利器?
不就是避免老大的出现吗?来看一下老大是如何出现的,如图5所示:
这里用到强弱链的概念,想必看UR的都已经初懂强弱链了。

总结一下:UR4格,其中1个格子的某基础数和3格格子里的某基础数均构成强链,如果第4格的某基础数和3条强链的共有数构成弱链,那么第4格的这个基础数将导致致命模式,所以它是可删的。
来简单定义一下:如图5所示,粉格就是3条强链的共有数在的单元格,可称作主格,共有数可称作主格强数,另外一个数可称作主格辅数;黄格和绿格含有另外2条强链的数字,可称作辅格,数称作辅格强数;蓝格是弱链数所在的单元格,可称作删格,可删除的数称作栅格弱数。在这个设定中存在1个主格、2个辅格、1个删格,1个主格强数、1个主格辅数、2个辅格强数、1个栅格弱数。
需要说明的是:这个观察UR删数的角度,在实际操作中,是不那么直观的并且效率也很低,甚至有些别扭,但从致命模式的产生来说,它也是严谨的。想想,单单的双数4格UR就有很多种变形形态,对于初学者来说,往往找不到方向,那么用这种分析方式慢慢的分析推导,就比较容易理清为什么那些UR额外数是可删除的,待熟练之后,只要看到双值单元格和那么一两条直观的强链,就比较容易锁定栅格弱数了。对新手理清UR删数应该起点作用。
把试数路径用链表示出来,是为了建立逻辑的推导方法,基于结构的特点,便于更有效率的找到删数,在不确定的情况下,也可以更快的进行试数确认,下面基于这个方法,举几个例子,找找UR中那些不容易看到的删数路径。




边界条件:构成UR的基础数有2个,位于2宫4格2行2列,且四格连线构成矩形模式。
候选特点:构成UR的4个单元格共同基础数有2个,如下图中的A和B,其余的数字为额外数,如下图中的C。

致命模式:如果将所有的额外数预删除,只保留UR基础数,则出现致命模式。来看看图2所示:独立的UR,独立之后的结果看图3和图4。

致命模式:独立后的UR出现了两种排列方式,又因2个基础数互换位置对除这4格之外的格子不产生影响,也就是说致命模式下产生了多解,因为合格的数独是具有唯一解属性的,独立了的UR违背了唯一解的基本原则,所以说它是致命的,需要规避,如图3图4致命模式。

机理:一旦出现图3和图4那样的模式,就出现了多解,所以造成出现这种模式的删数都是错误的!也就是说必须有额外数的存在来规避这种致命模式的产生,如图1中的额外数C就是不可以删除的数。
这里面有个小梗:有人疑惑?出现图3中的模式不是也是唯一的吗?答案当然是否定的,且不说推导存在的逻辑问题,来看一下:
为什么说他们是双胞胎呢?只要图3存在,图4也是必然存在的,只不过作为造物主的你选择了老大丢弃了老二,为什么这么说呢?想一想,既然得到了图3的模式,就等于删除了所有的额外数,那么不妨把额外数之外的基础数都恢复如何?恢复后就得到了图2的模式,这样是不是又看到了老二!想通了这个环节,想必再也不会看到老大就想不起来老二了。
注意事项:题目中的给定数是不可以如此简单的作为老大老二的腿当做UR来看的。
既然理清了UR的逻辑机理:唯一解原则。那么如何利用这个攻歼利器?
不就是避免老大的出现吗?来看一下老大是如何出现的,如图5所示:
这里用到强弱链的概念,想必看UR的都已经初懂强弱链了。

总结一下:UR4格,其中1个格子的某基础数和3格格子里的某基础数均构成强链,如果第4格的某基础数和3条强链的共有数构成弱链,那么第4格的这个基础数将导致致命模式,所以它是可删的。
来简单定义一下:如图5所示,粉格就是3条强链的共有数在的单元格,可称作主格,共有数可称作主格强数,另外一个数可称作主格辅数;黄格和绿格含有另外2条强链的数字,可称作辅格,数称作辅格强数;蓝格是弱链数所在的单元格,可称作删格,可删除的数称作栅格弱数。在这个设定中存在1个主格、2个辅格、1个删格,1个主格强数、1个主格辅数、2个辅格强数、1个栅格弱数。
需要说明的是:这个观察UR删数的角度,在实际操作中,是不那么直观的并且效率也很低,甚至有些别扭,但从致命模式的产生来说,它也是严谨的。想想,单单的双数4格UR就有很多种变形形态,对于初学者来说,往往找不到方向,那么用这种分析方式慢慢的分析推导,就比较容易理清为什么那些UR额外数是可删除的,待熟练之后,只要看到双值单元格和那么一两条直观的强链,就比较容易锁定栅格弱数了。对新手理清UR删数应该起点作用。
把试数路径用链表示出来,是为了建立逻辑的推导方法,基于结构的特点,便于更有效率的找到删数,在不确定的情况下,也可以更快的进行试数确认,下面基于这个方法,举几个例子,找找UR中那些不容易看到的删数路径。



