把前两天和讨论的问题整理了一下。欢迎吧友指正。
连续环是数独逻辑解法链式高阶技巧,众所周知是一大杀数利器。出现连续环时,往往伴随着大量候选数的删减,原因是连续环"首尾相连,强弱交替”的特性,导致了环中所有弱链同时都是强链,所以利用弱链的强链属性,对所有弱链两端数字所在区域的候选数进行删减。
然而,连续环还有一个非常强大的属性,环中所有强链同时一定是弱链。这里简单证明一下:
【a==b--c==d--a 四数链,首尾a相连后构成连续环。我们看其中a==b。假设a为真,从最后开始反推,有d为假,c真,b假。即:当a为真时,b为假。所以a--b】
这一属性往往被忽视了。原因是,普通的同区同数的强链,本身就具备了弱链的属性。而这样的普通强链是大量存在的,导致这一属性不能让人发现新的逻辑关系,往往没有实际作用。所以在介绍连续环的大部分教学贴里,都没有提到这一点。今天我们就这一属性进行深层发掘。本帖主要以实例讨论由ALS或UR产生的强链嵌入连续环之后,如何运用这一属性进行删数。
例1:ALS产生的强链嵌入连续环。原题来自@ssxsssxs 深度钻石#017。下面的盘势是中盘阶段。此前步骤是由@中华剑客2003 所解。

如图所示连续环。其中嵌入了黄色ALS形成的强链(剔骨“16”后,剩下3的区块与7形成强链)红色圈圈为正常删减,有一定解题基础的吧友应当都可以看懂,此处不在详述。可是,粉色圈圈是怎么删除的呢?下面来看一下过程。
观察图中的F4(7)==DF4(3),由于连续环,使其同时满足F4(7)--DF4(3)。在一个盘势中,如果一根链同时满足强链和弱链的关系,意味着链的两端不能同时为真,也不能同时为假。即:有且仅有其中一端为真,另一端为假。①如果F4=7,DF4≠3,黄格中出现16数对。②如果D4=3或F4=3,F4≠7,黄格中出现16数对。无论是①②哪种情况,原本ALS结构的三个黄格中,总会有两个变成16数对。所以可以完成对粉色圈圈的删减。(从3区块的角度考虑也可以得到同样的结论)
为什么会出现这么强大的删减?我们来看一下ALS本身结构的特点,如果同时剔除强链两端,剩下的骨数必然填不满相关格;(如同时剔除33和7,剩下16填不满黄格),如果其中一端为真,就对一个黄格实行站位,而由连续环得到另一端为假,会导至原先ALS的骨干数字(16)直接形成数组,可以对同区的其他候选数进行删减。
从这里我们可以得到一个大的结论。如果定义一个ALS结构中,剔除强链两端的相关数字之后,剩余数字为”骨干数字“,那么当ALS形成的强链嵌入连续环时,可以删除ALS所在区域中其他所有单元格中的”骨干数字“。
===================我是华丽的分割线===================
如果你仔细看到了这里,一定会开始思考,由UR产生的强链是不是也可以删数?没错,有些结构的UR嵌入连续环也是可以额外删数的。
由于UR结构过多,这里画个简图,表述一下其中一种可以造成删数的局面。(对角强链结构)

观察图中连续环,其中嵌入了由79UR形成的对角强链B6(5)==E4(4)。根据上面的结论,这条强链同时满足B6(5)--E4(4)。即,B6(5)和E4(4)不可同为真,也不可同为假,有且仅有一个为真,另一个为假。
①如果B6(5)为真,E4(4)为假,则形成两对79数对,可将蓝色格中79删除。
②如果E4(4)为真,B6(5)为假,则形成两对79数对,可将红色格中79删除。
结论:可以删除红蓝相交格中的79。

下面来看一个实例。
例2:原题来源独数之道,@taotaihsieh 谢老师整理的专题中的题目,@uFdooW 傅老师解题。

图中是一条连续环,具体路径傅老师已经详细注明。下面来看一下额外删数。很可惜,上文提到的”红蓝共同作用格“在这个例子中都已经被已知数占据,或是已经由别的方法完成删减。但是这个规则依然是有用的,如下图:

连续环使得UR中R8C5(7)==R9C7(3)产生了R8C5(7)--R9C7(3)的关系。
①当7为真、3为假时,走蓝色路径,得到R8C7=2,R9C5=2
②当3为真、7为假时,走绿色路径,得到R8C7=2,R9C5=2
所以R8C7=2,R9C5=2。
当然出的这两个数也可以由普通的不连续环得到,毕竟数独的逻辑关系是万法皆通的。目前手头尚无非常具有代表性的UR连续环实例,以后如果碰到会进行补充。
综上,连续环中所有链都同时满足强链和弱链的关系。强链删减规则和弱链删减规则一样是一个强大利器。如果UR或ALS嵌入了连续环,那么往往在普通删减后仔细观察,会有新的收获。
感谢@ssxsssxs @中华剑客2003 和在下一起讨论研究这个问题,感谢@中华剑客2003 帮忙寻找大量实例!
连续环是数独逻辑解法链式高阶技巧,众所周知是一大杀数利器。出现连续环时,往往伴随着大量候选数的删减,原因是连续环"首尾相连,强弱交替”的特性,导致了环中所有弱链同时都是强链,所以利用弱链的强链属性,对所有弱链两端数字所在区域的候选数进行删减。
然而,连续环还有一个非常强大的属性,环中所有强链同时一定是弱链。这里简单证明一下:
【a==b--c==d--a 四数链,首尾a相连后构成连续环。我们看其中a==b。假设a为真,从最后开始反推,有d为假,c真,b假。即:当a为真时,b为假。所以a--b】
这一属性往往被忽视了。原因是,普通的同区同数的强链,本身就具备了弱链的属性。而这样的普通强链是大量存在的,导致这一属性不能让人发现新的逻辑关系,往往没有实际作用。所以在介绍连续环的大部分教学贴里,都没有提到这一点。今天我们就这一属性进行深层发掘。本帖主要以实例讨论由ALS或UR产生的强链嵌入连续环之后,如何运用这一属性进行删数。
例1:ALS产生的强链嵌入连续环。原题来自@ssxsssxs 深度钻石#017。下面的盘势是中盘阶段。此前步骤是由@中华剑客2003 所解。

如图所示连续环。其中嵌入了黄色ALS形成的强链(剔骨“16”后,剩下3的区块与7形成强链)红色圈圈为正常删减,有一定解题基础的吧友应当都可以看懂,此处不在详述。可是,粉色圈圈是怎么删除的呢?下面来看一下过程。
观察图中的F4(7)==DF4(3),由于连续环,使其同时满足F4(7)--DF4(3)。在一个盘势中,如果一根链同时满足强链和弱链的关系,意味着链的两端不能同时为真,也不能同时为假。即:有且仅有其中一端为真,另一端为假。①如果F4=7,DF4≠3,黄格中出现16数对。②如果D4=3或F4=3,F4≠7,黄格中出现16数对。无论是①②哪种情况,原本ALS结构的三个黄格中,总会有两个变成16数对。所以可以完成对粉色圈圈的删减。(从3区块的角度考虑也可以得到同样的结论)
为什么会出现这么强大的删减?我们来看一下ALS本身结构的特点,如果同时剔除强链两端,剩下的骨数必然填不满相关格;(如同时剔除33和7,剩下16填不满黄格),如果其中一端为真,就对一个黄格实行站位,而由连续环得到另一端为假,会导至原先ALS的骨干数字(16)直接形成数组,可以对同区的其他候选数进行删减。
从这里我们可以得到一个大的结论。如果定义一个ALS结构中,剔除强链两端的相关数字之后,剩余数字为”骨干数字“,那么当ALS形成的强链嵌入连续环时,可以删除ALS所在区域中其他所有单元格中的”骨干数字“。
===================我是华丽的分割线===================
如果你仔细看到了这里,一定会开始思考,由UR产生的强链是不是也可以删数?没错,有些结构的UR嵌入连续环也是可以额外删数的。
由于UR结构过多,这里画个简图,表述一下其中一种可以造成删数的局面。(对角强链结构)

观察图中连续环,其中嵌入了由79UR形成的对角强链B6(5)==E4(4)。根据上面的结论,这条强链同时满足B6(5)--E4(4)。即,B6(5)和E4(4)不可同为真,也不可同为假,有且仅有一个为真,另一个为假。
①如果B6(5)为真,E4(4)为假,则形成两对79数对,可将蓝色格中79删除。
②如果E4(4)为真,B6(5)为假,则形成两对79数对,可将红色格中79删除。
结论:可以删除红蓝相交格中的79。

下面来看一个实例。
例2:原题来源独数之道,@taotaihsieh 谢老师整理的专题中的题目,@uFdooW 傅老师解题。

图中是一条连续环,具体路径傅老师已经详细注明。下面来看一下额外删数。很可惜,上文提到的”红蓝共同作用格“在这个例子中都已经被已知数占据,或是已经由别的方法完成删减。但是这个规则依然是有用的,如下图:

连续环使得UR中R8C5(7)==R9C7(3)产生了R8C5(7)--R9C7(3)的关系。
①当7为真、3为假时,走蓝色路径,得到R8C7=2,R9C5=2
②当3为真、7为假时,走绿色路径,得到R8C7=2,R9C5=2
所以R8C7=2,R9C5=2。
当然出的这两个数也可以由普通的不连续环得到,毕竟数独的逻辑关系是万法皆通的。目前手头尚无非常具有代表性的UR连续环实例,以后如果碰到会进行补充。
综上,连续环中所有链都同时满足强链和弱链的关系。强链删减规则和弱链删减规则一样是一个强大利器。如果UR或ALS嵌入了连续环,那么往往在普通删减后仔细观察,会有新的收获。
感谢@ssxsssxs @中华剑客2003 和在下一起讨论研究这个问题,感谢@中华剑客2003 帮忙寻找大量实例!