全民数独：进阶链技巧揭秘

在基础篇中，我们已学习了排除法和唯余法两种基本推理逻辑，并接触了区块与数组的概念。在我看来，数组实质上仍属于排除法的延伸。为进一步提升解题能力，接下来将引入链的概念。本篇将继续逐步讲解各类进阶技巧的逻辑原理，首先介绍相关术语及必备知识。

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

共同作用格指在结构或逻辑中，两个关键格子或区域共同影响的特定格子。

强关系：两数至少一个为真。

两数不能同时成立，存在弱制约关系。

以强关系起始并终结，通过强弱逐步推进，各节点在传递中依真假顺序递进演化。

链头是推导起始节点，整个过程从其为假出发进行推理。

链尾指推导过程中链的最终节点。

节点是链中连接强弱关系的两端数值，代表结构内每个真假判断的交点，每条链至少由两个节点构成。

双强链指长度为三的链，又称短链，是解题中最常见的类型，如摩天楼、双线风筝等均属此类。

一种两端均为相同双值格的结构。

一种名为xywing的结构，可通过链式方式表达，其扩展形式包括xyzwing、wxyzwing等多种变体，广泛应用于逻辑推理与解题过程中。

X翼是一种小型鱼类，属于最低等级的鱼群，其他还包括剑鱼、水母等种类。

致命结构是指在数独中基于唯一解假设形成的特定模式，若该模式导致多解，则与唯一解原则矛盾，从而使盘面无解。此类结构引发了一系列解题技巧，如唯一矩形（UR）、双全值坟墓（BUG）等，用于识别并避免破坏唯一解的情况。

可填数字可互换，源于特定致命结构的逻辑特性。

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

本文所提及的技巧将在后续技巧说明部分详细阐述。关于图表规范，统一采用如下作图规则：黄圈表示起始点，即链的开端，以假说起始；红色线条表示强关联，蓝色线条表示弱关联；用红圈或蓝圈标注的数字代表相应节点；在数字a上方标记黑色叉或直接写为-a，表示该数字被删除。

以文字表达关系：a=b表示强关联，a-b表示弱关联，<>a表示排除a，=>a表示确定填入a，完整表述中将结合具体坐标信息。

结构可分为删数与出数两类，但多数结构主要服务于删数，我亦持此观点。不过，有时所发现的结构可能并无删数功能，这种情况也属正常。

本文将从xy翼及其相关技巧展开分析。

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