字符串学习：字符串算法选讲-金策

周期和border

$0<q\le |s|,s[i]=s[i+p],\forall i\in 1...|s|-p$, $p$就是$s$的周期。
$0\le r\le |s|,pre(s,r)=suf(s,r),pre(s,r)$就是$s$的$border$。

KMP算法

可以在$O(n)$时间求出数组$fail[1,n]$，其中$fail[i]$ 代表前缀$s[1...i]$的最大$border$长度。
$s$的所有$border$长度？
$fail[n],fail[fail[n]]....$

后缀数组和LCP查询

在预处理之后，可以$O(1)$的求解$LCP,LCS。$
对于拥有周期为$p$的串$s$，$LCP(s[1...n],s[1+p...n])=n-p$。
借助上述定理，就可以通过求解$LCP(i,i+p)$查询最大的$l$使得$s[i...i+l-1]$拥有周期$p$了。

Weak Periodicity Lemma

$p$和$q$是字符串$s$的周期，$p+q\le |s|,$则$gcd(p,q)$也是$s$的周期。

Periodicity Lemma

$p$和$q$是字符串$s$的周期，$p+q-gcd(p,q)\le |s|,$则$gcd(p,q)$也是$s$的周期。
$abaaba$

字符串匹配

引理：字符串$u,v$满足$2|u|\ge |v|，$则$u$在$v$中的所有匹配位置组成一个等差数列。若这个数列至少含有$3$项，则其公差$d$等于$u$的最小周期$per(u)，可以结合PeriodicityLemma用反证法证明设(p\le d)$。
此时$per(u)\le |u|/2$。

Border的结构

引理1：字符串$s$的所有不小于$|s|/2$的$border$的长度组成一个等差数列。
证明：设$s$最大的$border$的长度为$n-p(p\le |s|/2)$, 另外某个$border$的长度为$n-q(q\le |s|/2)，$则$p$和$q$都是$s$的周期，$p$为最小周期，那么$gcd(p,q)$也是$s$的周期，可知$p$可能为$0$，因此$gcd(p,q)\ge p=>p|q$。

将$s[1...n]$的所有$border$按长度$x$分类:
$x\in [1,2),[2,4)...[2^{k-1},2^k),[2^k,n)$。
分开考虑每段区间

• $x\in [2^k,n),2^k\ge n/2$,里面的$border$长度已证为等差数列。
• $x\in [2^{i-1},2^i)$, 考虑串$u$和$v$:
  当$|u|=|v|$
  记$PS(u,v)=k:pre(u,k)=suf(v,k)$
  记$LargePS(u,v)=k\in PS(u,v),k\ge |u|/2$
  则$[2^{i-1},2^i)$内的$border$长度集合为$LargePS(pre(s,2^i),suf(s,2^i))$
  引理：
  $LargePS(u,v)$组成一个等差数列。

推论：字符串border排序后可以分成O(log|s|)段，每段是一个等差数列。