离散空间上的区间型容错搜索

来源 :河南师范大学 | 被引量 : 0次 | 上传用户:first111
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
离散空间上的容错搜索理论是搜索论的一个新的热点研究领域.这一理论的本质是基于未必可靠的信息来建立可靠的结果,因此它在众多的自然科学和社会科学领域有着广泛应用.本文研究了容错搜索理论中提问受限制情况下从含有n个元素的集合中找到唯一未知元素的经典问题.该问题的目标是确定最优提问策略下最小提问次数. 第一章介绍了本文的研究背景及预备知识.第二章和第三章给出了本文的主要研究成果: (1)彻底地解决了单区间型提问下1-容错搜索的问题.通过引入“弧”和“well-shaped”状态的概念,建立了单区间型提问和yes-no型提问的联系,给出了选取well-shaped简单状态的单区间型提问的一个递归算法,证明了单区间型提问的最优提问策略的最小提问次数等于yes-no型提问的最优提问策略的最小提问次数并且提供了相应的最优算法. (2)彻底地解决了双区间提问下2-容错搜索问题.我们引入了“弧”,“well-shaped”和“典型状态”的概念;精心地设计前两次双区间提问并严格地证明了前两次提问的最优性;优化设计了选取well-shaped典型状态试验集的一个递归算法,它能使由此导出的所有状态仍为具有更小特征值的well-shaped典型状态.通过以上步骤,得到了该章的主要结果:当ch(S<,n>,φ。φ)≥25时,双区间型提问的最优策略的最小提问次数等于yes-no型提问的最优策略的最小提问次数并且提供了相应的最优算法. (3)Guzicki给出了yes-no提问下2-容错模型的最优提问策略,但是其证明方法和表达式是相当复杂的.本文对此进行了本质上的改进.
其他文献
在实际工程问题中,饱和现象是常见的非线性现象。饱和非线性因具有不光滑的特性,会严重影响系统的动态性能甚至导致系统不稳定,因此,对于饱和系统进行研究是相当必要的。近些
建筑工程楼板的施工裂缝,是一直来房屋建筑工程较难克服的质量通病之一。在建筑施工中,钢筋混凝土楼板经常出现较多的裂缝现象,一定程度上影响了房屋质量和安全。本文结合钢筋混
期刊
本文将在Cramér-Lundberg模型的基础上分别讨论在终值期望效用最大和破产概率最小限制下保险公司的最优投资与再保险问题,以及在终值期望效用最大限制下投资者的最优消费、投
本文研究了一类考虑疾病感染的捕食-被捕食模型,分析平衡点的存在性、局部和全局稳定性,并得到疾病流行与否的阀值. 首先,对本学科、研究背景、现在的发展情况作-简单介绍;接着
在本论文中,基于P.Erdos问题和陈永高教授的研究工作,我们证明了对于任意一个正奇数α,α≠2-1,存在无穷多个正奇数M,满足M与α互素且M-2与α-1互素,并且所有的这些M都不能表示为形
本篇论文中,主要研究ωF(p,r,q)类算子的性质,重点讨论ωF(p,r,q)类算子与Fuglede-Putnam定理的关系,ωF(p,r,q)类算子与Weyl定理的关系以及ωF(p,r,q)类算子的局部谱理论. 首先介绍
农村宅基地发证工作是明晰农村宅基地产权关系,保护农村宅基地使用权人的合法权益,规范农村宅基地管理,建设社会主义新农村的一项重要的工作。和城镇地基调查相比,农村地基调查具
粗糙集理论是Pawlak于1982年提出的一种处理不确定性知识的数学工具,现在已发展成为人工智能的一个重要研究方向,在数据挖掘(data mining)与知识发现(KDD)中具有非常广泛的应用