天堂有路你不走

34270

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

57139

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

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

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

57139

舉一個簡單例子：
計算機是這么算的：如果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

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

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

這道題其實也有一個特殊的應用：

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

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

57139

無論是現在各大數獨競速賽上少得可憐的標準數獨題，還是在變形數獨領域，幾乎都不涉及到“鏈”，都只用摒除，唯余，區塊，數組，最多加個X-WING,之類的定式，連劍魚都很少見。

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

57139

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

57139

現在我們用上帝的視角：

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

57139

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

57139

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

57139

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

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