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

目前发现的最少提示数9×9标准数独为17个提示，截止2011年11月24日16:14，共发现了非等价17提示数谜题49151题，此数量仍在缓慢上升中，如果你先发现了17提示数的题目，可以上传至“17格数独验证”网站，当然你也可以在这里下载这49151题。

标准数独最少是17个数字

这是百科上的介绍：
截止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年的页面上。