作业帮9乘 9 的数独题具有唯一解的最少已知数字是多少?
来源：学生作业帮助网 编辑：作业帮 时间：2024/05/03 21:03:25
9乘 9 的数独题具有唯一解的最少已知数字是多少?
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年的页面上.
网上讨论应该是17
少于17好像没听说过。