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)。两端不能同时为假,所以共同的邻格会被刺中。