小灰的数独迷你课堂第七讲——候选数初步

更新时间2021/5/51642 浏览攻略
前言:本讲开始正式介绍候选数法。这是一个分水岭,请自行决定是否继续学习。并不是说如何如何难,不好学。而是说我认为这是普通玩家与进阶玩家的区别。一般来说简单玩玩,就可以了。所谓候选数就是因为直观已经解决不了才开始使用的方法。(对于玩家而言)要知道很多数独游戏是没有候选数自动填写的功能的。(小灯泡)所以开始转型的玩家会感到,一局数独的时间已经很长了。真心热爱,愿意投入大量时间,才能更进一步。(比如我本人,中间已经很长时间没有玩数独了,这也是为什么我在复习的原因。而且我个人也不是主玩数独,一天玩几局就不错了,更别提没时间的情况了)专业玩家有条件、有时间、有方法可以投入很多。我们就不是了。接下来的内容我尽量用简单详细的话来解释,不过问题不是这些技巧难理解,而是难使用。在面对一个标准数独时,是没有提示告诉你可能用什么方法的,所以找起来并不容易。
本讲很简单,只是一个过渡。还记得我说有时间会介绍如何用候选数法使用观察法的技巧吗?就是现在了。这篇很简单,看到这里的玩家都会。就是个铺垫。
候选数本身没啥说的,就是该格内可能填入的数字
我们先提一个概念吧,出数和删数
出数(Assignment):出数指的是能够得出填数结论的行为,比如之前的技巧,利用区块和数组来达到排除和唯一余数的结论,这种就叫出数结论。
删数(Elimination):删数,则是针对于候选数而言。得到的推理结论仅仅是排除一个候选数情况的行为。
其实就是填数和删候选数。
1.1唯一法:Full House/Last Digit
(我需要说明,这个名字是我根据解法特征翻译的。。。具体正式名字可能没有,因为这都不用特意提)
TapTap
这种情况就叫Full House(填满小房间)或Last Digit(最后的数字),我看了看英文解释,应该是在一宫/行/列仅一个数没填的情况下。直接填就完了。(你明白为什么没有正式翻译名字了吧。。。还有习题我是不会出的,费流量,那就是真全年龄向了。)
1.2隐性唯一法:Hidden Single
TapTap
这种情况就叫Hidden Single,就是在该行/列/宫仅有该格含有某候选数。如图r7只有r7c9有候选数8.所以就填8.也就是排除法,具体是行列排除还是宫排除,在候选数法下区分意义不大。
1.3显性唯一法:*** Single
TapTap
这种情况就叫*** Single,就是看到一个格仅有一个候选数的情况。直接填不解释。就是唯余法。(为什么一开始不让开辅助,就是因为毫无游戏体验)
2区块(Locked Candidates)
2.1宫区块Locked Candidates Type 1 (Pointing)
TapTap
(简单的例子我就都直接用这个游戏来举例了,方便玩本游戏,不过复杂一些的我会用各种颜色标记候选数,就不适合直接用了)
之前都讲过,就简单说了。B7形成1的区块,排除r8其它候选数1(删数),就可以在r7b5直接填1了。
Locked Candidates Type 1 (Pointing): 1 in b7 => r8c56<>2
这是标准说法,=>表示推导出,<>表示删数。(以后为了省事,有可能我也会这样写,别忘了什么意思。。。我尽量不偷懒)
2.2行列区块Locked Candidates Type 2 (Claiming)
TapTap
观察b8,r8仅r8c46含有候选数2,形成2的区块。删掉b8其它格的候选数2。
3数组(Subset)
3.1显性数组(*** Subset)
3.1.1显性数对(*** Pair)
(先说显性的理由我之前提过,候选数法下的显性更简单)
观察b8,r8仅r8c46含有候选数2,形成2的区块。删掉b8其它格的候选数2。
3数组(Subset)
3.1显性数组(*** Subset)
3.1.1显性数对(*** Pair)
(先说显性的理由我之前提过,候选数法下的显性更简单)
TapTap
例子非原创,以后非原创我会说明。由于该网站是gplv3协议下的,因此我随便用。后面我会告诉你们原网站,有兴趣可以自己了解。不过你需要会一点点英文。他的解释如果不错,我会翻译过来。如果我觉得不如我的解释更简单清楚,我就自己来了。顺便说下,我之前没用过某数独APP,因为几年没怎么接触了,这两天有玩家提过,我就看了看。。。它这个例子吧,基本上也不是它原创。)
显性数对在候选数法下,特别好看。如图,r8形成39数对。所以r8c2的候选数3可以再见了。(前面我已经全讲过了,所以这里我就简单说下)
TapTap
(例子非原创)两个就是类似宫排除与行列排除。B5 89数对,删89.
3.1.2显性三数组(*** Triple)
TapTap
TapTap
两个例子,不解释。
3.1.3显性四数组(*** Quadruple)
TapTap
不解释。(真没啥说的,都标好了)
3.2隐性数组(Hidden Subset)
3.2.1隐性数对(Hidden Pair)
TapTap
相比显性数对,隐性相对不直观,在实际解题时,看漏的情况经常。对于我而言,我一般找隐性数对(开候选数时)就忽略候选数,直接观察法找的更好。你试试看,19对c9排除,就只有c9r57能填19.很简单吧。
TapTap
对于复杂情况,如果用候选数法你说你是一眼就能看出这个数对?如果用观察法就非常好找,47对b1(r1也行)排除,一眼就找到。所以说,观察法是基础,练好了再用候选数法。
3.2.2隐性三数组(Hidden Triple)
TapTap
越是数组的阶高(数多)就越不好发现。不过,一般也就用到三数组,四数组在随机出题的情况下,很难遇到。
3.2.3隐性四数组(Hidden Quadruple)
TapTap
原网站给出的观察隐性数对方法大概跟我想法类似,就是用铅笔简单标记,就可以得到。(其实就是手动候选数标记,实际你手动用候选数标记时就知道了,除非是下一步实在不知道了,否则没事是不会把所有候选数全标上的)至于隐性数组,网站意思是比较困难,很多玩家会考虑用显性数组代替。(后面我会说)
好了,填坑了。
那么为什么没有五数组?
显隐性互补。
TapTap
(吐槽一下,tap上发帖子,一个帖子同一个图片不让重复发?什么操作。。。我重新截个图)
回到这个隐性数对的例子。如果我们观察c9其他格,你会发现什么?c9r1249这是2678是显性四数组呀。所以,只要有显性数组,就必然在这个区域里存在与之互补的隐性数组;反之亦然。
显然,五数组的存在就必然存在与之对应互补的另外一个数组,这个数组的规格必然小于或等于4。(一共就9个数)所以,即使我们能够发现这样的数组,结构也存在与之互补的另外一个规格小于5的数组,所以,理论上是不存在五数组或更高规格的数组的。
有什么用呢?
前面刚提过,很多玩家是会把“不容易”观察的隐性数组转化为显性数组的。所以,如果你对隐性数组不熟悉,可以使用显性数组来进行代换。这就是互补存在的意义。(针对候选数法,观察法反过来)
复习完了,习题就算了。。。原先的题做做就行,就是极限挑战系列。不过。。。难度就那样。基本上前面很多题都用得上。后面才是真的进阶技巧,按理说应该介绍什么fish,什么wing之类的。但是我想尽量从原理的角度解释这些方法,而不是全靠假设。所以我决定提前介绍链,然后回来再说。
引用网站链接:http://hodoku.sourceforge.net/en/index.php(除了英语以外还有德语版本。。。很强大,几乎包括了所有候选法的技巧)
附上总集篇链接。
14
5
2