大概算法假了。
可以试试这组 hack:
6 bbbabb 4 bbab 1
输出 YES。
问题:一种正确的贪心思路是每次跳过或者取 lcp,但是使用简单的 dp 实现的过程中取 lcp 是一个一个取的,但这样有可能被其他地方更新了 lcp 过程中的某个 dp 值,变大了反而可能不优(如果一次跳 lcp,那么根据调整法可以直接取 max)。