UOJ 494

这是myy出的神仙题，我花了很多天时间才看懂题解。这份题解参考myy的官方题解和yhx的题解，大概算是后者的详细证明版本。
我们接下来的定义都是在一个特殊的字典序意义下的，也就是一个串的前缀大于自身（也可以理解为给每个有限长字符串最后加一个$\mathtt{U}$，然后在通常字典序意义下比较）。另外我们定义两个字符串的严格$<$与严格$>$，字符串$s$严格$<t$意味着存在位置$i>0$，使$s[1\dots i-1]=t[1\dots i-1]$，且$s[i]<t[i]$，严格$>$反过来。
这样我们可以定义反向lyndon串。一个串是反向lyndon串当且仅当它的所有后缀都$<$它（显然是严格$<$）。定义一个串$s$的反向lyndon分解是$s=s_1+s_2+\dots +s_l$，其中$s_1\le s_2\le ...\le s_l$，可以发现反向lyndon分解是良定义的，它具有和一般的lyndon分解类似的性质，例如存在且唯一。例如，串$\mathtt{A}\mathtt{A}\mathtt{C}\mathtt{A}$的反向lyndon分解是$\mathtt{A}+\mathtt{A}+\mathtt{C}\mathtt{A}$。
下面给出一个重要引理：对于一个反向lyndon串$s$，若取$k$（可以为$\infty$）个串$t_1,t_2,\dots t_k>s$，则$t_1+t_2+\dots t_k>s$，且若$|t_1|+|t_2|+\dots |t_k|\ge |s|$，这里的$>$为严格$>$。证明思路是设$l_i=|t_1|+|t_2|+\dots |t_i|$，假设$l_{i-1}<|s|$，若$l_i<|s|$，则 s [ l i − 1 + 1 … l i ] ≤ s [ 1 … ∣ t i ∣ ] ≤ t i s[l_{i-1}+1\ldots l_i]\leq s[1\ldots |t_i|]\leq t_i