数独宗师技法

★★★★★ · 18 种技法

宗师级技法是数独解题的最高境界,涉及链式推理、近似锁定集(ALS)和复杂环结构。 这些技法常见于竞赛级数独和数独世界锦标赛。

1

单数链(长度3)

X-Chain (Length 3)

长度为3的单数字强弱链推理。

2

带鳍剑鱼

Finned Swordfish

剑鱼结构加上额外鳍格的高级变体。

3

双数链(长度3)

XY-Chain (Length 3)

长度为3的双值格链式推理。

4

单数链(长度7)

X-Chain (Length 7)

长链单数字推理,需要跟踪7步强弱链。

5

退化剑鱼

Sashimi Swordfish

不完整剑鱼结构的退化形式。

6

带鳍水母

Finned Jellyfish

水母加鳍的超高级鱼结构。

7

双数链(长度4+)

XY-Chain (Length 4+)

长链双值格推理,需要更深的逻辑链追踪。

8

退化水母

Sashimi Jellyfish

不完整水母结构的退化形式。

9

Sue de Coq

Sue de Coq

基于行列宫交叉区域的高级集合消除技法。

10

扩展Sue de Coq

Extended Sue de Coq

Sue de Coq 的扩展形式,覆盖更复杂的集合关系。

11

交替推理链

Alternating Inference Chain

强弱链交替的通用推理链,可发现多种消除机会。

12

连续环

Continuous Nice Loop

闭合的交替推理链,可同时产生多处消除。

13

不连续环

Discontinuous Nice Loop

在矛盾点断开的推理链,利用矛盾确定结论。

14

区块交替推理链

Grouped AIC

将区块(同宫同行/列的候选数组)作为节点的 AIC。

15

区块连续环

Grouped Continuous Nice Loop

使用区块节点的连续推理环。

16

区块不连续环

Grouped Discontinuous Nice Loop

使用区块节点的不连续推理环。

17

ALS-XZ (单RCC)

ALS-XZ (Single RCC)

利用两个近似锁定集通过单个受限公共候选数消除。

18

ALS-XZ (双RCC)

ALS-XZ (Double RCC)

利用两个近似锁定集通过双受限公共候选数消除。