Lyndon Word

Lyndon Word

• 以下简称 $L$ 串
• 定义：一个串是 $L$ 串，当且仅当它是这个串的最小表示（最小后缀）

性质：

• 若 $S,T$ 均为 $L$ 串，且 $S<T$，那么 $S+T$ 为 $L$ 串
• $L$ 串的前缀也是 $L$ 串
• 将最后一个字符变大，$L$ 串还是 $L$ 串
• 任意串 $S$，可以划分为 $S=s_1+s_2+\cdots +s_k$，满足 $s_i$ 为 $L$ 串，且 $s_i\ge s_{i+1}$

求法：

后缀数组每次选一个后缀到结尾或第一个遇到的后缀，复杂度 $O(n\log n)$
Duval Algorithm：
设当前处理到 $i$，$[1,i)$ 已经划分好，$[i,k)$ 的串形如 $t+t+\cdots +t_1$，$t_1$ 为 $t$ 的前缀，可空
令 $j=k-|t|$，讨论：
$S_j=S_k$ 那么循环节可以继续
$S_j<S_k$，那么 $t+t+\cdots +t+t_1+S_k$ 是个 $L$ 串
$S_j>S_k$，那么若干个 $t$ 为 $L$ 串，将 $i$ 置于 $t_1$ 的开头

$i$ 只往右移，$k$ 左移的距离不超过 $i$ 右移的距离，复杂度 $O(n)$，$code$