解数独的好方法

解数独的好方法

解数独的链式推导方法

　　解数独的高级技法林林总总，有名有姓的方法不少，“单链”、“X-环”、“XY”、“异数链”、“唯一矩形”、“ALS”什么的，但在解题时仅用这些成名的技法却并不够用。看看“论坛解集”里面的例子吧，每解一个难题，多一半的步骤并不是使用了这些成名的技法，而是用了很多链式推导的方法来解题。这些推导方法说它们有名，跟已命名的技法又不太象，说它们无名，如此频繁使用的方法岂能无名。老外有叫作“Forcing Chains”的，译为“强制链”，也有叫作“关连数删减法的”，但定义的内容比较简单，并没有全面地包括诸多高手们使用的内容。

　　对于新手们来说，常郁闷于已经掌握了一些成名的高级技法却还是解不开难题，看题解是学习的最好路子，但这些“无名”的推导方法并没有哪里系统地介绍过，成为学习中的困惑之处。

　　在这里试着把我所理解的链式推导方法作一点介绍，供新手们能有所参考。

　　肯定不能概全所有，只是抛砖引玉，希望大家能够给予补充，使成为“链式推导方法汇总”。

错误之处还望各位斧正。

何谓“链式推导方法”解数独

　　所谓链式推导方法就是根据数独题中候选数的出现关系或分布规律来推导，形成一条或多条推导链，最后证明某个或某些候选数是真或是假的解数独题的方法。

现在能想到的链式推导方法有：

1、由A证明B为假（由一个格子的候选数假设推导证明另一个格子里的某个候选数是假的方法）

2、由A证明B为真（由一个格子的候选数假设证明另一个格子的某个候选数是真的方法）

3、由A证明A为假（由某个候选数推导而出现错误证明本身假设是错的方法）

4、与成名方法结合的链式推导

5、还有………

如何推导 先定义一下，所说的A、B、C……、a、b、c……等等，都是候选数在某格子位置的代号。箭头“-->”是“导致”或“因此”的意思。

“=”是等于，“<>”是不等于的意思。

　　A=1-->B=2-->C=3……的意思是：当A是1时，导致B等于2，B等于2因此C就等于3……，余下类推。

　　A=1-->B<>1-->……的意思就是当A是1时，B就不是1，余类推。

　　“同一单元”的概念是指同一行或同一列或同一九宫格。