数独:标准数独进阶篇①如下:
基础篇中已经介绍了基础的两种推数逻辑,摒除/唯余,还学习了区块/数组,在我个人看来,数组本质上也是排除的一种,那基础再进一步,就需要接触到链的概念,本篇章同样会一个个介绍进阶技巧的逻辑,那么同样先介绍一下名词以及需要了解到的东西。
------------------------------
共同作用格:在结构/逻辑中两个关键格子或者关键区域共同影响到的格子。
强关系:两个数不能同时为假。
弱关系:两个数不能同时为真。
链:强关系开头,强关系结尾,且以强弱递进的方式传递。链的推导过程中,节点是以真假递进的。
链头:链在推导过程中的第一个节点,推导从链头为假开始。
链尾:链在推导过程中的最后一个节点。
节点:强关系或弱关系两端的数字,结构中每个真假讨论的点。一条链至少包含两个节点。
双强链:链长为3的链,也称为短链,也是最常用到的链,常见的摩天楼,wwing,双线:风筝:都是双强链的一种。
xywing:一种结构,xywing也可以用链的形式写出来,延伸的还有xyzwing/wxyzwing等等。
xwing:鱼的一种,也是最小阶级的鱼,鱼还有剑鱼/水母等等。
致命结构:基于唯一解得出的结构,当结构多解时即致命,因为唯一数独只有一个解。当一个盘面出现致命结构时则无解,所以衍生出致命结构类技巧,如ur/bug等等。
填入数可交换:这是基于致命结构的一种概念。
-------------------------------------------
本篇涉及到的技巧详情会在技巧介绍的时候再讲清楚,最后再补充一下关于图的规范,在此我使用的作图规则为,黄圈为起始,代表链头,以黄圈假开始。红线代表强关系,蓝线代表弱关系,红圈或者蓝圈起来的数代表节点。在数字a上画黑色叉或者直接写-a代表删数;
用文字的写法为a=b代表强关系,a-b代表弱关系,a代表不能为a,=>a代表填入a,当然在完整写法中还会加入坐标。
结构分为删数结构跟出数结构,但大部分的结构本身是为了删数服务的,我个人也是这么认定的,当然,有时候我们找到的结构有可能是没有删数的,这很正常。
本篇会从xywing以及相关技巧开始分析。
--------------------------------------------------