天堂有路你不走

34270

第一張圖的線看都看不清啊，我還不會鏈，只知道有這個東西

57139

計算機(jī)的數(shù)獨解題策略是對數(shù)獨題的空格下手。
先把空格掃描出來，然后把每個空格可以填的數(shù)記錄下來制成一張表格。對它來說，這就是題目了。

然后它就想盡辦法開始刪除那些候選數(shù)，好像它和它們有仇似的，直到刪到有唯一數(shù)字出現(xiàn)為止。
對于比較復(fù)雜的表格，它就發(fā)明了一種鏈，叫“Forcing Chain”的算法來幫著刪候選數(shù)，更極端地，它甚至?xí)扇∶杜e的方式來對候選數(shù)下手，或是格子里的候選數(shù)枚舉，或是盤面上一個區(qū)域里的數(shù)字枚舉，這其實就是個“半暴力破解法”...

而人的解題策略和邏輯可不是這樣的哦

57139

舉一個簡單例子：
計算機(jī)是這么算的：如果R8C1=7,那么R4C1≠7，如果R4C1≠7，那么R4C1=9,如果R4C1=9，那么R5C3≠9，如果R5C3≠9，那么R8C3=9,如果R8C3=9，那么R8C3≠3，如果R8C3≠3，那么R8C1=3,如果R8C1=3，那么R8C1≠7，矛盾，所以R8C1≠7

而人是這樣算的：   如果R8C1=7,那么R4C1=9,R8C1=3，C3無9，所以R8C1≠7

57139

實際上，無論是計算機(jī)，還是人腦，解數(shù)獨題，都在用邏輯，“暴力破解”也符合邏輯。

與其說，人腦解題有時也會用“鏈”，還不如說，人機(jī)有時候會用相同的邏輯。

這道題其實也有一個特殊的應(yīng)用：

看R8的那兩個橘色格子，一個可以填4，一個可以填2，這4和2不能同假，因為如果同假，這6個黃色格子都是24雙值格，它們形成致命結(jié)構(gòu)，會導(dǎo)致多解。

而橘色格子中，無論2是真還是4是真，都能確定黃色格子中的4格數(shù)字。
因為這幾個數(shù)字對解題影響不大，所以就不提了。

57139

無論是現(xiàn)在各大數(shù)獨競速賽上少得可憐的標(biāo)準(zhǔn)數(shù)獨題，還是在變形數(shù)獨領(lǐng)域，幾乎都不涉及到“鏈”，都只用摒除，唯余，區(qū)塊，數(shù)組，最多加個X-WING,之類的定式，連劍魚都很少見。

當(dāng)然，哪天，像機(jī)器人運動會那樣，搞個計算機(jī)數(shù)獨軟件解題算法比賽，也讓它們過個鏈癮，只要有人愿意出錢搞這類比賽就行。

57139

下面我們再來看一道比較簡單的題，唯一法能解到如圖所示

57139

現(xiàn)在我們用上帝的視角：

這題在C4上的126數(shù)字是受限的，2宮中的2個橘色格子至少有一格必須是(126)，而3宮的89數(shù)對的不同分布會決定題目的生死。

57139

如果R1C9=8的話，這題就"死了".
這題如果是人腦解的話，隨便找個雙值格或雙位數(shù)填一下即可，也沒多少空格了，要么很快就會遇到這個126的沖突，要么就直接通了

57139

接著來看看用“鏈”的大聰明是怎么解的：
首先，候選數(shù)肯定要全標(biāo)上，我敢肯定他不會自己手工標(biāo)。
接著用UR定式得到一個強(qiáng)鏈，其實就是9和(16)不能同假。這一步已經(jīng)把可能的多解題漏掉了。

57139

然后分2路進(jìn)發(fā)
1. 9為真，則會導(dǎo)致R3C4=8,R2C5≠8
2. 16為真，R2C5=(16),R2C5≠8
所以R2C5的8可以堅決地刪除。

他這動不動就刪候選數(shù)的這一套一定是跟計算機(jī)學(xué)的，計算機(jī)算法對候選數(shù)有刻骨仇恨，甚至有句口號叫“寧可錯刪1千，不能放過一個”