數獨卡關求解 - 數獨

來收割一下大家的討論。這串討論的重點在「唯一解」，前面的意見分歧點大致有
兩個：

1.什麼是猜？
2.唯一解假設可不可以用？



什麼是猜？

這點我認為 arthurduh1 與 LPH66 已經講的很清楚：


這裡也有一個例子說明其實反證法和特殊技巧只是巨觀與微觀的差別：
#16P0PeuN

但我認為真正講到關鍵的是這則推文：

更進一步來說，「做完假設後是否導出矛盾以致於排除該假設」的差別才是連結到
「唯一解」這個主題的條件。也就是說，如果假設被否決，那它就是試誤法，和一
般邏輯推理無異；如果假設未被否決，最後得到一解，那我們不妨把這個假設稱為
「猜」。

再進一步來說，這個問題真正的關鍵在於，

3.什麼是數獨解？
a) 得到一解
b) 證明已得到全部的解

我們姑且把 a) 稱為弱解，a)+b) 稱為強解。我們真正在乎的是我們能得到的是強
解還是弱解，而不是我們使用的手段。在面對一個未知解數的題目時，如果使用
「猜」，我們只能得到弱解。那如果使用了唯一解假設呢？我們還是只能得到弱
解，因為一旦用了它就沒辦法證明 b)。

即使題目作者告訴我們這題只有唯一解，用了唯一解假設還是沒有辦法「檢驗」這
件事，我認為嚴格說起來還是得到弱解。 (這有點像國中的時候方程式故意出個無
解的給你，還是要檢驗完畢才是完整的解。)

所以事實上在解的強弱方面，唯一解假設和「猜」的效力是一樣的。拉遠來看，唯
一解假設是在使用一個我們回頭也證不出來的前提，所以它當然和「猜」是一樣的。
這不是信仰問題──只要把 b) 的條件擺到檯面上，這件事就很清楚了。

--