数独技法大全
从入门到宗师，53 种数独解题技法的系统化教程
概要：数独解题技法按难度分为 5 个等级——入门（唯一空位、摒除法等基础技法）、 中级（显性数对、X-Wing 等模式识别）、高级（剑鱼、XY-Wing 等复合推理）、 大师（唯一矩形系列、远程数对等高级推理）、宗师（交替推理链、Sue de Coq 等链式推理）。 以下是每种技法的详细教程。
BUG+1
BUG+1
利用双值通用坟墓（BUG）模式快速确定唯一解。
摩天楼
Skyscraper
基于强链形成的"摩天楼"结构进行候选数消除。
双线风筝
2-String Kite
利用行和列中的强链交叉形成的风筝结构消除候选数。
显性三数组
Naked Triple
三个单元格共享三个候选数的组合，可排除同组其他格的这些候选数。
隐性三数组
Hidden Triple
三个数字在某单元组中只出现在三个位置。
Chute Remote Pairs
Chute Remote Pairs
利用跨宫的远程数对关系进行高级推理。
剑鱼
Swordfish
X-Wing 的三行三列扩展版本，更大范围的候选数消除。
XY-Wing
XY-Wing
三个双值格形成的翼结构，利用逻辑推理消除候选数。
空矩形
Empty Rectangle
利用宫中候选数的空矩形分布进行消除推理。
显性四数组
Naked Quad
四个单元格共享四个候选数，可排除同组其他位置的候选数。
XYZ-Wing
XYZ-Wing
XY-Wing 的扩展，枢纽格包含三个候选数。
W-Wing
W-Wing
利用强链连接的两个双值格进行候选数消除。
可视避矩形-1
Avoidable Rectangle Type 1
利用唯一性约束排除导致多解的候选数（类型1）。
可视避矩形-2
Avoidable Rectangle Type 2
利用唯一性约束排除导致多解的候选数（类型2）。
唯一矩形 1
Unique Rectangle Type 1
四格矩形中三格已确定双值，第四格额外候选数为答案。
唯一矩形 2
Unique Rectangle Type 2
唯一矩形类型2，利用额外候选数的位置关系消除。
唯一矩形 3
Unique Rectangle Type 3
唯一矩形类型3，结合显性子集进行消除。
唯一矩形 4
Unique Rectangle Type 4
唯一矩形类型4，利用强链关系确定唯一解。
唯一矩形 5
Unique Rectangle Type 5
唯一矩形类型5，对角线模式的唯一性消除。
唯一矩形 6
Unique Rectangle Type 6
唯一矩形类型6，隐性形式的唯一性推理。
远程数对
Remote Pair
通过双值格链形成的远程配对关系消除候选数。
带鳍X-Wing
Finned X-Wing
X-Wing 加上额外"鳍"格的变体，扩大消除范围。
退化X-Wing
Sashimi X-Wing
不完整的 X-Wing 结构，仍可有效消除候选数。
欠一数对
Almost Locked Pair
接近锁定的数对结构，利用"差一格"的特性推理。
水母
Jellyfish
X-Wing 的四行四列扩展，大范围矩阵消除。
隐性四数组
Hidden Quad
四个数字在某单元组中只出现在四个位置。
单数链(长度3)
X-Chain (Length 3)
长度为3的单数字强弱链推理。
带鳍剑鱼
Finned Swordfish
剑鱼结构加上额外鳍格的高级变体。
双数链(长度3)
XY-Chain (Length 3)
长度为3的双值格链式推理。
单数链(长度7)
X-Chain (Length 7)
长链单数字推理，需要跟踪7步强弱链。
退化剑鱼
Sashimi Swordfish
不完整剑鱼结构的退化形式。
带鳍水母
Finned Jellyfish
水母加鳍的超高级鱼结构。
双数链(长度4+)
XY-Chain (Length 4+)
长链双值格推理，需要更深的逻辑链追踪。
退化水母
Sashimi Jellyfish
不完整水母结构的退化形式。
Sue de Coq
Sue de Coq
基于行列宫交叉区域的高级集合消除技法。
扩展Sue de Coq
Extended Sue de Coq
Sue de Coq 的扩展形式，覆盖更复杂的集合关系。
交替推理链
Alternating Inference Chain
强弱链交替的通用推理链，可发现多种消除机会。
连续环
Continuous Nice Loop
闭合的交替推理链，可同时产生多处消除。
不连续环
Discontinuous Nice Loop
在矛盾点断开的推理链，利用矛盾确定结论。
区块交替推理链
Grouped AIC
将区块（同宫同行/列的候选数组）作为节点的 AIC。
区块连续环
Grouped Continuous Nice Loop
使用区块节点的连续推理环。
区块不连续环
Grouped Discontinuous Nice Loop
使用区块节点的不连续推理环。
ALS-XZ (单RCC)
ALS-XZ (Single RCC)
利用两个近似锁定集通过单个受限公共候选数消除。
ALS-XZ (双RCC)
ALS-XZ (Double RCC)
利用两个近似锁定集通过双受限公共候选数消除。