天堂有路你不走

34270

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

57139

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

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

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

57139

舉一個(gè)簡單例子：
計(jì)算機(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

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

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

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

看R8的那兩個(gè)橘色格子，一個(gè)可以填4，一個(gè)可以填2，這4和2不能同假，因?yàn)槿绻伲@6個(gè)黃色格子都是24雙值格，它們形成致命結(jié)構(gòu)，會(huì)導(dǎo)致多解。

而橘色格子中，無論2是真還是4是真，都能確定黃色格子中的4格數(shù)字。
因?yàn)檫@幾個(gè)數(shù)字對(duì)解題影響不大，所以就不提了。

57139

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

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

57139

下面我們?cè)賮砜匆坏辣容^簡單的題，唯一法能解到如圖所示

57139

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

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

57139

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

57139

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

57139

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

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