C++基于回溯法解决八皇后问题示例

 更新时间:2017年11月07日 09:06:07   作者:侯凯  
这篇文章主要介绍了C++基于回溯法解决八皇后问题,简单描述了八皇后问题,以及回溯法的原理与解决八皇后问题的相关操作技巧,需要的朋友可以参考下

本文实例讲述了C++基于回溯法解决八皇后问题的方法。分享给大家供大家参考,具体如下:

回溯法的基本做法是搜索,或是一种组织得井井有条的,能避免不必要搜索的穷举式搜索法。这种方法适用于解一些组合数相当大的问题。

回溯法在问题的解空间树中,按深度优先策略,从根结点出发搜索解空间树。算法搜索至解空间树的任意一点时,先判断该结点是否包含问题的解。如果肯定不包含,则跳过对该结点为根的子树的搜索,逐层向其祖先结点回溯;否则,进入该子树,继续按深度优先策略搜索。

回溯法指导思想——走不通,就掉头。设计过程:确定问题的解空间;确定结点的扩展规则;搜索。

n皇后问题

要在n*n的国际象棋棋盘中放n个皇后,使任意两个皇后都不能互相吃掉。规则:皇后能吃掉同一行、同一列、同一对角线的任意棋子。求所有的解。n=8是就是著名的八皇后问题了。

设八个皇后为xi,分别在第i行(i=1,2,3,4……,8);

问题的解状态:可以用(1,x1),(2,x2),……,(8,x8)表示8个皇后的位置;

由于行号固定,可简单记为:(x1,x2,x3,x4,x5,x6,x7,x8);

问题的解空间:(x1,x2,x3,x4,x5,x6,x7,x8),1≤xi≤8(i=1,2,3,4……,8),共88个状态;

约束条件:八个(1,x1),(2,x2) ,(3,x3),(4,x4) ,(5,x5), (6,x6) , (7,x7), (8,x8)不在同一行、同一列和同一对角线上。

盲目的枚举算法:通过8重循环模拟搜索空间中的88个状态,从中找出满足约束条件的“答案状态”。程序如下:

/*
 *作者:侯凯
 *说明:八皇后——盲目迭代法
 *日期:2013-12-18
 */
#include <iostream>
using namespace std;
bool check_1(int a[],int n)
{
for(int i=2;i<=n;i++)
{
 for(int j=1;j<=i-1;j++)
 {
  if ((a[i]==a[j])||(abs(a[i]-a[j])==i-j))
  {
   return false;
  }
 }
}
return true;//不冲突
}
void queens_1()
{
 int a[9];
 int count = 0;
 for(a[1]=1;a[1]<=8;a[1]++)
 {
  for(a[2]=1;a[2]<=8;a[2]++)
  {
   for(a[3]=1;a[3]<=8;a[3]++)
   {
    for(a[4]=1;a[4]<=8;a[4]++)
    {
     for(a[5]=1;a[5]<=8;a[5]++)
     {
      for(a[6]=1;a[6]<=8;a[6]++)
      {
       for(a[7]=1;a[7]<=8;a[7]++)
       {
        for(a[8]=1;a[8]<=8;a[8]++)
        {
         if(!check_1(a,8)) 
          continue;
         else
         {
          for(int i=1;i<=8;i++) 
          {
           cout<<a[i];
          }
          cout<<endl;
          count++;
         }
        }
       }
      }
     }
    }
   }
  }
 }
 cout<<count<<endl;
}
void main()
{
 queens_1();
}

程序思想比较简单,最后可知共92种摆放方法。如果能够排除那些没有前途的状态,会节约时间——回溯法(走不通,就回头)。

bool check_2 (int a[ ],int n)
{//多次被调用,只需一重循环 
 for(int i=1;i<=n-1;i++)
 {
  if((abs(a[i]-a[n])==n-i)||(a[i]==a[n]))
   return false;
 }  
 return true;
}
void queens_2()
{
 int a[9];
 int count = 0;
 for(a[1]=1;a[1]<=8;a[1]++)
 {
  for(a[2]=1;a[2]<=8;a[2]++)
  {
   if (!check_2(a,2)) continue;
   for(a[3]=1;a[3]<=8;a[3]++)
   {
    if (!check_2(a,3)) continue;
    for(a[4]=1;a[4]<=8;a[4]++)
    {
     if (!check_2(a,4)) continue;
     for(a[5]=1;a[5]<=8;a[5]++)
     {
      if (!check_2(a,5)) continue;
      for(a[6]=1;a[6]<=8;a[6]++)
      {
       if (!check_2(a,6)) continue;
       for(a[7]=1;a[7]<=8;a[7]++)
       {
        if (!check_2(a,7)) continue;
        for(a[8]=1;a[8]<=8;a[8]++)
        {
         if (!check_2(a,8)) 
          continue;
         else
         {
          for(int i=1;i<=8;i++) 
          {
           cout<<a[i];
          }
          cout<<endl;
          count++;
         }
        }
       }
      }
     }
    }
   }
  }
 }
 cout<<count<<endl;
}
void main()
{
 queens_2();
}

n此算法可读性很好,体现了“回溯”。但它只针对八皇后问题,解决任意的n皇后问题还要修改程序结构。如果要解决n皇后的问题,就需要将n作为参数传递给函数,函数需要重写来实现回溯(不能采用级联的for循环,n不确定);从另一方面,程序中出现了大量的for循环,而且for中的函数结构很相似,自然想到的是递归迭代回溯。这就是回溯比较常用的两种实现方法:非递归回溯和递归回溯。

非递归回溯的程序实现:

void backdate (int n)
{ 
 int count = 0;
 int a[100];
 int k = 1;
 a[1]=0; 
 while(k>0)
 {
  a[k]=a[k]+1;//对应for循环的1~n
  while((a[k]<=n)&&(!check_2(a,k)))//搜索第k个皇后位置
  {
   a[k]=a[k]+1;
  }
  if(a[k]<=n)//找到了合理的位置
  {
   if(k==n )
   {//找到一组解
    for(int i=1;i<=8;i++) 
    {
     cout<<a[i];
    }
    cout<<endl;
    count++;
   } 
   else 
   {
    k=k+1;//继续为第k+1个皇后找到位置,对应下一级for循环 
    a[k]=0;//下一个皇后一定要从头开始搜索
   }
  }
  else
  {
   k=k-1;//回溯,对应执行外内层for循环回到更上层 
  }
 }
 cout<<count<<endl;
}
void main()
{
 backdate(8);
}

这样也可以得到,8皇后问题的92中结果。更简单、可读的方法是采用递归的方式,如下:

int a[100], n, count;
void backtrack(int k)
{
 if (k>n)//找到解
 {
  for(int i=1;i<=8;i++) 
  {
   cout<<a[i];
  }
  cout<<endl;
  count++;
 }
 else
 {
  for (int i = 1;i <=n; i++)
  {
   a[k] = i;
   if (check_2(a,k) == 1)
   {backtrack(k+1);}
  }
 }
}
void main()
{
 n=8,count=0;
 backtrack(1);
 cout<<count<<endl;
}

可见,递归调用大大减少了代码量,也增加了程序的可读性。给出其中的一个解,如下:

希望本文所述对大家C++程序设计有所帮助。

相关文章

  • C++小知识:尽可能使用枚举类

    C++小知识:尽可能使用枚举类

    今天小编就为大家分享一篇关于C++小知识:尽可能使用枚举类,小编觉得内容挺不错的,现在分享给大家,具有很好的参考价值,需要的朋友一起跟随小编来看看吧
    2019-01-01
  • C++模板非类型形参的详细讲解

    C++模板非类型形参的详细讲解

    这篇文章主要给大家介绍了关于C++模板非类型形参的相关资料,文中通过实例代码介绍的非常详细,对大家的学习或者工作就有一定的参考学习价值,需要的朋友可以参考下
    2021-11-11
  • C++利用类实现矩阵的数乘,乘法以及点乘

    C++利用类实现矩阵的数乘,乘法以及点乘

    这篇文章主要为大家详细介绍了C++如何利用类实现矩阵的数乘,乘法以及点乘,文中的示例代码讲解详细,对我们学习C++有一定帮助,需要的可以参考一下
    2022-11-11
  • C++ MiniZip实现目录压缩与解压的示例详解

    C++ MiniZip实现目录压缩与解压的示例详解

    Zlib是一个开源的数据压缩库,提供了一种通用的数据压缩和解压缩算法,本文主要为大家详细介绍了如何利用Zlib实现目录压缩与解压,需要的小伙伴可以参考下
    2023-11-11
  • 纯C语言:递归组合数源码分享

    纯C语言:递归组合数源码分享

    这篇文章主要介绍了纯C语言:递归组合数源码,有需要的朋友可以参考一下
    2014-01-01
  • C语言实现带头双向循环链表

    C语言实现带头双向循环链表

    本文主要介绍了C语言实现带头双向循环链表,文中通过示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2022-03-03
  • C语言中定义与声明有哪些区别

    C语言中定义与声明有哪些区别

    在C/C++中有一个基础且重要的知识,什么是声明?什么是定义?他们的区别是什么?本文将带你理清其中的区别
    2022-07-07
  • 浅谈c语言中类型隐性转换的坑

    浅谈c语言中类型隐性转换的坑

    下面小编就为大家带来一篇浅谈c语言中类型隐性转换的坑。小编觉得挺不错的,现在就分享给大家,也给大家做个参考。一起跟随小编过来看看吧
    2016-08-08
  • 利用Qt+opencv实现视频分解为图片

    利用Qt+opencv实现视频分解为图片

    这篇文章主要为大家详细介绍了如何利用Qt和opencv实现视频分解为图片,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下
    2023-12-12
  • Qt学习之容器类的使用教程详解

    Qt学习之容器类的使用教程详解

    Qt提供了多个基于模板的容器类,这些类可以用于存储指定类型的数据项。本文主要介绍了Qt常用容器类的使用,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
    2022-12-12

最新评论