文献类型：期刊文献

中文题名：SLD模型中形为（1，qk-k（q-1）-1）的状态→S=（A，B）是k次致胜状态

英文题名：The State S AB=(,) with Form (,1 qk-k(q-1)-1) in SLD Model is k-times Winning State

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

第一作者：张秦

机构：[1]新乡学院 数学与信息科学院,河南新乡,453003;[2]河南机电高等专科学校

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

年份：2015

期号：9

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

外文期刊名：Journal of Xinxiang University

语种：中文

中文关键词：搜索;容错;时滞;算法

外文关键词：search;lie;delay;algorithm

摘要：证明了带有时滞d=2和容错e=1的搜索模型(SLD模型)中形为(1,(1)1)qk -k q--的状态S =( A, B )是k次致胜状态,同时给出了前两次搜索的提问方法和递推算法。
In this paper, the state S =( A, B ) with form (1,qk -k(q-1)-1) is proved to be k-times winning state in search model (SLD model) with lie e=1 and delay d=2. At the same time, the questioning methods of two previous search and recursive algorithm are given too.