平淡爱数独

把X-Wing看成一个命题，理解起来可能更容易，R1C3或者R7C7中任一候选数7跟X-Wing形成强链接，R1C3和R7C7候选数7由于ALS和R1C3、R7C3、R7C8候选数8构成弱--强--弱--强--弱的链接，再与X-Wing链接，形成一个强弱交替的闭合的链接环，在闭合的链接环中，X-Wing命题两端均为强链接，命题为真，所以删除R1C3和R7C7候选数7。

今天仔细阅读了Forcing chain verity 和Forcing chain contradiction 技巧。两者的定义分别为： Forcing chain verity 假设某单元（行、列、宫）中所有候选数分别存在，来推导某个候选数存在。（即逻辑存在） Forcing chain contradiction 假设某单元（行、列、宫）中所有候选数分别存在，来推导某个候选数不存在。（即逻辑不存在） 这不就是在试数吗？我们在解题时试数，肯定会运用强弱链的逻辑，多试几次，或者找到逻辑存在或者找到逻辑不存在，再给它命名，难道就是一个技巧了？！ ​一些难题如果不利用类似于试数的方法，就无法解出，那是不是可以这样认为，碰到解不出的难题就以试数法来解才是王道？！ 请高手解惑，不胜感激。

题目：000 002 100 300 500 870 100 080 006 600 800 030 009 703 200 270 001 008 900 030 005 031 005 004 006 900 000 解题过程： 1、唯一解R5C9为1。宫摒除法陆续解出R4C2\R2C5\R7C4\R9C8为1,R4C5\R8C4为2，R6C3为3。 2、直观法解不出了，开始用上候选数法。多宝鱼：R9C2\R9C9\R2C9\R3C8，删除R3C2候选数2;R5C8\R5C5\R8C5\R7C6，删除R7C8候选数6。 3、此时进入困难期。经观察，发现第一个ALS，R7C2\R7C3\R8C1{248，2478，78}与R7C8{28}两个集合的候选数8构成强链，R7C6\R9C6候选数8也构成强链，R7C6\R7C8候选数8构成弱链，连接形成强--弱--强模式，故删除R9C1\R9C2候选数8，解出R9C6为8。 4、好像还没找到关键节点。此时发现第二个ALS，R7C8{28}与R9C7\R9C9{37,237},R7C8候选数8与R9C7\R9C9候选数7构成强链，R1C3\R7C3候选数8也构成强链，R7C3\R7C8候选数8构成弱链，连接形成强--弱--强模式，但好像还是不能删减。 同时，我发现候选数7在R3C3\R3C6\R7C3\R7C6有一个X-WING的雏形，如果少掉R1C3或者R7C7其中之一候选数7，就有一个真正的X-WING了。也就是说R1C3、R7C7候选数7同质（同真同假）。 R1C3候选数7、8在同一格，R9C7\R9C9候选数7与R7C7候选数7在同一宫，互相之间有删减效果，把ALS与X-WING连接起来看，我们能发现一条弱--强--弱--强--弱模式的链，即可以删减R1C3和R7C7候选数7，R7C7为6。 以下解法比较简单，不再赘述。 在此，要感谢叶老师“链的逻辑”的讲解。因为不懂贴图，不能图文并茂的描述，敬请原谅！

从强弱强的结构看，r5c9的2与r2c9的9互为真假，它们的共同作用格为r2c9的2，所以删除r2c9的2。

试误法是很多"高手"所不屑的一种方法, 有人甚至定义为"邪法", 其实试误法是解数独最有效的方法, 你用除了唯一矩形外的任何一种数独技术(不管是高级的还是低级的)能解开的题用试误法都能解开, 实际上技术是否高级只是由人评论而已. 空矩形很多人都认为是高级方法, 实际上只是试误法的一个衍生物. 22.JPG 这个图形中，r5c9、 r5c1、 r7c1、 r2c1、 r2c9形成A--B==C--D==E--A链结构，r2c9删除2

试误法是很多"高手"所不屑的一种方法, 有人甚至定义为"邪法", 其实试误法是解数独最有效的方法, 你用除了唯一矩形外的任何一种数独技术(不管是高级的还是低级的)能解开的题用试误法都能解开, 实际上技术是否高级只是由人评论而已. 空矩形很多人都认为是高级方法, 实际上只是试误法的一个衍生物. 22.JPG 这个图形中，r5c9、 r5c1、 r7c1、 r2c1、 r2c9形成A--B==C--D==E--A链结构，r2c9删除2

找到A--B==C--D==E--A,E和A为同一格候选数，可以排除A,对吗？