[JSOI2019]节日庆典

OneInDark

已于 2022-08-19 21:22:37 修改

阅读量255

点赞数 1

分类专栏：字符串 C++ 文章标签：我不会做

于 2021-02-20 15:10:32 首次发布

本文链接：https://blog.csdn.net/qq_42101694/article/details/113880326

版权

C++ 同时被 2 个专栏收录

547 篇文章 3 订阅

订阅专栏

字符串

38 篇文章 0 订阅

订阅专栏

题目

传送门 to LOJ

传送门 to luogu

题目概要
对于字符串 $S$ 的每个前缀，求出循环移位后可以得到的最小字典序，输出向左的循环移位长度。如果有多个，输出最小的向左循环移位长度。

数据范围与提示
$|S|\le 3\times 10^6$ 。

思路

字典序的变化其实并不复杂。就像区间字典序最大子串一样，从前缀 $i$ 变为前缀 $i{+}1)$ 时，方案的变动很小。

沿用那道题的方法，枚举右端点 $r$ 的同时，想办法维护 可能有用的答案集合。考虑两个分界点 $i,j\;(i<j)$ 是否有可能 “胜负已定” 。容易发现，当 $lcp(S[i::],S[j::])\le r-j$ 时，无论 $r$ 再怎么增大，二者的大小关系都确定了。所以
$lcp(S[i::],S[j::])>r-j\quad(i<j)$

继续照搬那道题，考虑 $l c p$ 的传递性。若还有分界点 $k\;(k>j)$ 满足 $l c p (S [i ::], S [k ::]) > r - k$ 的话，肯定也满足 $l c p (S [j ::], S [k ::]) > r - k$ 了。所以，只需要和首个分界点进行比对。

可是糟糕的是，我们没法维护单调栈了。虽说我们也并不需要维护单调栈，因为本题是查询完整的前缀。不管怎么说，我们要想办法找到 稳定的大小关系。接下来这一步，是如何想到的，我也不知道了。我只能说明它是正确的。

当 $j - i < r - j$ 时，不难发现 $j - i$ 是 $S [i ::]$ 的一个周期。那么，可以考虑研究一下从 $i$ 开始、从 $j$ 开始、从 $j + (j - i)$ 开始，这三种情况。记这个周期为 $A = S [i : j - 1]$ ，非周期部分 $B = S [2 j - i : r] + S [1 : i - 1]$ ，三种情况分别对应
$\begin{aligned} i&:A+A+B\\ j&:A+B+A\\ 2j-i&:B+A+A \end{aligned}$

其实你一看就知道 $j$ 肯定没用，把 $B$ 放中间，人不人鬼不鬼的。不过还是给一个严谨证明。设 $AA B > A B A$ （必须严格大于，等于的时候答案为 $i$ ），必然是 $A B > B A$ ，后面同时接一个 $A$ 得到 $A B A > B AA$ 所以 $2 j - i$ 更优。

有了这个结论，我们就可以说明 $r-i\geqslant 2(r-j)$ 进而说明 一共只有 $\log r$ 个有用的点，暴力检查就可以得到答案。咋检查啊？因为 $l c p$ 已经匹配到了底，所以就是求一个 $l c p (S [x ::], S [1 ::])$ ，做一个扩展 $\tt KMP$ 就行。（如果 $x$ 又到了底呢？那 $x$ 就变成了 $S [1 ::]$ 啊！）