回溯法，分支定界法求解n后问题

问题描述

在nxn的棋盘上放n个棋子,使得任何2个棋子不在同行、同列或同一斜线上。
如果将nxn的棋盘用一个二维方阵来表示,其行号从上到下,列号从左到右依次编号为1,2,…,n，则可以用一个n元组x[1:n]表示它的解,其中x[i]表示第i个棋子所放棋盘的列号,此时满足:

回溯法

每个皇后有n个列可选,故n-后问题的解空间可用一棵完全n叉树来描述,回溯过程中对不满足条件(1)和(2)的相应子树剪枝。

相关代码：

#include<iostream>
using namespace std;
int n;
int *x;

int Isok(int t){//判断下一步是否可以去 
	int i;
for(i=1;i<t;i++)//x[t] x[i]是否冲突
if(x[t]-x[i]==t-i||x[t]-x[i]==i-t||x[t]==x[i])	return 0;
	return 1;
}

void dfs(int t){//完全树框架 
	if(t>n){//递归出口
	for(int i=1;i<=n;i++)cout<<x[i]<<'\t';
	cout<<endl;
		return ;
	}	
	for(int i=1;i<=n;i++){
		x[t]=i;
		if(Isok(t))dfs(t+1);
	}
	
}

int main(){
	int i;
	cout<<"请输入皇后个数n："<<endl; 
	cin>>n;
	x=new int[n+1];
	cout<<"该皇后问题的解为："<<endl; 
	dfs(1);	
} 

分支限界法

**算法思路：**该算法中需要用到队列的相关结构，初始化队列后，如i皇出队列之后，i+1皇可去的位置依次入队列。并按照先进先出的顺序依次让i皇出队列。
搜索空间结构：
1.子集树（转载）
我们把行约束条件和其它约束条件放在一起，即认为每一行，棋子都有n个位置可以放置。于是它的空间结构如下：

（假设n=3，这个图只画出了两层）
2.排列树。我们把行约束条件单独拿出来，也就是我们认为总共有八个皇后，这八个皇后必须都要放上去，但是放的位置不同，显然这是一个排列树。于是它的空间结构如下：

其相关框架为：

这里选择子集树作为解空间结构。
相关代码

#include <algorithm>
#include <iostream>
using namespace std;
#include<queue>//队列的相关函数调用 
#include<stdio.h>
struct node{
int step;//当前步数 
int *x;//x[i]:第i个皇后所在的列数 
};
int n,num;
bool IsOk ( int i,int *x, int step){//可行条件
//第step+1个皇后有位置可去 
//i：当前皇后所在列数  step：第step个皇后 
	int j;
	for(j=1;j<=step;j++){//与前面的第j个皇后进行比较 
	if(i==x[j])return false;//同列 
	if(abs(j-(step+1))==abs(x[j]-i)) return false;
	}
	return true;
}


void bfs(){//搜索框架 
	queue <node> q;
	node n0,n1,n2;
	int i,j;
	n0.step=0;
	n0.x=new int [n1.step+1];
	q.push(n0);//初始化，进队列 
	while( !q.empty ( )){
	n1=q.front( );//头结点出队列 
	q.pop( );
	if(n1.step==n)//出口 
	{
	for(i=1;i<=n;i++ )cout<<n1.x[i]<<'\t';cout<<endl;
	num++;
	continue;
	}
	for(i=1;i<=n ;i++){
	if(IsOk(i,n1.x,n1.step)){	
	n2.step=n1.step+1;//
	n2.x=new int [n2.step+1];
	for(j=1;j<n2.step;j++)n2.x[j]=n1.x[j];
	n2.x[n2.step]=i;
	q.push(n2);
			}//if
		}
	}
}

int main(){
	cout<<"请输入皇后个数n："<<endl; 
	cin>>n;
	cout<<"该皇后问题的解为："<<endl; 
	bfs();
	printf("共有%d种方法",num);
	return 0;
}