:
首先这不叫bug,bug是终局里大部分格都是双值格,删去特定数后导致全局可能有两种填数方法的情况(虽然肯定会填不下去),这个叫UR(唯一矩形),特指局部存在双解,但最后也会导致全局无解的结构。 其次的话,UR作用格有3种备选数的话肯定没法算UR的,因为本来就不一定只能填出两种可以互相交换而对全局不产生影响的填数
:
有个叫w-wing的技巧,推断方法是某个数中间加入了另一个数,最后回到这个数的链推导方法。链的写法是r5c7(2=1)-r9c7=r8c8-r1c8(1=2)→r2c7≠2。 估计你也不了解链的原理,你可以假设r5c7的2是假的,然后按照上面的链顺序看数字的真假性,比如接下来就是r5c7的1是真的,r9c7的1是假的,这样下去就可以推导出r1c8的2是真的,反过来先从r1c8是假的开始也一样,所以可以删除头尾两格的共同作用区域













