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