第 19 講:死鎖唯一矩形
今天我們來看最后一種UR類型:死鎖UR(Locked UR)。死鎖UR基于二鏈列類型的UR,不過邏輯就不比之前的簡單和死板了。
Part 1 標(biāo)準(zhǔn)類型(Locked UR Type 1)

如圖所示。我們觀察,2在全盤只有r56c67這四格可填,而候選數(shù)5的位置關(guān)于r56來說,也只有5個(gè)位置。要是r5c1 <> 5,5在r56內(nèi)填數(shù)的位置也只有r56c67那幾格了。試想一下,2和5全被擠在r56c67里,會(huì)怎么樣?全擠進(jìn)去意味著2和5都是二鏈列結(jié)構(gòu)。意味著兩個(gè)數(shù)都是對(duì)角兩格是一樣的數(shù)值。那其中一個(gè)數(shù)是撇對(duì)角兩格,那剩下另一個(gè)數(shù)就應(yīng)該是捺對(duì)角兩格,這樣不就構(gòu)成2和5的UR致命形式了嘛!所以唯一能防止這樣結(jié)構(gòu)出現(xiàn)毛病的,只能讓r5c1 = 5。
所謂的撇對(duì)角和捺對(duì)角指的是按筆畫的方向定義的對(duì)角,即撇對(duì)角指的是右上和左下兩個(gè)單元格;而捺對(duì)角則指的是左上和右下連個(gè)單元格。
這種結(jié)構(gòu)是為了規(guī)避2和5卡死在四格之中形成二鏈列形式的UR結(jié)構(gòu),它被稱為死鎖唯一矩形,而它是標(biāo)準(zhǔn)類型(即類型1)。
Part 2 區(qū)塊類型(Locked UR Type 2)

如圖所示,這個(gè)結(jié)構(gòu)和剛才的差不多,不過這個(gè)結(jié)構(gòu)多了些情況。
如果r2c8(4)、r6c78(4)、r79c8(4)都為假時(shí),4在c78的位置就卡死在結(jié)構(gòu)涉及的四格r15c78之中了,而本來7就只有這四格位置可填,那4和7都卡死在里面,必然會(huì)致命。所以這些數(shù)不能同時(shí)消失。換句話說,至少一個(gè)是正確的數(shù)字,所以便可刪掉交集,那么r5c8 <> 4就成立了。
這個(gè)類型則是區(qū)塊類型(類型2)。
目前這個(gè)結(jié)構(gòu)只有兩種類型的示例,因?yàn)椴惶谜业健?/p>
技巧信息
死鎖UR類型1:難度4.6。
死鎖UR類型2:難度4.7。
名詞解釋
死鎖(Locked):結(jié)構(gòu)缺失一部分后會(huì)直接變成與之矛盾的特殊推導(dǎo)模式。