SLD模型中状态S与其子状态S′的一个推论.pdfVIP

第 30卷 第6期 新 乡学院学报 (自然科学版) 2013年 12月 V0l1．30 NO．6 JournalofXinxiangUniversity(NaturalScienceEdition) Dec．2013 SLD模型中状态 与其子状态 的一个推论 张 秦 ，刘玉堂 (1．新乡学院 数学系，河南 新乡 453003；2．河南机 电高等专科学校 基础部 ，河南 新乡 453002) 摘 要：离散空间上的搜索理论具有重要的应用价值．本文给出了时滞 d=2的 1容错搜索模型(SLD模型) 中状态 =(，日)与其子状态 =(，B)为具有相同次数的致胜状态，并给出了相应的提问策略． 关键词：容错；搜索；时滞；致胜状态；策略 中图分类号：O157．4 文献标志码：A 文章编号：1674—3326(2013)06—0404—02 A CorollaryofStateSandSubStateS inSLD Model ZHANGQin．LIUYu-tang (1．DepartmentofMathematics，XinxiangUniversity，Xinxiang453003，China； 2．DepartmentofBasicCourses，HenanMechanicalandElectricalEngineeringCollege，Xinxiang453002，China) Abstract：Searchtheoryindiscretespacehasanimportantapplicationvalue．ThestateS=(，)of1 fault—tolerantsearchmodel(SODmolde1)andthesubstateS=(A， )arewinningstateswiththesametimes whendelayis d=2，andthecorrespondingalgorithm isgiven． Keywords：fault—tolerant；search；delay；winningstate；policy 0 引言 搜索论是运筹学的一个重要分支，1956年 Koopman教授的3篇创造性的论文奠定了搜索论的基石 [1-31． 搜索论按搜索域的性质分为离散空间上的搜索和连续空间上的搜索．容错搜索的本质是依据未必可靠的信 息来建立可靠的结果，尽管离散空间上的容错搜索理论产生的历史较短 【，但其在诸如军事空间科学与技 术 、信息科学、计算机科学等许多领域有着广泛的应用 [5-71，促使人们构造合适的模型以方便研究．在过去 几十年，人们研究最多的模型是乩模型，但是适应的容错搜索模型 属于严格的 “一问一答”范畴，要 求提问者在进行下一次提问之前，回答者必须给出上一次提问的答案．这种严格的 “一问一答”的要求直 接影响并限制 了这类模型的实际应用，因此 Ambainis[1提出了具有时滞的搜索模型(记作 SD)．刘文安 (l等 进一步提出了具有时滞和容错的搜索模型(记作SLD)，给出了时滞d=l的 1容错最优搜索策略．在此基础 上 ，笔者进一步研究了具有时滞d=2的 1容错搜索模型，给出了时滞 d=2的 1容错搜索模型中状态 S=(，)与其子状态 =(，B)为具有相 同次数的致胜状态，并给出了相应的提问策略． 1 预备知识 定义 ：(1)如果 AcA，BcB，则称状态 S=(，B)为状态S=(，B)的子状态．(2)如果状态 S= (A，)满足lAl+I ll，则状态S=(，B)称为结果状态．(3)如果提问者从S=(，B)开始，通过 k次提问 可以成功找出秘密数 ，则 S=(，)称为k次致胜状态． 引理 1：针对状态S=(A，B)的g一维提问 ∈T=[， ，…，rq]，若对提问 的回答为 “f”时，则导出的 结果状态 ：(4，BiU(一Ai))． 引理 2：给定状态 S=(A，B)和提问 ∈T=[， ，…， ]，则提问 ∈T针对状态S=(A，B)的限制提 问为TJj=[(nA，n )，( nA， n )，…，( nA，rqn )]． 收稿 日期：2013．08．21 修回日期：2013-10—1