@[Ak123456](/user/404036) 若字符串有长度为 $x,y$ 的循环节，则一定有长度为 $\gcd(x,y)$ 的循环节，所以你举的例子不成立。
这个结论也能说明len=t操作不会失去最优解，因为任何循环节都是最小循环节的倍数。
证明可以参考https://blog.csdn.net/liuxingwan/article/details/49964251
by do_while_true @ 2021-04-06 21:58:15
@[do_while_true](/user/223298) 非常感谢！
by akk123 @ 2021-04-06 22:00:53
@[Ak123456](/user/404036) 也十分谢谢您，我写完这题的时候并没有考虑到这一点的证明，后来才找到的这些证明
by do_while_true @ 2021-04-06 22:02:47