现在最难的数独仅17字,但数学家还没有证明17是最小的.

I think if we do these SUDO insitant on pure logic,will be very very dfct.

所有跟帖： 

• 好奇，如何证明解是唯一的 -品茗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