n皇后问题（分析）

这道题需要用到回溯算法，现在在这里先简单的介绍一下这个算法：

回溯算法也叫试探法，它是一种系统地搜索问题的解的方法。回溯算法的基本思想是：从一条路往前走，能进则进，不能进则退回来，换一条路再试。用回溯算法解决问题的一般步骤为：

1、定义一个解空间，它包含问题的解。

2、利用适于搜索的方法组织解空间。

3、利用深度优先法搜索解空间。

4、利用限界函数避免移动到不可能产生解的子空间。

问题的解空间通常是在搜索问题的解的过程中动态产生的，这是回溯算法的一个重要特性。

 

首先，看一个简单的程序;

 1 #include 
 2 #include 
 3 
 4 void function(int a)
 5 {
 6     if (a > 0)
 7     {
 8         printf("%d\n", a);
 9         function(a - 1);
10     }
11 }
12 
13 int main(void)
14 {
15     int a = 3;
16     function(3);
17     system("PAUSE");
18     return 0;
19 }

输出：3 2 1

 

 1 #include 
 2 #include 
 3 
 4 void function(int a)
 5 {
 6     if (a > 0)
 7     {
 8         function(a - 1);
 9                 printf("%d\n",a);
10     }
11 }
12 
13 int main(void)
14 {
15     int a = 3;
16     function(3);
17     system("PAUSE");
18     return 0;
19 }

输出：1 2 3

首先第一个不难理解，第二个，首先进行三次递归，分别是function(2),function(1),function(0)=>a=3,a=2,a=1;当到a=1递归执行结束，就会接着往下执行，执行printf，所以此时输出1，然后，返回到上一级递归，function(1),执行结束后，再次执行printf,输出1...

 

八皇后问题：

八皇后问题，是一个古老而著名的问题，是回溯算法的典型案例。该问题是国际西洋棋棋手马克斯·贝瑟尔于1848年提出:在8×8格的国际象棋上摆放八个皇后，使其不能互相攻击，即任意两个皇后都不能处于同一行、同一列或同一斜线上，问有多少种摆法。 高斯认为有76种方案。1854年在柏林的象棋杂志上不同的作者发表了40种不同的解，后来有人用图论的方法解出92种结果。计算机发明后，有多种计算机语言可以解决此问题。

 1 #include 
 2 #include 
 3 
 4 #define max 8//定义最大方格 
 5 
 6 int a[max],sum=0;//定义全局变量
 7 
 8 int check_function(int n) { //检查当定一个点时，以行为单位扫描（a[n]为横坐标）遍历其他列的位置是否能满足要求
 9     int i;
10     for(i=0; i/*i11     ，接着第26~28行代码，相当于将定点纵坐标加一，进行移位操作，然后到check_function函数中进行与上面类似的操作*/
12     {
13         if(a[i]==a[n]||abs(a[i]-a[n])==abs(i-n)) { //a[i]==b[n]表示在同一排的情况，后者为在同一对角线上（记住abs求绝对值函数）
14             return 1;//不满足条件返回1
15         }
16     }
17     return 0;//满足条件返回0
18 
19 }
20 
21 int func(int n) { //定义一个进行对定点改变与输出结果的函数
22     int i,t;
23     for(i = 0; i < max; i++) {
24         a[n]=i;//假设的点，当每次满足条件返回1时，会再次进行上面的for循环，对i进行加一操作，相当于对纵坐标操作，下移一位
25         if(check_function(n)==0) { //结合上一个给a[n]赋值，通过判断是否符合条件，让a[n]的值为每一列满足条件的值（纵坐标）,n为横坐标
26             if(n==max-1) { //max-1 说的是最后一列，当横坐标数等于最后一列，且满足了检验，就说明这是一组中的最后一个，于是输出满足条件的a[n]
27                 for(t=0; t)
28                     printf("(%d,%d),",t,a[t]);//这样打印的原因：到这里，每个a[n]实际是满足条件的位置
29                 printf("\n");
30                 sum++;
31             } else {
32                 func(n+1);//若满足了检验，却不满足是最后一项，则说明这只是一组中的一个，且不是最后一个，因为推出结果是按列进行扫描，所以，横坐标向后移一位
33             }
34         }
35     }
36 }
37 
38 
39 int main(void) {
40     func(0);//定横坐标为零
41     printf("sum=%d\n",sum);//打印出摆放方式数
42     return 0;
43 }