脑筋急转

最难的数独 - hqw2000 - 给 hqw2000 发送悄悄话 (1441 bytes) () 10/21/2011  16:47:40

现在最难的数独仅17字,但数学家还没有证明17是最小的. - jinjing - 给 jinjing 发送悄悄话 (81 bytes) () 10/22/2011  09:49:56

好奇,如何证明解是唯一的 - 品茗99 - 给 品茗99 发送悄悄话 (0 bytes) () 10/22/2011  18:01:33

很简单,trial and error - hqw2000 - 给 hqw2000 发送悄悄话 (0 bytes) () 10/22/2011  20:09:38

回复:好奇,如何证明解是唯一的 - jinjing - 给 jinjing 发送悄悄话 (43 bytes) () 10/22/2011  21:41:07

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

什么叫难? - jinjing - 给 jinjing 发送悄悄话 (0 bytes) () 10/22/2011  21:37:28

这个问题好! - hqw2000 - 给 hqw2000 发送悄悄话 (832 bytes) () 10/22/2011  22:21:48

回复:这个问题好! - jinjing - 给 jinjing 发送悄悄话 (183 bytes) () 10/23/2011  10:50:21

能不能举一个逻辑解的例子 - 品茗99 - 给 品茗99 发送悄悄话 (648 bytes) () 10/23/2011  12:47:13

俺说的没有看见过一个逻辑的方法 - 品茗99 - 给 品茗99 发送悄悄话 (131 bytes) () 10/23/2011  12:52:25

当然不可能一次到位,反复应用可以解大部分免费报纸上的Sudoku - wxcfan123 - 给 wxcfan123 发送悄悄话 (0 bytes) () 10/23/2011  18:25:25

呵呵,downloaded explaner, it's crunching..... - 品茗99 - 给 品茗99 发送悄悄话 (0 bytes) () 10/23/2011  14:35:44

first trial - 品茗99 - 给 品茗99 发送悄悄话 (849 bytes) () 10/23/2011  15:27:15

回复:first trial - hqw2000 - 给 hqw2000 发送悄悄话 (1268 bytes) () 10/23/2011  20:17:43

sort of - 品茗99 - 给 品茗99 发送悄悄话 (1370 bytes) () 10/24/2011  18:05:02

In case you are interested - hqw2000 - 给 hqw2000 发送悄悄话 (680 bytes) () 10/24/2011  18:23:06

Very nice work! - 品茗99 - 给 品茗99 发送悄悄话 (306 bytes) () 10/26/2011  17:41:30

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

您的软件放在网上了吗。用什么写的。 - wxcfan123 - 给 wxcfan123 发送悄悄话 (0 bytes) () 10/29/2011  16:21:41

用python 实现的,不打算放在网上。 - hqw2000 - 给 hqw2000 发送悄悄话 (281 bytes) () 10/29/2011  17:13:27

看了这个网站 - 品茗99 - 给 品茗99 发送悄悄话 (56 bytes) () 10/23/2011  13:49:49

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

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

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

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

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

S(n+1)=aS(n)+bS(n-1),答皆兄与123问 - jinjing - 给 jinjing 发送悄悄话 (495 bytes) () 10/18/2011  21:17:40

Who is Prof.Mo ? - 皆兄弟也 - 给 皆兄弟也 发送悄悄话 皆兄弟也 的博客首页 (0 bytes) () 10/18/2011  22:06:30

谢谢!同问PROF MO的中文名? - wxcfan123 - 给 wxcfan123 发送悄悄话 (0 bytes) () 10/18/2011  22:08:58

答皆兄与123问:莫绍揆 - jinjing - 给 jinjing 发送悄悄话 (97 bytes) () 10/19/2011  07:44:42

首次听说莫绍揆。见过王浩,一个有所成就的数理逻辑学家。 - 皆兄弟也 - 给 皆兄弟也 发送悄悄话 皆兄弟也 的博客首页 (0 bytes) () 10/19/2011  10:08:48

莫有历史问题,没当成院士.数学学科走下坡路,数逻更甚. - jinjing - 给 jinjing 发送悄悄话 (70 bytes) () 10/19/2011  17:24:15

公司同事的高尔夫球早会 - enjoywater - 给 enjoywater 发送悄悄话 enjoywater 的博客首页 (2642 bytes) () 10/17/2011  20:58:32

IBM in Armonk? - 贫论员 - 给 贫论员 发送悄悄话 (0 bytes) () 10/19/2011  05:38:48

中南大学刘路破解国际数学难题 - 竞选 - 给 竞选 发送悄悄话 竞选 的博客首页 (4138 bytes) () 10/15/2011  11:52:25

COOL - writeinwater - 给 writeinwater 发送悄悄话 (99 bytes) () 10/16/2011  10:03:33

说了一句什么话可得一百分, - jinjing - 给 jinjing 发送悄悄话 (148 bytes) () 10/14/2011  07:27:37

这个很难,很想知道答案 - 竞选 - 给 竞选 发送悄悄话 竞选 的博客首页 (0 bytes) () 10/16/2011  16:39:40

回复:这个很难,很想知道答案 - jinjing - 给 jinjing 发送悄悄话 (84 bytes) () 10/17/2011  11:19:44

呵呵,很聪明 - 竞选 - 给 竞选 发送悄悄话 竞选 的博客首页 (0 bytes) () 10/17/2011  13:15:13

回复:呵呵,很聪明 - jinjing - 给 jinjing 发送悄悄话 (99 bytes) () 10/18/2011  08:55:29

经典脑经急转弯 - 精实质博 - 给 精实质博 发送悄悄话 (753 bytes) () 10/12/2011  01:08:14

我的论坛收藏夹

加入收藏夹
回到顶部