最难的数独

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- ♀ (81 bytes) () 10/22/2011 postreply 09:49:56

• 好奇，如何证明解是唯一的 -品茗99- ♀ (0 bytes) () 10/22/2011 postreply 18:01:33

• 很简单，trial and error -hqw2000- ♀ (0 bytes) () 10/22/2011 postreply 20:09:38

• 回复：好奇，如何证明解是唯一的 -jinjing- ♀ (43 bytes) () 10/22/2011 postreply 21:41:07

• 错.17是现在找到的有唯一解得最小的线索数,并不是逻辑上最难的. -hqw2000- ♀ (700 bytes) () 10/22/2011 postreply 19:55:10

• 什么叫难? -jinjing- ♀ (0 bytes) () 10/22/2011 postreply 21:37:28

• 这个问题好！ -hqw2000- ♀ (832 bytes) () 10/22/2011 postreply 22:21:48

• 回复：这个问题好！ -jinjing- ♀ (183 bytes) () 10/23/2011 postreply 10:50:21

• 能不能举一个逻辑解的例子 -品茗99- ♀ (648 bytes) () 10/23/2011 postreply 12:47:13

• 俺说的没有看见过一个逻辑的方法 -品茗99- ♀ (131 bytes) () 10/23/2011 postreply 12:52:25

• 当然不可能一次到位，反复应用可以解大部分免费报纸上的Sudoku -wxcfan123- ♂ (0 bytes) () 10/23/2011 postreply 18:25:25

• 呵呵，downloaded explaner, it's crunching..... -品茗99- ♀ (0 bytes) () 10/23/2011 postreply 14:35:44

• first trial -品茗99- ♀ (849 bytes) () 10/23/2011 postreply 15:27:15

• 回复：first trial -hqw2000- ♀ (1268 bytes) () 10/23/2011 postreply 20:17:43

• sort of -品茗99- ♀ (1370 bytes) () 10/24/2011 postreply 18:05:02

• In case you are interested -hqw2000- ♀ (680 bytes) () 10/24/2011 postreply 18:23:06

• Very nice work! -品茗99- ♀ (306 bytes) () 10/26/2011 postreply 17:41:30

• 谢谢，不想证明什么了。估计改用c++实现的话，可以快一百倍。 -hqw2000- ♀ (0 bytes) () 10/28/2011 postreply 18:50:59

• 您的软件放在网上了吗。用什么写的。 -wxcfan123- ♂ (0 bytes) () 10/29/2011 postreply 16:21:41

• 用python 实现的，不打算放在网上。 -hqw2000- ♀ (281 bytes) () 10/29/2011 postreply 17:13:27

• 看了这个网站 -品茗99- ♀ (56 bytes) () 10/23/2011 postreply 13:49:49

• 回复：现在最难的数独仅17字,但数学家还没有证明17是最小的. -guest007- ♂ (2313 bytes) () 10/24/2011 postreply 08:05:19

• 回复：回复：现在最难的数独仅17字,但数学家还没有证明17是最小的. -hqw2000- ♀ (364 bytes) () 10/24/2011 postreply 22:53:06

• 回复：回复：回复：现在最难的数独仅17字,但数学家还没有证明17是最小的. -jinjing- ♀ (35 bytes) () 10/25/2011 postreply 08:36:06

• 9!*6^5 OK, 6^5 OK, and 1 also OK. -jinjing- ♀ (0 bytes) () 10/25/2011 postreply 12:09:54

• 回复：回复：现在最难的数独仅17字,但数学家还没有证明17是最小的. -jinjing- ♀ (63 bytes) () 10/25/2011 postreply 08:31:43