數獨中的鰭狀 X-Wing 技巧
什麼是鰭狀 X-Wing?
鰭狀X-Wing接近標準X-Wing,但其中一條基礎行多出候選位置,稱為「鰭」。鰭必須與主體的一個角位於同一個宮,排除只限於鰭所在宮與相關覆蓋列的交集。
如何識別鰭狀 X-Wing?
找出兩條基礎行與兩條對齊的覆蓋列,再確認其中一行在覆蓋列之外還有候選數,而且鰭與主體角共享一個宮。
候選數4位於R2C3、R2C8、R5C3、R5C8,R5C9是鰭。鰭為假時形成標準X-Wing;鰭為真時直接控制第6宮。兩種情況都能從R4C8和R6C8刪除4。
為什麼只能局部排除?
鰭阻止了整條覆蓋列上的標準排除。只有同時受魚形主體和鰭所在宮影響的格子,才在兩個分支中都能刪除。
鰭狀 X-Wing 與標準 X-Wing 有什麼不同?
標準X-Wing沒有覆蓋列之外的額外位置;鰭狀結構允許額外位置,但排除較少。
鰭狀 X-Wing 成立的必要條件
- 整個結構只使用同一個候選數。
- 主體保留2條基礎行與2條對齊的覆蓋列。
- 鰭位於其中一條基礎行上,但在2條覆蓋列之外。
- 鰭必須與相關覆蓋列上的主體角位於同一個宮。
- 排除格必須位於該覆蓋列與鰭所在宮的交集,並且不在基礎行上。
檢查兩個邏輯分支
如果R5C9不是4,剩下的4個主體格會形成標準X-Wing,可以從C8排除其他4。如果R5C9是4,它會直接排除第6宮中的其他4。R4C8與R6C8同時位於C8和第6宮,因此兩個分支都能刪除這兩格中的4;其他宮內的C8格子則不能套用相同結論。
常見誤區
- 沿整條覆蓋列刪除候選數,忽略鰭只能控制所在宮。
- 鰭與相關主體角不在同一個宮。
- 把主體候選位置誤當成鰭。
- 移除鰭後,剩餘位置其實不能形成標準X-Wing。
常見問題
鰭狀 X-Wing 可以有多個鰭嗎?
可以,但相關鰭必須位於同一個有效宮內,並支持相同的重疊排除區域。
為什麼不能清除整條覆蓋列?
鰭為真時只會控制它所在的宮。宮外的格子沒有在兩個邏輯分支中同時被排除,因此必須保留。
總結
把鰭狀X-Wing理解成「X-Wing主體加上同宮鰭」。最後只能在魚形排除範圍與鰭所在宮的重疊位置刪除候選數。