第29講：虛ALS

今天是新年第一天，祝福大家萬事如意、闔家歡樂！

今天我們要講的東西，還是ALS。ALS看到不想看了是吧！其實ALS確實複雜，而且大多都只是方便觀察，才產生的多種視角的ALS。而實際上，之前講到的ALS，包括hALS和nALS，都是可以相互轉化的，不過，多一種觀察，多一種方法嘛！

Part 1 虛nALS（Virtual nALS）

如圖所示，這就是之前的ALS-XZ。不過，今天看的是另外一個角度。

還記得這個結構嗎？r3c7(1)和r1c9(4)同假意味著，r1c78(145)就不夠填了，因為r1c78隻有兩格，但b3之中只有這兩個位置要填1、4、5三種數字，這顯然是不夠的，所以r3c7(1)和r1c9(4)不可同假，即形成強關係。

同理，觀察r5。當r5c8(1)和r5c9(4)同假時，r5上，填入1和4的位置都只能在r5c7唯一的一格之中，r5隻有一個位置要填入1、4兩種數字，這顯然是不夠的，所以r5c8(1)和r5c9(4)不可同假，即形成強關係。

r1c78和r5c7這樣的結構，利用的並不是nALS本身，而是使用了其互補的、另外的位置，所以這樣的形式，我們稱為虛擬ALS（Virtual ALS）或虛ALS，簡稱VALS或vALS。這個例子，用的是nALS的虛擬ALS版本，所以稱為虛擬顯性ALS（Virtual Naked ALS），簡稱VNALS或vnALS。

Part 2 虛hALS（Virtual hALS）

如圖所示，特別觀察r1c4(3)和r2c46(5)的弱關係。

如果r1c4(3)和r2c46(5)同真時，r1c4=3、r2c46之中有一格是5。這時候，觀察r3c6，此時r3c6無數可填，所以同真時會產生矛盾，故不可同真，即形成弱關係。

類似於剛才的說法，r3c6就是一個虛擬隱性ALS（Virtual Hidden ALS），簡稱VHALS或vhALS。

Part 3 總結

這一節是針對講到的技巧做的一個統一的難度歸納和理論分析。

• 虛擬顯性待定死鎖集合
• 英文名：Virtual Naked Almost Locked Set
• 虛擬隱性待定死鎖集合
• 英文名：Virtual Hidden Almost Locked Set

推薦閱讀：