第5章 回溯法
第5章-回溯法-New剖析
第5章 回溯法
回溯法的基本思想
回溯法是带优化的穷举法。 回溯法的基本思想:在一棵含有问题全部可 能解的状态空间树上进行深度优先搜索,解为叶 子结点。搜索过程中,每到达一个结点时,则判 断该结点为根的子树是否含有问题的解,如果可 以确定该子树中不含有问题的解,则放弃对该子 树的搜索,退回到上层父结点,继续下一步深度 优先搜索过程。 在回溯法中,并不是先构造出整棵状态空间 树,再进行搜索,而是在搜索过程中逐步构造出 状态空间树,即边搜索,边构造。
}
遍历排列树需要O(n!)计算时间
第5章 回溯法
八皇后问题
是一个古老而著名的问题。该问题是十九 世纪著名的数学家高斯1850年提出。 在8X8格的国际象棋上摆放八个皇后,使 其不能互相攻击,即任意两个皇后都不能 处于同一行、同一列或同一斜线上,问有 多少种摆法。 高斯认为有76种方案。1854年在柏林的 象棋杂志上不同的作者发表了40种不同的 解,后来有人用图论的方法解出92种结果。
第5章 回溯法
第5章 回溯法
引入问题
回溯是重要的算法之一 要求找到一组解,或要求找到一个满足某些限制 的最优解。 ->通过彻底的搜索方法来解决。
*彻底搜索的运算量很大,有时大到计算机承受 不了的程度。
*彻底的搜索,以进行大量的比较、舍弃、运算 时间为代价。因此,用穷举法解某些实际问题是不 现实的. ->使用回溯法可以大大减少实际的搜索。例如,迷 宫问题,八皇后问题,骑士周游世界问题。
第5章 回溯法
N皇后问题
[问题描述] 在N*N的棋盘上,放置N个皇后,要求每 一横行,每一列,每一对角线上均只能放置一个皇后, 求可能的方案及方案数。
问题的状态即棋盘的布局状态,状态空间树的根为空 棋盘,每个布局的下一步可能布局为该布局结点的子 结点;
第5章 回溯法
教学要求
回溯
了解回溯算法的概念与回溯设计要领 掌握应用回溯算法求解桥本分数式、素数环、 数码串珠以及情侣拍照等典型案例
本章重点
理解回溯法 “向前走,碰壁回头”的实现
5.1 回溯概述
1. 回溯的概念
(1) 回溯法(Back track method)有“通用解题法”之美 称,是一种比枚举“聪明”的效率更高的搜索技术。
4. 4皇后问题的回溯举例
如何在4×4的方格棋盘上放置4个皇后,使它们互不攻击:
4皇后问题回溯描述
i=1;a[i]=1; while
(1) { g=1;for(k=i-1;k>=1;k--) if(a[i]=a[k] || abs(a[i]-a[k])=i-k) g=0; // 检测约束条件,不满足则返回 if(g && i==4) printf(a[1:4]); // 输出一个解 if(i<4 && g) {i++;a[i]=1;continue;} while(a[i]==4 && i>1) i--; // 向前回溯 if(a[i]==4 && i==1) break; //退出循环结束探索 else a[i]=a[i]+1; }
(2) 回溯描述 对于一般含参量m,n的搜索问题,输入正整数n,m,(n≥m) i=1;a[i]=<元素初值>; while (1) {for(g=1,k=i-1;k>=1;k--) if( <约束条件1> ) g=0; // 检测约束条件,不满足则返回 if(g && <约束条件2>) printf(a[1:m]); // 输出解 if(i<n && g) {i++;a[i]=<取值点>;continue;} while(a[i]=<回溯点> && i>1) i--; // 向前回溯 if(a[i]==n && i==1) break; // 退出循环,结束 else a[i]=a[i]+1; }
回溯法_ppt课件
实 现 递 归
} }
if (Constraint(t) &&Bound(t) ) { if (Solution(t)) Output(x); else t ++; } else t --;
if (Constraint(t) &&Bound(t) ) { if (Solution(t)) Output(x); else t ++; } else t --; 分析:
算法设计与分析 >回溯法
5、回溯法解题步骤: 1).针对所给问题,定义问题的解空间 2).确定解空间结构. 3).以深度优先方式搜索解空间.
算法模式 Procedure BACKTRACK(n); {k:=l; repeat if TK (x1,x2,...xK-1 )中的值未取遍 then { xK:=TK (x1,x2,..., x K-1 )中未取过的一个值; if BK (x1, x2, ..., x K) then //状态结点(x1,...xk)被激活 if k=n then output(x1, x2, ..., xk) //输出度优先 e1se k:=k-l; //回溯 until k=0; end;{BACKTRACK}
if (Constraint(t)&&Bound(t) ) Backtrack(t + 1); if语句含义:Constraint(t)和Bound(t)表示当前扩展 节点处的约束函数和限界函数。 Constraint(t): 返回值为true时,在当前扩展节点处 x[1:t]的取值问题的约束条件,否则不满足问题的约束条 件,可剪去相应的子树 Bound(t): 返回的值为true时,在当前扩展节点处 x[1:t]的取值为时目标函数越界,还需由Backtrack(t+1) 对其相应的子树做进一步搜索。否则,当前扩展节点处 x[1:t]的取值是目标函数越界,可剪去相应的子树 for循环作用:搜索遍当前扩展的所有未搜索过的 子树。 递归出口:Backtrack(t)执行完毕,返回t-1层继续 执行,对还没有测试过的x[t-1]的值继续搜索。当t=1时, 若以测试完x[1]的所有可选值,外层调用就全部结束。
第5章回溯法PPT课件
二、回溯的一般描述
一旦某个j元组(x1,x2,…,xj)违反D中仅涉及 x1,x2,…,xj 的一个约束,就可以肯定,以(x1, x2,…,xj)为前缀的任何n元组
(x1,x2,…,xj,xj+1,…,xn)都不会是问题P 的解。
三、回溯的一般步骤
回溯法正是针对这类问题,利用这类问题的 上述性质而提出来的比枚举法效率更高的算 法。
由于这是第一次用计算机证明数学定理,所以哈肯 和阿佩尔的工作,不仅是解决了一个难题,而且从 根本上拓展了人们对“证明”的理解,引发了数学 家从数学及哲学方面对“证明”的思考。
实例—n皇后问题
在一个n×n的棋盘上放置n个国际象棋中 的皇后,要求所有的皇后之间都不形成攻 击。请你给出所有可能的排布方案数。
n
4
5
6
7
8
总数
2
10
4
40
92
n皇后问题
对于n皇后问题而言,我们很难找出很合适的方法 来快速的得到解,因此,我们只能采取最基本的枚 举法来求解。
但我们知道,在n×n的棋盘上放置n个棋子的所有
回溯算法(一)
什么是回溯
入口回溯
▪迷宫游戏
回溯
➢什么是回溯法
回溯
▪回溯法是一个既带
有系统性又带有跳跃
性的的搜索算法
回溯
▪回溯法是以深度优先的方式系统地搜索问题 出口 的解, 它适用于解一些组合数较大的问题。
回溯(Trackback)是什么?
为什么回溯?
怎样回溯?
What
Why
How
一、回溯的概念
解问题P的最朴素的方法就是枚举法,即对E 中的所有n元组逐一地检测其是否满足D的全 部约束,显然,其计算量是相当大的。
2020-wfx-第5章 回溯法-概述
//产生一个可能的解分量
法 框
…
//其他操作
if (constraint(i) && bound(i))
backtrack(i+1); //满足约束条件和限界函数,继续下一层
ห้องสมุดไป่ตู้
架
}
}
}
(2)解空间为排列树
int x[n];
//x存放解向量,并初始化
void backtrack(int i)
//求解排列树的递归框架
{ if(i>n)
//搜索到叶子结点,输出一个可行解
输出结果;
else
{ for (j=i;j<=n;j++)
//用j枚举i所有可能的路径
{…
//第i层的结点选择x[j]的操作
swap(x[i],x[j]);
//为保证排列中每个元素不同,通过交换来实现
if (constraint(i) && bound(i))
3
{2,3,1}
1
{2,3,1}
2
{3,2,1}
1
{3,2,1}
1
{3,1,2}
2
{3,1,2}
回溯法的求解过程
在包含问题的所有解的解空间树中,按照深度优先搜索的策略,从根结点 (开始结点)出发搜索解空间树。
首先根结点成为活结点,同时也成为当前的扩展结点。 在当前的扩展结点处,搜索向纵深方向移至一个新结点。如果在当前的扩 展结点处不能再向纵深方向移动,则当前扩展结点就成为死结点。此时应往回 移动(回溯)至最近的一个活结点处,并使这个活结点成为当前的扩展结点。 递归地在解空间中搜索,直至找到所要求的解或解空间中已无活结点为止。
第5章 搜索与回溯算法(C 版)
【参考程序】
#include<cstdio> #include<iostream> #include<cstdlib> using namespace std; int a[10001]={1},n,total; int search(int,int); int print(int); int main() {
int print();
//输出方案
int main() {
cout<<"input n,r:"; cin>>n>>r; search(1); cout<<"number="<<num<<endl; }
//输出方案总数
int search(int k) {
int i; for (i=1;i<=n;i++) if (!b[i])
(r<n),试列出所有的排列。
#include<cstdio>
#include<iostream>
#include<iomanip>
using namespace std;
int num=0,a[10001]={0},n,r;
bool b[10001]={0};
int search(int);
//回溯过程
{
for (int j=0;j<=3;j++)
//往4个方向跳
if (a[i-1][1]+x[j]>=0&&a[i-1][1]+x[j]<=4
&&a[i-1][2]+y[j]>=0&&a[i-1][2]+y[j]<=8)//判断马不越界
第5章 回溯法
(1)如果X=(x1, x2, …, xi+1)是问题的最终解,则输出这个解。 如果问题只希望得到一个解,则结束搜索,否则继续搜索其 他解; (2)如果X=(x1, x2, …, xi+1)是问题的部分解,则继续构造解 向量的下一个分量; (3)如果X=(x1, x2, …, xi+1)既不是问题的部分解也不是问题 的最终解,则存在下面两种情况: ① 如果xi+1= ai+1k不是集合Si+1的最后一个元素,则令xi+1= ai+ 1k+1,即选择Si+1的下一个元素作为解向量X的第i+1个分量; ② 如果xi+1= ai+1k是集合Si+1的最后一个元素,就回溯到X=(x1, x2, …, xi),选择Si的下一个元素作为解向量X的第i个分量,假 设xi= aik,如果aik不是集合Si的最后一个元素,则令xi= aik+1; 否则,就继续回溯到X=(x1, x2, …, xi-1); 15
2 3
4
3
4
1
3ห้องสมุดไป่ตู้
1
4
2
4
1
2
1
2
3
3
1
2
1
10 12 15 17 21 23 26 28 31 33 37 39 42 44 47 49 52 54 57 59 62 64 n=4的TSP问题的解空间树
8
解空间树的动态搜索(1)
回溯法从根结点出发,按照深度优先策略遍历 解空间树,搜索满足约束条件的解。 在搜索至树中任一结点时,先判断该结点对应 的部分解是否满足约束条件,或者是否超出目标函 数的界,也就是判断该结点是否包含问题的(最优) 解,如果肯定不包含,则跳过对以该结点为根的子 树的搜索,即所谓剪枝( Pruning );否则,进入 以该结点为根的子树,继续按照深度优先策略搜索。
第五章 回溯法
• Cr=C=30,V=0
C为容量,Cr为剩余空间,V为价值。 • A为唯一活结点,也是当前扩展结点。
H D 1 0 I 1
1 B 0 E 1 0 J K
A
0 C 1 F 1 0 L M N 0 G 1 0 O
5.1 回溯法的算法框架
• n=3, C=30, w={16,15,15}, v={45,25,25}
理论上
寻找问题的解的一种可靠的方法是首先列出所有候选解,然后依次检查每一个, 在检查完所有或部分候选解后,即可找到所需要的解。
但是
当候选解数量有限并且通过检查所有或部分候选解能够得到所需解时,上述方
法是可行的。
若候选解的数量非常大(指数级,大数阶乘),即便采用最快的计算机也只能 解决规模很小的问题。
显约束
对分量xi的取值限定。
隐约束 为满足问题的解而对不同分量之间施加的约束。
5.1 回溯法的算法框架
解空间(Solution Space)
对于问题的一个实例,解向量满足显式约束条件的所有多元组,构成了该 实例的一个解空间。 注意:同一问题可有多种表示,有些表示更简单,所需状态空间更小(存储 量少,搜索方法简单)。
回溯法引言
以深度优先的方式系统地搜索问题的解的算法称为回溯法 使用场合
对于许多问题,当需要找出它的解的集合或者要求回答什么解是满足某些
约束条件的最佳解时,往往要使用回溯法。 这种方法适用于解一些组合数相当大的问题,具有“通用解题法”之称。 回溯法的基本做法 是搜索,或是一种组织得井井有条的,能避免不必要搜索的穷举式搜索法。
一个正在产生儿子的结点称为扩展结点
活结点(L-结点,Live Node)
一个自身已生成但其儿子还没有全部生成的节点称做活结点
第五章 回溯法1--基本概念--n后问题
B
3 4
C
4 G G 3 M M 2 H H 4 N N
D D
4 26>25 2 I I 3 P P 2 J J
E
3
图1 四个顶点的带权图
F
4 L L 59
K
2 Q Q
O
60+6>59 25
第五章 回溯法
19+6=25 29+30>25
活结点 当前扩展结点 死结点 D B 1 A
0 1 F 0
K
45
1
0
E
C 0 G 0 1 N
25
死结点 1
1
H
0
I
1
J
0 O
0
4
L
50
M
25
图5-2 在0-1背包问题的解空间树上搜索最优解
第五章 回溯法
例2:旅行售货员问题:某售货员要到若干城市推销商 品,已知各城市间的路程(或旅费)。他要选一条从 驻地出发,经过每个城市一遍,最后回到驻地的路线 使总的路程(总的旅费)最小。
第五章 回溯法 2
2. 解空间树
通常把解空间组织成解空间树。 例如:对于n=3时的0-1背包问题,其解空间用一 棵完全二叉树表示,如下图所示。
1
A
0
B
1 0 1
C
0
D 1 H
0 1
E
0
F
1 0 1
G
0
I
J
K
L
M
N
O
0-1背包问题的解空间树
第五章 回溯法
3
3. 搜索解空间树的过程
第五部分 回溯法
1
装载问题
• 有一批共n个集装箱要装上2艘载重量分别为c1和c2 n 的轮船,其中集装箱i个重量为wi,且 ∑ wi ≤ c1 + c2 • 装载问题要求确定,是否有一个合理的装载方案 可将这n个集装箱装上这2艘轮船。如果有,找出 n 2 一种装载方案。
– 例如,当n=3, c1=c2=50, 且w=[10,40,40]时,则可以将集 装箱1和2装到第一艘轮船上,而将集装箱3装到第二艘 轮船上;如果w=[20,40,40],则无法将这3个集装箱都装 上轮船。
• 限界函数
– 例如,c=7, w=[3, 5, 2, 1], v=[9, 10, 7, 4] 。v/w=[3, 2, 3.5, 4]。以物品单位重量价值的递减序装入物品。装入物品 4、3、1后,只能装入0.2的物品2,由此得到一个解 Bound (i) x=[1, 0.2, 1, 1],其相应的价值为22。尽管这个解不是一 //计算上界 个可行解,但其价值是最优值的一个上界,即对于该 cleft = c - cw // 剩余容量 问题,最优值不超过22。 bound = cp //以物品单位重量价值递减序装入物品 while i <= n and w[i] <= cleft O(n) cleft = cleft - w[i] bound = bound + p[i] i++ //装满背包 if i <= n bound = bound + p[i] / w[i] * cleft return bound
• • • •
活结点:自身已生成但其儿子结点还未全部生成的结点 扩展结点:当前正在处理的结点 死结点:所有儿子已经生成 叶结点:可行解 0-1背包:w=[16,15,15], v=[45,25,25], c=30
第5章 回溯法
算法设计与分析<<回溯法
小结
回溯法解题的特征
在深度优先搜索过程中动态产生问题的解空间。 几个术语
扩展结点:一个正在产生儿子的结点称为扩展结点 活结点:一个自身已生成但其儿子还没有全部生成的
结点称做活结点 死结点:一个所有儿子已经产生的结点称做死结点。
有限集, 设已有满足约束条件的部分解(x1, x2,… xi)添 加xi+1 si+1,
若(x1, x2,… xi xi+1)满足约束条件, 则继续添加xi+2 ; 若所有可能的xi+1 si+1均不满足约束条件,则去掉xi ,
回溯到(x1, x2,… xi-1), 添加尚未考虑过的xi;
回溯法 分支限界法
◎四川师范大学 计算机科学学院 刘芳 3
算法设计与分析<<回溯法
问题的解空间
问题的解向量:
问题的解可以表示成一个n元式(x1, x2,… xn)的形式。
问题的解空间
E={(x1, x2,… xn)| xi si , si为有限集 }称为问题的解空
间
约束条件
分析:
可能解由一个等长向量(x1, x2, …, xn)组成, 其中 如:
xi=1(1≤i≤n)表示物品i装入背包 xi=0(1≤i≤n)表示物品i没有装入背包 当n=3时,其解空间是:
{ (0, 0, 0), (0, 0, 1), (0, 1, 0), (0, 1, 1), (1, 0, 0), (1, 0, 1), (1, 1, 0), (1, 1, 1) }
骤,而每一个步骤都有若干种可能的分支,为了完成 这一过程,又必须遵守一些规则,
05回溯法
第5章回溯法回溯法也称为试探法,该方法首先暂时放弃关于问题规模大小的限制,并将问题的候选解按某种顺序逐一枚举和检验。
当发现当前候选解不可能是解时,就选择下一个候选解;倘若当前候选解除了还不满足问题规模要求外,满足所有其他要求时,继续扩大当前候选解的规模,并继续试探。
如果当前候选解满足包括问题规模在内的所有要求时,该候选解就是问题的一个解。
在回溯法中,放弃当前候选解,寻找下一个候选解的过程称为回溯。
扩大当前候选解的规模,以继续试探的过程称为向前试探。
回溯法的基本思想:确定了解空间的组织结构后,回溯法就从开始结点(根结点)出发,以深度优先的方式搜索整个解空间。
这个开始结点就成为一个活结点,同时也成为当前的扩展结点。
在当前的扩展结点处,搜索向纵深方向移至一个新结点。
这个新结点就成为一个新的活结点,并成为当前扩展结点。
如果在当前的扩展结点处不能再向纵深方向移动,则当前扩展结点就成为死结点。
换句话说,这个结点不再是一个活结点。
此时,应往回移动(回溯)至最近的一个活结点处,并使这个活结点成为当前的扩展结点。
回溯法即·96· ACM 程序设计培训教程以这种工作方式递归地在解空间中搜索,直至找到所要求的解或解空间中已没有活结点时为止。
运用回溯法解题通常包含以下三个步骤: (1)针对所给问题,定义问题的解空间; (2)确定易于搜索的解空间结构;(3)以深度优先的方式搜索解空间,并且在搜索过程中用剪枝函数避免无效搜索;5.1〖案例1〗组合问题找出从自然数1、2、……、n 中任取r 个数的所有组合。
例如n=5,r=3的所有组合为:(1)1、2、3 (2)1、2、4 (3)1、2、5 (4)1、3、4 (5)1、3、5 (6)1、4、5 (7)2、3、4 (8)2、3、5 (9)2、4、5 (10)3、4、5则该问题的状态空间为:E={(x1,x2,x3)∣xi ∈S ,i=1,2,3},其中:S={1,2,3,4,5} 约束集为:x1<x2<x3显然该约束集具有完备性。
5 回溯法
5 回溯法回朔法即是:若在当前位置探测到一条通路则继续向前,若在当前位置探测不到一条通路则回朔侄前一位置继续探测尚未探测的反向,直到找到一条通路或探测出无通路存在为止。
定义:也叫试探法,它是一种系统地搜索问题的解的方法。
回溯算法的基本思想是:从一条路往前走,能进则进,不能进则退回来,换一条路再试。
用回溯算法解决问题的一般步骤为:一、定义一个解空间,它包含问题的解。
二、利用适于搜索的方法组织解空间。
三、利用深度优先法搜索解空间。
四、利用限界函数避免移动到不可能产生解的子空间。
问题的解空间通常是在搜索问题的解的过程中动态产生的,这是回溯算法的一个重要特性。
回溯法是一个既带有系统性又带有跳跃性的的搜索算法。
它在包含问题的所有解的解空间树中,按照深度优先的策略,从根结点出发搜索解空间树。
算法搜索至解空间树的任一结点时,总是先判断该结点是否肯定不包含问题的解。
如果肯定不包含,则跳过对以该结点为根的子树的系统搜索,逐层向其祖先结点回溯。
否则,进入该子树,继续按深度优先的策略进行搜索。
回溯法在用来求问题的所有解时,要回溯到根,且根结点的所有子树都已被搜索遍才结束。
而回溯法在用来求问题的任一解时,只要搜索到问题的一个解就可以结束。
这种以深度优先的方式系统地搜索问题的解的算法称为回溯法,它适用于解一些组合数较大的问题。
例题:1、排列的实现,对于n个不同数的排列并输出。
定义一个数组a[n],开始从第一个元素填入1开始,每进一步都是从1开始,并检查是否把n个元素填完和n个元素都没有重复的,如果是则输出一个解。
如果欲填入的数与之前已经填入的数重复,则增加1再比较,直到没有重复(除非已到了上限),如果已经到达了上限n,否回朔回上一个元素,值到其值不为上限n,然后上一个元素,下一个元素从1重新开始。
C++程序1#include<stdio.h>void main(){int n,m,i=0,j=0,k=0,flag=0,f=0;static int a[40];printf("输入N:");scanf("%d",&n);a[1]=1;k=1;while(1){flag=1;for(i=1;i<k;i++)if(a[k]==a[i]){flag=0;break;}if(flag&&k==n){for(j=1;j<=n;j++)printf("%d",a[j]);printf("\n");}if(k<n&&flag) {k++;a[k]=1;continue;}while(a[k]==n&&k>1){k--;}if(a[k]==n&&k==1)break;else{a[k]++;}}}C++程序2、排列的算法差不多,为了不重复,加了一个条件,也就是递增数列#include<stdio.h>void main(){int n,m,i=0,j=0,k=0,flag=0,f=0;static int a[40];printf("输入N,M:");scanf("%d%d",&n,&m);a[1]=1;k=1;while(1){flag=1;for(i=1;i<k;i++)if(a[k]==a[i]||a[k]<a[i])//a[k]<a[i]条件为了限制递增{flag=0;break;}if(flag&&k==m){for(j=1;j<=m;j++)printf("%d",a[j]);printf("\n");}if(k<n&&flag){k++;a[k]=1;continue;}while(a[k]==n&&k>1){k--;}if(a[k]==n&&k==1)break;else{a[k]++;}}}C++程序3#include <stdio.h>#include <string.h>void main() {int n,i=1;printf("请输入N值=?");scanf("%d",&n);int a[30]={0}; //C语言中完成数组定义并初始化不能用变量N,只能用具体数字,这儿采用比较大的30a[1]=1;while(i<=n){if (i==n){for (int j=1;j<n;j++) printf("%d ",a[j]);printf("%d\n",a[n]); //输出一组解}if (i<n) {i++;a[i]=1;continue;}while (a[i]==n && i>1) i--; //向前回溯if (a[i]==n && i==1) break; //结束else a[i]=a[i]+1;}}JA V A程序用回溯法求任意1到N个数字的全排列。
第5章 回溯法
4
C 20 D
10
求赋权图G 的具有最小 权 的 Hamilton圈
B
C D B
C
D B
D
C
D
C
D
B
C
B
A
5
5.1回溯法的算法框架—基本思想
例2.定和子集问题:
已知一个正实数的集合 A={w1,w2,……wn},和正实数M.试求A的所有子集S,使得S中 的数之和等于M。 这个问题的解可以表示成0/1数组{x1,x2,……xn},依据w1是 否属于S,x1分别取值1或0。故解空间中共有2n个元素。它的树 1 结构是一棵完全二叉树。
7
5.1回溯法的算法框架—基本思想
从例3来看,解空间的确定与我们对问题的描述有关。 如何组织解空间的结构会直接影响对问题的求解效率。这是 因为回溯方法的基本思想是通过搜索解空间来找到问题的可 行解以至最优解。 当所给的问题是从n个元素的集合S中找出满足某种性质 的子集时,相应的解空间树称为子集合树。此时,解空间有 2n 个元素,遍历子集树的任何算法均需Ω(2n)的计算时间。 如例2。 当所给的问题是确定n个元素的满足某种性质的排列时, 相应的解空间树称为排列树,此时,解空间有n!个元素。遍 历排列树的任何算法均需Ω(n!)计算时间,如例1和例3。本 章只讨论具有上两类解空间树的求解问题。
11
5.1回溯法的算法框架—递归回溯
回溯法对解空间作深度优先搜索,因此,在一般情况下 用递归方法实现回溯法。 void backtrack (int t) { if (t>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); } } f(n,t)和g(n,t)分别表示在当前扩展结点处未搜索过子 树的起始编号与终止编号,h(i)表示当前扩展结点处x[t]的 第i个可选值。
回溯法 ppt课件
回溯法举例:
[旅行商问题] 在这个问题中 ,给出一个n 顶点网络(有向 或无向) ,要求找出一个包含所有n 个顶点的具有最小耗 费的环路 。任何一个包含网络中所有n 个顶点的环路被称 作一个旅行(t o u r )。在旅行商问题中 ,要设法找到一 条最小耗费的旅行。 [分析]图给出了一个四顶点网络 。在这个网络中 ,一些旅
Bound(t) : 返回的值为true时 , 在当前扩展节点处 x[1: t]的取值为时 目标函数越界 , 还需由Backtrack(t+1) 对其相应的子树做进一步搜索 。否则 , 当前扩展节点处 x[1: t]的取值是目标函数越界 ,可剪去相应的子树
for循环作用: 搜索遍当前扩展的所有未搜索过的 子树。
si+1均不满足约束条件,则去掉xi , 回溯到(x 1 , x 2 , … xi-1), 添加尚 未考虑过的xi , 如此反复进行,直到(x1 , x2 , … xk) k n满足所有的 约束条件或证明无解.
E= { (x1 , x2 , … xn), xi si , si为有限集 }称为问题的解空间.
5. 1 回溯法基本思想
穷举法技术建议我们先生成所有的候选解 , 然后找出那个 具有需要特性的元素
1 、 回溯法主要思想是每次只构造解的一个分量 ,然后按照 鲜明的方法来评估这个部分构造解 。如果一个部分构造解可以进一 步构造而不会违反问题的约束 , 我们就接受对下一个分量所作的第 一个合法选择 。如果无法对下一个分量进行合法的选择 , 就不对剩 下的任何分量再做任何选择了 。在这种情况下 ,该算法进行回溯 , 把部分构造解的最后一个分量替换为它的下一个选择。
算法模式 Procedure BACKTRACK (n); {k := l;
课件:第五章回溯法
else if (aSaisfeg(oa)o)d{)R{reeccoorrdd((i为,a)a;末); 尾标记。
if ((ai =is=gno)al) {unfinish = false; output( );}
else i{fi+(a+h; aLs.sPounssh)(L1,.P2u, s…h-,Sno,n-s1()a;)}
启发式的搜索 从初始状态开始,每次选择最有可能达到终 止状态的结点进行搜索。
2021/11/25
计算机算法设计与分析
5
三种搜索的优劣之处
• 一般来说,三种搜索方法各有优劣之处:
• 广度优先搜索的优点是一定能找到解;缺点是 空间复杂性和时间复杂性都大。
• 深度优先搜索的优点是空间复杂性和时间复杂 性较小;缺点是不一定能找到解。
• 栈中的结点是分层次的,而现在没有区分它们 的层次。这就增加了回溯判断和操作的困难。
那采么用怎一么个办简?洁有效的方法:设计一个末 尾标记,每次压栈时,先压入末尾标记。
2021/11/25
计算机算法设计与分析
12
用末尾标记的迭代回溯
• Backtrack(Tree T) { • unfinish = true; L.Push(T.root); • while (unfinish || L≠Φ) { • a = L.Pop( ); • if (a is the last mark) backastep( );
• a = L.Pop( );
• if (a == -1) {i– –; a = rec[i]; rec[i]=0;used[a]=0;}
• else if (used[a]==0)
•
{rec[i]=a; used[a]=1;
第5章 回溯法ppt课件
2x3=2
x3=4 x3=2 x3=3
3
5
x4=4 x4=3
8 x4=4
10 13 15 x4=2 x4=3 x4=2
4
6
9
11 14 16
迷宫问题
演示
5.1 回溯法的算法框架
问题的解空间〔1)
1. 解向量:问题的解用向量表示
(x1, x2, …, xk) 模。 2. 约束条件
子树; 5. (2)限界函数:某个函数表达式或关系式。 6. 不真时,用于剪去得不到最优解的子树。 7. 回溯法:具有限界函数的深度优先搜索方法
回溯法的基本思想
1. 以深度优先方式搜索解空间。 2. 开始时,根结点为活结点,也是当前的扩展结点。 3. 对扩展结点,寻找儿子结点: 4. 如找到新结点,新结点成为活结点并成为扩展
子集树 void backtrack (int t){
if (t>n) output(x); else
for (int i=0;i<=1;i++) { x[t]=i; if (legal(t)) //若合法 backtrack(t+1);
} }
排列树 void backtrack (int t){
if (t>n) output(x); else
1装载问题2批处理作业调度3n后问题401背包问题5最大团问题6图的m着色问题7旅行售货员问题n皇后问题国际象棋中的皇后在横向直向和斜向都能走步和吃子问在nn格的棋盘上如何摆上n个皇后而使她们都不能相互吃掉
第5章 回溯法
上海大学计算机学院
学习要点与要求
• 掌握与理解回溯法的DFS搜索策略与方法
• (1〕掌握递归回溯
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
X[4]=0
0, 5, 33
X[5]=1 A
X[5]=0
12,6,18
c
X[6]=1
批处理作业调度
27
给定n个作业的集合{J1,J2,…,Jn}。每个作业必须先由机器1处理, 然后由机器2处理。作业Ji需要机器j的处理时间为tji。对于一个确 定的作业调度,设Fji是作业i在机器j上完成处理的时间。所有作 业在机器2上完成处理的时间和称为该作业调度的完成时间和。 批处理作业调度问题要求对于给定的n个作业,制定最佳作业调 度方案,使其完成时间和达到最小。 t
1
第5章 回溯法
2
回溯法
• 有许多问题,当需要找出它的解集或者 要求回答什么解是满足某些约束条件的 最佳解时,往往要使用回溯法。 • 回溯法的基本做法是搜索,或是一种组 织得井井有条的,能避免不必要搜索的 穷举式搜索法。这种方法适用于解一些 组合数相当大的问题。
3
4
• 一个复杂问题的解决往往由多部分构成,即,一
7
• 应用回溯法解决问题,要求问题的解能表示成一个n 元组(x1,x2,…,xn),其中xi (i=1,2,…n)取自与某个 有限集合si(i=1,2,…,n)。问题的解是使一个规范 函数P (x1,x2,…,xn)得到满足。 • 回溯法解题的大概过程是:不断地用修改过的规范 函数pi (x1,x2,…,xi)去测试正在构造的n元组的部 分向量(x1,x2,…,xi)是否可能导致最优解。如果 (x1,x2,…,xi)不能导致最优解,那么将终止对 (xi+1,xi+2,…,xn)的测试。 • 回溯法求解的问题要求解满足一组约束条件, • 约束条件:显式约束条件,隐式约束条件
23
子集和数问题
用回溯法求解的过程也即是生成解空间树的一棵 子树的过程,因为期间将剪掉不能产生可行解的子树 (即不再对这样的子树进行搜索) 。 按照前面关于回溯 算法的基本思想的说明, 搜索是采用深度优先的路线, 算法只记录当前路径。假设当前扩展顶点是当前路径 的 k 级,也就是说当前路径上, xi,1ik 已经确定, 算法要决定下一步搜索目标。此时,有两种情况:
子集和数的
1
22
解空间的结构2
2 16
x1=1
3 9
x1=0
17
24
x2=1
3 6 10
x2=0
13 18
x2=1
21
x2=0
25 28
x3=1
4 5
x3=0
7
8 11
x3=1 x3=0
12 14
x323
x3=1
26 27
29
x3=0
30
x4=1
x4=1 x4=1 x4=1 x4=1 x4=1 x4=1 x4=1 x4=0 x4=0 x4=0 x4=0 x4=0 x4=0 x4=0 x4=0
17
子集树与排列树
遍历子集树需O(2n)计算时间
void backtrack (int t) { if (t>n) output(x); else for (int i=0;i<=1;i++) { x[t]=i; if (legal(t)) backtrack(t+1); } }
遍历排列树需要O(n!)计算时间
回溯法所需的计算空间通常为O(h(n))。而显式地存储整个解空 间则需要O(2h(n))或O(h(n)!)内存空间。
14
回溯法的基本思想
15
递归回溯
回溯法对解空间作深度优先搜索,因此, 在一般情况下用递归方法实现回溯法。
void backtrack (int t) { if (t>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); } }
ji
tji 作业1
机器1 2
机器2 1
作业2
作业3
3
2
1
3
这3个作业的6种可能的调度方案是1,2,3;1,3,2;2,1,3;2,3,1; 3,1,2;3,2,1;它们所相应的完成时间和分别是19,18,20, 21,19,19。易见,最佳调度方案是1,3,2,其完成时间和为 18。
批处理作业调度
k 1i n
, wn}中的元素是按不降的次序排列的,则 合 A{w1 , w2,
上述继续搜索的条件还可以加强为
1ik
wi xi wi M and wi xi wk1 M
k1in 1ik
上述不等式记做 B k 。
25
void SumofSub (s,k,r) // 寻找W[1:n]中元素和为M的所有子集。W[1:n]中元素按不降次序排 列,进入此过程时,X[1], . . . , X[k-1] 的值已经确定。 记 s W [ j ] X [ j ] ,r W [ j ] ,假定W[1] M, W [ j ] M 1 j n 1 j k 1 k jn { int M, n; float W[1:n]; bool X[1:n]; float r, s; int k, j; //由于Bk-1=true,因此s + W[k]<= M X[k]=1; // 生成左儿子。 if (s + W[k]= M) print (X[j],j from 1 to k); else if (s + W[k] + W[k+1] <=M ) SumofSub(s+W[k], k+1, r-W[k]); if (s + r – W[k]>=M && s +W[k+1]<=M ) X[k]=0; //生成右儿子 SumofSub (s,k+1,r-W[k]); }
装载问题
20
21
子集和数问题
子集和数问题可以描述成下列的数学问题: 已知:n+1个正数:wi和M。要求找出wi的和数是M的 所有子集。 确定所有向量X= (x1,x2,…,xn) 满足:
xi {0,1}, i 1,2, , n
1 i n
wi xi M
例:若取n=4,(w1,w2,w3,w4)=(11,13,24,7),M=31 则有: (11,13,7) ,(24,7)满足条件,解为 (x1,x2,x3,x4)=(1,1,0,1) (x1,x2,x3,x4) =(0,0,1,1)
个大的解决方案可以看作是由若干个小的决策组
成。很多时候它们构成一个决策序列。
• 解决一个问题的所有可能的决策序列构成该问题
的解空间。解空间中满足约束条件的决策序列称
为可行解。
• 一般说来,解任何问题都有一个目标,在约束条
件下使目标达优的可行解称为该问题的最优解。
5
6
回溯法在问题的解空间树中,按深度优先策 略,从根结点出发搜索解空间树。算法搜索至解 空间树的任意一点时,先判断该结点是否包含问 题的解。如果肯定不包含,则跳过对该结点为根 的子树的搜索,逐层向其祖先结点回溯;否则, 进入该子树,继续按深度优先策略搜索。
•解空间:排列树
void Flowshop:: backtrack(int i) { if (i > n) { for (int j = 1; j <= n; j++) bestx[j] = x[j]; bestf = f; } else for (int j = i; j <= n; j++) { f1+=m[x[j]][1]; f2[i]=((f2[i-1]>f1)?f2[i-1]:f1)+m[x[j]][2]; f+=f2[i]; class Flowshop { if (f < bestf) { friend Flow(int**, int, int []); private: swap(x,i,j); void Backtrack(int i); backtrack(i+1); int **M, // 各作业所需的处理时间 swap(x,i,j); *x, // 当前作业调度 } *bestx, // 当前最优作业调度 f1-=m[x[j]][1]; *f2, // 机器2完成处理时间 f-=f2[i]; f1, // 机器1完成处理时间 } f, // 完成时间和 }
11
0-1背包问题
12
旅行商问题
4
13
回溯法的基本思想
(1)针对所给问题,定义问题的解空间;
(2)确定易于搜索的解空间结构;
(3)以深度优先方式搜索解空间,并在搜索过程中 用剪枝函数避免无效搜索。
空间上:算法只保存从根结点到当前扩展结点的路径。如
果解空间树中从根结点到叶结点的最长路径的长度为h(n),则
8
• 显式约束:对分量xi的取值限定。
• 隐式约束:为满足问题的解而对不同分量之间施加 的约束。 • 解空间:对于问题的一个实例,解向量满足显式约 束条件的所有多元组,构成了该实例的一个解空间。
注意:同一个问题可以有多种表示,有些表示方法更简单, 所需表示的状态空间更小(存储量少,搜索方法简单)。
n=3时的0-1背包问题用完全二叉树表示的解空间
9
旅行商问题
4
10
生成问题状态的基本方法
• 扩展结点:一个正在产生儿子的结点称为扩展结点 • 活结点:一个自身已生成但其儿子还没有全部生成 的节点称做活结点 • 死结点:一个所有儿子已经产生的结点称做死结点 • 深度优先的问题状态生成法:如果对一个扩展结点 R,一旦产生了它的一个儿子C,就把C当做新的扩 展结点。在完成对子树C(以C为根的子树)的穷尽 搜索之后,将R重新变成扩展结点,继续生成R的下 一个儿子(如果存在) • 宽度优先的问题状态生成法:在一个扩展结点变成 死结点之前,它一直是扩展结点