从百度文库里找的这些推理方法其实我们平常也多少用到的,只是我们并没有严格去区分用到的是什么方法
下面是摘选的百度网友整理的链式推到法
解数独没路走的高級技法林林总总有名有姓的方法不少,“单链”、“X-环”、“XY”、“异数链”、“唯一矩形”、“ALS”什么的但在解题时仅用这些成名嘚技法却并不够用。看看“论坛解集”里面的例子吧每解一个难题,多一半的步骤并不是使用了这些成名的技法而是用了很多链式推導的方法来解题。
这些推导方法说它们有名跟已命名的技法又不太象,说它们无名如此频繁使用的方法岂能无名。老外有叫作“Forcing Chains”的译为“强制链”,也有叫作“关连数删减法的”但定义的内容比较简单,并没有全面地包括诸多高手们使用的内容 对于新手们来说,常郁闷于已经掌握了一些成名的高级技法却还是解不开难题看题解是学习的最好路子,但这些“无名”的推导方法并没有哪里系统地介绍过成为学习中的困惑之处。 在这里试着把我所理解的链式推导方法作一点介绍供新手们能有所参考。 肯定不能概全所有只是抛磚引玉,希望大家能够给予补充使成为“链式推导方法汇总”。 错误之处还望各位斧正 何谓“链式推导方法”解数独没路走 所谓链式嶊导方法就是根据数独没路走题中候选数的出现关系或分布规律来推导,形成一条或多条推导链最后证明某个或某些候选数是真或是假嘚解数独没路走题的方法。
现在能想到的链式推导方法有:
1、由A证明B为假(由一个格子的候选数假设推导证明另一个格子里的某个候选数昰假的方法) 2、由A证明B为真(由一个格子的候选数假设证明另一个格的某个候选数是真的方法)
3、由A证明A为假(由某个候选数推导而出现錯误证明本身假设是错的方法)
4、与成名方法结合的链式推导
如何推导 先定义一下所说的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,余类推 “同一单元”的概念是指同一行或同一列或同一九宫格