起重机是同一数字上的一条短链:强–弱–强。摩天楼、双线风筝和起重机基本上属于同一家族——都是最短实用 X 链 / AIC 的不同画法。
前置课程:与摩天楼和双线风筝同属涡轮鱼(turbot)家族。
原理
强链表示“恰好一个为真”,弱链表示“不能同时为真”。交替使用它们,会在两端得出有用的结论:至少一端为真,所以能看到两端的格子不能是这个数字。
如果你理解了摩天楼,你就已经理解了起重机——逻辑相同,形状不同。
演示
137279518368577235374432748132
对一个数字,沿一条强链、再沿一条弱链、然后沿另一条强链前进。
137279518368577235374432748132
绿色格子组成 5 的起重机——一条微型多宝鱼 / X 链。
137279518368577235374432748132
这条链说明,对 5 而言至少有一端必须为真。两端的共同邻格无论如何都不安全。
137279518368577235374432748132
从能看到两端的格子中删除 5(红色)。
示例 1
7212138749213852852379781892437954596
在一个数字上找到一条短的强–弱–强链。
7212138749213852852379781892437954596
这个起重机涉及 3。
7212138749213852852379781892437954596
从能看到两端的格子中删除 3(红色)。必有一端为真。
示例 2
564879526484289153647649845681745137
在一个数字上找到一条短的强–弱–强链。
564879526484289153647649845681745137
这个起重机涉及 1。
564879526484289153647649845681745137
从能看到两端的格子中删除 1(红色)。必有一端为真。