如何验证数独题是唯一解

如何验证数独题是唯一解

第一 先设计 -- 解题程式 (主要是 核对 数独谜题是否为 唯一解，也可以 借用 他人程序做为工具)
第二 检验数独谜题是否为唯一解的功能函数 (也可以 单独抽离为一个函式，更符合 软件工程)
第三 设计图样 [Pattern] -- (以图样为基础，这是我的设计概念，不是一成不变的原则)
第四 利用乱数产生数独方阵[Sudoku Grid] -- (也许 收集数独方阵 GRID 也是一个方法)
第五 套用 图样到数独方阵，利用检验功能函数，核对数独谜题是否为唯一解。
第六 分析难易度，是否合适，如果谜题不是唯一解或不合适，回到第四继续。

答案

Simple sudoku

用电脑软件的穷解法，可以得出以下结论：
1)找到一个解；
2)找到2个解；这时可说明是非标准数独。大于2个解的算法可以放弃；除非你要得到所有解。
3)最后是无解。
我做了通用的数独程序。你看我博客吧。
当然，我的程序不仅是算出有无解，有几个解，它还有许多其它程序不具备的特点，如模拟人工解，解很多类型的数独，比如国际数独大赛的所有题型它都能解。有兴趣去看看吧。