文献类型：期刊文献

中文题名：SLD模型中状态S(向量)与其子状态S'(向量)的一个推论

英文题名：A Corollary of State S and Sub State S' in SLD Model

作者：张秦[1];刘玉堂[2]

第一作者：张秦

机构：[1]新乡学院数学系;[2]河南机电高等专科学校基础部

第一机构：新乡学院数学与信息科学学院

年份：2013

卷号：30

期号：6

起止页码：404-405

中文期刊名：新乡学院学报

语种：中文

中文关键词：容错;搜索;时滞;致胜状态;策略

外文关键词：fault-tolerant; search; delay; winning state; policy

摘要：离散空间上的搜索理论具有重要的应用价值.本文给出了时滞d=2的1容错搜索模型(SLD模型)中状态S(向量)=(A,B)与其子状态S'(向量)=(A',B')为具有相同次数的致胜状态,并给出了相应的提问策略.
Search theory in discrete space has an important application value. The state S =（A,B） of 1 fault-tolerant search model （SLD moldel） and the sub state S＇= （A＇,B＇） are winning states with the same times when delay is d = 2, and the corresponding algorithm is given.