第3个回答 2017-05-09
我们可以确定的是,对普通数独(9x9),目前已知至少要有17 个已知数字才可能有唯一解。但由于数独本身的性质,并不是随便排出来就可以,也很难有比较简单的描述方式来快速判断是否有解,是否具有唯一解。……以我目前所了解的信息,要知道一个数独是否有解,解是否唯一,唯一有效的方法是,——解解看。
而关于求解,数独是 NP 完全问题,也就意味着,不可能找到一种策略,完全靠推理就能解决所有数独。所以实用的数独求解必须用回溯才行。——幸运的是,DLX 算法经常能在很快时间内完成数独的求解。这方面已经可以找到大量代码或软件用来参考,回溯本身对于人类而言还是难度太大。