回溯算法的形式模型

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户:weibiechao
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
讨论了回溯算法的形式模型 ,提出了刻画回溯的一些数学概念 ,以隐式搜索为背景提出了状态空间概念 ,给出了分别以邻接方阵和邻接表形式表示的有向图所对应的状态空间 ,从而说明显式搜索是隐式搜索的特例 ,通过展开空间概念揭示了问题求解的不同要求所对应的不同数据结构 ,提出了通用回溯算法 ,并以 N皇后问题、稳定婚姻问题、点着色问题、子集和数问题、跳马问题、最长路径问题和强连通分支问题等多种算法设计问题为例讨论了通用回溯算法的应用 .该文结果有助于扩大回溯算法的使用范围 ,提高回溯算法实现的正确性和效率 .
其他文献
随着沥青路面建设项目的快速进展,行车安全性逐渐引起重视。抗滑性能是反映路面行车安全性的重要指标,尽管高速公路竣工验收时均满足规范要求,但随着开放交通时间的延长路面抗滑评价指标衰变非常快,养护成本明显提高。本文对沥青路面抗滑衰变特性进行研究,从而可以从提高路面抗滑耐久性角度出发,为沥青路面设计、施工和养护提出指导意见,有效提高行车安全性。从摩擦学原理的角度阐述沥青路面抗滑摩擦力的组成,并对沥青路面抗
在年龄结构老化背景下,流动人口的发展面临着诸多问题,一方面在就业和收入方面的优势逐渐在减弱,另一方面由随迁子女、随迁老人带来的社会责任逐渐在增加,在这两种力量的作用下将导致流动人口中分化出新的相对贫困群体。因此,研究流动人口年龄结构老化及趋势、流动人口所面临的发展困境、流动人口在城市多维贫困与治理机制等问题,有助于掌握人口流动结构和诉求,进而制定适宜的管理制度、做好人口流动与发展的衔接工作、挖掘劳
在此情况下,近年来,立法者在婚姻法中为了平衡上述两种关系也做了相应的努力。现今关于夫妻债务认定观点众多。但是,无论哪一种学说在司法实践中均不能平衡夫妻之间、夫妻与
教师A:这是一节非常成功的课.我感觉没有什么缺点。(完美主义者)
从古代神话到现代小说和戏剧,乱伦是世界文学史上最古老的主题之一。在不同的时代和文化中,乱伦有着不同的意义和解释。在二十世纪,非裔文学经历了蓬勃发展;二十世纪五十年代以来,不少的黑人作家的作品都涉及到了乱伦情节。拉尔夫·埃利森的《看不见的人》是最先描写乱伦情节的非裔小说之一;之后,乱伦情节在一些著名非裔作家、特别是非裔女性作家的作品中反复出现,托妮·莫里森的处女作《最蓝的眼睛》便是其中的代表。虽然乱
随着能源危机和环境问题的日益严峻,传统气体压缩制冷由于效率低、环境污染以及噪声大等缺点已不能满足绿色节能的要求,而固态相变制冷因制冷工质为固态,具有无污染、效率高
通过检测稀释和浓缩以及脲醛树脂合成反应过程中黏度与固体含量的变化,对二者关系进行的研究结果表明:脲醛树脂的黏度和固体含量之间没有直接的关系,很难用简单的数学语言来