八皇后问题是一个古老而著名的问题。该问题是19世纪著名的数学家高斯1850年提出:在一个8*8国际象棋盘上,有8个皇后,每个皇后占一格;要求皇后之间不会出现相互“攻击”的现象,即不能有两个皇后处在同一行、同一列或同一对角线上。问共有多少种不同的方法?
这是经典的使用回溯法解决的问题:
回溯算法也叫试探法,它是一种搜索问题的解的方法。冋溯算法的基本思想是在一个包含所有解的解空间树中,按照深度优先的策略,从根结点出发搜索解空间树。算法搜索至解空间树的任意结点时,总是先判断该结点是否肯定不包含问题的解。如果肯定不包含,则跳过对以该结点为根的子树的系统搜索,逐层向其祖先结点回溯。否则,进入该子树,继续按深度优先的策略进行搜索。回溯法在用来求问题的所有解时,要回溯到根,且根结点的所有子树都已被搜索遍才结束。
思路:
对于八皇后的求解可使用回溯算法,从上至下依次在每一行放置皇后,进行搜索,如果在某一行的任意一列放置皇后均不能满足要求,则不再向下搜索,而进行回溯,回溯至有其他列可放置皇后的一行,再向下搜索,直到搜索到最后一行,找到可行解。
递归实现代码:
#include <stdlib.h>
#include <stdio.h>
int m[8][8] = {0};
int num = 0;
bool check(int row,int column)
{
if(row==1)
{
return true;
}
int i,j;
for(i=0;i<=row-2;i++)
{
if(m[i][column-1]==1)
{
return false;
}
}
i = row-2;
j = i-(row-column);
while(i>=0&&j>=0)
{
if(m[i][j]==1)
{
return false;
}
i--;
j--;
}
i = row-2;
j = row+column-i-2;
while(i>=0&&j<=7)
{
if(m[i][j]==1)
{
return false;
}
i--;
j++;
}
return true;
}
void output()
{
int i,j;
num++;
printf("answer %d:\n",num);
for(i=0;i<8;i++)
{
for(j=0;j<8;j++) printf("%d ",m[i][j]);
printf("\n");
}
}
void solve(int row)
{
int j;
for(j=0;j<8;j++)
{
m[row-1][j] = 1;
if (check(row,j+1)==true)
{
if(row==8) output();
else solve(row+1);
}
m[row-1][j] = 0;
}
}
int main()
{
solve(1);
return 0;
}
运行结果:8皇后问题的解是92种,1表示放置皇后的位置
非递归代码实现:
#include<iostream>
#include<math.h>
using namespace std;
int count=0;
bool Place(int *ar,int k)
{
for(int j = 1;j<k;++j)
{
if(ar[k] == ar[j] || abs(k-j) == abs(ar[k] - ar[j]))//那三个条件
{
return false;
}
}
return true;
}
void PrintAr(int *ar,int n)
{
cout<<"-------------------"<<endl;
count++;
printf("result %d\n",count);
for( int i=1;i<=n;++i)
{
for(int j= 1;j<=n;++j)
{
if(ar[j] == i)
{
cout<<"* ";
}
else
{
cout<<"0 ";
}
}
cout<<endl;
}
cout<<endl;
}
int main()
{
const int n = 8;
int ar[n+1]={0,0,0,0,0,0,0,0,0};
int k = 1;
ar[k] = 0;
while(k > 0)
{
ar[k]+=1;
while(ar[k] <= n && !Place(ar,k)) ar[k]+=1;//循环直到有合适的地方放皇后并且你还不能比8大,不然说明这一列没有地方能放皇后,--k
if(ar[k] <= n)//条件不满足说明已经到8了,就要让k后退
{
if(k == n)//每行每列都已经放了皇后 打印
{
PrintAr(ar,n);
}
else //这一列已经放好了,k往后走初始为0
{
k+=1;
ar[k] = 0;
}
}
else
{
--k;
}
}
return 0;
}
运行结果如下:结果也为92种