4.2 串的模式匹配
4.2.1_朴素模式匹配算法
字符串模式匹配：在主串中找到与模式串相同的⼦串，并返回其所在位置
主串⻓度为n，模式串⻓度为 m 朴素模式匹配算法：将主串中所有⻓度为m的⼦串依次与模式串对⽐，直到找到⼀个完全匹配的⼦串， 或所有的⼦串都不匹配为⽌。 最多对⽐ n-m+1 个⼦串
Index(S,T)：定位操作。若主串S中存在与串T值相同的⼦串，则返回它在主串S中第⼀次出现 的位置；否则函数值为0
接下来不使用字符串的基本操作，直接通过数组下标实现朴素模式匹配算法
// 在主串S中找到与模式串T相同的子串并返回其位序，否则返回0
int Index(SString S, SString T){ int i=1, j=1; while(i<=S.length && j<=T.length){ if(S.ch[i] == T.ch[j]){ //如果i里面存的字符和j里面存的相同的话++i; ++j; //++继续比较后继字符}else{ i=i-j+2; //i指针指向下一个子串的起始位置j=1; //j指针后退回到第一个位置重新开始匹配 } } if(j>T.length) return i-T.length; else return 0;
}
设主串⻓度为 n，模式串⻓度为 m，则 最坏时间复杂度 = O(nm)
最坏的情况，每个⼦串都要对⽐ m 个字符，共 n-m+1 个⼦串，复杂度 = O((n-m+1)m) = O(nm)
4.2.2_1_KMP算法
朴素模式匹配算法的缺点
⼀旦发现当前这个⼦串中某个字符不匹配，就只能转⽽匹配下⼀个⼦串（从头开始）
用代码实现这个处理逻辑 可以用一个next数组来存储让模式串指针指向的位置
next数组只和短短的模式串 有关，和长长的主串⽆关
KMP算法：当子串和模式串不匹配时，主串指针 i 不回溯，模式串指针 j=next[j]。
KMP算法最坏时间复杂度 O(m+n)
其中，求 next 数组时间复杂度 O(m)
模式匹配过程最坏时间复杂度 O(n)
KMP算法的代码实现
// 获取模式串T的next[]数组
void getNext(SString T, int next[]){ int i=1, j=0; next[1]=0; while(i<T.length){ if(j==0 || T.ch[1]==T.ch[j]){ ++i; ++j; next[i]=j; }else j=next[j]; }
}// KPM算法，求主串S中模式串T的位序，没有则返回0
int Index_KMP(SString S, SString T){ int i=1, j=1; int next[T.length+1]; getNext(T, next); while(i<=S.length && j<=T.length){ if(j==0 || S.ch[i]==T.ch[j]){ //如果主串的元素和模式串的元素相等或j等于0时++i; ++j; //i和j++，继续比较后继字符}else j=next[j]; //模式串向后移动} if(j>T.length) return i-T.length; //j大于模式串长度说明匹配成功elsereturn 0;
}int main() {SString S={"ababcabcd", 9};SString T={"bcd", 3};printf("%d ", Index_KPM(S, T)); //输出9
}
KMP算法精髓：利用已经匹配过的模式串的信息，求出next数组→利用next数组进行匹配(主串指针不回溯）
4.2.2_2_求next数组
next数组的作⽤：当模式串的第 j 个字符失配时，从模式串的第 next[j] 的继续往后匹配
任何模式串第⼀个字符不匹配时，只能匹配下⼀个⼦串，因此，next[1]都⽆脑写 0
第2个字符不匹配时，应尝试匹配模式串的第1个字符， 因此，next[2]都⽆脑写 1
接下来的字符，在不匹配的位置前划一根分界线，模式串一步一步往后退，直到分界线前的“对的上”，或模式串完全越过分界线位置,如下面为第3个字符不匹配的情况
第四个字符不匹配
第五个字符不匹配
第六个字符不匹配
4.2.3_KMP算法的进一步优化
第3个字符和第1个字符相同，所以 可以直接跳到next[1]指向的位置，第5个字符跟第2个字符相同，直接跳到next[2]指向的位置
void getNextval(SString T, int nextval[]){int i=1,j=0;nextval[1]=0;while(i<T.length){if(j==0 || T.ch[i]==T.ch[j]){++i; ++j;if(T.ch[i]!=T.ch[j])nextval[i]=j;elsenextval[i]=nextval[j];}elsej=nextval[j];}
}
