一、区块排除法
〔一〕区块(Locked Candidates)是指某个数字可能出现在两个或者多个单元格中,所有的这些单元格放在一起,就称作区块组,简称区块。
1、这里的区块是针对同一个数字或者候选数。
2、区块至少由两个单元格构成。
〔二〕区块的特点
1、所有区块的候选数必有一格是正确的。
2、所有区块的候选数不可能同时被删除掉。
3、所有区块的候选数不可能都是正确的
〔三〕区块的分类
1、同区区块:对于某一个数字,在同一宫行或宫列内的一组单元格内只有一个位置是对的,这组单元格称为一个区块组,简称区块
2、不同区区块:对于某一个数字,在不同区的两个或者多个单元格中,至少有一个位置是对的,所有的这些单元格放在一起,就称作区块组,简称区块。
〔四〕同区区块排除法
1、行列区块对宫排除法
〔1〕行区块对宫排除法
〔2〕列区块对宫排除法
2、宫内区块对行列排除法
〔1〕宫内区块对行排除法
〔2〕宫内区块对列排除法
〔五〕不同区区块排除法
1、不同区区块排除法是指单元格的交集法。
2、两格区块排除法:是指两个单元格的交集法。
〔1〕所有区块的候选数至少有一格是正确的。
〔2〕填法有两种可能:一种是其中一个是正确的,一种是两个都是正确的。
〔3〕删数的位置:两个单元格的交集。
3、三格区块排除法:是指三个单元格的交集法。
〔1〕所有区块的候选数至少有一格是正确的。
〔2〕填法有三种可能:一种是其中一个是正确的,一种是其中两个是正确的,一种是三个都是正确的。
〔3〕删数的位置:三个单元格的交集。
4、多格区块排除法:是指多个单元格的交集法。
〔1〕所有区块的候选数至少有一格是正确的。
〔2〕删数的位置:多个单元格的交集。
二、一分为二研讨法
〔一〕什么是一分为二研讨法
1、分成矛盾的两种情况:
〔1〕一种情况是正确的,另外一种情况必然是错误的,没有第三种情况。
〔2〕一种情况是错误的,另外一种情况必然是正确的的,没有第三种情况。
2、一分为二研讨法的目的
〔1〕出数
〔2〕删数
〔3〕结构
〔二〕单个数字对某格的一分为二研讨法
1、根据数独规则,每个单元格中必须有数字,而且只能填唯一的数字。
2、单个数字对某格的填法只能有两种:填入,不填。
3、单个数字对某格的一分为二研讨法,就是研讨两种情况:一种是假设填入某数,一种是假设不填某数。
4、排除其中一种假设是错误的,另外一种假设必然是正确的。
5、举例
实例一
〔1〕观察单元格r1c6
〔2〕利用数字1对单元格r1c6进行一分为二研讨
〔3〕研究两种情况:r1c6=2,r1c6≠2。
〔4〕删数:假设r1c6=2,经过推理,结果不成立,那么,r1c6≠2必然是正确的。
〔5〕出数:假设r1c6≠2,经过推理,结果不成立,那么,r1c6=2必然是正确的。
〔6〕结构:
实例二
假设r6c1≠5时,就形成致命矩形结构,是多解结构,与数独的唯一解相矛盾,所以假设是错误的。因为假设r6c1≠5是错误的,所以r6c1必然等于5。
〔三〕多值格的一分为二研讨法
〔1〕可以根据实际需要,两多个候选数分成两组来研讨
〔2〕举例说明
单元格r3c2(359)是三值格,
比如可以分成这样两组:39为一组,5为一组。
当r3c2=39时,就可以和单元格r3c8(39)构成数对,然后进行推理。
〔3〕举例说明
单元格r3c23(2359)是多值格,
比如可以分成这样两组:39为一组,25为一组。
当r3c2=39时,就可以和单元格r3c8(39)构成数对,然后进行推理。
〔四〕双值格的一分为二研讨法
1、数对一分为二研讨法
实例三
〔1〕跨区数对(远程数对):
当r4c2=8时,经过推理得到r5c9=9。
当r4c2=9时,经过推理得到r5c9=8。
因此,r4c2和r5c9是跨区数对
〔2〕同数研讨:
当r4c2=8且r5c9=8时,经过推理得到r4c8≠8且r5c1≠8
当r4c2=9且r5c9=9时,经过推理得到r4c8≠9且r5c1≠9
因此跨区数对r4c2和r5c9可以得到r4c8≠89且r5c1≠89
2、共轭对一分为二研讨法
〔1〕分成两组来讨论:相同的数字为一组,不同的数字为一组
〔2〕举例说明
r2c1(36)和r2c3(39)是共轭对
分成两组进行研讨:
r2c1=3且r2c3=3为一组
r2c1=6且r2c3=9为一组
〔五〕两个多值格的一分为二研讨法
1、两格数字不完全相同:相同的数字为一组,不同的数字为一组
2、两格数字完全相同:根据实际需要,分成两组
3、如果其中一组是错误的,那么另外一组必然是正确的。同样,如果其中一组是正确的,那么另外一组必然是错误的。
4、需要特别注意的是,是整组值,而步是组内某个单元格的值。比如说整组是正确的,只是说至少有一格是正确的,究竟是哪一格是不能确定的。当然,对于跨区数组,在特殊的情况下,可能所有格都是正确的。
5、举例说明
〔1〕单元格r7c2和r9c2是两个完全相同的三值格。
〔2〕可以分成两组:39为一组,5为一组
〔3〕当r7c2=39且r9c2=39时,四格r7c2、r9c2、r7c7、r9c7构成致命矩形结构,存在多解。因为与数独题的唯一解相矛盾,所以假设是错的。
〔4〕当r7c2=39且r9c2=39是错的,那么另外一组r7c2=5且r9c2=5必然是正确的。
〔六〕多个单元格的一分为二研讨法
1、格中数字不完全相同:相同的数字为一组,不同的数字为一组
2、格中数字完全相同:根据实际需要,分成两组
3、如果其中一组是错误的,那么另外一组必然是正确的。同样,如果其中一组是正确的,那么另外一组必然是错误的。
4、需要特别注意的是,是整组值,而步是组内某个单元格的值。比如说整组是正确的,只是说至少有一格是正确的,究竟是哪一格是不能确定的。当然,对于跨区数组,在特殊的情况下,可能所有格都是正确的。
5、举例说明
〔1〕r1c1、r1c2和r9c1是三个多值格,候选数完全一样。
〔2〕可以分成两组:39为一组,5为一组
〔3〕假设r1c1、r1c2和r9c1的候选数都是(39),这样,四个单元格r1c1、r1c2、r9c1和r9c2构成致命矩形结构,存在多解。因为与数独题的唯一解相矛盾,所以假设是错的。
〔4〕当r1c1、r1c2和r9c1的候选数都是(39)是错的,那么另外一组必然是正确的,也就是说r1c1、r1c2和r9c1的候选数必然是数字5
本节实例答案
实例一:初盘
实例一:终盘
实例二:初盘
实例二:终盘
实例三:初盘
实例三:终盘
实例四:初盘
实例四:终盘
,