I think if we do these SUDO insitant on pure logic,will be very very dfct.
现在最难的数独仅17字,但数学家还没有证明17是最小的.
所有跟帖:
•
好奇,如何证明解是唯一的
-品茗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