标签：复杂度 节点 Slogans endpos rm Cool CF700E longest mathrm

首先可以发现选出的字符串序列一定可以调整成 \(s_i\) 为 \(s_{i + 1}\) 的一段后缀。

注意到这本质上是一个关于子串选择，与子串出现位置有关的问题，于是考虑借助 \(\rm endpos\) 来解决。

那么这个问题本质上就是选择后缀自动机 \(\rm parent\) 树上一条合法的祖先链。

由于 \(\rm endpos\) 集是一个整体，为了优化复杂度我们最好能找到本题当中一个 \(\rm endpos\) 集整体满足的性质：

• 相同 \(\rm endpos\) 集内的字符串不能同时选入字符串序列。

即 \(\rm endpos\) 集内字符串两两之间不会包含两次。
反证法：若包含两次根据 \(\rm endpos\) 集的性质，这两个字符串可以无限往前延伸，矛盾。

• 假设 \(v\) 是 \(u\) 在 \(\rm parent\) 树上的祖先，\(\mathrm{longest}(u)\) 为 \(u\) 节点的最长串，则 \(v\) 内所有节点在 \(\mathrm{longest}(u)\) 内出现次数相同。

首先显然 \(v\) 内节点在 \(\mathrm{longest}(u)\) 内出现次数按照长度不增。
反证法：假设对于 \(a, b \in v, b = sa\)，有 \(a\) 与 \(b\) 在 \(s\) 内出现次数不同，那么显然只有 \(s\) 会在 \(\mathrm{longest}(u)\) 的外面。
假设将 \(\mathrm{longest}(u)\) 往左延长知道恰好使得 \(b\) 与 \(a\) 出现次数相同的串为 \(t\)，根据 \(\rm endpos\) 集的性质 \(\mathrm{endpos}(\mathrm{longest}(u)) \subseteq \mathrm{endpos}(t) \Rightarrow \mathrm{endpos}(\mathrm{longest}(u)) = \mathrm{endpos}(t)\) 可知 \(t \in u\) 而 \(|t| > |\mathrm{longest}(u)|\) 矛盾。

令 \(f_s\) 为以 \(s\) 这个子串作为选出序列的结尾的最大长度，那么可知同一等价类内按照串长 \(f\) 递增（性质三）。

我们只关心最后每个等价类 \(u\) 中 \(f_{\mathrm{longest}(u)}\) 的取值，根据性质一二，转移显然只需要枚举祖先 \(v\) 中所有节点的 \(f_{\mathrm{longest}(v)}\) 查看 \(\mathrm{longest}(v)\) 是否在 \(\mathrm{longest}(u)\) 中出现两次即可，这个可以用线段树合并维护 \(\rm endpos\) 集，直接在线段树上查询 \(\mathrm{longest}(v)\) 在某区间是否出现即可。

这样状态数优化到了线性，但转移复杂度仍然是不能接受的，考虑优化。

注意到每次可以转移的区间一定是一段后缀，根据性质三可以找到第一个可以转移的节点，这里可以使用倍增，复杂度 \(\mathcal{O}(n \log ^ 2n)\).

还可以继续优化，发现我们只关心 \(v\) 往上第一个遇到的极长的 \(f\) 相等的区间内的转移，因为根据性质三 \(f_v\) 至少内取到这个值。

于是只需要记录极长区间的顶部位置即可，这样只需要判定一次，复杂度 \(\mathcal{O}(n \log n)\).

标签：复杂度,节点,Slogans,endpos,rm,Cool,CF700E,longest,mathrm
来源： https://www.cnblogs.com/Go7338395/p/15725408.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。