幾乎鎖定的集合

什麼是幾乎鎖定集合?

ALS 是同一屋內 N 個格子,擁有恰好 N+1 個不同的候選數字。它稱為「幾乎鎖定」——移除一個候選數字後,就會變成裸subset。最簡單的 ALS 是雙值 單元格(1 單元格,2 個候選數字)。所有格子必須共用一個屋。

什麼是受限制的共同候選數?

RCC 是出現在 ALS A 和 ALS B 中的數位,其中 A 中的每個實例都與 B 中的每個實例相見。這表示該數位只能出現在兩個 ALS 中的一個,導致另一個變為鎖定狀態。接著,第二個共用數位 Z 可從同時看到其在兩個 ALS 中所有實例的細胞中消除。

ALS-XY:原始ALS互動規則

兩個ALS共享一個RCC(X)和另一個共同數字(Z)。X只能出現在其中一個ALS中,從而鎖定另一個。Z必須出現在至少一個ALS中。從所有看到兩個ALS中所有Z的細胞中消除Z。等級9(大師)。

ALS-XZ: 擬優化的雙ALS技巧

與ALS-XY相同邏輯,但驗證更嚴格。該演算法枚舉所有ALS,並檢查每對之間是否存在RCC。等級10(大師)。

ALS鏈: 連接多個幾乎鎖定的集合

一組由RCC連接的ALS序列(每對連續ALS使用不同的RCC數字)。消除目標出現在第一個和最後一個ALS中。等級11(極端)。包含兩組ALS技巧為特殊情況。

蘇德科克: ALS交叉模式

利用方塊與列或行的交集。兩個輔助集合(一個來自列,一個來自方塊)的候選數字不相交,且合起來涵蓋了交集部分的所有候選數字。等級 9(大師)。

死亡之花:莖葉花瓣ALS技巧

一個帶有 N 個候選數的支幹 單元格 連接到 N 個花瓣 ALS,每個候選數對應一個花瓣。每個候選數都是其花瓣的 RCC。如果某個數字出現在所有花瓣中,則可從所有看到其花瓣中所有實例的單元格中刪除。等級 11(極端)。

如何找到 ALS 模式

在每個屋內列出ALS。尋找共享候選數字且具有有效RCC的數對。針對蘇德科克,專注於區塊-線條交集。針對死亡之花,從候選數較少的起始細胞開始。

難度評級

ALS-XY:難度 9,大師 蘇德科克:難度 9,大師 ALS-XZ:難度 10,大師 ALS鏈:難度 11,極限 死亡之花:難度 11,極限

摘要

ALS技巧基於兩個概念:幾乎鎖定集合(N格,N+1個候選數)和限制性共同候選數。五種技巧以不同配置應用此原理,構成解決最難 puzzles 的最強大力量之一。