回溯法论文.docx
- 文档编号:5823881
- 上传时间:2023-01-01
- 格式:DOCX
- 页数:19
- 大小:126.46KB
回溯法论文.docx
《回溯法论文.docx》由会员分享,可在线阅读,更多相关《回溯法论文.docx(19页珍藏版)》请在冰豆网上搜索。
回溯法论文
沈阳理工大学
算法实践与创新论文
题目回溯法的分析与应用
学生姓名:
学号:
学生姓名:
学号:
学生姓名:
学号:
摘要
对于计算机科学来说,算法的概念是至关重要的,算法是一系列解决问题的清晰指令,也就是说,能够对一定规范的输入,在有限时间内获得所要求的输出。
为了更加的了解算法,本篇论文中,我们先研究一个算法---回溯法。
回溯法是一种常用的重要的基本设计方法。
它的基本做法是在可能的范围之内搜索,适于解一些组合数相当大的问题。
圆排列描述的是在给定n个大小不等的圆C1,C2,„,Cn,现要将这n个圆排进一个矩形框中,且要求各圆与矩形框的底边相切。
圆排列问题要求从n个圆的所有排列中找出有最小长度的圆排列。
图着色问题用数学定义就是给定一个无向图G=(V,E),其中V为顶点集合,E为边集合,图着色问题即为将V分为K个颜色组,每个组形成一个独立集,即其中没有相邻的顶点。
其优化版本是希望获得最小的K值。
符号三角形问题要求对于给定的n,计算有多少个不同的符号三角形,使其所含的“+”和“-”的个数相同。
在本篇论文中,我们将运用回溯法来解决着图的着色问题,符号三角形问题,图排列问题,将此三个问题进行深入的探讨。
关键词:
回溯法图的着色问题符号三角形问题图排列问题
I
II
第1章引言
在现实世界中,有相当一类问题试求问题的全部解或求问题的最优解。
最基本的方法是通过枚举法搜索问题的解空间。
但许多问题解空间的大小随问题规模n的增长呈指数规律增长,这就使问题理论上可解而实际不可行。
为了使搜索空间减少到尽可能小,就需要采用良好的搜索技术。
回溯法就是一种较好的搜索技术。
回溯法又称为试探法,它是一种有效的试探回溯搜索技术。
即运用回溯法求解问题不是基于某种确定的法则,而是通过大量反复的试探和回溯。
它的基本做法是搜索,能避免不必要搜素的穷举式搜索。
回溯法在问题的解空间树中按深度优先策略,从根结点出发搜索解空间树,算法搜索至解空间树的任意一点时,先判断该节点是否包含问题的解,如果肯定不包含,则跳过对该结点为根的子树的搜索,逐层向其祖先结点回溯;否则,进入该子树,继续按深度优先策略搜索。
简单地说,采用回溯法求解问题的整个过程贯穿了搜索---试探—决定回溯或前进这三种基本运算。
通过运用回溯法,可以解决很多问题,譬如我们所熟知的“八皇后问题”,“0/1背包问题”,这只是在教学阶段中的运用,在实际运用中也产生很大的作用在学习过程中,我们会遇到这样的问题,让我们去寻找给定问题的解集或者让我们找出满足某些约束条件的最优解,这时候我们就可以采用回溯法来解决这一类的问题。
通过运用回溯法,可以解决很多问题,譬如我们所熟知的“八皇后问题”,“0/1背包问题”,这只是在教学阶段中的运用,在实际运用中也产生很大的作用回溯法的优点是容易理解,可行性比较强。
[1]
第2章回溯法的背景
回溯法是一种穷举类型的算法,与其说它是一种算法,倒不如说它是一种试法。
回溯法并没有什么高深的算法思想,虽然名字起的很高规格,但其实它的算法性连二分查找都比不上。
这里说的算法性其实就是指技巧性,对问题特性了解越深入,越能创造出很巧妙的算法,在时间复杂度的级别上提高算法效率。
这体现了算法效率与适用性之间的矛盾,二分查找效率很高,但适用性比较低,类似的还有著名的KMP算法。
而穷举法效率最低,但几乎适用于所有问题。
。
回溯法是一种试探性算法,从这一点上看,它很像穷举法。
但它终究不是穷举法,回溯法是有组织的进行穷举,在试探过程中不断通过题设要求减少搜索空间,而这种减少不是一个一个解的减少,而是对搜索空间进行大规模剪枝,从而使得实际搜索空间远远小于问题的解空间,所以回溯法的实际运行效率还是比较高的。
回溯法的应用背景说大很大,说小很小。
算法大都在“不得不”的情况下才会使用,如果有别的算法,那它很有可能比回溯法高效,别忘了,回溯法是基于穷举的。
回溯法适用于解排列组合类问题,也就是说目标解是从一个候选空间中选择出来的。
从数量级上考虑,设候选空间的大小为n,如果选择是可重复的,那生成的搜索树为完全n叉树,搜索空间为n^n(如0-1背包问题,生成的解空间为高度为n完全二叉树,其中n为物体个数)。
如果选择不能重复,那生成的解空间为n!
(如TSP问题生成的解空间为n!
其中n为城市个数)。
也就是说,当我们通过分析发现问题的解空间为n^n或者n!
时,那很可能要用到我们的回溯法了。
要用回溯法解决问题,那首先要确定问题的状态空间树。
这个并不是很难,就看每一步选择有多少个可选值就可以了,第一步有8个可选值,那树第一层就有8个节点,第二步有5个可选值,那第一层每个节点都有5个分支,则第二层有8×5=40个节点,以此类推……到第n层一共有m1×m2×……×mn个节点,其中mi为第i步的可选值的个数。
[2]
确定了状态空间树,那下一步就是搜索了。
这时候就体现出回溯法的优势了,前面不是说了嘛,回溯法的特点就是有规律、有组织的进行搜索,那下面就来看一下回溯法是如何进行搜索的:
在开始搜索之前,我们先来说一下我们要做的事情,我们要得到一个解向量solution,每个分量对应每一步选择的结果,显然这个解向量的长度应该为n(我们采用c语言的标准,下标范围为0到n-1)。
好了,现在我们有了一个状态空间树(逻辑上的,并不用实现)和一个解向量(物理上的,要用来
装数据的)。
现在可以开始搜索了,先设定一个下标r,这个r就是解向量的下标,也用于标识状态树的第r行。
先做第一步,令r=0,选solution[0],也就是从树的第0行选择一个值放入solution[0],显然刚开始我们应该选择第一个,即前面提到的8个里面的第一个。
然后看这个半成品解向量是否是可行的,也就是说看看刚才选择的那个值是否满足要求,加入那个值不满足要求,那应该选择第二个,以此类推直到选择一个可行的值,放入solution[0]。
然后r++进行第二步,选择solution[1],同样的,我们应该从树的第二行中选择第一个看构成的解是否可行(此时解向量中包含两个元素),这样的步骤一直进行下去,直到出现这样的情况[3]
(1)r=n-1了,也就是说我们得到了问题的一个可行解,这时候就要看题设要求了,如果只要求找到一个可行解,那此时算法就可以停止了。
(2)某一层的候选值选完了,我们知道,没一层的候选值都有一定个数,如上面提到的例子中第二层只有5个候选值,如果这五个候选值都试探完了还是没有可行解那该怎么办呢?
这里体现的思想就是我们回溯法名字的由来,回溯。
也就是令r--退回去,从新选择上面的解。
比如上面的例子先选择8个中的第一个作为解的一部分,然后发现后面的5个和前面这个都不能组成可行解,那这就说明前面那个选择是不可行的,和后面是不搭配的。
所以应该返回去选择8个中的第二个,然后再对5个进行选择,看哪个与这个第二个想匹配。
(3)最后一种情况,因为我们这个过程中有回溯过程,即r--的过程,那可能最后r小于0了,这说明整个树都搜索完了,也就是问题没有可行解。
回溯法一般有两种代码实现方案,递归方法和非递归方法。
相比之下,递归设计方法比较简单,用前面提到的r作为递归变量即可,如果满足搜索条件,则递归调用r+1对应函数,如果不满足,则递归调用r-1对应的函数。
基础步为当r<0或r=n-1分别对应无解和得到可行解,这个就不多说了。
非递归方法,也就是循环方法设计细节比较多,但只要掌握了其特点,对不同问题的适用性很强(即代码只通过很少的修改就可以应用到不同问题),加之其效率高于递归算法(循环的优势),所以这里我们着重讲一下回溯的非递归代码实现。
[2]
第3章图的着色问题
3.1问题描述
给定一个无向连通图G和m>0种颜色,在只准使用者m中颜色对G的结点重色的情况下,是否能使途中任何相邻的两个结点都具有不同的颜色吗?
3.2四色猜想
四色问题是m图着色问题的一个特例,根据四色原理,证明平面或球面上的任何地图的所有区域都至多可用四种、颜色来着色,并使任何两个有一段公共边界的相邻区域没有相同的颜色。
这个问题可转换成对一平面图的4-着色判定问题(平面图是一个能画于平面上而边无任何交叉的图)。
将地图的每个区域变成一个结点,若两个区域相邻,则相应的结点用一条边连接起来。
多年来,虽然已证明用5种颜色足以对任一幅地图着色,但是一直找不到一定要求多于4种颜色的地图。
直到1976年这个问题才由爱普尔,黑肯和考西利用电子计算机的帮助得以解决。
他们证明了4种颜色足以对任何地图着色。
[4]
图
图3-1
3.3算法设计
考虑所有的图,讨论在至多使用m种颜色的情况下,可对一给定的图着色的所有不同方法。
通过回溯的方法,不断的为每一个节点着色,在前面n-1个节点都合法的着色之后,开始对第n个节点进行着色,这时候枚举可用的m个颜色,通过和第n个节点相邻的节点的颜色,来判断这个颜色是否合法,如果找到那么一种颜色使得第n个节点能够着色,那么说明m种颜色的方案是可行的。
用m种颜色为无向图G=(V,E)着色,其中,V的顶点个数为n,可以用一个n元组x=(x1,x2,…,xn)来描述图的一种可能着色,其中,xi∈{1,2,…,m},(1≤i≤n)表示赋予顶点i的颜色。
例如,5元组(1,2,2,3,1)表示对具有5个顶点的无向图(a)的一种着色,顶点A着颜色1,顶点B着颜色2,顶点C着颜色2,如此等等。
如果在n元组X中,所有相邻顶点都不会着相同颜色,就称此n元组为可行解,否则为无效解。
容易看出,每个顶点可着颜色有m种选择,n个顶点就有mn种不同的着色方案,问题的解空间是一棵高度为n的完全m叉树,这里树高度的定义为从根节点到叶子节点的路径的长度。
每个分支结点,都有m个儿子结点。
最底层有mn个叶子结点。
图3-2
3.4源代码
#include
#include
usingnamespacestd;
constintN=5;
constintM=3;
ifstreamfin("5d8.txt");
classColor
{
friendintmColoring(int,int,int**);
private:
boolOk(intk);
voidBacktrack(intt);
intn,
m,
**a,
*x;
longsum;
};
intmColoring(intn,intm,int**a);
intmain()
{
int**a=newint*[N+1];
for(inti=1;i<=N;i++)
{
a[i]=newint[N+1];
}
cout<<"图G的邻接矩阵为:
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 回溯 论文