【摘 要】
：
该文提出了将组合问题归结为状态空间搜索问题的数学模型和通用算法.这一结果将传统的显式图搜索与隐式图搜索,求一个解的局部搜索与求全体解的遍历搜索,全部统一到同一个模
论文部分内容阅读
该文提出了将组合问题归结为状态空间搜索问题的数学模型和通用算法.这一结果将传统的显式图搜索与隐式图搜索,求一个解的局部搜索与求全体解的遍历搜索,全部统一到同一个模型的若干算法中去.通用搜索算法的思想是首先为状态空间定义一个精确的计算模型,然后提出建立在该计算模型上的状态空间搜索算法a.设b是求解组合问题P的具体搜索算法,算法a对应于算法b的参数就是用状态空间表示组合问题P的算法.一个组合问题的状态空间求解程序由通用搜索模块加上一个问题描述模块组成,不同问题具有不同的问题描述模块,通用搜索模块不随问题的改变而改变.因为组合问题的状态空间表示比原来的搜索求解容易的多,通用搜索算法的提出是搜索技术的一个明显的进步.
其他文献
认证编译器是实现三层体系结构中基于逻辑证明的低级代码安全策略的基石.该文设计和实现的认证编译器是安全策略体系中代码发送方的核心组件,它完成了编程语言 C—种子集(Min
该文通过对物流数据交换软件的开发的讨论,逐步深入到通用数据交换系统的开发与研究之中. 一般来说,软件的开发包括功能性需求和非功能性需求两个方面的满足,同时两者之间有
随着网络时代的日益发展,网络安全更加重要,访问控制技术可以控制对关键资源的访问,防止非法用户的侵入或合法用户的不慎操作造成的破坏,但是传统的访问控制已经不能满足安全
首先,建立具有良好描述性和操作性的脆弱性模型.这个模型除了用于总结、帮助理解已知脆弱性的特征和性质外,更重要地是为建立脆弱性测试的基本缺陷库提供指导.接下来,从两个
该文主要研究了基于内容的彩色图像特征提取及匹配技术.具体内容包括以下几个方面:1.提出了一种利用小波变换提取颜色特征的方法,该方法符合人的视觉特性,检索速度也得到提高
为了使对象能够更好地自动适应环境的变化，更好地处理和描述面向对象系统中对象与对象之间的关系，更好地组织和管理面向对象系统中的各种对象，并使程序设计更加符合客观世界的本
在野外的地震勘探作业中,勘探仪器采集的地震数据一般都存储在磁带介质上,然后把磁带需要运送到数据处理中心,进行分析和处理。作为数据交换、存储介质的磁带发挥着不可或缺
单亲遗传算法采用序号编码,取消了交叉算子,代之以隐含交叉算子功能的基因换位等遗传算子,简化了遗传操作,并且不要求初始群体具有多样性,但当群体进化到一定代数时,个体浓度
PVM(Parallel Virtual Machine)是由软件实现的基于消息传递模型的并行虚拟机.它支持异构的UNIX计算机用异构网络联接成一个"虚拟"的并行计算机,使它能像一台大型并行计算机
该文主要对序列模式挖掘算法进行深入的研究,通过对普通关联规则算法的研究和改进,得到基于关联规则算法的序列模式挖掘算法,从而可以挖掘序列模式形式的知识.该文主要的研究