字符串--Lyndon分解

1.定义

一个字符串是$LyndonWord$，当前仅当这个字符串是其所有后缀中字典序最小的。
一个字符串$s$的$Lyndon$分解是将字符串划分为若干个部分$s_1{s}_2...s_m$使得$\forall 1<=i<=m:s_i$是一个$LyndonWord$，$\forall 1<=i<m:s_i>=s_{i+1}$。

2.引理

1.如果串$u$是$Lyndon$，串$v$是$Lyndon$串，且$u<v$，那么$u+v$是$Lyndon$串。
证：让$x_{suf}$表示串$x$的所有后缀，$\because v$是$Lyndon$串，$\therefore v<=v_{suf}$，则$u<v<=v_{suf}$，又$u<=u_{suf}$，$u+v<=u_{suf}+v$，由定义，结论成立。
推论：若一个$Lyndon$串$uv$能分解成两个$Lyndon$串$u,v$,必有$u<v$。

2.如果串$u{c}_1$是某个$Lyndon$串的前缀，字符$c_1,c_2$满足$c_2>c_1$，那么$u{c}_2$是一个$Lyndon$串。
证：$\because u{c}_1$是某个$Lyndon$串的前缀，$\therefore u{c}_1<=(u{c}_1{)}_{suf}<=(u{c}_2{)}_{suf}$，由定义结论成立（事实上某个$Lyndon$串的前缀也是一个$Lyndon$串）。

3.一个字符串的$Lyndon$分解存在且唯一。
证：初始令$m=|s|$，重复选择一个$i<m$使得$s_i<s_{i+1}$并将$s_i$和$s_{i+1}$合并，直到不存在关系$s_i<s_{i+1}$，显然$Lyndon$分解存在。又假设$Lyndon$串$s_{i-1}<s_i<s_{i+1}$，有$s_{i-1}<s_i{s}_{i+1}，s_{i-1}{s}_i<s_{i+1}$，由传递性得上述形式与合并顺序无关，故分解形式唯一。

3.算法

设前$i-1$个字符的分解已经固定，现从第$i$个位置寻找一个新的分解。将新的串分为两个部分$v^h+x(h>=1,v^h$表示$v$重复$h$次$)$，其中$v$是从第$i$个位置开始一个未固定的分解，$x$是$v$的可以非空前缀。现在加入一个新的字符$s_k$，如图所示，其中$|v|=k-j$：

分三种情况讨论：
1.$s_j==s_k$，让$j=j+1,k=k+1$，继续重复算法。
2.$s_j<s_k$，由引理$2$得$v^h+x+s_k$是一个$Lyndon$串，让$j=i$继续算法。
3.$s_j>s_k$，$v^h$被固定为$h$个分解，算法从$x$的开头重新开始。

算法的指针最多移动$n$次，时间复杂度为$O(n)$。

4.代码

P6114 【模板】Lyndon 分解

#include<bits/stdc++.h>
using namespace std;
const int N=5e6+5;
char s[N];
int n,ans;
int main()
{
	scanf("%s",s+1);
	n=strlen(s+1);
	for(int i=1;i<=n;)
    {
        int j=i,k=i+1;
        while(k<=n&&s[j]<=s[k])
        {
            if(s[j]<s[k]) j=i;
            else j++;
            k++;
        }
        //维护的是一个长度为k-j的循环串v
        while(i<=j)
        {
            ans^=i+k-j-1;
            i+=k-j;
        }
    }
	printf("%d\n",ans);
}