起重機是同一數字上的一條短鏈:強–弱–強。摩天樓、雙線風箏和起重機基本上屬於同一家族——都是最短實用 X 鏈 / AIC 的不同畫法。
前置課程:與摩天樓、雙線風箏同屬多寶魚家族。
原理
強鏈表示「恰好一個為真」,弱鏈表示「不能同時為真」。交替使用它們,會在兩端得出有用的結論:至少一端為真,所以能看到兩端的格子不能是這個數字。
如果你理解了摩天樓,你就已經理解了起重機——邏輯相同,形狀不同。
示範
137279518368577235374432748132
對一個數字,沿一條強鏈、再沿一條弱鏈、然後沿另一條強鏈前進。
137279518368577235374432748132
綠色格子組成 5 的起重機——一條微型多寶魚 / X 鏈。
137279518368577235374432748132
這條鏈說明,對 5 而言至少有一端必須為真。兩端的共同鄰格無論如何都不安全。
137279518368577235374432748132
從能看到兩端的格子中刪除 5(紅色)。
範例 1
7212138749213852852379781892437954596
在一個數字上找到一條短的強–弱–強鏈。
7212138749213852852379781892437954596
這個起重機涉及 3。
7212138749213852852379781892437954596
從能看到兩端的格子中刪除 3(紅色)。必有一端為真。
範例 2
564879526484289153647649845681745137
在一個數字上找到一條短的強–弱–強鏈。
564879526484289153647649845681745137
這個起重機涉及 1。
564879526484289153647649845681745137
從能看到兩端的格子中刪除 1(紅色)。必有一端為真。