设目标串为s，模式串为是t，在KMP模式匹配中，next[4]=2的含义是

子串的定位运算称为串的模式匹配（） 模式串 T=”abaabcac”, 则next[6]=（） 在BF模式匹配算法中，当模式串位j与目标串位i比较时两字符不相等，则i应该回溯到（） 在字符串的模式匹配过程中，如果模式串的每个字符依次和主事中一个连续的字符序列相等，则称为匹配成功。如果不能在主串中找到与模式串相同的子串，则称为匹配失败。在布鲁特—福斯模式匹配算法（朴素的或基本的模式匹配）中，若主串和模式串的长度分别为n和m（且n远大于m），且恰好在主串末尾的m个字符处匹配成功，则在上述的模式匹配过程中，字符的比较次数最多为（　　）。 在匹配器(Matcher)类中，用于输入字符串与模式串比较的方法是【 】 模式串"abaabcac"的next函数值序列为 串的模式匹配算法只能采用串的链式存储结构来实现。 应用简单的匹配算法对主串s=″BDBABDABDAB″与子串t=″BDA″进行模式匹配，在匹配成功时，进行的字符比较总次数为（） 应用简单的匹配算法对主串s=″BDBABDABDAB″与子串t=″BDA″进行模式匹配，在匹配成功时，进行的字符比较总次数为（） 若目标串的长度为n，模式串的长度为[n/3]，则执行模式匹配算法时，在最坏情况下的时间复杂度是()。 写出模式串P=“abaabcac”的next函数值序列为（）。 在匹配器(Marcher)类中，用于寻找下一个模式匹配串的方法是( )。 设串长为n，模式串长为m，则KMP算法所需的附加空间为（）。 KMP算法的特点是在模式匹配时指示主串的指针()。 模式串 t=‘abcaabbcabcaabdab’ ，该模式串的nextval 数组的值为 （ ） 在目标串T[0..n-1]=“xwxxyxy”中，对模式串P[0..m-1]=“xy”进行子串定位操作的结果是()。 RegExp构造函数的正则表达式模式文本中( )用于匹配字符串“\\” 已知字符串s=“abaabaabacacaa”,模式串t=“abaabc”。采用KMP算法进行匹配，第一次出现”失配”（s[i]!=t[j]）时，i=j=5，则下次开始匹配时，i和j的值分别是（） 阅读下列说明和C代码，回答问题1至问题3，将解答写在答题纸的对应栏内。
【说明】
模式匹配是指给定主串t和子串s，在主串t中寻找子串s的过程，其中s称为模式。如果匹配成功，返回s在t中的位置，否则返回-1。
KMP算法用next数组对匹配过程进行了优化。KMP算法的伪代码描述如下：
1．在串t和串s中，分别设比较的起始下标i=j=0。
2．如果串t和串s都还有字符，则循环执行下列操作：
（1）如果j=-l或者t[i]=s[j]，则将i和j分别加1，继续比较t和s的下一个字符；
（2）否则，将j向右滑动到next[j]的位置，即j =next[j]。
3．如果s中所有字符均已比较完毕，则返回匹配的起始位置（从1开始）；否则返回-1。
其中，next数组根据子串s求解。求解next数组的代码已由get_next函数给出。
【C代码】
（1）常量和变量说明
t，s：长度为lt和ls的字符串
next:next数组，长度为ls
（2）C程序
#include ＜stdio.h>#include＜stdlib.h>#include＜string.h>/*求next[]的值*/void get_next( int*next, char *s, int ls) { inti=0，j=-1; next[0]=-1;/*初始化next[0]*/ while(i＜ ls){/*还有字符*/ if(j==-1lls[i]==s[j]){/*匹配*/ j++; i++; if(s[i]==s[j]) next[i]= next[j]; else Next[i]= j; }else j = next[j]; }} int kmp( int*next, char *t ,char *s, int lt, int ls ) { Inti= 0,j =0 ; while(i ＜ lt && （1） ){ if(j==-1 || （2） ){ i++ ; j++ ; }else （3） ;}if (j >= ls)return （4） ;else return-1;}
【问题1】（8分）
根据题干说明，填充C代码中的空（1）～（4）.
【问题2】（2分）
根据题干说明和C代码，分析出kmp算法的时间复杂度为（5）（主串和子串的长度分别为It和Is，用O符号表示）。
【问题3】（5分）
根据C代码，字符串"BBABBCAC"的next数组元素值为（6）（直接写素值，之间用逗号隔开）。若主串为"AABBCBBABBCACCD"，子串为"BBABBCAC"，则函数Kmp的返回值是（7）。 KMP算法的特点是在模式匹配时指示主串的指针不会回溯（）