N-Queens C++递归回溯实现

/*************************************************** n后问题 * 在n * n的国际象棋盘上放置n个皇后，使它们彼 * 此互相不攻杀。皇后攻杀条件：处于同一行，或同一 * 列，或同一斜线的皇后彼此攻杀。试给出全部方案。 * ****************************************************/ /*运行环境：visual studio 9.0,其他版本编译器可能有错!*/ /*作者：梦幻冰舞 深圳大学计算机与软件学院*/ #include <iostream> #include <string> #include <math.h> #include <time.h> using namespace std; long column =1,sum = 0;//column 为所有的列,sum为所有结果数 void search(long row, long rightdiagonal, long leftdiagonal,const string result);//row为已经遍历的列，1表示该列已被皇后占有,rightdiagonal右对角线，leftdiagonal左对角线,result尝试成功的结果 void main(int argc, char *argv[]) { int n = 8;//默认皇后的数量为8 if(argc!=1) n=atoi(argv[1]); //如果控制台有参数输入，则使用输入的参数，否则使用默认的参数.把字符串转换成整型数. if(n<1 || n>32)//如果n的值不符合要求，则程序退出 { cout<<"The queens must be smaller than 32 and biger than 1"<<endl; exit(-1);//退出程序 } cout<<"The queens number you input is: "<<n<<endl; column = (column << n) - 1;//column中低n位为1，用于标识探索是否已完成 time_t tm;//long类型，用于储存时间 tm = time(0); search(0,0,0,""); cout<<"Number of solutions is: "<<sum<<endl<<"time wasting: "<<(int)(time(0)-tm)<<" seconds"<<endl; } char *tmp = new char; void search(long row, long rightdiagonal, long leftdiagonal,const string result) { if(row == column)//每一列都被皇后占领了,表示该方案可行,打印出该方案 { cout<<result.c_str()<<endl; sum ++; } else//否则，继续探索 { long pos = column & ~(row | leftdiagonal | rightdiagonal); //得到该行中所有可以尝试,即有效的列(格),然后从右到左进行尝试如果遍历到的该行上的每一列已经都是无效的话则无需进行下一行的尝试了,方案失败. while(pos)//递归遍历所有有效列 { long p = pos & -pos;//得到一个二进制数组中最右面的1的位置,从而得到当前遍历的行中所有有效了的最右边的一列 pos -= p;//将本行的尝试的列在row中标记上表明下一行不可再在此列放置皇后了,同时,在下一行中,本放置点的左一列和右一列也需标记为不可再放置(即对角线) _itoa(log((double)p)/log(2.0)+1,tmp,10);//得到当前列号 search(row+p, (rightdiagonal+p)<<1, (leftdiagonal+p)>>1, result + tmp + " "); } } }

（1）       本算法使用递归回溯实现。算法使用二进制的一位了表示此列是否放置了皇后， 1 表示已被皇后占领， 0 表示没有被占领。算法遍历第一行的所有列，先从第一行最后一列开始探索，找到符合的点以后（不跟前面已经放置了皇后的同一行、列，也不是对角线关系），然后递归探索下一行的剩下没被占领的列，如果最后所有的列都放满了皇后，则探索成功，打印出探索结果（按行递增的方向打印列号），然后返前面一行，探索剩下没被占领的列……如果找出了所有从最后一列开始探索的所有结果，则递归返回，继续从 n-1 列开始的递归探索，直到第 1 行的所有列都探索完了，算法结束。本算法列编号从第 n 列开始往回递增，即第 n 列编号为 1 ，第 n-1 列编号为 2 ……第一列编号为 1.

（2）       算法为了提供更多的信息，加入了记录探索成功的次数和使用时间。

（3）       程序中为变量 column ，初始化为低 n 位为 1 ，表示所有列，用于标识探索是否完成， row 为已被皇后占领了的列，相应的位（对应相应的列）被置为 1 ，初始值为 0 。

（4）       程序开始时使用默认的皇后，如果用户从控制台输入皇后的参数，则使用输入参数。然后利用 n 的值来设定列的标识 column ，用于判定递归探索过程中是否结束。接着记录当前时间，进入递归探索。

（5）       递归探索接受一个记录已被占领列的参数 row ，右对角线 rightdiagonal ，左对角线 leftdiagnal ，记录探索的列的序号 result 。函数首先判断已被占领的列 row 是否和所有的列相等，如果相等，说明每一列都被占领了，此方案可行，打印出该方案（ cout<<result.c_str()<<endl; ），然后记录可行数 sum++ ，否则继续探索下一行剩下的列 pose ， p 为本次探索的列最右边的一列，此时剩下的列应减去这一列（ pos = pos-p ）在探索每一列时，递归探索下一行的剩下所有剩下列，作为递归的参数已被占领的列应该增加一列（当前的列标记为占领， row+p ），当前点的右对角线列不可用（ (rightdiagonal+p)<<1 ），左对角线也不可用（ (leftdiagonal+p)>>1 ），已探索的列的序号增加当前列（ _itoa(log((double )p)/log(2.0)+1,tmp,10); result + tmp + " " ），进入下一次递归。当所有递归返回时，探索完成，探索过程中已经输出所有探索成功的列的序号。然后输出探索成功的次数，和现在时间减去算法开始时记录的时间所得的算法所用的时间。

（6）       算法使用了二进制中的一位而不是常规的的数组来表示一列，提高了算法的效率。算法没有直接体现了遍历 N*N 个格，而是遍历第一行的所有列，在遍历每一列时，递归遍历下一行的所有没被占领的列，如此类推，当返回时对下一列做同样的遍历，当所有列遍历完了以后，便得出了所有的结果，即对每一个个都遍历了。

算法的两个亮点：使用一位来表示一列，通过传递 已被遍历列的序列号 在每次递归中记录列的遍历序列，最后尝试成功后打印出来。

运行效果：