一个9乘9的数独问题有唯一解的最少已知数字是多少?各位,谢谢。
这是一本百科全书简介:
截至2011年,在9×9标准数独中发现的提示数量最少为17个提示,编辑此条目的截止时间为(2011.11.24 16:14。* * *发现非等值17提示拼图49151,数字还在缓慢上升。如果先找到17提示拼图,可以上传到“17数独验证”网站。当然,你也可以在这里下载这个4917。
是否存在16提示号的合格问题,在网上也争论了很久。有人找到了16提示数的双解,但还是没有找到唯一解。有国外网友给出了为什么至少需要17提示的证明,遭到了大家的质疑。比如9×9对角线数独(基于标准数独规则,两个对角线数字不重复)的最小提示数是12,根据他的理论,需要更多的提示。
另外,在2006年,Gary McGuire[2]写了一个程序,试图用暴力来证明16提示的数独的存在。方法很简单。由于伯特伦·费尔根豪尔和弗雷泽·贾维斯已经计算出不等价磁盘的总数是5,472,730,538,那么运行最终磁盘为16的每一种情况的提示。但因为是暴力方法,单核计算机运行结果需要30万年。台湾省吴以成教授及其团队对Gary McGuire的程序进行了改进,大大提高了效率,约2417年即可完成计算。并放在BOINC(伯克利开放网络计算平台)上,让全世界加入BOINC的计算机一起计算。可喜的是,到编辑此条目时(2012 04 18),已完成51.73%[3]。
Gary McGuire的团队在2009年设计了一种新算法。利用死亡模式的思想,花费了765,438+百万小时的CPU时间,在2065,438+02,1,1上,用16的提示证明了9×9标准数独不存在唯一解,然后解释了至少需要65438+。并在2009年更新他们的论文和网页上的源代码。