SLD模型中形为(1,q^k-k(q-1)-1)的状态向量S=(A,B)是k次致胜状态

摘要

证明了带有时滞d=2和容错e=1的搜索模型(SLD模型)中形为(1,q^k-k(q-1)-1)的状态S=(A,B)是k次致胜状态,同时给出了前两次搜索的提问方法和递推算法。