错.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

请您先登陆,再发跟帖!