@[九九九九](/user/151475)
by meyi @ 2021-06-19 23:21:59
/se
by Little09 @ 2021-06-20 10:24:30
@[zankizero](/user/67942) 我认为有个问题，第 3 点$s[(i \mod pos)+1]≤s[1]$ 这里，有存在第 $i$ 位两者相等，而在第 $i$ 位后面**有可能**会出现 $prefix(i)$ 更小的情况。这不能代表 $i$ 一定不优于 $pos$。我就在思考这个问题。
by Little09 @ 2021-06-20 10:36:48
@[九九九九](/user/151475) 我讨论的是第 $i+1$ 位，而且后面的位置好像都一位一位可以这样讨论，类似数学归纳，如果有哪个位置出现 $i$ 更优的话，那么在之前的某个位置就已经是 $pos$ 更优的了。因为我的语文表达能力太差了，所以请感性理解一下（（（
当然也不排除有反例，但我生成了 $10^{10}$ 个串（包含长度为 $10$ 的所有大小关系）也没把这玩意叉掉，应该可以认为是对的吧（（（
by meyi @ 2021-06-20 15:01:52
有点懂…
by Little09 @ 2021-06-20 16:27:00
写了篇[题解](https://www.luogu.com.cn/blog/dream-of-Au/solution-cf1537e2)，不知道有没有帮助qwq
by vectorwyx @ 2021-06-27 11:45:18