回溯法之二---8皇后问题

回溯法之二---8皇后问题

八皇后问题是一个古老而著名的问题，是回溯算法的典型例题。该问题是十九世纪著名的数学家高斯1850年提出：在8X8格的国际象棋上摆放八个皇后，使其不能互相攻击，即任意两个皇后都不能处于同一行、同一列或同一斜线上.
问题分析:
第一步 定义问题的解空间
这个问题解空间就是8个皇后在棋盘中的位置.
第二步 定义解空间的结构
可以使用8*8的数组，但由于任意两个皇后都不能在同行，我们可以用数组下标表示
行，数组的值来表示皇后放的列，故可以简化为一个以维数组x[9]。
第三步 以深度优先的方式搜索解空间，并在搜索过程使用剪枝函数来剪枝
根据条件:x[i] == x[k]判断处于同一列
abs(k-i) == abs(x[k]-x[i]判断是否处于同一斜线
我们很容易写出剪枝函数：

boolcanPlace(intk){
 for(inti=1;i<k;i++){
 //判断处于同一列或同一斜线
 if(x[i]==x[k]||abs(k-i)==abs(x[k]-x[i]))returnfalse;
}
 returntrue;
}

bool canPlace(int k){
	for(int i = 1; i < k; i++){
        //判断处于同一列或同一斜线
	   if(x[i] == x[k] || abs(k-i) == abs(x[k]-x[i])) 		       return false;
	}
	return true;
}

然后我们按照回溯框架一，很容易写出8皇后的回溯代码：

voidqueen(inti){
 if(i>8){
print();
 return;
}
 for(intj=1;j<=8;j++){
 x[i]=j;//记录所放的列
 if(canPlace(i))queen(i+1);
}
}

void queen(int i){
	if(i > 8){
		print();
		return;
	}
	for(int j = 1; j <= 8; j++){
	  x[i] = j;//记录所放的列
	  if(canPlace(i)) queen(i+1);
	}
}

整个代码：

#include<iostream>
 #include<cmath>
 usingnamespacestd;

 intx[9];
 voidprint(){
 for(inti=1;i<=8;i++)
 cout<<x[i]<<"";
cout<<endl;
}

 boolcanPlace(intk){
 for(inti=1;i<k;i++){
 //判断处于同一列或同一斜线
 if(x[i]==x[k]||abs(k-i)==abs(x[k]-x[i]))
 returnfalse;
}
 returntrue;
}

 voidqueen(inti){
 if(i>8){
print();
 return;
}
 for(intj=1;j<=8;j++){
x[i]=j;
 if(canPlace(i))queen(i+1);
}
}

 intmain(){
queen(1);
 return0;
}