runs和lyndon分解

从lyndon分解到runs

参考文献

P6656题解

cmd的blog

论文

抄抄会的证明o(><;)oo

---

一堆定义

字符串从$0$开始,$n-1$结束.

$s[l:r]$表示$s$的一个字串,从$l$开始,$r$结束.

若$a$的字典序小于$b$,则称$a<b$.

若$a$<$b$且$a$不是$b$的前缀,则称$a◃b$.

$abc$表示拼接$a,b,c$三个字符串,$a^n$表示$n$个字符串$a$相接.

lyndon分解

lyndon串

$a$是lyndon串当且仅当$\forall a$的后缀$b$,都有$a◃b$.或者说,lyndon串是其$n$个循环移位串中最小的一个.

设$\mathcal{L}$表示所有lyndon串的集合.

CFL

$CFL(s)$是一个关于$s$的划分,即划分成$w_1{w}_2...w_k=s$,使得所有$w$都是lyndon串,且$w_1\ge w_2\ge ...\ge w_k$.

lyndon concatanation

若$a<b\in \mathcal{L}$,则$ab\in \mathcal{L}$

构造CFL

单个字母一定是lyndon串,那么把$s$中所有单增的序列都缩起来,剩下的就是合法的CFL.

existence and uniqueness of CFL

根据构造,$CFL(s)$存在且唯一.

Duval算法

Duval可以在$O(n)$的时间内求出一个串的CFL.

详见oi-wiki

lyndon array

L i = max ⁡ { j ∣ s [ i : j − 1 ] ∈ L } L_i=\max\{j|s[i:j-1]\in \mathcal{L}\} Li​=max{j∣s[i:j−1]∈L}.

在${<}_i$意义下定义的$L$记为$L_i$.

最长的lyndon子串是不交的

$\forall i<j<L_i,L_j\le L_i$

suffix

设$suf(i)=s[i:n-1]$,即以$i$开始的后缀.

$s[i:L_i-1]◃s[j:L_i-1]$,所以$suf(i)◃suf(j)$.$(i<j<L_i)$

设 N S V ( i ) = min ⁡ [ 1 , n ] ∖ { j ∈ ( i , n ) ∣ s u f ( i ) ◃ s u d ( j ) } NSV(i)=\min[1,n]\setminus\{j\in(i,n)|suf(i)\triangleleft sud(j)\} NSV(i)=min[1,n]∖{j∈(i,n)∣suf(i)◃sud(j)},即第一个不满足$suf(i)◃suf(j)$的$j$.

显然有$L_i\le NSV(i)$.神奇的是$s[i:NSV(i)-1]\in \mathcal{L}$,所以$L_i=NSV(i)$.

runs

run指$s$中一个两边都不能拓展的循环字串,且其周期至少完整出现过两次.

形式化的说,run是一个三元组$(l,r,p)$,满足$p$是$s[l:r]$的最小周期,且$r-l+1\ge p\times 2$,同时满足$s_{l-1}\ne s_{i-1+p},s_{r+1}\ne s_{r+1-p}$.

lyndon root

一个run $(l,r,p)$ 的lyndon root是$s[l:r]$的一个长为$p$的lyndon子串.

每个run都有lyndon root.这是平凡的,参考环破成链可以发现run中包含了一个串的$n$个循环同构串.

linear runs

我们设${<}^0$表示$<$,${<}^1$表示$>$.

那么对于每个run,存在$i,t$满足$s[i:L_i-1]$是其lyndon root.

所以run的总数$\le n\times 2$.

如何计算$L_0$

对于$s$的每个后缀维护其CFL即可.从后往前插入每个字符,判断是否能合并.

如何计算runs

已经求出所有lyndon root(也是循环节),求lcs和lcp即可.