标准数独进阶篇①

基础篇中已经介绍了基础的两种推数逻辑，摒除/唯余，还学习了区块/数组，在我个人看来，数组本质上也是排除的一种，那基础再进一步，就需要接触到链的概念，本篇章同样会一个个介绍进阶技巧的逻辑，那么同样先介绍一下名词以及需要了解到的东西。

------------------------------

共同作用格:在结构/逻辑中两个关键格子或者关键区域共同影响到的格子。

强关系:两个数不能同时为假。

弱关系:两个数不能同时为真。

链:强关系开头，强关系结尾，且以强弱递进的方式传递。链的推导过程中，节点是以真假递进的。

链头:链在推导过程中的第一个节点，推导从链头为假开始。

链尾:链在推导过程中的最后一个节点。

节点:强关系或弱关系两端的数字，结构中每个真假讨论的点。一条链至少包含两个节点。

双强链:链长为3的链，也称为短链，也是最常用到的链，常见的摩天楼，wwing，双线风筝都是双强链的一种。

xywing:一种结构，xywing也可以用链的形式写出来，延伸的还有xyzwing/wxyzwing等等。

xwing（二链列）:鱼的一种，也是最小阶级的鱼，鱼还有剑鱼/水母等等。

致命结构:基于唯一解得出的结构，当结构多解时即致命，因为唯一数独只有一个解。当一个盘面出现致命结构时则无解，所以衍生出致命结构类技巧，如ur（唯一矩形）/bug（双全值坟墓）等等。

填入数可交换:这是基于致命结构的一种概念。

-------------------------------------------

本篇涉及到的技巧详情会在技巧介绍的时候再讲清楚，最后再补充一下关于图的规范，在此我使用的作图规则为，黄圈为起始，代表链头，以黄圈假开始。红线代表强关系，蓝线代表弱关系，红圈或者蓝圈起来的数代表节点。在数字a上画黑色叉或者直接写-a代表删数；

用文字的写法为a=b代表强关系，a-b代表弱关系，<>a代表不能为a，=>a代表填入a，当然在完整写法中还会加入坐标。

结构分为删数结构跟出数结构，但大部分的结构本身是为了删数服务的，我个人也是这么认定的，当然，有时候我们找到的结构有可能是没有删数的，这很正常。

本篇会从xywing以及相关技巧开始分析。

--------------------------------------------------