[人工智能]回溯算法解数独

今天在AI课上学了CSP，然后学了回溯算法。所以就用回溯算法来解数独吧。

数独问题可以把九九八十一个格简化为81个变量，每一个变量可以取1-9的值，当然，一开始初始化的值是不可以改变的。然后呢，对于这个数独呢，有3个约束条件：（1）每行数字不能重复；（2）每列数字不能重复；（3）每个3*3小区域内数字不能重复。

对于回溯算法，其实就是穷举，穷举出每个格子，也就是每个变量可能的值，如果该赋值不满足约束条件就回溯到上一个格进行下一个值的判断，直到穷举到最后一个格子，那就代表成功了。

代码如下：

#include <iostream>  
#include <vector>  
#include <algorithm>  
using namespace std;  


int a[9][9] = {  
  {0,2,0,0,0,0,0,0,0},  
  {0,0,0,6,0,0,0,0,3},  
  {0,7,4,0,8,0,0,0,0},  
  {0,0,0,0,0,3,0,0,2},  
  {0,8,0,0,4,0,0,1,0},  
  {6,0,0,5