[回溯法]从蛮力算法起步,谈八皇后问题的求解:

[回溯法]从蛮力算法起步,谈八皇后问题的求解:

                                                                                                                By EmilMatthew

                                                                                                                              05/9/15

       八皇后是一个相当著名的算法问题：题目说是在8*8国际象棋棋盘上，要求在第一行放置一个皇后，且能做到在竖方向，斜方向都没有冲突。

       这里首先谈一下解集合的选取方式，如果用一个二维数组来存放八皇后的位置，难免比较浪费，注意到八个皇后不可能位于同一行，所以只要存放各个皇后在竖方向的位置即可。所以存放解集仅需要一个长度为8的整型数组即可.

       首先看到这个问题，最容易想到的想法就是穷举法,每次在当前行中的第一列起摆当前这个皇后的位置，发现有冲突时则终止当前的次的搜索，当发现当前的这个行的皇后与前面的皇后没有冲突时，则跳到下一行，继续从第一列起摆放皇后的位置.如果当前行的皇后已摆至最后一列了，则应跳到上一行.

由于行数已经不可能相同了，所以了不起也就是做一个8!的次运行次数的算法便可以得到最终解了.不过，很快，这种自然的一蹋糊涂的想法便要被打住了，如果不是8皇后呢，如果是20皇后呢？效率低不说，光是要修改源程序这一个不足点便可以将这种想法否决掉了.

        优化的出路在哪里呢，其实，改进的工作也没有动啥”大手术”,主要是做到下面两件事情：

1)      一旦当前的集不满足条件时,便终止当前的搜索树的分枝,并回退到前一层继续搜索.

 (其实，前面的蛮力法退出是满足的，就是这个回退做不了。)

2         如果当前的解满足部分解的条件时，则继续跳到下一行搜索，发现有全解时终止搜索.

(前面的蛮力法做这个也是没问题的)

关于搜索树的最基本的想法，可以参考我前面的一篇愚作---http://blog.csdn.net/emilmatthew/archive/2005/08/03/445132.aspx

 

所以，从蛮力法跳到相对“高级”的回溯法我们就提高了一步----能回退到上一层.

而这个动作，可以通过递归和非递归两种方式来实现,递归的会相对好理解些，另一种非递归的也不难理解的.

而一旦使用回溯法，则程序的柔韧性得到了极大的提高，可以求解N皇后问题.

在展示最后的实现版本之前，先来看几个输助的函数，判定是否有冲突和是否局部完成位置的函数。

由于我们的结果数组存放的仅仅是列中的位置，而行中的位置肯定是相异的，所以，只需要判定斜方向是否有冲突和竖直方向是否有冲突就可以了：

//判定当前结点在斜方向和另一个结点是否有冲突:

int checkXiePos(int r1,int r2,int c1,int c2)

{

       return !(fabs(r1-r2)==fabs(c1-c2));

}

 

//判定当前结点和所有已搜索的竖直方向上的结点是否有冲突.

int checkVPos(int* arr,int len)

{

int flag=1;

int i,j;

assertF(arr!=NULL,"in checkVPos,arr is null/n");

for(i=0;i<len-1;i++)

       for(j=i+1;j<len;j++)

               if(arr[i]==arr[j])

               {

                      flag=0;

                      break;

               }

return flag;

}

 

//总的判定当前结点和已搜索结点之前是否有冲突的函数:

int partFinished(int* arr,int len)

{

int flag=1;

int i,j;

assertF(arr!=NULL,"in partFinished,arr is null/n");

flag=flag&&checkVPos(arr,len);

for(i=0;i<len-1;i++)