定义:
是一种选优搜索法,又称为试探法,按选优条件向前搜索,以达到目标。当探索到某一步时,发现原先选择并不优,或达不到目标,就退回一步重新选择,这种走不通就退回再走的方法称为回溯法,满足回溯条件的某个状态的点称为回溯点。
解题步骤:
1.定义一个解空间,它包含问题的解
2.利用适合搜索的方法组织解空间
3.利用深度优先法搜索解空间
4.利用限界函数避免移动到不可能产生解的子空间
例1:八皇后问题
#include<cstring>
#include<iostream>
using namespace std;
int vis[3][15],tot;
void search(int cur)
{
int i,j;
if(cur==8) tot++;
else
{
for(i=0;i<8;i++)
{
if(!vis[0][i]&&!vis[1][cur-i+8]&&!vis[2][cur+i])
{
vis[0][i]=1;
vis[1][cur-i+8]=1;
vis[2][cur+i]=1;
search(cur+1);
//改回辅助的全局变量
vis[0][i]=0;
vis[1][cur-i+8]=0;
vis[2][cur+i]=0;
}
}
}
}
int main()
{
search(0);
cout<<tot<<endl;
}
例2:图的着色问题
#define N 100
#include<iostream>
using namespace std;
int v,e,c,graph[N][N],color[N];
//顶点数,边数,颜色数
int sum;
bool ok(int k)
{
for(int j=1;j<=v;j++)
{
if(graph[k][j]&&(color[j]==color[k])) return false;
}
return true;
}
void backtrack(int t)
{
if(t>v) sum++;
else
{
for(int i=1;i<=c;i++)
{
color[t]=i;
if(ok(t)) backtrack(t+1);
//改回辅助的全局变量
color[t]=0;
}
}
}
int main()
{
int i,j;
cin>>v>>e>>c;
for(i=1;i<=v;i++)
{
for(j=1;j<=v;j++)
{
graph[i][j]=0;
}
}
for(int k=1;k<=e;k++)
{
cin>>i>>j;
graph[i][j]=1;
graph[j][i]=1;
}
for(i=0;i<=v;i++) color[i]=0;
backtrack(1);
cout<<sum<<endl;
}