金策_字符串算法选讲 学习笔记

似乎有很多很有趣的结论啊
赶紧来学习一下吧
感觉很多结论都是一环扣一环的，如果前面没有理解好，后面可能就很难看懂了
其实也没学多少，大概也就只有$10$页把23333
把需要用到的结论学了就跑了

符号定义

$s[i,j]=s[i]s[i+1]s[i+2].....s[j]$
$pre(s,x)=s[1....x]$
$suf(s,x)=s[n-x+1....n]$
$(p,q)=gcd(p,q)$

周期

如果对于任意一个$i$，有$s[i]=s[i+d]$，那么$d$就是$s$的一个周期

border

如果对于一个$r$，满足$pre(s,r)=suf(s,r)$，那么$pre(s,r)$就称为$s$的一个$border$
你会发现，KMP算法里面，$fai{l}_i$就是$s[1,i]$最大的$border$
$pre(s,r)$是$s$的一个$border$，那么可以得到$|s|-r$是$s$的一个周期

Weak Periodicity Lemma

$p$和$q$是字符串$s$的周期，$p+q\le |s|$,则$gcd(p,q)$也是$s$的周期。
想了很久，最后是PP告诉我的，画了半天的图似乎没什么用啊。。。
就像论文里面说的，设$d=p-q$
如果$i-p>0$
那么则有$s[i]=s[i-p]=s[i-p+q]=s[i-d]$
否则，则是$i\le p$，那么就会有$i+q\le |S|$
同样的套路$s[i+q]=s[i-q+p]=s[i+d]$
那么我们就可以推出$s[i]=s[i+d]$了，也就是$d$是一个周期
根据更相减损术，自然可以得到，$gcd(p,d)$也是一个周期

引理1

两个字符串,$u,v$，如果满足$2|u|>=v$，那么$u$在$v$里面出现的位置成一个等差数列
如果只匹配了两次，那么显然满足
否则，设第一次和第二次匹配的位置相差了$d$
那么可以知道$d$是$u$的一个周期
设有另外一个匹配，和第二次相差了$p$
因为$d，p<=|u|$
那么显然有$(p,d)$是原串的一个周期
可以发现，$d$一定是最小的周期，那么可以得到$d|p$
可以发现，如果$p$满足，那么$d,2d,3d,4d....p$一定满足

引理2

对于字符串$s$，任何一个不小于$|s|/2$的$border$长度组成一个等差数列
设最大的$border$长度为$n-p$，另外一个为$n-q$
那么可以知道$(p,q)$是$s$的周期，同样的，因为$p$是最小的，所以$p|q$
那么也就是$n-(p,q)$也是原串的一个$border$

引理3

一个字符串$s$，所有的$border$长度排序，可以分成$log$段，每一段都是一个等差数列
我们对$border$长度$x$进行分类，$[1,2),[2,4),[4,8).....[2^{i-1},2^i),[2^i,n)$
对于$[2^i,n)$之前已经证明过是等差数列
我们只需要讨论$[2^{i-1},2^i)$的即可
我们把$pre(s,2^i)$和$suf(s,2^i)$拿出来，记作$u,v$
我们只需要讨论这里面，长度$k$在$[2^{i-1},2^i]$的，满足$pre(u,k)=suf(v,k)$即可
找到最大的一个$x$，那么剩下的一定是$x$的$border$，根据引理二就可以得证了

这也启示我们，如果询问我们$s[l,r]$里面的周期/$border$，可以用$log$个等差数列表示出来

引理4

引理3套用在回文串上面也同样使用
因为我们找到最大的一个回文后缀
那么可以发现，这个后缀的每一个$border$都是一个回文串，且每一个回文后缀都是一个$border$
如果x,y均为回文串，且y为x的一个后缀，那么y为x的一个border