- 递归是一种算法结构,回溯是一种算法思想。
- 一个递归就是在函数中调用函数本身来解决问题。
- 回溯就是通过不同的尝试来生成问题的解,有点类似于穷举,但是和穷举不同的是回溯会“剪枝”。
剪枝的意思也就是说对已经知道错误的结果没必要再枚举接下来的答案了,比如一个有序数列1,2,3,4,5,我要找和为5的所有集合,从前往后搜索我选了1,然后2,然后选3的时候发现和已经大于预期,那么4,5肯定也不行,这就是一种对搜索过程的优化。
回溯搜索是深度优先搜索(DFS)的一种。对于某一个搜索树来说(搜索树是起记录路径和状态判断的作用),回溯和DFS,其主要的区别是,回溯法在求解过程中不保留完整的树结构,而深度优先搜索则记下完整的搜索树。
为了减少存储空间,在深度优先搜索中,用标志的方法记录访问过的状态,这种处理方法使得深度优先搜索法与回溯法没什么区别了。
递归的一般结构:
void f()
{
if(符合边界条件)
{
///////
return;
}
//某种形式的调用
f();
}
回溯的一般结构:
void DFS(int 当前状态)
{
if(当前状态为边界状态)
{
记录或输出
return;
}
for(i=0;i<n;i++) //横向遍历解答树所有子节点
{
//扩展出一个子状态。
修改了全局变量
if(子状态满足约束条件)
{
dfs(子状态)
}
恢复全局变量//回溯部分
}
}
BFS和DFS相似。BFS显式用队列,DFS隐式用栈,即递归。
当然,对于DFS,用递归可能会造成栈溢出,所以也可以更改为显示栈。
以下以走迷宫问题为力,做一下说明:
*表示可走
#表示障碍
T表示出口
入口是(1,1),数据保证左上角是入口。
#include<iostream>
using namespace std;
char maze[100][100];
bool flag[100][100];
int dx[]={0,0,1,-1};
int dy[]={1,-1,0,0};
int m,n;
bool dfs(int x,int y)
{
flag[x][y]=1; //走过的路标记为1
if(maze[x][y]=='T')return true;
for(int i=0;i<4;i++) //四个方向
{
int nx=x+dx[i];
int ny=y+dy[i];
if(flag[nx][ny]==0||maze[nx][ny]=='*'||maze[nx][ny]=='T'&&nx>0&&ny>0&&nx<m+1&&ny<n+1)
{
return dfs(nx,ny);
flag[nx][ny]=0; //回溯,将标记重新标记为0
}
}
return false; //找不到返回false
}
int main()
{
while(cin>>m>>n){
memset(maze,0,sizeof(maze));
memset(flag,0,sizeof(flag));
for(int i=1;i<=m;i++)
for(int j=1;j<=n;j++)
cin>>maze[i][j];
if(dfs(1,1))cout<<"YES"<<endl;
else cout<<"NO"<<endl;
}
}