C语言学习日记（16）——回溯法解数独（1）

数独是一种很流行的填数游戏，不少人都喜欢玩。用计算机来解数独也算是一个比较好的练习。恰好多年前看到过一则新闻，说是有个老人花了三天解了一个“世界最难数独”，我们就用计算机来求解一下。先看看这个号称世界最难的数独：

解数独和解迷宫是一样的，可以采用回溯法。大致思路是从第一个空格开始用1-9进行试填，如果某个数字与各方面都没有冲突，就将这个数字填入这个空格，然后处理下一个空格。如果某个空格1-9试完都不行，就回退一步，回到上一个空格接着之前的“进度”试填下一个数字。直到填完最后一个空格。具体思路如下：

首先，用一个二维数组sd[9][9]表示一个数独，每个元素取值为0-9,0表示此处为空格。为了方便回退，先把整个数独扫描一遍，用一个数组blank[81][2]记录下所有空格的位置。数组大小为81是因为数独最多就是81个空格。一般情况下，空格的数量会小于81，所以还要用一个变量count记录空格的数量。

接下来就可以开始填数独了，填数独用一个函数fill()来完成。在设计具体流程前，我们先做几个假设：

（1）使用者保证输入的数独的正确性。即如果由于输入导致题目有明显的错误，程序不会给出提示。

（2）数独可能存在多个解。一般情况下，正确构造的数独只有唯一解。但是我们在设计程序时假设它有多个解，而且要把多个解全部找出来。这样可以帮助我们验证一些数独是否构造正确。

（3）程序接受“全满”和“全空”的数独。即可以输入一个已经完成了的数独，程序把它看做一个待填空格数量为0的特殊数独来处理，认为它有一个解，就是它本身。还可以输入一个全空的数独，即全都是空格，这时程序将输出所有可能的数独，这将是个天文数字。

有了上面几个假设，我们来设计具体流程：

如下图，所有待填的空格坐标全部保存在blank数组中，空格数量保存在count中，图中假设有7个待填空格，此时count =7。用一个变量top指向bl