【八皇后问题】 回溯算法

回溯算法:
回溯算法实际上是一个类似枚举的搜索尝试方法,它的思想是在搜索尝试中寻找问题的解,当发现不满足求解条件时,就“回溯”返回,尝试别的路径。之前介绍的基础算法中的贪婪算法,动态规划等都具有“无后效性”,也就是在分段处理问题时,某状态一旦确定,将不再改变。而多数问题很难找到"无后效性”的阶段划分和相应决策,而是通过深入搜索尝试和回溯操作完成的。

八皇后问题:8*8的国际象棋棋盘中放八个皇后,是任意两个皇后不能互相吃掉。规则:皇后能吃掉同一行,同一列,同一对角线的任意棋子。

模型建立:不妨设八个皇后分别在第i行,那么解空间就是一个八个皇后所在列的序号,为n元一维向量(x1,x2,x3,x4,x5,x6,x7,x8),搜索空间是1<=Xi<=8,共8^8个状态。但正如之前所说,回溯法采用“走不通就掉头”,故实际算法不必搜索那么多的状态,例如,(1,1,x3,x4,x5,x6,x7,x8)的状态共有8^6个,由于1,2皇后不能在同一列,那么这8^6个状态是不会搜索的。

算法设计1:加约束条件的枚举算法
约束条件有三个:
不在同一列(Xi不等于Xj)
不在同一主对角线(Xi-i不等于Xj-j)
不在同以负对角线(Xi+i不等于Xj+j)
后两项可合并为fabs(Xi-Xj)不等于fabs(i-j)
那么直接贴代码了(此处代码较多,故以4皇后为例)

#include <iostream>
#include <cmath>
#include <cstdio>
using namespace std;
int check(int a[],int n);
int main()
{
    int a[9],i;
    for(a[1]=1;a[1]<=4;a[1]++)
    {
        for(a[2]=1;a[2]<=4;a[2]++)
        {
            if(check(a,2)==0)continue;
            for(a[3]=1;a[3]<=4;a[3]++)
            {
                if((check(a,3)==0))continue;
                for(a[4]=1;a[4]<=4;a[4]++)
                {
                    if(check(a,4)==0)continue;
                    else {for(i=1;i<=4;i++)
                             cout << a[i]<< ' ';
                             cout << endl;}
                }
            }
        }
    }
    return 0;
}
int check(int a[],int n)
{
    int i;
    for(i=1;i<=n-1;i++)
    {
        if(fabs((double)(a[i]-a[n]))==fabs((double)(i-n))||a[i]==a[n])return 0;
    }
    return 1;
}

 

运行结果:
2  4  1  3
3  1  4  2

 

 

 

八皇后问题模版(非递归回溯算法)

#include <iostream>
#include <cmath>
using namespace std;
int a[20],n,cnt=0;
void backdate(int n);
int check(int k);
void output(int);
int main()
{
    cin >> n;
    backdate(n);
    return 0;
}
void backdate(int n)
{
    int k;
    a[1]=0;
    k=1;
    while(k>0)
    {
        a[k]++;
        while( (a[k]<=n) && (check(k)==0) ) //为第k个皇后搜索位置
        {
            a[k]++;
        }
        if(a[k]<=n)
        {
            if(k==n)    //找到一组解
                output(n);
            else
            {
                k=k+1;    //前k个皇后找到位置,继续为第k+1个皇后找到位置
                a[k]=0;    //注意下一个皇后一定要从头开始搜索
            }
        }
        else k=k-1;      //回溯(务必留意,此算法精华尽在于此!)
    }
}
int check(int k)
{
    int i;
    for(i=1;i<=k-1;i++)
    {
        if(fabs((double)(a[i]-a[k]))==fabs((double)(i-k))||a[i]==a[k])
            return 0;
    }
    return 1;
}
void output(int)
{
    int i;
    cnt++;  //测试用格外加的计数器
    for(i=1;i<=n;i++)
    {
        cout << a[i] << ' ';
    }
        cout << cnt << endl;
}

运行结果:
4(enter|)
2  4  1  3
3  1  4  2

posted @ 2014-10-09 22:04  balfish  阅读(1013)  评论(0编辑  收藏  举报