数独宗师技法
★★★★★ · 18 种技法
宗师级技法是数独解题的最高境界,涉及链式推理、近似锁定集(ALS)和复杂环结构。 这些技法常见于竞赛级数独和数独世界锦标赛。
单数链(长度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)
利用两个近似锁定集通过双受限公共候选数消除。