1.在字符串模式匹配的KMP算法中，求模式的next数组值得定义如下：
（1）当j=1时，为什么要取next[1]=0?
当模式串中第一个字符与主串中某字符比较不等（失配）时，next[1]=0表示模式串中已经没有字符可与主串中当前字符s[i]比较，主串当前指针应向后移至下一字符，再和模式串中第一个字符进行比较。
（2）为什么要取Max{K}，K的最大值是多少？
当主串中第i个字符和模式串中的第j个字符失配时，若主串i不回溯，假定模式串的第k个字符与主串的第i个字符继续进行比较，则k应满足条件1<k<j，并且，‘p1...pk−1 ’=‘pj−k+1...pj−1 ’，k值有多个，为了不使向右移动丢失可能的匹配，k要取最大，由于max{k}表示移动的最大距离，所以取max{k}，k的最大值为j-1。
（3）其他情况是什么情况，为什么取next[j]=1?
以上两种情况以外的情况。主串和模式串比较失配，主串指针i不回溯，在最坏的情况下模式串从第一个字符开始和主串第i个字符进行比较，以便防止丢失可能的匹配。
2.设字符串S='aabaabaabaac'，P='aabaac'
（1）给出S和P的next数组。（以表格形式给出）
| j |
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
10 |
11 |
12 |
| 模式串 |
a |
a |
b |
a |
a |
b |
a |
a |
b |
a |
a |
c |
| next[j] |
0 |
1 |
2 |
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
| j |
1 |
2 |
3 |
4 |
5 |
6 |
| 模式串 |
a |
a |
b |
a |
a |
c |
| next[j] |
0 |
1 |
2 |
1 |
2 |
3 |
拓展：
位序 1 2 3 4 5 6 7 8 9
模式串 a b a a b c a b c
next值 0 1 1 2 2 3 1 2 3
next数组的求解方法是：
1.第一位的next值为0
2.第二位的next值为1
后面求解每一位的next值时，根据前一位进行比较
3.第三位的next值：第二位的模式串为b ,对应的next值为1;将第二位的模式串b与第一位的模式串a进行比较，不相等；则第三位的next值为1(其他情况均为1)
4.第四位的next值：第三位的模式串为a ,对应的next值为1;将第三位的模式串a与第一位的模式串a进行比较，相同，则第四位的next值得为1+1=2
5.第五位的next值：第四位的模式串为a，对应的next值为2;将第四位的模式串a与第二位的模式串b进行比较，不相等；第二位的b对应的next值为1,则将第四位的模式串a与第一位的模式串a进行比较，相同，则第五位的next的值为1+1=2
6.第六位的next值：第五位的模式串为b，对应的next值为2;将第五位的模式串b与第二位的模式中b进行比较，相同，则第六位的next值为2+1=3
7.第七位的next值：第六位的模式串为c，对应的next值为3;将第六位的模式串c与第三位的模式串a进行比较，不相等；第三位的a对应的next值为1，
则将第六位的模式串c与第一位的模式串a进行比较，不相同，则第七位的next值为1(其他情况)
8.第八位的next值：第七位的模式串为a，对应的next值为1;将第七位的模式串a与第一位的模式串a进行比较，相同，则第八位的next值为1+1=2
9.第八位的next值：第八位的模式串为b，对应的next值为2;将第八位的模式串b与第二位的模式串b进行比较，相同，则第九位的next值为2+1=3
| j |
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
| 模式串 |
a |
b |
a |
a |
b |
c |
a |
c |
| Next |
0 |
1 |
1 |
2 |
2 |
3 |
1 |
2 |
| Nextval |
0 |
1 |
0 |
2 |
1 |
3 |
0 |
2 |
1.第一位的nextval值必定为0，第二位如果于第一位相同则为0，如果不同则为1。
2.第三位的next值为1，那么将第三位和第一位进行比较，均为a，相同，则，第三位的nextval值为0。
3.第四位的next值为2，那么将第四位和第二位进行比较，不同，则第四位的nextval值为其next值，为2。
4.第五位的next值为2，那么将第五位和第二位进行比较，相同，第二位的next值为1，则继续将第二位与第一位进行比较，不同，则第五位的nextval值为第二位的next值，为1。
5.第六位的next值为3，那么将第六位和第三位进行比较，不同，则第六位的nextval值为其next值，为3。
6.第七位的next值为1，那么将第七位和第一位进行比较，相同，则第七位的nextval值为0。
7.第八位的next值为2，那么将第八位和第二位进行比较，不同，则第八位的nextval值为其next值，为2。
| j |
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
| 模式串 |
a |
b |
a |
a |
b |
c |
a |
c |
| Next[j] |
0 |
1 |
1 |
2 |
2 |
3 |
1 |
2 |
（2）若S做主串，P做模式串，试着给出利用KMP算法给出匹配的过程
3.假设以堆分配存储结构表示串，试编写将串T插入到串S中第pos个字符之前的算法。
函数原型：Status StrInsert(HString *S,int pos,HString T)
Status StrInsert(HString *S, int pos, HString T)
{
int i;
if(pos < 1 || pos > S->length + 1)
return ERROR;
if(T.length)
{
S->ch = (char *)realloc (S->ch, (S->length + T.length) *
sizeof(char));
if(!S->ch)
exit(OVERFLOW);
for (i = S->length - 1; i >= pos - 1; i--)
S->ch[i + T.length] = S->ch[i];
for (i = pos-1 ; i <= pos - 2 + T.length; i++)
S->ch[i] = T.ch[i - pos + 1];
S->length += T.length;
}
return OK;
}