O(n)
for(int i=2;i<=l2;++i) {
int x=i-1;
while(x&&s2[nxt[x]+1]!=s2[i]) x=nxt[x];
if(x) nxt[i]=nxt[x]+1;
else nxt[i]=0;
}
以上为next数组获取过程的代码,匹配过程同理。
两重循环,第一重for的运行次数为字符串长度,第二重while的运行次数似乎不好确定。
引入“复杂度势能”的概念。
对于每一个i,复杂度的变化方式有两种:
1.增加O(1)的复杂度和O(1)的“复杂度势能”(while只执行一次)。
2.将若干“复杂度势能”转化为真实的复杂度(while执行多次),显然为1:1转换。
由此可见,最坏情况下,实际复杂度和“复杂度势能”均为O(n),不妨令“复杂度势能”最终全部转化为真实复杂度,总体复杂度依然为O(n)。
证毕。