回溯法
回溯法(搜索与回溯法)是一种选优搜索法,又称为试探法,按选优条件向前搜索,以达到目标。但当搜索到某一步时,发现原先选择并不优或达不到目标,就退回一步重新选择。这种走不通就退回再走的技术为回溯法。而满足回溯条件的某个状态的点称为“回溯点”。
回溯法问题的框架
问题的解空间
复杂问题常常有很多的可能解,这些可能的解构成了问题的解空间。解空间就是进行穷举的搜索空间,所以解空间中应该包含所有的可能解,且至少应该包含问题的一个最优解。例如:对于有n个物品的0/1背包问题,当n=3时,其解空间是:{(0, 0, 0), (0, 0, 1), (0, 1, 0), (1, 0, 0), (0, 1, 1), (1, 0, 1), (1, 1, 0), (1, 1, 1) }。
回溯法的基本思想
基本步骤
- 针对所给的问题,定义问题的解空间
- 确定易于搜索的解空间结构
- 以深度优先方式搜索解空间,并且在搜索过程中用剪枝函数避免无效搜索
常用剪枝函数
- 约束函数:减去不满足条件的子树
- 限界函数:减去得不到最优解的子树
递归和迭代回溯
递归回溯
模板:
void Backtrack( int t ){
if ( f > n ) {
Output(x);
}else{
for( int i = f(n,t), i<=g(n,t);i++){
x[t] = h(i);
if(Constraint(t)&&Bound(t)){
Backtrack(t+1);
}
}
}
}
迭代回溯
模板:
void IterativeBacktrack(void){
int t=1;
while(t>0){
if(f(n,t)<=g(n,t){
for(int i=f(n,t);i<=g(n,t);i++){
x[t]=h(i);
if(Constraint(t)&&Bound(t)){
if(Solution(t))
Output(x);
else
t++;
}
else
t--;
}
}
}
子集树和排列树
- 子集树:当所给的问题是从n个元素的集合S中找出满足某种性质的子集时,相应的解空间为子集树。如0-1背包问题。
- 排列树:当所给问题是确定n个元素的满足某种性质的排列时,相应的解空间为排列树。如旅行售货员问题。
经典例题
子集和问题
题目:
解析:
该题的解空间是一个子集树,其中解集为S={s1,s2,··,sn},s1到sn的和为给定的C。同样,为了避免无效搜索,加快算法效率,需要剪枝函数。该题的剪枝函数限制条件为当前已加的值sum加上当前结点的值value大于给定的C,则不往下遍历。(这里没有做剪枝,丢人)
代码如下:
#include<iostream>
using namespace std;
#define MAXLENGTH 10005
int arr[MAXLENGTH]; // 存储数组
bool haveUsed[MAXLENGTH]; // 存储数组各个元素当前状态
int value; // 存储当前值
bool isPrint = false;
void count(int i,int num,int sum) {
if (i > num||isPrint) {
return;
};
haveUsed[i] = true;
value += arr[i];
if (value == sum&&!isPrint) {
for (int j = 0; j < num; j++) {
if (haveUsed[j]==true) {
cout << arr[j]<<" ";
}
};
isPrint = true;
return;
}
else if(value<sum){
count(i + 1, num, sum);
}
if (isPrint) { // 已经输出,直接返回(这实现有点傻)
return;
}
haveUsed[i] = false;
value -= arr[i];
count(i + 1, num, sum);
return;
}
int main() {
int num, sum;
int tmp = 0;
cin >> num >> sum;
for (int i = 0; i < num; i++) {
cin >> arr[i];
tmp += arr[i];
}
if (tmp < sum) {
cout << "No Solution!" << endl;
return 0;
}
count(0, num, sum);
if (!isPrint) {
cout << "No Solution!" << endl;
}
system("pause");
return 0;
}
总结
- 当问题是满足某种性质(约束条件)取得最优解时,往往采用回溯法。
- 回溯法的实现方法有两种:递归和迭代。一个问题两种方法都可以实现,只是算法效率会有不一样。
- 因为有剪枝函数,回溯法的效率远远大于穷举法。
结对编程状况
结对编程的时候我一般负责代码实现和提供思路,队友每次都能纠正我的思维盲点,以及提出高效的剪枝函数的条件。合作愉快。(反正就是被带飞了)
原文地址:https://www.cnblogs.com/MarcusJr19/p/12070442.html
时间: 2024-10-09 09:04:44