Sudoku.best
仪表盘
开始游戏
最近导入
每日挑战学习Beta表现打印应用
设置
法律信息
0
Lv1
所有课程

AIC

极限排除

又称 交替推理链。

AIC(*交替推理链*)是一种由强推理和弱推理组成的灵活链。它可以跨越不同数字和结构类型——X 链和 XY 链都是特殊的 AIC,许多有名字的结构“其实就是短 AIC”。

前置课程:X 链、XY 链以及许多翼和鱼的结尾都是特殊的 AIC。

原理

强推理:如果 A 为假,则 B 为真。弱推理:如果 A 为真,则 B 为假。

从一端到另一端交替使用它们,意味着两个强端点不能同时为假。任何能看到两个端点的候选数都会被删除——同样是“两边都被刺中”的思路,只是允许更多种类的链。

如何发现

优先选择两端都是强链的链。想一想:如果这一端为假 → 另一端为真。

演示

75624683356146522631897549453618389891418

在盘面上沿着交替的强推理和弱推理前进。优先让两端都是强链。

75624683356146522631897549453618389891418

绿色格子勾勒出一条涉及 2 的 AIC。

75624683356146522631897549453618389891418

这条链证明两端不能同时为假——如果一端为假,另一端就必须为真。

75624683356146522631897549453618389891418

删除能看到两端的候选数(红色)(此处为 2)。

示例 1

26371353796338158344639321398

追踪一条交替推理链。

26371353796338158344639321398

这条 AIC 可以删除 2。

26371353796338158344639321398

删除标记的候选数(红色)(此处为 2)。两端不能同时为假,所以共同的邻格会被刺中。

示例 2

452153653471453538926359214557234582

追踪一条交替推理链。

452153653471453538926359214557234582

这条 AIC 可以删除 7。

452153653471453538926359214557234582

删除标记的候选数(红色)(此处为 7)。两端不能同时为假,所以共同的邻格会被刺中。

上一课3D 美杜莎下一课Nishio