
如图所示,这条链的头从F8(7)开始,比较容易理解。
设定F8<>7,则得到B8=7,则AB7<>7。使得区块节点为假,则AB7均不能为7。于是,顺次得到A7=2和B7=8。
接着,AB69只剩下1、4、9,故此时AB9(9)必须为真,否则14UR致命。于是F9<>9、F8=9,此时绕回F8<>7,形成环。
这个环最简单的删数位于F8(56),因为环内弱要删为强才行。接着,环就不好找删数了。
其实,图上所有红色的位置均可被删除。我们先从A5(1)说起。我们先从强制视角来看。如果A5=1,则A6=4、B6=6。顺着链的次序走,最终导致B7候选数被删空,产生矛盾,所以A5<>1。
进一步地,我们因为假设A5是1,最终得到了B6是6,由于B6是6会产生矛盾,所以A5如果还有候选数4的话,依然会得到B6是6,一样会出问题。所以其实A5可以删4(A56是14数对的时候)。
接着,B行内其余位置的6(只要结构不涉及的6)都可以删。但凡有一个6成立,都会通过刚才的假设逻辑得到删数。
其实,BC8(2)也是可以删的(如果不受到提示数影响的话):如果BC8(2)为真,则A7=7,B7=6,致使B8<>7,顺次得到F8=7、F9=9,于是AB9<>9,而由于B7=6和BC8=2的关系,此时形成14UR致命。
其实,这个链换一个方向再看的话,其实更容易搞明白里面的逻辑。