最難的數獨

2006年和2010年,一個什麽數學家發布了當時世界上最難的數獨,2006年的那個叫escargot.一個數獨論壇(enjoysudoku)2006年開始了關於最難數獨的搜尋。雖然所有的數獨都可以用t&e解決,但是數獨迷的原則是盡量不(甚至禁止)使用猜測或backtracking。他們現在列舉了10000多個超難的數獨遊戲,以上所說的兩個無法進入他們的列表。以下是他們找到的最難的數獨前三名,名叫champagne dry,second flush 和 golden nugget(2007).

col:  1 2 3 4 5 6 7 8 9
-----------------------
r 1 | 9 8 _ 7 _ _ _ _ _
r 2 | 7 _ _ _ _ _ 6 _ _
r 3 | _ _ 6 _ 5 _ _ _ _
r 4 | _ 4 _ _ _ 5 _ 3 _
r 5 | _ _ 7 9 _ _ 5 _ _
r 6 | _ _ _ _ 2 _ _ _ 1
r 7 | _ _ 8 5 _ _ 9 _ _
r 8 | _ _ _ _ 1 _ _ _ 4
r 9 | _ _ _ _ _ 3 _ 2 _

 

col:  1 2 3 4 5 6 7 8 9
-----------------------
r 1 | 1 2 _ _ 3 _ _ _ _
r 2 | 4 _ _ _ _ 1 _ 2 _
r 3 | _ _ 5 2 _ _ 1 _ _
r 4 | 5 _ _ 4 _ _ 2 _ _
r 5 | _ _ _ _ 6 _ _ 7 _
r 6 | _ _ _ _ _ 3 _ _ 8
r 7 | _ 5 _ _ _ _ 9 _ _
r 8 | _ _ 9 _ 7 _ _ 3 _
r 9 | _ _ _ _ _ 8 _ _ 6

 

col:  1 2 3 4 5 6 7 8 9
-----------------------
r 1 | _ _ _ _ _ _ _ 3 9
r 2 | _ _ _ _ _ 1 _ _ 5
r 3 | _ _ 3 _ 5 _ 8 _ _
r 4 | _ _ 8 _ 9 _ _ _ 6
r 5 | _ 7 _ _ _ 2 _ _ _
r 6 | 1 _ _ 4 _ _ _ _ _
r 7 | _ _ 9 _ 8 _ _ 5 _
r 8 | _ 2 _ _ _ _ 6 _ _
r 9 | 4 _ _ 7 _ _ _ _ _

所有跟帖: 

現在最難的數獨僅17字,但數學家還沒有證明17是最小的. -jinjing- 給 jinjing 發送悄悄話 (81 bytes) () 10/22/2011 postreply 09:49:56

好奇,如何證明解是唯一的 -品茗99- 給 品茗99 發送悄悄話 (0 bytes) () 10/22/2011 postreply 18:01:33

很簡單,trial and error -hqw2000- 給 hqw2000 發送悄悄話 (0 bytes) () 10/22/2011 postreply 20:09:38

回複:好奇,如何證明解是唯一的 -jinjing- 給 jinjing 發送悄悄話 (43 bytes) () 10/22/2011 postreply 21:41:07

錯.17是現在找到的有唯一解得最小的線索數,並不是邏輯上最難的. -hqw2000- 給 hqw2000 發送悄悄話 (700 bytes) () 10/22/2011 postreply 19:55:10

什麽叫難? -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

回複:現在最難的數獨僅17字,但數學家還沒有證明17是最小的. -guest007- 給 guest007 發送悄悄話 (2313 bytes) () 10/24/2011 postreply 08:05:19

回複:回複:現在最難的數獨僅17字,但數學家還沒有證明17是最小的. -hqw2000- 給 hqw2000 發送悄悄話 (364 bytes) () 10/24/2011 postreply 22:53:06

回複:回複:回複:現在最難的數獨僅17字,但數學家還沒有證明17是最小的. -jinjing- 給 jinjing 發送悄悄話 (35 bytes) () 10/25/2011 postreply 08:36:06

9!*6^5 OK, 6^5 OK, and 1 also OK. -jinjing- 給 jinjing 發送悄悄話 (0 bytes) () 10/25/2011 postreply 12:09:54

回複:回複:現在最難的數獨僅17字,但數學家還沒有證明17是最小的. -jinjing- 給 jinjing 發送悄悄話 (63 bytes) () 10/25/2011 postreply 08:31:43

請您先登陸,再發跟帖!