錯.17是現在找到的有唯一解得最小的線索數,並不是邏輯上最難的.

一個數學家找到了 49151 個隻有 17 entries 不同的 Sudoku (http://mapleta.maths.uwa.edu.au/~gordon/sudokumin.php)

我覺得又要最少線索、又要唯一解,這大大限製了17線索sudoku的數量和可能的邏輯難度。但是17線索sudoku對那些隻使用bruteforce、幾乎不使用數獨邏輯的算法是‘難’的。但實際上基於數獨邏輯的算法可以很容易的解開它們。

不信的話可以使用一款免費軟件sudoku explainer,是數獨迷比較公認的有強大邏輯的算法的程序,能夠用邏輯解釋所有現在已知的數獨(但是無法證明可以解釋所有的包括未知的、更難的數獨),並給出難度係數。我引用的三個例子,係數都達到了11.9,計算時間可能超過1小時。 沒有其他的數獨可以達到那麽高。

所以說線索數量和邏輯難度沒有確定的關係。(隻有比較含糊的關係)。

所有跟帖: 

什麽叫難? -jinjing- 給 jinjing 發送悄悄話 (0 bytes) () 10/22/2011 postreply 21:37:28

這個問題好! -hqw2000- 給 hqw2000 發送悄悄話 (832 bytes) () 10/22/2011 postreply 22:21:48

回複:這個問題好! -jinjing- 給 jinjing 發送悄悄話 (183 bytes) () 10/23/2011 postreply 10:50:21

能不能舉一個邏輯解的例子 -品茗99- 給 品茗99 發送悄悄話 (648 bytes) () 10/23/2011 postreply 12:47:13

俺說的沒有看見過一個邏輯的方法 -品茗99- 給 品茗99 發送悄悄話 (131 bytes) () 10/23/2011 postreply 12:52:25

當然不可能一次到位,反複應用可以解大部分免費報紙上的Sudoku -wxcfan123- 給 wxcfan123 發送悄悄話 (0 bytes) () 10/23/2011 postreply 18:25:25

嗬嗬,downloaded explaner, it's crunching..... -品茗99- 給 品茗99 發送悄悄話 (0 bytes) () 10/23/2011 postreply 14:35:44

first trial -品茗99- 給 品茗99 發送悄悄話 (849 bytes) () 10/23/2011 postreply 15:27:15

回複:first trial -hqw2000- 給 hqw2000 發送悄悄話 (1268 bytes) () 10/23/2011 postreply 20:17:43

sort of -品茗99- 給 品茗99 發送悄悄話 (1370 bytes) () 10/24/2011 postreply 18:05:02

In case you are interested -hqw2000- 給 hqw2000 發送悄悄話 (680 bytes) () 10/24/2011 postreply 18:23:06

Very nice work! -品茗99- 給 品茗99 發送悄悄話 (306 bytes) () 10/26/2011 postreply 17:41:30

謝謝,不想證明什麽了。估計改用c++實現的話,可以快一百倍。 -hqw2000- 給 hqw2000 發送悄悄話 (0 bytes) () 10/28/2011 postreply 18:50:59

您的軟件放在網上了嗎。用什麽寫的。 -wxcfan123- 給 wxcfan123 發送悄悄話 (0 bytes) () 10/29/2011 postreply 16:21:41

用python 實現的,不打算放在網上。 -hqw2000- 給 hqw2000 發送悄悄話 (281 bytes) () 10/29/2011 postreply 17:13:27

看了這個網站 -品茗99- 給 品茗99 發送悄悄話 (56 bytes) () 10/23/2011 postreply 13:49:49

請您先登陸,再發跟帖!