本地源文件：docs/string__lyndon.md

Lyndon 分解

定义

首先我们介绍 Lyndon 分解的概念．

Lyndon 串：对于字符串 𝑠s，如果 𝑠s 的字典序严格小于 𝑠s 的所有后缀的字典序，我们称 𝑠s 是简单串，或者 Lyndon 串 ．举一些例子，a,b,ab,aab,abb,ababb,abcd 都是 Lyndon 串．当且仅当 𝑠s 的字典序严格小于它的所有非平凡的（非平凡：非空且不同于自身）循环同构串时，𝑠s 才是 Lyndon 串．

Lyndon 分解：串 𝑠s 的 Lyndon 分解记为 𝑠 =𝑤1𝑤2⋯𝑤𝑘s=w1w2⋯wk，其中所有 𝑤𝑖wi 为简单串，并且他们的字典序按照非严格单减排序，即 𝑤1 ≥𝑤2 ≥⋯ ≥𝑤𝑘w1≥w2≥⋯≥wk．可以发现，这样的分解存在且唯一．

Duval 算法

解释

Duval 可以在 𝑂(𝑛)O(n) 的时间内求出一个串的 Lyndon 分解．

首先我们介绍另外一个概念：如果一个字符串 𝑡t 能够分解为 𝑡 =𝑤𝑤⋯――𝑤t=ww⋯w― 的形式，其中 𝑤w 是一个 Lyndon 串，而 ――𝑤w― 是 𝑤w 的前缀（――𝑤w― 可能是空串），那么称 𝑡t 是近似简单串（pre-simple），或者近似 Lyndon 串．一个 Lyndon 串也是近似 Lyndon 串．

Duval 算法运用了贪心的思想．算法过程中我们把串 𝑠s 分成三个部分 𝑠 =𝑠1𝑠2𝑠3s=s1s2s3，其中 𝑠1s1 是一个 Lyndon 串，它的 Lyndon 分解已经记录；𝑠2s2 是一个近似 Lyndon 串；𝑠3s3 是未处理的部分．

过程

整体描述一下，该算法每一次尝试将 𝑠3s3 的首字符添加到 𝑠2s2 的末尾．如果 𝑠2s2 不再是近似 Lyndon 串，那么我们就可以将 𝑠2s2 截出一部分前缀（即 Lyndon 分解）接在 𝑠1s1 末尾．

我们来更详细地解释一下算法的过程．定义一个指针 𝑖i 指向 𝑠2s2 的首字符，则 𝑖i 从 11 遍历到 𝑛n（字符串长度）．在循环的过程中我们定义另一个指针 𝑗j 指向 𝑠3s3 的首字符，指针 𝑘k 指向 𝑠2s2 中我们当前考虑的字符（意义是 𝑗j 在 𝑠2s2 的上一个循环节中对应的字符）．我们的目标是将 𝑠[𝑗]s[j] 添加到 𝑠2s2 的末尾，这就需要将 𝑠[𝑗]s[j] 与 𝑠[𝑘]s[k] 做比较：

如果 𝑠[𝑗] =𝑠[𝑘]s[j]=s[k]，则将 𝑠[𝑗]s[j] 添加到 𝑠2s2 末尾不会影响它的近似简单性．于是我们只需要让指针 𝑗,𝑘j,k 自增（移向下一位）即可．
如果 𝑠[𝑗] >𝑠[𝑘]s[j]>s[k]，那么 𝑠2𝑠[𝑗]s2s[j] 就变成了一个 Lyndon 串，于是我们将指针 𝑗j 自增，而让 𝑘k 指向 𝑠2s2 的首字符，这样 𝑠2s2 就变成了一个循环次数为 1 的新 Lyndon 串了．
如果 𝑠[𝑗] <𝑠[𝑘]s[j]<s[k]，则 𝑠2𝑠[𝑗]s2s[j] 就不是一个近似简单串了，那么我们就要把 𝑠2s2 分解出它的一个 Lyndon 子串，这个 Lyndon 子串的长度将是 𝑗 −𝑘j−k，即它的一个循环节．然后把 𝑠2s2 变成分解完以后剩下的部分，继续循环下去（注意，这个情况下我们没有改变指针 𝑗,𝑘j,k），直到循环节被截完．对于剩余部分，我们只需要将进度「回退」到剩余部分的开头即可．

实现

下面的代码返回串 𝑠s 的 Lyndon 分解方案．

C++Python

---|---

---|---

复杂度分析

接下来我们证明一下这个算法的复杂度．

外层的循环次数不超过 𝑛n，因为每一次 𝑖i 都会增加．第二个内层循环也是 𝑂(𝑛)O(n) 的，因为它只记录 Lyndon 分解的方案．接下来我们分析一下内层循环．很容易发现，每一次在外层循环中找到的 Lyndon 串是比我们所比较过的剩余的串要长的，因此剩余的串的长度和要小于 𝑛n，于是我们最多在内层循环 𝑂(𝑛)O(n) 次．事实上循环的总次数不超过 4𝑛 −34n−3，时间复杂度为 𝑂(𝑛)O(n)．

最小表示法（Finding the smallest cyclic shift）

对于长度为 𝑛n 的串 𝑠s，我们可以通过上述算法寻找该串的最小表示法．

我们构建串 𝑠𝑠ss 的 Lyndon 分解，然后寻找这个分解中的一个 Lyndon 串 𝑡t，使得它的起点小于 𝑛n 且终点大于等于 𝑛n．可以很容易地使用 Lyndon 分解的性质证明，子串 𝑡t 的首字符就是 𝑠s 的最小表示法的首字符，即我们沿着 𝑡t 的开头往后 𝑛n 个字符组成的串就是 𝑠s 的最小表示法．

于是我们在分解的过程中记录每一次的近似 Lyndon 串的开头即可．

C++Python

---|---

---|---

习题

UVa #719 - Glass Beads

本页面主要译自博文Декомпозиция Линдона. Алгоритм Дюваля. Нахождение наименьшего циклического сдвига 与其英文翻译版 Lyndon factorization．其中俄文版版权协议为 Public Domain + Leave a Link；英文版版权协议为 CC-BY-SA 4.0．

本页面最近更新： 2026/1/7 08:56:54，更新历史 发现错误？想一起完善？在 GitHub 上编辑此页！ 本页面贡献者：iamtwz, orzAtalod, sshwy, StudyingFather, ksyx, Xeonacid, Chrogeek, diauweb, Enter-tainer, gi-b716, hqztrue, Junyan721113, Menci, shawlleyw, Soresen, Suyun514, Tiphereth-A 本页面的全部内容在CC BY-SA 4.0 和 SATA 协议之条款下提供，附加条款亦可能应用