详细信息
SLD模型中形为(1,q^k-k(q-1)-1)的状态向量S=(A,B)是k次致胜状态
The State 向量S=(A,B) with Form (1,q^k-k(q-1)-1) in SLD Model is k-times Winning State
文献类型:期刊文献
中文题名:SLD模型中形为(1,q^k-k(q-1)-1)的状态向量S=(A,B)是k次致胜状态
英文题名:The State 向量S=(A,B) with Form (1,q^k-k(q-1)-1) in SLD Model is k-times Winning State
作者:张秦[1];刘玉堂[2]
第一作者:张秦
机构:[1]新乡学院数学与信息科学院;[2]河南机电高等专科学校基础部
第一机构:新乡学院数学与信息科学学院
年份:2015
卷号:32
期号:9
起止页码:4-6
中文期刊名:新乡学院学报
外文期刊名:Journal of Xinxiang University
语种:中文
中文关键词:搜索;容错;时滞;算法
外文关键词:search;lie;delay;algorithm
摘要:证明了带有时滞d=2和容错e=1的搜索模型(SLD模型)中形为(1,q^k-k(q-1)-1)的状态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.
参考文献:
正在载入数据...