作业帮 > 数学 > 作业

9乘 9 的数独题具有唯一解的最少已知数字是多少?

来源:学生作业帮 编辑:搜搜考试网作业帮 分类:数学作业 时间:2024/06/05 19:10:46
9乘 9 的数独题具有唯一解的最少已知数字是多少?
9乘 9 的数独题具有唯一解的最少已知数字是多少?
这是百科上的介绍:
截止2011年发现的最少提示数9×9标准数独为17个提示,截止编辑此词条时间(2011.11.24 16:14),共发现了非等价17提示数谜题49151题,此数量仍在缓慢上升中,如果你先发现了17提示数的题目,可以上传至“17格数独验证”网站,当然你也可以在这里下载这49151题.
关于是否有16提示数的合格题目,网络上也争论很久,有发现16提示数双解的,但是仍未发现唯一解.国外有网友给出了关于为什么至少需要17提示的证明,受到了大家的质疑,比如9×9对角线数独(在标准数独规则基础上,两条大对角线的数字不重复)的最小提示数为12,按照他的理论则需要更多的提示数.
另外在2006年Gary McGuire[2] 撰写了程式,试图通过暴力法来证明16提示数的数独是否存在,方法很简单,既然Bertram Felgenhauer和Frazer Jarvis已经计算出不等价的终盘总数为5,472,730,538个,那么将每个终盘是16提示的情况都跑一遍,如果没有找到16提示的数独,那么就可以证明最少提示数为17个.但因为是暴力方法,对于一台单核的电脑来说需要跑30万年才能跑出结果.台湾的吴毅成教授和他的团队将Gary McGuire的程式加以改进,使得效率大幅提升,大约2417年即可完成演算.并放在BOINC(伯克利开放式网络计算平台)上让世界加入BOINC的电脑一同演算,令人欣喜的是,截至编辑本词条的时间(2012年4月18日)已经完成了51.73%[3] .
Gary McGuire的团队在2009年设计了新的算法,利用Deadly Pattern的思路,花费710万小时CPU时间后,于2012年1月1日提出了9×9标准数独不存在16提示唯一解的证明,继而说明最少需要17个提示数.并将他们的论文以及源代码更新在2009年的页面上.