标准数独

目前(截止到2011年)，9×9标准数独中发现的最小提示数为17个提示，截止到2011年，16:14。这个数字还在缓慢上升。如果先发现17提示号的问题，可以上传到“17数独验证”网站。当然，你也可以在这里下载49151的问题。

是否存在16提示号的合格问题，在网上也争论了很久。有人找到了16提示数的双解，但还是没有找到唯一解。有国外网友给出了为什么至少需要17提示的证明，遭到了大家的质疑。比如9×9对角线数独(基于标准数独规则，两个对角线数字不重复)的最小提示数是12，根据他的理论，需要更多的提示。

另外，Gary McGuire在2006年写了一个程序，试图用暴力的方法证明有16提示的数独的存在。方法很简单。由于伯特伦·费尔根豪尔和弗雷泽·贾维斯已经计算出非等价最终盘的总数是5，472，730，538，那么运行最终盘是16的每种情况的提示。如果没有找到6538，但是因为是暴力方法，单核计算机运行结果需要30万年。台湾省吴以成教授及其团队对Gary McGuire的程序进行了改进，大大提高了效率，约2417年即可完成计算。并放在BOINC(伯克利开放网络计算平台)上，让全世界加入BOINC的计算机一起计算。可喜的是，截至2012年4月，18，51.73%已经完成。

Gary McGuire的团队在2009年设计了一种新算法。利用死亡模式的思想，花费了765，438+百万小时的CPU时间，在2065，438+02，1，1上，用16的提示证明了9×9标准数独不存在唯一解，然后解释了至少需要65438+。并在2009年更新他们的论文和网页上的源代码。