Cielo 发表于 2012-1-8 00:47:39

数独最少需17个已知数获证

在bbs上看到的，转过来~不过现在应该还不能确认文章的正确性吧？

University College Dublin的三位数学家于1月1日在arXiv.org上发表了一篇关于数独研
究的论文。他们设计了一种复杂算法，并通过超级计算机计算证明了数独已知数至少为
17个时方可解，少于17个时则不具备条件获得唯一解。一般报纸上的数独都提供大约25个
已知数字。
http://arxiv.org/abs/1201.0749

阿魔老叟 发表于 2012-1-8 01:01:24

很有价值的研究,多谢楼主!:handshake

战斗机 发表于 2012-1-8 01:37:00

感觉数独缺少像魔方这样的乐趣，虽然也可以比速度。
不过貌似在中国人眼里，数独的地位比较高。毕竟是聪明的人玩玩的，全是计算。
而魔方则是小孩子的玩具，一个大人昨天捣鼓个玩具，真实闲着蛋疼的表现。

祭司zhangcy 发表于 2012-1-8 01:55:56

哇，数学无处不在啊~~~~

谢老师 发表于 2012-1-8 09:25:55

我喜欢数独！ 收藏了两款数独魔方！

准备MOD一个4X4数独魔方！

sokoban 发表于 2012-1-8 10:47:20

这个和魔方20步问题有点类似啊，都是要靠算

阿魔老叟 发表于 2012-1-8 11:12:07

原帖由 谢老师 于 2012-1-8 09:25 发表 http://bbs.mf8-china.com/images/common/back.gif我喜欢数独！ 收藏了两款数独魔方！准备MOD一个4X4数独魔方！
4X4数独魔方，很期待呀，2012真是好消息不断呀。

海上晴天 发表于 2012-1-8 11:19:39

回复 3# 的帖子

计算是次要的 主要是逻辑推理

superacid 发表于 2012-1-8 14:00:45

标准数独是不需要计算的

邱志红 发表于 2012-1-9 00:02:15

原帖由 战斗机 于 2012-1-8 01:37 发表 http://bbs.mf8-china.com/images/common/back.gif
感觉数独缺少像魔方这样的乐趣，虽然也可以比速度。
不过貌似在中国人眼里，数独的地位比较高。毕竟是聪明的人玩玩的，全是计算。
而魔方则是小孩子的玩具，一个大人昨天捣鼓个玩具，真实闲着蛋疼的表现。

数独依赖于出题，不是随便丢几个数字上去就构成一道题。这个主要还是靠程序生成一些随机的题目，有了实物缺乏题目也白搭。魔方随便拧个十几下就生成一个题目了，基本不会出现重复。魔方的规则比数独简单多了，只管拧，拧到6面都是单一颜色就算成功了。但是魔方复原的门槛却很高，没有人指导或者没有参考资料，完全独立去开解是非常难的，这也是魔方的魔力所在。 数独的门槛不高，几乎任何人都能独立慢慢推理出最后的答案。

PS：（常规的）数独里的数字只是用来相互区分的，并不代表大小，所有没有计算，只有推理。
页: [1] 2 3
查看完整版本: 数独最少需17个已知数获证