想必很多人都会遇到这样的情况，按通常的办法做数独题，到了中间玩不下去了。怎么办？难道乱试一通？不是的，还是要用逻辑推理。题目中的候选数，就是为高难解法而准备的。也可以把前面的步骤理解为解法相对简单，一下子定位到那个必选的数字了。而复杂的情形就没那么轻松，必须一层层抽丝剥茧，否定一些候选数后，剩下的才是正解。这明显就是数学中的反证法呀，没错！中小学就有，可惜很多人并未重视。逻辑推理是学校教育的短板，现在做数独题就能补上这一课。国际上已经开发出大量的算法，各种专有名词还特别多，我们知道几个最基本的就行了，其他的就用推导来说明。如图1，在题主做到一半的题目中加入行列号，现在开始求解。+4[H1|H2]-4[H4|H6]第七宫（即左下九个格）中候选数只在H1与H2中，即其中必有一个是4，这是指向对（Pointing Pair）。同在H行中的H4与H6就不能为4，我们就可删去它们中的候选数4，即有图2。+34[A8|C8]-3[G8|H8]A8与C8的候选数都是3与4，这是一种稳定的结构，称为数对，即3与4必在两者之中，故G8与H8都不是3，见图3。下面就来到关键的一步，因为题目刚跨入较难阶段，这一步后就容易了。为了使内容更充实，我们用三种方法来解题。方法一+3[C2]-3[B2]+3[B4]-3[A5]+8[A5]-38[C4|C6]+47[C4|C6]-4[C8]+3[C8]-3[C2]假设C2为3，则B2不是3；B4就是3，则A5不是3；A5就是8，则C4与C6不是3或8；C4与C6就形成数对4与7，则C8不是4；C8就是3，这与C2为3的假设矛盾。此法也称强迫链（Forcing Chain），它强行令推理的路线向着反证的途径前进。因此C2不是3，B2就是3，题目降为普通难度，后面势如破竹，直达答案。方法二+4[B2]-4[A1]+8[A1]-8[A5]+3[A5]-3[B4]+4[B4]-4[B2]假设B2为4，则A1不是4；A1就是8，则A5不是8；A5就是3，则B4不是3；B4就是4，这与B2为4的假设矛盾。这叫XY翼（XY-Wing），从A5的38即XY张开两翼34即B4与48即A1，多出的数是4，则它们共同对着的B2中就不能有4。不知道也没关系，用算法更能说明问题，这样就不用背公式，会推理就行。当然最好两者都会，这要靠大量做题来积累经验。可见B2不是4，B2只能是3，与方法一殊途同归。方法三+4[C6]-4[I6]+789[G6|H6|I6]-8[H5]+3[H5]-3[A5]+3[A8]-3[C8]+4[C8]-4[C6]假设C6为4，则I6不是4；G6|H6|I6就形成数组789，这是数对的更一般情形，即这三个数字就落在这三格中，则H5不是8；H5就是3，则A5不是3；A8就是3，则C8不是3；C8就是4，这与C6为4的假设矛盾。因而C6不是4，I6必为4，I4就是1，后面就毫不费力了，答案请看图4。}