Z函数

Z 函数是的意义是对于字符串的后缀 $i$，其最长的前缀使得存在原串的一个前缀和它相同。

我个人认为 Z 函数是简单于 KMP 的，因为 KMP 的思想是利用前面的答案递归调用计算新的位置，而 Z 函数是简单的递推，只需要一个原先计算的结果就能得出答案，不需要递归。

Z 函数的核心思想是匹配段思想，我们一个 $[i,i+z_i-1]$ 称为一个匹配段。而当我们递推计算 Z 函数的时候，我们总是找到当前右端点最靠右的匹配段。

然后我们考虑最右匹配段能给我们提供什么信息。它告诉我们 $[1,r-l+1]$ 和 $[l,r]$ 是相同的。那么对于 $j=r-l+1-(r-i)=i-l+1$，有 $[j,r-l+1]$ 和 $[i,r]$ 相同。

所以，如果 $z_j<r-l-z_j+2$，那么意味着 $[j,j+z_j-1]$ 和 $[1,z_j]$ 匹配并且 $j+z_j$ 和 $z_j+1$ 不匹配。那么对于 $z_i$，这也成立。$z_i=z_j$。

然后，如果 $z_j\ge r-l-z_j+2$，我们就能确定 $[j,r-l+1]$ 就是匹配的，$[i,r]$ 是匹配的。但是因为 $[i,r]$ 后面的部分不一定和 $r-l+1$ 后面的匹配，所以我们最多直接套用 $r-i+1$ 的长度，后面的都需要暴力扩展。

我们观察发现，每次暴力扩展，一定在 $r$ 之后进行。也就是每次暴力扩展至少将最右匹配段增加 $1$，所以暴力扩展的总次数不会超过 $O(n)$。

然后，我们就得到了 Z 函数的完整计算方法。

inline void buildz(){
	int l=1,r=0;z[1]=0;
	rp(i,n)z[i]=0;
	rep(i,2,n){
		if(r>=i)z[i]=max(0,min(r-i+1,z[i-l+1]));
		while(i+z[i]<=n&&s[i+z[i]]==s[z[i]+1])z[i]++;
		if(z[i]>r)l=i,r=i+z[i]-1;
	}
}